pub fn empty<'a, Brand: Plus, A: 'a>() -> <Brand as Kind_cdc7cd43dac7585f>::Of<'a, A>Expand description
Returns the identity element for alt.
Free function version that dispatches to the type class’ associated function.
§Type Signature
forall Brand A. Plus Brand => () -> Brand A
§Type Parameters
'a: The lifetime of the value.Brand: The brand of the context.A: The type of the value inside the context.
§Returns
The identity element.
§Examples
use fp_library::{
brands::*,
functions::*,
};
let x: Option<i32> = plus_empty::<OptionBrand, i32>();
assert_eq!(x, None);