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

MonadFailAnyExt lift lifetime

Browse Source
This commit is contained in:
AF 2023-05-26 07:55:42 +00:00
parent 3ab54e29e0
commit c9d0801f88
1 changed files with 6 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/func.rs
View File

@ -342,33 +342,24 @@ pub trait MonadFailAny {
pub type WrapE<'a, A, E, Fallible> = Wrap<'a, A, <Fallible as MonadFailAny>::W<E>>;
pub trait MonadFailAnyExt: MonadFailAny {
fn pure<'a, E: 'a, A: 'a>(a: A) -> WrapE<'a, A, E, Self>
where
Self: 'a,
{
pub trait MonadFailAnyExt<'a>: 'a + MonadFailAny {
fn pure<E: 'a, A: 'a>(a: A) -> WrapE<'a, A, E, Self> {
<Self::W<E> as Pure>::pure(a)
}
fn fail<'a, E: 'a, A: 'a>(e: E) -> WrapE<'a, A, E, Self>
where
Self: 'a,
{
fn fail<E: 'a, A: 'a>(e: E) -> WrapE<'a, A, E, Self> {
<Self::W<E> as Fail<E>>::fail(e)
}
fn speculative<'a, A: 'a, B: 'a, E0: 'a, E1: 'a>(
fn speculative<A: 'a, B: 'a, E0: 'a, E1: 'a>(
wwa: WrapE<'a, WrapE<'a, A, E0, Self>, E1, Self>,
wwb: WrapE<'a, WrapE<'a, B, E0, Self>, E1, Self>,
) -> WrapE<'a, (A, B), Result<E0, E1>, Self>
where
Self: 'a,
{
) -> WrapE<'a, (A, B), Result<E0, E1>, Self> {
<Self as speculative::SpeculativeFail<'a>>::speculative(wwa, wwb)
}
}
impl<Fallible: ?Sized + MonadFailAny> MonadFailAnyExt for Fallible {}
impl<'a, Fallible: ?Sized + 'a + MonadFailAny> MonadFailAnyExt<'a> for Fallible {}
pub trait SharedFunctor: WeakFunctor {
type Shared<'a, A: 'a + Clone>: 'a + Clone