TypeLevel.Boolean

Documentation

data True

Data type for truth

Instances

Show True

Defined in TypeLevel.Boolean

Methods

showsPrec :: Int -> True -> ShowS

show :: True -> String

showList :: [True] -> ShowS

Reify True Bool

Defined in TypeLevel.Boolean

Methods

witness :: Witness True Bool

type Not True

Defined in TypeLevel.Boolean

type Not True = False

type Xor False True

Defined in TypeLevel.Boolean

type Xor False True = True

type Xor True False

Defined in TypeLevel.Boolean

type Xor True False = True

type Xor True True

Defined in TypeLevel.Boolean

type Xor True True = False

type Or False True

Defined in TypeLevel.Boolean

type Or False True = True

type Or True False

Defined in TypeLevel.Boolean

type Or True False = True

type Or True True

Defined in TypeLevel.Boolean

type Or True True = False

type And False True

Defined in TypeLevel.Boolean

type And False True = False

type And True False

Defined in TypeLevel.Boolean

type And True False = False

type And True True

Defined in TypeLevel.Boolean

type And True True = True

data False

Data type for false.

Instances

Show False

Defined in TypeLevel.Boolean

Methods

showsPrec :: Int -> False -> ShowS

show :: False -> String

showList :: [False] -> ShowS

Reify False Bool

Defined in TypeLevel.Boolean

Methods

witness :: Witness False Bool

type Not False

Defined in TypeLevel.Boolean

type Not False = True

type Xor False False

Defined in TypeLevel.Boolean

type Xor False False = False

type Xor False True

Defined in TypeLevel.Boolean

type Xor False True = True

type Xor True False

Defined in TypeLevel.Boolean

type Xor True False = True

type Or False False

Defined in TypeLevel.Boolean

type Or False False = True

type Or False True

Defined in TypeLevel.Boolean

type Or False True = True

type Or True False

Defined in TypeLevel.Boolean

type Or True False = True

type And False False

Defined in TypeLevel.Boolean

type And False False = False

type And False True

Defined in TypeLevel.Boolean

type And False True = False

type And True False

Defined in TypeLevel.Boolean

type And True False = False

Boolean operations

type family Not a :: *

Negation

Instances

type Not False

Defined in TypeLevel.Boolean

type Not False = True

type Not True

Defined in TypeLevel.Boolean

type Not True = False

notT :: a -> Not a

type family And a b :: *

And for boolean types

Instances

type And False False

Defined in TypeLevel.Boolean

type And False False = False

type And False True

Defined in TypeLevel.Boolean

type And False True = False

type And True False

Defined in TypeLevel.Boolean

type And True False = False

type And True True

Defined in TypeLevel.Boolean

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

Defined in TypeLevel.Boolean

type Or False False = True

type Or False True

Defined in TypeLevel.Boolean

type Or False True = True

type Or True False

Defined in TypeLevel.Boolean

type Or True False = True

type Or True True

Defined in TypeLevel.Boolean

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

Defined in TypeLevel.Boolean

type Xor False False = False

type Xor False True

Defined in TypeLevel.Boolean

type Xor False True = True

type Xor True False

Defined in TypeLevel.Boolean

type Xor True False = True

type Xor True True

Defined in TypeLevel.Boolean

type Xor True True = False

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