Booleans

Boolean is the union true | false. and, or, and not are the boolean operators. match is exhaustive: both true and false must be covered. cond checks boolean guards and must end in a true fallback.

module boolean

pub fn ready(warm: Boolean, dry: Boolean) -> Boolean {
  warm and dry
}

pub fn label(flag: Boolean) -> Binary {
  match flag {
    true -> "yes"
    false -> "no"
  }
}

pub fn sign(n: Integer) -> Integer {
  cond {
    n > 0 -> 1
    n < 0 -> -1
    true -> 0
  }
}