[−][src]Trait env_io::EnvIO

pub trait EnvIO {
    type Out;
    fn run(self) -> Self::Out;

    fn flat_map<OutEnv, F>(self, f: F) -> FlatMap<Self, F>
    where
        Self: Sized,
        OutEnv: EnvIO,
        F: Fn(Self::Out) -> OutEnv,
    { ... }
}

Associated Types

type Out

Loading content...

Required methods

fn run(self) -> Self::Out

Loading content...

Provided methods

fn flat_map<OutEnv, F>(self, f: F) -> FlatMap<Self, F> where
    Self: Sized,
    OutEnv: EnvIO,
    F: Fn(Self::Out) -> OutEnv, 

Loading content...

Implementors

impl<Env: EnvIO, OutEnv: EnvIO, F> EnvIO for FlatMap<Env, F> where
    F: Fn(Env::Out) -> OutEnv, [src]

type Out = OutEnv::Out

fn flat_map<OutEnv, F>(self, f: F) -> FlatMap<Self, F> where
    Self: Sized,
    OutEnv: EnvIO,
    F: Fn(Self::Out) -> OutEnv, [src]

impl<Out0, F: Fn() -> Out0> EnvIO for Effect<Out0, F>[src]

type Out = Out0

fn flat_map<OutEnv, F>(self, f: F) -> FlatMap<Self, F> where
    Self: Sized,
    OutEnv: EnvIO,
    F: Fn(Self::Out) -> OutEnv, [src]

Loading content...