Struct effect_monad::BoundEffect

pub struct BoundEffect<Ea, F> { /* 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.

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

The returned type after the call operator is used.

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

🔬 This is a nightly-only experimental API. (fn_traits)

This is called when the call operator is used.