Type.Bool

Documentation

type family Not a where ...

Equations

Not True = False

Not False = True

type (&&) a b = And a b infixr 3

type family And a b where ...

Equations

And True True = True

And a b = False

type family Or a b where ...

Equations

Or True b = True

Or a True = True

Or a b = False

type family Xor a b where ...

Equations

Xor True True = False

Xor True b = True

Xor a True = True

Xor a b = False

type family If (cond :: Bool) (a :: k) (b :: k) :: k where ...

Equations

If cond a a = a

If True a b = a

If False a b = b

type family If' (cond :: Bool) (a :: Constraint) (b :: Constraint) :: Constraint where ...

Equations

If' cond a a = a

If' True a b = a

If' False a b = b

type family (a :: k) == (b :: k) where ...

Equations

a == a = True

a == b = False

type family (a :: k) > (b :: k) :: Bool

type family (a :: k) < (b :: k) :: Bool

class KnownBool (b :: Bool) where

Methods

boolVal :: Proxy b -> Bool

Instances

KnownBool False

Defined in Type.Bool

Methods

boolVal :: Proxy False -> Bool

KnownBool True

Defined in Type.Bool

Methods

boolVal :: Proxy True -> Bool