Struct coyoneda::Coyoneda

pub struct Coyoneda<'a, T: Param, B> { /* fields omitted */ }

Methods

impl<'a, T: 'a + Param, B: 'a> Coyoneda<'a, T, B>

fn unwrap(self) -> <T as ReParam<B>>::Output where
    T: Covariant<'a, B>,
    <T as Param>::Param: 'a, 

Trait Implementations

impl<'a, T: Param, B> Param for Coyoneda<'a, T, B>

type Param = B

impl<'a, T: Param, B, C> ReParam<C> for Coyoneda<'a, T, B>

type Output = Coyoneda<'a, T, C>

impl<'a, T: Param, B, C> Covariant<'a, C> for Coyoneda<'a, T, B>

fn fmap<F: Fn(B) -> C + 'a>(self, f: F) -> Coyoneda<'a, T, C>

impl<'a, T: Param> From<T> for Coyoneda<'a, T, <T as Param>::Param>

fn from(x: T) -> Coyoneda<'a, T, <T as Param>::Param>

Performs the conversion.

impl<'a, T, U, B> NaturalTransform<Coyoneda<'a, U, B>> for Coyoneda<'a, T, B> where
    T: Param + NaturalTransform<U>,
    U: Param<Param = T::Param>, 

fn transform(self) -> Coyoneda<'a, U, B>