Struct effect_monad::BoundEffect [−] [src]

pub struct BoundEffect<Ea, F> {
    // some fields omitted
}

A struct representing two bound effects. Ideally, we would be able to a closure here, but that's not possible without returning a boxed version of the closure, which we don't want to do.

Struct effect_monad::BoundEffect [−] [src]

Trait Implementations

`impl<A, B, Ea, Eb, F> FnOnce<()> for BoundEffect<Ea, F> where Ea: FnOnce() -> A, Eb: FnOnce() -> B, F: FnOnce(A) -> Eb`

`type Output = B`

`extern "rust-call" fn call_once(self, _: ()) -> Self::Output`