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

fix void test error
All checks were successful
buildbot/cargo fmt (1.72) Build done.
Details
buildbot/cargo doc (1.72) Build done.
Details
buildbot/cargo clippy (1.72) Build done.
Details
buildbot/cargo test (1.65) Build done.
Details
buildbot/cargo clippy (1.65) Build done.
Details

Browse Source
This commit is contained in:
AF 2023-10-15 14:30:58 +00:00
parent e8c778fa0d
commit 57cbffe014
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/func/tests.rs
View File

@ -320,7 +320,7 @@ pub fn fmap_can_be_expressed_via_bind<
pub fn void_can_be_exressed_via_replace<
'a,
T: Monad<'a> + Eqr<'a>,
T: Functor<'a> + Eqr<'a>,
A: 'a + Send + Debug + PartialEq,
>(
fa0: impl Fn() -> T::F<A>,