Module

Type.Data.Boolean

#IsBoolean

class IsBoolean :: Boolean -> Constraintclass IsBoolean bool  where

Class for reflecting a type level Boolean at the value level

Members

Instances

#reifyBoolean

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

Use a value level Boolean as a type-level Boolean

#And

class And :: Boolean -> Boolean -> Boolean -> Constraintclass And lhs rhs out | lhs rhs -> out

And two Boolean types together

Instances

#and

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

#Or

class Or :: Boolean -> Boolean -> Boolean -> Constraintclass Or lhs rhs output | lhs rhs -> output

Or two Boolean types together

Instances

#or

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

#Not

class Not :: Boolean -> Boolean -> Constraintclass Not bool output | bool -> output

Not a Boolean

Instances

#not

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

#If

class If :: forall k. Boolean -> k -> k -> k -> Constraintclass If bool onTrue onFalse output | bool onTrue onFalse -> output

If - dispatch based on a boolean

Instances

#if_

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

Re-exports from Prim.Boolean

#True

data True :: Boolean

The 'True' boolean type.

#False

data False :: Boolean

The 'False' boolean type.

Modules