Data.Singletons.Prelude.Bool
Bool
singletondata family Sing (a :: k)
type SBool
Data.Bool
type TrueSym0
type FalseSym0
data NotSym0 l
type NotSym1 t
data (:&&$) l
data l :&&$$ l
type t :&&$$$ t
data (:||$) l
data l :||$$ l
type t :||$$$ t
data Bool_Sym0 l
data Bool_Sym1 l l
data Bool_Sym2 l l l
type Bool_Sym3 t t t
type OtherwiseSym0