Struct naan::impls::identity::hkt::Id

pub struct Id;

Id HKT

Trait Implementations

impl<T> Alt<Id, T> for Id<T>

fn alt(self, _: Self) -> Self

See Alt

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

fn pure(a: T) -> Id<T>

Lift A to F<A>

impl<AB> Apply<Id, AB> for Id<AB>

fn apply_with<A, B, Cloner>( self, a: <Id as HKT1>::T<A>, _: Cloner ) -> <Id as HKT1>::T<B>where AB: F1<A, Ret = B>, Cloner: for<'a> F1<&'a A, Ret = A>,

Apply the function A -> B contained in Self (F<A -> B>) to an instance of F<A> to get F<B>.

fn apply<A, B>(self, a: F::T<A>) -> F::T<B>where Self: Sized, AB: F1<A, Ret = B>, A: Clone,

See [Apply.apply_with]

impl<T> ApplyOnce<Id, T> for Id<T>

fn apply1<A, B>(self, a: Id<A>) -> Id<B>where T: F1Once<A, Ret = B>,

See ApplyOnce

impl<A> Functor<Id, A> for Id<A>

fn fmap<AB, B>(self, f: AB) -> <Id as HKT1>::T<B>where AB: F1<A, Ret = B>,

Use a function from A -> B to transform an F<A> to an F<B>.

impl<T> FunctorOnce<Id, T> for Id<T>

fn fmap1<AB, B>(self, f: AB) -> Id<B>where AB: F1Once<T, Ret = B>,

See FunctorOnce

impl HKT1 for Id

type T<A> = Id<A>

The generic type

impl<A> Monad<Id, A> for Id<A>

fn bind<B, AMB>(self, f: AMB) -> <Id as HKT1>::T<B>where AMB: F1<A, Ret = <Id as HKT1>::T<B>>,

See Monad

fn flatten<AA>(self) -> M::T<AA>where Self: Sized, M: HKT1<T<AA> = A> + HKT1<T<<M as HKT1>::T<AA>> = Self>,

Flatten a nested Monad

impl<T> MonadOnce<Id, T> for Id<T>

fn bind1<B, AMB>(self, f: AMB) -> Id<B>where AMB: F1Once<T, Ret = Id<B>>,

See MonadOnce

fn discard<AMB, B>(self, f: AMB) -> M::T<A>where Self: Sized, B: Discard, AMB: for<'a> F1Once<&'a A, Ret = M::T<B>>, M::T<B>: MonadOnce<M, B>,

MonadOnce::bind1 that Discards the output of the function.

fn discard_mut<AMB, B>(self, f: AMB) -> M::T<A>where Self: Sized, B: Discard, AMB: for<'a> F1Once<&'a mut A, Ret = M::T<B>>, M::T<B>: MonadOnce<M, B>,

MonadOnce::discard with mutable access to the data