Trait Applicative 

pub trait Applicative:
    Pointed
    + Semiapplicative
    + ApplyFirst
    + ApplySecond { }

A type class for applicative functors.

Applicative extends Pointed and Semiapplicative. It allows for values to be wrapped in a context and for functions within a context to be applied to values within a context.

Type Signature

class (Pointed f, Semiapplicative f) => Applicative f

Examples

use fp_library::classes::applicative::Applicative;
use fp_library::classes::pointed::pure;
use fp_library::classes::semiapplicative::apply;
use fp_library::classes::clonable_fn::ClonableFn;
use fp_library::brands::OptionBrand;
use fp_library::brands::RcFnBrand;

// Applicative combines Pointed (pure) and Semiapplicative (apply)
let f = pure::<OptionBrand, _>(<RcFnBrand as ClonableFn>::new(|x: i32| x * 2));
let x = pure::<OptionBrand, _>(5);
let y = apply::<RcFnBrand, OptionBrand, _, _>(f, x);
assert_eq!(y, Some(10));

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<Brand> Applicative for Brand

where Brand: Pointed + Semiapplicative + ApplyFirst + ApplySecond,