Skip to main content

empty

Function empty 

Source
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);