Safe Haskell	Safe-Inferred
Language	Haskell98

TypeLevel.Boolean

Contents

Synopsis

Documentation

Data type for truth

Instances details

Show True Source #
Instance details Defined in TypeLevel.Boolean Methods showsPrec :: Int -> True -> ShowS Source # show :: True -> String Source # showList :: [True] -> ShowS Source #
Reify True Bool Source #
Instance details Defined in TypeLevel.Boolean Methods witness :: Witness True Bool Source #
type Not True Source #
Instance details Defined in TypeLevel.Boolean type Not True = False
type And False True Source #
Instance details Defined in TypeLevel.Boolean type And False True = False
type And True False Source #
Instance details Defined in TypeLevel.Boolean type And True False = False
type And True True Source #
Instance details Defined in TypeLevel.Boolean type And True True = True
type Or False True Source #
Instance details Defined in TypeLevel.Boolean type Or False True = True
type Or True False Source #
Instance details Defined in TypeLevel.Boolean type Or True False = True
type Or True True Source #
Instance details Defined in TypeLevel.Boolean type Or True True = False
type Xor False True Source #
Instance details Defined in TypeLevel.Boolean type Xor False True = True
type Xor True False Source #
Instance details Defined in TypeLevel.Boolean type Xor True False = True
type Xor True True Source #
Instance details Defined in TypeLevel.Boolean type Xor True True = False

Data type for false.

Instances details

Show False Source #
Instance details Defined in TypeLevel.Boolean Methods showsPrec :: Int -> False -> ShowS Source # show :: False -> String Source # showList :: [False] -> ShowS Source #
Reify False Bool Source #
Instance details Defined in TypeLevel.Boolean Methods witness :: Witness False Bool Source #
type Not False Source #
Instance details Defined in TypeLevel.Boolean type Not False = True
type And False False Source #
Instance details Defined in TypeLevel.Boolean type And False False = False
type And False True Source #
Instance details Defined in TypeLevel.Boolean type And False True = False
type And True False Source #
Instance details Defined in TypeLevel.Boolean type And True False = False
type Or False False Source #
Instance details Defined in TypeLevel.Boolean type Or False False = True
type Or False True Source #
Instance details Defined in TypeLevel.Boolean type Or False True = True
type Or True False Source #
Instance details Defined in TypeLevel.Boolean type Or True False = True
type Xor False False Source #
Instance details Defined in TypeLevel.Boolean type Xor False False = False
type Xor False True Source #
Instance details Defined in TypeLevel.Boolean type Xor False True = True
type Xor True False Source #
Instance details Defined in TypeLevel.Boolean type Xor True False = True

Boolean operations

type family Not a :: * Source #

Negation

Instances details

type Not False Source #
Instance details Defined in TypeLevel.Boolean type Not False = True
type Not True Source #
Instance details Defined in TypeLevel.Boolean type Not True = False

type family And a b :: * Source #

And for boolean types

Instances details

type And False False Source #
Instance details Defined in TypeLevel.Boolean type And False False = False
type And False True Source #
Instance details Defined in TypeLevel.Boolean type And False True = False
type And True False Source #
Instance details Defined in TypeLevel.Boolean type And True False = False
type And True True Source #
Instance details Defined in TypeLevel.Boolean type And True True = True

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

type family Or a b :: * Source #

Or for boolean types

Instances details

type Or False False Source #
Instance details Defined in TypeLevel.Boolean type Or False False = True
type Or False True Source #
Instance details Defined in TypeLevel.Boolean type Or False True = True
type Or True False Source #
Instance details Defined in TypeLevel.Boolean type Or True False = True
type Or True True Source #
Instance details Defined in TypeLevel.Boolean type Or True True = False

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

type family Xor a b :: * Source #

Exlusive or for boolean types

Instances details

type Xor False False Source #
Instance details Defined in TypeLevel.Boolean type Xor False False = False
type Xor False True Source #
Instance details Defined in TypeLevel.Boolean type Xor False True = True
type Xor True False Source #
Instance details Defined in TypeLevel.Boolean type Xor True False = True
type Xor True True Source #
Instance details Defined in TypeLevel.Boolean type Xor True True = False

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