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

CovariantFunctor for CompositionClass

Browse Source
This commit is contained in:
AF 2023-04-27 04:50:49 +00:00
parent 4d1202d399
commit a691f6d8b7
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -166,3 +166,14 @@ impl<U: SharedFunctor + Functor, V: SharedFunctor> SharedFunctor for Composition
U::fmap(V::unshare, U::unshare(sa)) U::fmap(V::unshare, U::unshare(sa))
} }
} }
impl<U: CovariantFunctor + Functor, V: CovariantFunctor> CovariantFunctor
for CompositionClass<U, V>
{
fn variate<'a: 'b, 'b, A: 'a>(fa: Self::F<'a, A>) -> Self::F<'b, A>
where
Self: 'a,
{
U::fmap(V::variate, U::variate(fa))
}
}