Trait radn::func::Pure

pub trait Pure<'a>: Functor<'a> {
    // Required method
    fn pure<A: 'a + Send>(a: A) -> Self::F<A>;
}

Part of Applicative responsible for Haskell’s value lifting, pure.

Required Methods

fn pure<A: 'a + Send>(a: A) -> Self::F<A>

Equivalent of Haskell’s pure/return.

Implementors

impl<'a> Pure<'a> for FutureInstance

impl<'a> Pure<'a> for LazyInstance

impl<'a> Pure<'a> for OptionInstance

impl<'a> Pure<'a> for SoloInstance

impl<'a> Pure<'a> for StacklessInstance

impl<'a, E: 'a + Send> Pure<'a> for ResultInstance<E>

impl<'a, E: 'a + Send> Pure<'a> for TryFutureInstance<E>

impl<'a, E: 'a + Effect> Pure<'a> for EffectInstance<E>

impl<'a, T: Pure<'a>, O: 'a + DeriveApplicative> Pure<'a> for OverloadInstance<T, O>

impl<'a, U: Pure<'a>, V: Pure<'a>> Pure<'a> for CompositionInstance<U, V>