std/bool

Functions for the built-in type Bool { True False }.

&& and || are operators and may not be used as values; and and or are the same as functions, for example for list.fold. They do both sides, because the arguments of a call are always worked out.

notCopy Anchor Link

False for True, and True for False.

not = (a : Bool) -> Bool { core.not(a) }

andCopy Anchor Link

True when both are True.

and = (a : Bool, b : Bool) -> Bool { a && b }

orCopy Anchor Link

True when one or both are True.

or = (a : Bool, b : Bool) -> Bool { a || b }

xorCopy Anchor Link

True when exactly one is True.

xor = (a : Bool, b : Bool) -> Bool { a != b }

nandCopy Anchor Link

False when both are True.

nand = (a : Bool, b : Bool) -> Bool { core.not(a && b) }

norCopy Anchor Link

True when both are False.

nor = (a : Bool, b : Bool) -> Bool { core.not(a || b) }

exclusive_norCopy Anchor Link

True when both are the same.

exclusive_nor = (a : Bool, b : Bool) -> Bool { a == b }

to_stringCopy Anchor Link

"True" or "False".

to_string = (bool : Bool) -> String {

to_intCopy Anchor Link

1 for True and 0 for False.

to_int = (bool : Bool) -> Int { bool |> (True) { 1 } | (False) { 0 } }

compareCopy Anchor Link

Compares two bools, with False < True.

compare = (a : Bool, with : Bool) -> Order {

guardCopy Anchor Link

Gives return when when is True, and the value of otherwise() when not. It is used to end early:

bool.guard(n < 0, "negative", () { "positive" })

guard = <A, N>(when : Bool, return : A, otherwise : () <- N -> A) -> A {

lazy_guardCopy Anchor Link

Like guard, but the value for True is made by a function too.

lazy_guard = <A, N>(