aivi.bool

Boolean utilities for AIVI. These functions complement the built-in and, or, and bool branching operators with named combinators for common logical patterns.

use aivi.bool (
    not
    xor
    implies
    both
    either
    neither
    fromInt
)

---

not

Negates a boolean value.

not : Bool -> Bool

use aivi.bool (not)

type Bool -> Bool
func isInactive = active =>
    not active

---

xor

Returns True if exactly one of the two arguments is True (exclusive or).

xor : Bool -> Bool -> Bool

use aivi.bool (xor)

type Bool -> Bool -> Bool
func toggleChanged = previous current =>
    xor previous current

---

implies

Logical implication: implies a b is False only when a is True and b is False.

implies : Bool -> Bool -> Bool

use aivi.bool (implies)

type Bool -> Bool -> Bool
func checkRule = hasPermission canAccess =>
    implies hasPermission canAccess

---

both

Returns True if both arguments are True. Equivalent to a and b.

both : Bool -> Bool -> Bool

use aivi.bool (both)

type Bool -> Bool -> Bool
func isAdminAndActive = isAdmin isActive =>
    both isAdmin isActive

---

either

Returns True if at least one argument is True. Equivalent to a or b.

either : Bool -> Bool -> Bool

use aivi.bool (either)

type Bool -> Bool -> Bool
func canProceed = hasTokenA hasTokenB =>
    either hasTokenA hasTokenB

---

neither

Returns True only if both arguments are False.

neither : Bool -> Bool -> Bool

use aivi.bool (neither)

type Bool -> Bool -> Bool
func isSilent = isPlaying isPaused =>
    neither isPlaying isPaused

---

fromInt

Converts an integer to a boolean: 0 becomes False, any other value becomes True.

fromInt : Int -> Bool

use aivi.bool (fromInt)

type Int -> Bool
func hasFlags = flagBits =>
    fromInt flagBits