Data.Promotion.Prelude.Bool

type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ...

Promoted functions from Data.Bool

type family Bool_ (a :: a) (a :: a) (a :: Bool) :: a where ...

bool_

type family Not (a :: Bool) :: Bool where ...

type family (a :: Bool) :&& (a :: Bool) :: Bool where ...

type family (a :: Bool) :|| (a :: Bool) :: Bool where ...

type family Otherwise :: Bool where ...

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