PTV/radn-rs
1
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity

move FallibleMonad to func::context

Browse Source
This commit is contained in:
AF 2023-07-06 03:32:14 +00:00
parent f0381672ff
commit 99088a1df8
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/func/context.rs
View File

@ -46,3 +46,6 @@ pub trait FallibleCtx<'a>: FunctorContext<'a> {
/// This is important for async applications stopping early. /// This is important for async applications stopping early.
type Fallible: MonadFailAny<'a, T = Self::T>; type Fallible: MonadFailAny<'a, T = Self::T>;
} }
/// Preferred monad for fallible uses.
pub type FallibleMonad<'a, Ctx, E> = <<Ctx as FallibleCtx<'a>>::Fallible as MonadFailAny<'a>>::W<E>;

3
src/rstd/fallible.rs
View File

@ -6,9 +6,6 @@ use crate::func::context::*;
use super::*; use super::*;
/// Preferred monad for fallible uses.
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>>;