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 #
Methods showsPrec :: Int -> True -> ShowS # show :: True -> String # showList :: [True] -> ShowS #
Reify True Bool Source #
Methods witness :: Witness True Bool Source #
type Not True Source #
type Not True = False
type Xor False True Source #
type Xor False True = True
type Xor True False Source #
type Xor True False = True
type Xor True True Source #
type Xor True True = False
type Or False True Source #
type Or False True = True
type Or True False Source #
type Or True False = True
type Or True True Source #
type Or True True = False
type And False True Source #
type And False True = False
type And True False Source #
type And True False = False
type And True True Source #
type And True True = True

data False Source #

Data type for false.

Instances

Show False Source #
Methods showsPrec :: Int -> False -> ShowS # show :: False -> String # showList :: [False] -> ShowS #
Reify False Bool Source #
Methods witness :: Witness False Bool Source #
type Not False Source #
type Not False = True
type Xor False False Source #
type Xor False False = False
type Xor False True Source #
type Xor False True = True
type Xor True False Source #
type Xor True False = True
type Or False False Source #
type Or False False = True
type Or False True Source #
type Or False True = True
type Or True False Source #
type Or True False = True
type And False False Source #
type And False False = False
type And False True Source #
type And False True = False
type And True False Source #
type And True False = False

Boolean operations

type family Not a :: * Source #

Negation

Instances

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

notT :: a -> Not a Source #

type family And a b :: * Source #

And for boolean types

Instances

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

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

type family Or a b :: * Source #

Or for boolean types

Instances

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

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

type family Xor a b :: * Source #

Exlusive or for boolean types

Instances

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

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