Data.Singletons.TH

Primary Template Haskell generation functions

singletons

singletonsOnly

genSingletons

promote

promoteOnly

Functions to generate equality instances

promoteEqInstances

promoteEqInstance

singEqInstances

singEqInstance

singEqInstancesOnly

singEqInstanceOnly

singDecideInstances

singDecideInstance

Utility function

cases

Basic singleton definitions

data family Sing a

class SingI a

class SingKind kparam

type KindOf a

type Demote a

Auxiliary definitions

type a :== b

type family If cond tru fls :: k

sIf

type a :&& b

class SEq kparam

data Any

class SDecide kparam

data a :~: b

data Void

type Refuted a

data Decision a

data KProxy t

data SomeSing kproxy