Moduleghc-internal-9.1003.0Haskell2010

GHC.Internal.Data.Type.Bool

Basic operations on type-level Booleans.

familytype family If (cond :: Bool) (tru :: k) (fls :: k) :: k where

Type-level If. If True a b ==> a; If False a b ==> b

familytype family (&&) (a :: Bool) (b :: Bool) :: Bool where

Type-level "and"

familytype family (||) (a :: Bool) (b :: Bool) :: Bool where

Type-level "or"

familytype family Not (a :: Bool) :: Bool where

Type-level "not". An injective type family since 4.10.0.0.