TypeLevel.Boolean

Documentation

data True

Data type for truth

Instances

Show True

Reify True Bool

type Not True = False

type Xor False True = True

type Xor True False = True

type Xor True True = False

type Or False True = True

type Or True False = True

type Or True True = False

type And False True = False

type And True False = False

type And True True = True

data False

Data type for false.

Instances

Show False

Reify False Bool

type Not False = True

type Xor False False = False

type Xor False True = True

type Xor True False = True

type Or False False = True

type Or False True = True

type Or True False = True

type And False False = False

type And False True = False

type And True False = False

Boolean operations

type family Not a :: *

Negation

Instances

type Not False = True

type Not True = False

notT :: a -> Not a

type family And a b :: *

And for boolean types

Instances

type And False False = False

type And False True = False

type And True False = False

type And True True = True

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

type family Or a b :: *

Or for boolean types

Instances

type Or False False = True

type Or False True = True

type Or True False = True

type Or True True = False

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

type family Xor a b :: *

Exlusive or for boolean types

Instances

type Xor False False = False

type Xor False True = True

type Xor True False = True

type Xor True True = False

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