Trait EnvIO

pub trait EnvIO {
    type Out;

    // Required method
    fn run(self) -> Self::Out;

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

Required Associated Types

type Out

Required Methods

fn run(self) -> Self::Out

Provided Methods

fn flat_map<OutEnv, F>(self, f: F) -> FlatMap<Self, F>

where Self: Sized, OutEnv: EnvIO, F: Fn(Self::Out) -> OutEnv,

Implementors

impl<Env: EnvIO, OutEnv: EnvIO, F> EnvIO for FlatMap<Env, F>

where F: Fn(Env::Out) -> OutEnv,

type Out = <OutEnv as EnvIO>::Out

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

type Out = Out0