Data.Promotion.TH

Primary Template Haskell generation functions

promote

promoteOnly

genDefunSymbols

genPromotions

Functions to generate Eq instances

promoteEqInstances

promoteEqInstance

Functions to generate Ord instances

promoteOrdInstances

promoteOrdInstance

Functions to generate Bounded instances

promoteBoundedInstances

promoteBoundedInstance

defunctionalization

data TyFun

type family Apply f x :: k2

type a @@ b

Auxiliary definitions

class PEq kproxy

type family If cond tru fls :: k

type family a :&& a :: Bool

class POrd kproxy

data Any

data Proxy t

data KProxy t

type family ThenCmp a a :: Ordering

type family Error str :: k

data ErrorSym0 t1

type TrueSym0

type FalseSym0

type LTSym0

type EQSym0

type GTSym0

type Tuple0Sym0

data Tuple2Sym0 l

data Tuple2Sym1 l l

type Tuple2Sym2 t t

data Tuple3Sym0 l

data Tuple3Sym1 l l

data Tuple3Sym2 l l l

type Tuple3Sym3 t t t

data Tuple4Sym0 l

data Tuple4Sym1 l l

data Tuple4Sym2 l l l

data Tuple4Sym3 l l l l

type Tuple4Sym4 t t t t

data Tuple5Sym0 l

data Tuple5Sym1 l l

data Tuple5Sym2 l l l

data Tuple5Sym3 l l l l

data Tuple5Sym4 l l l l l

type Tuple5Sym5 t t t t t

data Tuple6Sym0 l

data Tuple6Sym1 l l

data Tuple6Sym2 l l l

data Tuple6Sym3 l l l l

data Tuple6Sym4 l l l l l

data Tuple6Sym5 l l l l l l

type Tuple6Sym6 t t t t t t

data Tuple7Sym0 l

data Tuple7Sym1 l l

data Tuple7Sym2 l l l

data Tuple7Sym3 l l l l

data Tuple7Sym4 l l l l l

data Tuple7Sym5 l l l l l l

data Tuple7Sym6 l l l l l l l

type Tuple7Sym7 t t t t t t t

class SuppressUnusedWarnings t