Data.Promotion.Prelude.Bool
type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ...
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 ...
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