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

remove unnecessary restriction on join

Browse Source
This commit is contained in:
AF 2023-05-23 12:08:53 +00:00
parent feb5e5daec
commit 907d6530f6
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/func.rs
View File

@ -191,7 +191,6 @@ pub trait Monad: Applicative {
/// Equivalent of Haskell's `join`. /// Equivalent of Haskell's `join`.
fn join<'a, A: 'a>(ffa: Self::F<'a, Self::F<'a, A>>) -> Self::F<'a, A> fn join<'a, A: 'a>(ffa: Self::F<'a, Self::F<'a, A>>) -> Self::F<'a, A>
where where
Self::F<'a, A>: 'a,
Self: 'a, Self: 'a,
{ {
Self::bind(ffa, |fa| fa) Self::bind(ffa, |fa| fa)