FallibleMonad via FallibleCtx

This commit is contained in:
AF 2023-07-06 03:28:24 +00:00
parent 6a6e3609b3
commit f0381672ff

View File

@ -7,7 +7,7 @@ use crate::func::context::*;
use super::*; use super::*;
/// Preferred monad for fallible uses. /// Preferred monad for fallible uses.
pub type FallibleMonad<'a, Ctx, E> = <<Ctx as Context<'a>>::Fallible as MonadFailAny<'a>>::W<E>; pub type FallibleMonad<'a, Ctx, E> = <<Ctx as FallibleCtx<'a>>::Fallible as MonadFailAny<'a>>::W<E>;
/// Preferred [Wrapped] [Result]. /// Preferred [Wrapped] [Result].
pub type FallibleWrapped<'a, Ctx, A, E> = Wrap<'a, A, FallibleMonad<'a, Ctx, E>>; pub type FallibleWrapped<'a, Ctx, A, E> = Wrap<'a, A, FallibleMonad<'a, Ctx, E>>;