Trait naan::apply::ApplicativeSurrogate

pub trait ApplicativeSurrogate<F, A>where
    Self: Sized + ApplySurrogate<F, A, Self> + Equiv<To = F::T<A>>,
    F: HKT1,{
    // Required method
    fn pure(a: A) -> F::T<A>;
}

Applicative but with looser type constraints, allowing for blanket Applicative implementations on types Equivalent to F<A>

Required Methods

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

Lift A to F<A>

Implementors

impl<I, A> ApplicativeSurrogate<IO, A> for Iwhere I: Equiv<To = IO<A>> + IOLike<A>,