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

Safe HaskellSafe-Inferred

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