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

move FallibleWrapped to func::context

Browse Source
This commit is contained in:
AF 2023-07-06 03:35:42 +00:00
parent 00baa846dd
commit 75b4898094
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

@ -49,3 +49,6 @@ pub trait FallibleCtx<'a>: FunctorContext<'a> {
/// Preferred monad for fallible uses. /// Preferred monad for fallible uses.
pub type FallibleMonad<'a, Ctx, E> = <<Ctx as FallibleCtx<'a>>::Fallible as MonadFailAny<'a>>::W<E>; pub type FallibleMonad<'a, Ctx, E> = <<Ctx as FallibleCtx<'a>>::Fallible as MonadFailAny<'a>>::W<E>;
/// Preferred [Wrap]ped [Result].
pub type FallibleWrapped<'a, Ctx, A, E> = Wrap<'a, A, FallibleMonad<'a, Ctx, E>>;

3
src/rstd/fallible.rs
View File

@ -6,9 +6,6 @@ use crate::func::context::*;
use super::*; use super::*;
/// Preferred [Wrapped] [Result].
pub type FallibleWrapped<'a, Ctx, A, E> = Wrap<'a, A, FallibleMonad<'a, Ctx, E>>;
/// Extention trait for simpler conversion between [`FunctorContext::T`] and [`Context::Fallible`]. /// Extention trait for simpler conversion between [`FunctorContext::T`] and [`Context::Fallible`].
/// ///
/// Until either Rust type system or [`crate::func`] take serious changes, /// Until either Rust type system or [`crate::func`] take serious changes,