Type.Data.Boolean

data Boolean :: Type

data True :: Boolean

Instances

• IsBoolean True
• And True rhs rhs
• Or True rhs True
• Not True False
• Not False True

data False :: Boolean

Instances

• IsBoolean False
• And False rhs False
• Or False rhs rhs
• Not True False
• Not False True

data BProxy (bool :: Boolean)

Value proxy for Boolean types

Constructors

• BProxy

class IsBoolean (bool :: Boolean)  where

Class for reflecting a type level Boolean at the value level

Members

• reflectBoolean :: BProxy bool -> Boolean

Instances

• IsBoolean True
• IsBoolean False

reifyBoolean :: forall r. Boolean -> (forall o. IsBoolean o => BProxy o -> r) -> r

Use a value level Boolean as a type-level Boolean

class And (lhs :: Boolean) (rhs :: Boolean) (output :: Boolean) | lhs -> rhs output

And two Boolean types together

Instances

• And True rhs rhs
• And False rhs False

and :: forall o r l. BProxy l -> BProxy r -> BProxy o

class Or (lhs :: Boolean) (rhs :: Boolean) (output :: Boolean) | lhs -> rhs output

Or two Boolean types together

Instances

• Or True rhs True
• Or False rhs rhs

or :: forall o r l. Or l r o => BProxy l -> BProxy r -> BProxy o

class Not (bool :: Boolean) (output :: Boolean) | bool -> output

Not a Boolean

Instances

• Not True False
• Not False True

not :: forall o i. Not i o => BProxy i -> BProxy o