Skip to main content

Module alt

Module alt 

Source
Expand description

Choosing between values in a context, associatively.

Alt is to type constructors as Semigroup is to concrete types.

§Examples

use fp_library::{
	brands::*,
	classes::*,
	functions::explicit::*,
};

let x: Option<i32> = None;
let y = Some(5);
let z = alt::<OptionBrand, _, _, _>(x, y);
assert_eq!(z, Some(5));

Traits§

Alt
A type class for associative choice on type constructors.

Functions§

alt
Chooses between two values in a context.