type-booleans-0.1: Type-level booleans via type-families

Portabilitysee LANGUAGE pragmas (... GHC)
Stabilityexperimental
Maintainernicolas.frisby@gmail.com

Type.Booleans

Description

Type-level booleans with very basic operations.

Documentation

data True Source

data False Source

type family If b x y Source

type family And b1 b2 Source

type family Or b1 b2 Source

type family Not b Source

type Nand b1 b2 = Not (And b1 b2)Source

type Nor b1 b2 = Not (Or b1 b2)Source

type family Xor b1 b2 Source

type family Beq b1 b2 Source