pub fn map<'a, Brand: Functor, B: 'a, A: 'a, F>(
f: F,
fa: <Brand as Kind_cdc7cd43dac7585f>::Of<'a, A>,
) -> <Brand as Kind_cdc7cd43dac7585f>::Of<'a, B>where
F: Fn(A) -> B + 'a,Expand description
Maps a function over the values in the functor context.
Free function version that dispatches to the type class’ associated function.
§Type Signature
forall f b a. Functor f => (a -> b, f a) -> f b
§Type Parameters
Brand: The brand of the functor.B: The type of the result(s) of applying the function.A: The type of the value(s) inside the functor.F: The type of the function to apply.
§Parameters
f: The function to apply to the value(s) inside the functor.fa: The functor instance containing the value(s).
§Returns
A new functor instance containing the result(s) of applying the function.
§Examples
use fp_library::{brands::*, functions::*};
let x = Some(5);
let y = map::<OptionBrand, _, _, _>(|i| i * 2, x);
assert_eq!(y, Some(10));