Trait IntoEnvIO

pub trait IntoEnvIO {
    type Out;
    type IntoEnv: EnvIO<Out = Self::Out>;

    // Required method
    fn effect(self) -> Self::IntoEnv;
}

Required Associated Types

type Out

type IntoEnv: EnvIO<Out = Self::Out>

Required Methods

fn effect(self) -> Self::IntoEnv

Implementors

impl<T, F: Fn() -> T> IntoEnvIO for F

type Out = T

type IntoEnv = Effect<T, F>