type-level-0.2.4: Type-level programming library

Portabilitynon-portable
Stabilityexperimental (MPTC, non-standarad instances)
Maintaineralfonso.acosta@gmail.com

Data.TypeLevel.Bool

Contents

Description

Type-level Booleans.

Synopsis

Type-level boolean values

class BoolI b => Bool b Source

Type-level Booleans

toBool :: BoolI b => b -> BoolSource

data False Source

False type-level value

false :: FalseSource

False value-level reflecting function

data True Source

True type-level value

true :: TrueSource

True value-level reflecting function

reifyBool :: Bool -> (forall b. Bool b => b -> r) -> rSource

Reification function. In CPS style (best possible solution)

Type-level boolean operations

class (BoolI b1, BoolI b2) => Not b1 b2 | b1 -> b2, b2 -> b1Source

Boolean negation type-level relation. Not b1 b2 establishes that not b1 = b2

not :: Not b1 b2 => b1 -> b2Source

value-level reflection function for the Not type-level relation

class (BoolI b1, BoolI b2, BoolI b3) => And b1 b2 b3 | b1 b2 -> b3Source

And type-level relation. And b1 b2 b3 establishes that b1 && b2 = b3

(&&) :: And b1 b2 b3 => b1 -> b2 -> b3Source

value-level reflection function for the And type-level relation

class (BoolI b1, BoolI b2, BoolI b3) => Or b1 b2 b3 | b1 b2 -> b3Source

Or type-level relation. Or b1 b2 b3 establishes that b1 || b2 = b3

(||) :: Or b1 b2 b3 => b1 -> b2 -> b3Source

value-level reflection function for the Or type-level relation

class (BoolI b1, BoolI b2, BoolI b3) => Xor b1 b2 b3 | b1 b2 -> b3Source

Exclusive or type-level relation. Xor b1 b2 b3 establishes that xor b1 b2 = b3

xor :: Xor b1 b2 b3 => b1 -> b2 -> b3Source

value-level reflection function for the Xor type-level relation

class (BoolI b1, BoolI b2, BoolI b3) => Imp b1 b2 b3 | b1 b2 -> b3Source

Implication type-level relation. Imp b1 b2 b3 establishes that b1 =>b2 = b3

imp :: Imp b1 b2 b3 => b1 -> b2 -> b3Source

value-level reflection function for the Imp type-level relation

class (BoolI b1, BoolI b2, BoolI b3) => Eq b1 b2 b3 | b1 b2 -> b3Source

Boolean equality type-level relation

eq :: Eq b1 b2 b3 => b1 -> b2 -> b3Source

value-level reflection function for the Eq type-level relation