type-level-numbers-0.1.1.0: Type level numbers implemented using type families.
TypeLevel.Boolean
Contents
Synopsis
data True Source
Data type for truth
Instances
data False Source
Data type for false.
type family Not a :: * Source
Negation
notT :: a -> Not a Source
type family And a b :: * Source
And for boolean types
andT :: a -> b -> And a b Source
type family Or a b :: * Source
Or for boolean types
orT :: a -> b -> Or a b Source
type family Xor a b :: * Source
Exlusive or for boolean types
xorT :: a -> b -> Xor a b Source