Type.Bool

Documentation

type family Not a

Equations

Not True = False

Not False = True

type family And a b

Equations

And True True = True

And a b = False

type family Or a b

Equations

Or True b = True

Or a True = True

Or a b = False

type family Xor a b

Equations

Xor True True = False

Xor True b = True

Xor a True = True

Xor a b = False

type family If cond a b :: k

Equations

If cond a a = a

If True a b = a

If False a b = b

type family If' cond a b :: Constraint

Equations

If' cond a a = a

If' True a b = a

If' False a b = b

type family a == b

Equations

a == a = True

a == b = False

class KnownBool b where

Methods

boolVal :: Proxy b -> Bool

Instances

KnownBool False

KnownBool True