Trait radn::func::instances::effect::Effect

pub trait Effect: Send {
    // Required methods
    fn e_pure() -> Self;
    fn e_parallel(el: Self, er: Self) -> Self;
    fn e_after(self, effect: Self) -> Self;
}

Metadata type.

Required Methods

fn e_pure() -> Self

Used in Pure::pure.

fn e_parallel(el: Self, er: Self) -> Self

Used in ApplicativeLA2::la2 and other Applicative methods.

fn e_after(self, effect: Self) -> Self

Used in Monad::bind and other Monad methods.

Implementations on Foreign Types

impl Effect for usize

fn e_pure() -> Self

fn e_parallel(el: Self, er: Self) -> Self

fn e_after(self, effect: Self) -> Self

Implementors