Trait radn::flow::speculative::SpeculativeFail

pub trait SpeculativeFail<'a>: MonadFailAny<'a> {
    // Provided method
    fn speculative<A: 'a + Send, B: 'a + Send, E0: 'a + Send, E1: 'a + Send>(
        wwa: WrapE<'a, WrapE<'a, A, E0, Self>, E1, Self>,
        wwb: WrapE<'a, WrapE<'a, B, E0, Self>, E1, Self>
    ) -> WrapE<'a, (A, B), Result<E0, E1>, Self> { ... }
}

Provided Methods

fn speculative<A: 'a + Send, B: 'a + Send, E0: 'a + Send, E1: 'a + Send>( wwa: WrapE<'a, WrapE<'a, A, E0, Self>, E1, Self>, wwb: WrapE<'a, WrapE<'a, B, E0, Self>, E1, Self> ) -> WrapE<'a, (A, B), Result<E0, E1>, Self>

Implementors

impl<'a, Fallible: ?Sized + MonadFailAny<'a>> SpeculativeFail<'a> for Fallible