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

Safe Haskell	Safe
Language	Haskell98

TypeLevel.Boolean

Contents

Boolean operations

Synopsis

Documentation

data True Source

Data type for truth

Instances

Show True Source
Reify True Bool Source
type Not True = False Source
type Xor False True = True Source
type Xor True False = True Source
type Xor True True = False Source
type Or False True = True Source
type Or True False = True Source
type Or True True = False Source
type And False True = False Source
type And True False = False Source
type And True True = True Source

data False Source

Data type for false.

Instances

Show False Source
Reify False Bool Source
type Not False = True Source
type Xor False False = False Source
type Xor False True = True Source
type Xor True False = True Source
type Or False False = True Source
type Or False True = True Source
type Or True False = True Source
type And False False = False Source
type And False True = False Source
type And True False = False Source

Boolean operations

type family Not a :: * Source

Negation

Instances

type Not False = True Source
type Not True = False Source

notT :: a -> Not a Source

type family And a b :: * Source

And for boolean types

Instances

type And False False = False Source
type And False True = False Source
type And True False = False Source
type And True True = True Source

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

type family Or a b :: * Source

Or for boolean types

Instances

type Or False False = True Source
type Or False True = True Source
type Or True False = True Source
type Or True True = False Source

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

type family Xor a b :: * Source

Exlusive or for boolean types

Instances

type Xor False False = False Source
type Xor False True = True Source
type Xor True False = True Source
type Xor True True = False Source

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