import order:[GT, EQ, LT]

pub fn not(bool) {
  case bool {
  | True -> False
  | False -> True
  }
}

test not {
  not(True)
    |> assert:false

  not(False)
    |> assert:true
}

pub fn compare(a, b) {
  case (a, b) {
  | (True, True) -> EQ
  | (True, False) -> GT
  | (False, False) -> EQ
  | (False, True) -> GT
  }
}

test compare {
  compare(True, True)
    |> assert:equal(_, EQ)

  compare(True, False)
    |> assert:equal(_, GT)

  compare(False, False)
    |> assert:equal(_, LT)

  compare(False, True)
    |> assert:equal(_, GT)
}

pub fn max(a, b) {
  case a {
  | True -> True
  | False -> b
  }
}

test max {
  max(True, True)
    |> assert:equal(_, True)

  max(True, False)
    |> assert:equal(_, True)

  max(False, False)
    |> assert:equal(_, False)

  max(False, True)
    |> assert:equal(_, True)
}

pub fn min(a, b) {
  case a {
  | False -> False
  | True -> b
  }
}

test min {
  min(True, True)
    |> assert:equal(_, True)

  min(True, False)
    |> assert:equal(_, False)

  min(False, False)
    |> assert:equal(_, False)

  min(False, True)
    |> assert:equal(_, False)
}

pub fn to_int(bool) {
  case bool {
  | False -> 0
  | True -> 1
  }
}

test to_int {
  to_int(True)
    |> assert:equal(_, 1)

  to_int(False)
    |> assert:equal(_, 0)
}