Data.Promotion.Prelude.Bool

type family If cond tru fls :: k

Promoted functions from Data.Bool

type family Bool_ a a a :: a

bool_

type family Not a :: Bool

type family a :&& a :: Bool

type family a :|| a :: Bool

type Otherwise

Defunctionalization symbols

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