Trait naan::apply::Applicative
source · 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 { ... }
}
Expand description
Adds onto Apply
the ability to lift a value
to the F
context.
Required Methods§
Provided Methods§
sourcefn append_one(self, a: A) -> Selfwhere
Self: Sized + Semigroup,
fn append_one(self, a: A) -> Selfwhere Self: Sized + Semigroup,
Append a single A
to F<A>