type-level-numbers-0.1.0.2: Type level numbers implemented using type families.

TypeLevel.Boolean

Contents

Synopsis

Documentation

data True Source

Data type for truth

Instances

data False Source

Data type for false.

Instances

Boolean operations

type family Not a :: *Source

Negation

notT :: a -> Not aSource

type family And a b :: *Source

And for boolean types

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

type family Or a b :: *Source

Or for boolean types

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

type family Xor a b :: *Source

Exlusive or for boolean types

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