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

FallibleContext::unstuff disambiguate Fallible

Browse Source
This commit is contained in:
AF 2023-07-06 03:23:51 +00:00
parent 9c0e99f2e6
commit 847c4c93a1
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/rstd/fallible.rs
View File

@ -18,7 +18,9 @@ pub type FallibleWrapped<'a, Ctx, A, E> = Wrap<'a, A, FallibleMonad<'a, Ctx, E>>
/// this is the preferred way to switch between [Wrapped] and [fallible]. /// this is the preferred way to switch between [Wrapped] and [fallible].
pub trait FallibleContext<'a>: Context<'a> { pub trait FallibleContext<'a>: Context<'a> {
/// Convert a fallible wrapped into a wrapped result. /// Convert a fallible wrapped into a wrapped result.
fn unstuff<A: 'a, E: 'a>(wa: WrapE<'a, A, E, Self::Fallible>) -> WrapC<'a, Result<A, E>, Self> { fn unstuff<A: 'a, E: 'a>(
wa: WrapE<'a, A, E, <Self as Context<'a>>::Fallible>,
) -> WrapC<'a, Result<A, E>, Self> {
Self::Fallible::unstuff(wa) Self::Fallible::unstuff(wa)
} }