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

remove FnOnce from copy_func

Browse Source
This commit is contained in:
AF 2023-03-10 23:12:53 +00:00
parent 85df7b2092
commit 5297261091
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/copy_func.rs
View File

@ -110,7 +110,7 @@ impl<T: Applicative> CopyApplicative for T {
} }
pub trait CopyMonad: CopyApplicative { pub trait CopyMonad: CopyApplicative {
fn copy_bind<A: Copy, B: Copy, F: FnOnce(A) -> Self::CF<B>>( fn copy_bind<A: Copy, B: Copy, F: Copy + Fn(A) -> Self::CF<B>>(
fa: Self::CF<A>, fa: Self::CF<A>,
f: F, f: F,
) -> Self::CF<B>; ) -> Self::CF<B>;
@ -125,7 +125,7 @@ pub trait CopyMonad: CopyApplicative {
} }
impl<T: Monad> CopyMonad for T { impl<T: Monad> CopyMonad for T {
fn copy_bind<A: Copy, B: Copy, F: FnOnce(A) -> Self::CF<B>>( fn copy_bind<A: Copy, B: Copy, F: Copy + Fn(A) -> Self::CF<B>>(
fa: Self::CF<A>, fa: Self::CF<A>,
f: F, f: F,
) -> Self::CF<B> { ) -> Self::CF<B> {