Trait radn::func::fail::Fail

pub trait Fail<'a, E: 'a + Send>: WeakFunctor<'a> {
    // Required method
    fn fail<A: 'a + Send>(e: E) -> Self::F<A>;
}

Part of MonadFail responsible for Haskell’s fail.

Required Methods

fn fail<A: 'a + Send>(e: E) -> Self::F<A>

Equivalent of Haskell’s fail.

Implementors

impl<'a> Fail<'a, Infallible> for SoloInstance

impl<'a> Fail<'a, Option<Infallible>> for OptionInstance

impl<'a, E: 'a + Send> Fail<'a, E> for ResultInstance<E>

impl<'a, E: 'a + Send> Fail<'a, E> for TryFutureInstance<E>

impl<'a, E: 'a + Send, Ex: 'a + Send, T: MonadFail<'a, Result<E, Ex>>> Fail<'a, E> for EmbedFail<T, Ex>

impl<'a, E: 'a + Send, U: Monad<'a>, V: Fail<'a, E> + LocalFunctor<'a>> Fail<'a, E> for CompositionInstance<U, V>

Note: fails in the inner instance not outer.