Module Relude_Bool
Relude.Bool
contains typeclass instances and utility functions for working with the bool
type.
let ifElse: (unit => 'a) => (unit => 'a) => bool => 'a;
Folds a bool value into a value of a different type, using a function for the true and false cases.
Bool.ifElse(() => "yes", () => "no", true) == "yes"; Bool.ifElse(() => "yes", () => "no", false) == "no";
let inverse: bool => bool;
Bool.inverse
negates the boolean.This function isn't named
not
, because refmt would rewrite it as(!)
.
let not__: bool => bool;
Bool.not_
is an alias forinverse
.
module Eq: BsBastet.Interface.EQ with type Eq.t = bool;
EQ instance for booleans
module Ord: BsBastet.Interface.ORD with type Ord.t = bool;
ORD instance for booleans
module Show: BsBastet.Interface.SHOW with type Show.t = bool;
SHOW instance for booleans
module Conjunctive: { ... };
module And = Conjunctive;
module Disjunctive: { ... };
module Or = Disjunctive;
module Bounded: BsBastet.Interface.BOUNDED with type Bounded.t = bool;
include { ... };
module Enum: Relude_Interface.ENUM with type Enum.t = bool;
module BoundedEnum: Relude_Interface.BOUNDED_ENUM with type BoundedEnum.t = bool;
include { ... };
let fromThenToAsList: start:BoundedEnum.t => next:BoundedEnum.t => finish:BoundedEnum.t => list(BoundedEnum.t);
module Infix: { ... };