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

ComposedIterative reformat

Browse Source
This commit is contained in:
AF 2023-08-01 09:59:52 +00:00
parent 590cc0d6b2
commit 9a6671c711
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/func/instances/composition.rs
View File

@ -111,12 +111,11 @@ impl<'a, U: Monad<'a>, V: Monad<'a> + LocalFunctor<'a>> Monad<'a> for Compositio
struct ComposedIterative<F>(F); struct ComposedIterative<F>(F);
impl< impl<'a, U, V, F> Iterative<'a> for ComposedIterative<F>
'a, where
U: Monad<'a>, U: Monad<'a>,
V: Monad<'a> + LocalFunctor<'a>, V: Monad<'a> + LocalFunctor<'a>,
F: Iterative<'a, T = CompositionInstance<U, V>>, F: Iterative<'a, T = CompositionInstance<U, V>>,
> Iterative<'a> for ComposedIterative<F>
{ {
type B = Wrap<'a, F::B, V>; type B = Wrap<'a, F::B, V>;
type T = U; type T = U;