Type.Data.Boolean

data BProxy bool

Constructors

• BProxy

class IsBoolean bool  where

Members

• reflectBoolean :: forall proxy. proxy bool -> Boolean

Instances

• IsBoolean True
• IsBoolean False

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

Use a value level Boolean as a type-level Boolean

class And lhs rhs out | lhs rhs -> out

Instances

• And True rhs rhs
• And False rhs False

and :: forall proxy l r o. And l r o => proxy l -> proxy r -> Proxy o

class Or lhs rhs output | lhs rhs -> output

Instances

• Or True rhs True
• Or False rhs rhs

or :: forall proxy l r o. Or l r o => proxy l -> proxy r -> Proxy o

class Not bool output | bool -> output

Instances

• Not True False
• Not False True

not :: forall proxy i o. Not i o => proxy i -> Proxy o

class If bool onTrue onFalse output | bool onTrue onFalse -> output

Instances

• If True onTrue onFalse onTrue
• If False onTrue onFalse onFalse

if_ :: forall proxy b t e o. If b t e o => proxy b -> Proxy t -> Proxy e -> Proxy o

data True :: Boolean

The 'True' boolean type.

data False :: Boolean

The 'False' boolean type.