ior - v1.0.0

ior

Types

Ior

</> 
pub type Ior(left, right) {
  Left(val: left)
  Right(val: right)
  Both(left: left, right: right)
}

Constructors 

  • Left(val: left)
  • Right(val: right)
  • Both(left: left, right: right)

Functions

as_options

</> 
pub fn as_options(ior: Ior(a, b)) -> #(Option(a), Option(b))

bimap

</> 
pub fn bimap(
  ior: Ior(a, b),
  left_map: fn(a) -> c,
  right_map: fn(b) -> d,
) -> Ior(c, d)

combine

</> 
pub fn combine(
  ior: Ior(a, b),
  ior2: Ior(a, b),
  combine_left: fn(a, a) -> a,
  combine_right: fn(b, b) -> b,
) -> Ior(a, b)

exists

</> 
pub fn exists(ior: Ior(a, b), predicate: fn(b) -> Bool) -> Bool

flat_map

</> 
pub fn flat_map(
  ior: Ior(a, b),
  combine: fn(a, a) -> a,
  f: fn(b) -> Ior(a, c),
) -> Ior(a, c)

fold

</> 
pub fn fold(
  ior: Ior(a, b),
  case_left: fn(a) -> c,
  case_right: fn(b) -> c,
  case_both: fn(a, b) -> c,
) -> c

for_all

</> 
pub fn for_all(ior: Ior(a, b), predicate: fn(b) -> Bool) -> Bool

get_left

</> 
pub fn get_left(ior: Ior(a, b)) -> Option(a)

get_or_else

</> 
pub fn get_or_else(ior: Ior(a, b), default: b) -> b

get_right

</> 
pub fn get_right(ior: Ior(a, b)) -> Option(b)

is_both

</> 
pub fn is_both(ior: Ior(a, b)) -> Bool

is_left

</> 
pub fn is_left(ior: Ior(a, b)) -> Bool

is_right

</> 
pub fn is_right(ior: Ior(a, b)) -> Bool

left_map

</> 
pub fn left_map(ior: Ior(a, b), f: fn(a) -> c) -> Ior(c, b)

map

</> 
pub fn map(ior: Ior(a, b), f: fn(b) -> c) -> Ior(a, c)

only_both

</> 
pub fn only_both(ior: Ior(a, b)) -> Option(#(a, b))

only_left

</> 
pub fn only_left(ior: Ior(a, b)) -> Option(a)

only_right

</> 
pub fn only_right(ior: Ior(a, b)) -> Option(b)

put_left

</> 
pub fn put_left(ior: Ior(a, b), left: c) -> Ior(c, b)

put_right

</> 
pub fn put_right(ior: Ior(a, b), right: c) -> Ior(a, c)

swap

</> 
pub fn swap(ior: Ior(a, b)) -> Ior(b, a)
✨ Search Document