Module lambda_types::boolean

Function types relating to boolean algebra.

Structs

• And
  Boolean and operation. Takes two church booleans, and returns whether both are true.
• If
  Alternation. Takes a church boolean and two values, and returns the first if the boolean is true, otherwise the second.
• Not
  Boolean not operation. Takes a church boolean and returns its inverse.
• Or
  Boolean or operation. Takes two church booleans, and returns whether either is true.
• Xor
  Boolean xor operation. Takes two church booleans, and returns whether only one is true.

Type Aliases

• False
  Falsy church boolean.
• True
  Truthy church boolean.