ValidityPredicates - 0.1.0

Stdlib.Data.Bool

Definitions

builtin bool type BoolSource#

Constructors

true : Bool
false : Bool

builtin bool-or || : Bool Bool BoolSource#

builtin bool-and && : Bool Bool BoolSource#

builtin bool-if if : {A : Type} Bool A A ASource#