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

I -> F

Browse Source
This commit is contained in:
AF 2023-05-20 11:24:30 +00:00
parent f1cdbcc2d0
commit 96127f9388
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/func/controlflow.rs
View File

@ -32,9 +32,9 @@ impl<C> Pure for ControlFlowClass<C> {
} }
/// Next [AIterative] state, wrapped. /// Next [AIterative] state, wrapped.
pub type AIterativeWrapped<'a, I> = <<I as AIterative<'a>>::T as WeakFunctor>::F< pub type AIterativeWrapped<'a, F> = <<F as AIterative<'a>>::T as WeakFunctor>::F<
'a, 'a,
ControlFlow<<I as AIterative<'a>>::B, (<I as AIterative<'a>>::A, I)>, ControlFlow<<F as AIterative<'a>>::B, (<F as AIterative<'a>>::A, F)>,
>; >;
/// Value passed to [`Monad::iterate_argument`]. /// Value passed to [`Monad::iterate_argument`].
@ -91,8 +91,8 @@ impl<
} }
/// Next [Iterative] state, wrapped. /// Next [Iterative] state, wrapped.
pub type IterativeWrapped<'a, I> = pub type IterativeWrapped<'a, F> =
<<I as Iterative<'a>>::T as WeakFunctor>::F<'a, ControlFlow<<I as Iterative<'a>>::B, I>>; <<F as Iterative<'a>>::T as WeakFunctor>::F<'a, ControlFlow<<F as Iterative<'a>>::B, F>>;
/// Value passed to [`Monad::iterate`]. /// Value passed to [`Monad::iterate`].
pub trait Iterative<'a>: 'a + Sized { pub trait Iterative<'a>: 'a + Sized {