Moduleghc-typelits-natnormalise-0.9.7Haskell2010

GHC.TypeLits.Normalise.Compat

datadata LookedUpTyCons

valuelookupTyCons :: TcPluginM 'Init LookedUpTyCons

valueupToGivens

valuemkLEqNat :: LookedUpTyCons -> Type -> Type -> PredType

The constraint (a <= b).

typetype Relation = ((Type, Type), Maybe Bool)

A relation between two natural numbers, ((x,y), mbRel).

The mbRel value indicates the kind of relation:

valueisNatRel

Is this an equality or inequality between two natural numbers?

See Note [Recognising Nat inequalities].

newtypenewtype UniqMap k a

Maps indexed by Uniquable keys

Instances8Functor, Eq, Data, Semigroup, Monoid, NFData, …

Functor (UniqMap k)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
(Eq k, Eq a) => Eq (UniqMap k a)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
(Data k, Data a) => Data (UniqMap k a)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
Semigroup (UniqMap k a)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
Monoid (UniqMap k a)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
(NFData k, NFData a) => NFData (UniqMap k a)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
(Outputable k, Outputable a) => Outputable (UniqMap k a)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
ToJExpr a => ToJExpr (UniqMap FastString a)Defined in ghc-9.14.1 · GHC.JS.Make

valueintersectUniqMap_C

Intersection with a combining function.

valuelistToUniqMap :: Uniquable k => [(k, a)] -> UniqMap k a

valuenonDetUniqMapToList :: UniqMap k a -> [(k, a)]

valuemkTcPluginSolveResult