Trait naan::apply::Applicative

pub trait Applicative<F, A>where
    Self: Apply<F, A>,
    F: HKT1<T<A> = Self>,{
    // Required method
    fn pure(a: A) -> F::T<A>;

    // Provided method
    fn append_one(self, a: A) -> Self
       where Self: Sized + Semigroup { ... }
}

Adds onto Apply the ability to lift a value to the F context.

Required Methods

fn pure(a: A) -> F::T<A>

Lift A to F<A>

Provided Methods

fn append_one(self, a: A) -> Selfwhere Self: Sized + Semigroup,

Append a single A to F<A>

Implementations on Foreign Types

impl<A> Applicative<Option, A> for Option<A>

fn pure(a: A) -> Option<A>

impl<A, E> Applicative<ResultOk<E>, A> for Result<A, E>

fn pure(a: A) -> Result<A, E>

impl<A, const N: usize> Applicative<ArrayVec<N>, A> for ArrayVec<[Option<A>; N]>

fn pure(a: A) -> Self

impl<A> Applicative<Vec, A> for Vec<A>

fn pure(a: A) -> Vec<A>

Implementors

impl<T> Applicative<Id, T> for Id<T>