TypeLevel.Boolean

Documentation

data True

Data type for truth

Instances

Show True

Reify True Bool

data False

Data type for false.

Instances

Show False

Reify False Bool

Boolean operations

type family Not a :: *

Negation

notT :: a -> Not a

type family And a b :: *

And for boolean types

andT :: a -> b -> And a b

type family Or a b :: *

Or for boolean types

orT :: a -> b -> Or a b

type family Xor a b :: *

Exlusive or for boolean types

xorT :: a -> b -> Xor a b