Data.Singletons.Bool

The Bool singleton

data family Sing a

type SBool z

Conditionals

type family If cond tru fls :: k

sIf

Singletons from Data.Bool

type family Not a :: Bool

sNot

type a :&& b

type a :|| b

(%:&&)

(%:||)

type family Bool_ a a a :: a

sBool_

type Otherwise

sOtherwise