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

move void test
Some checks failed
buildbot/cargo fmt (1.72) Build done.
Details
buildbot/cargo clippy (1.65) Build done.
Details
buildbot/cargo test (1.65) Build done.
Details
buildbot/cargo clippy (1.72) Build done.
Details
buildbot/cargo doc (1.72) Build done.
Details

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

6
src/func/test_suite.rs
View File

@ -13,6 +13,9 @@ pub fn functor_follows_laws<'a, T: Functor<'a> + FunctorTestSuite<'a>>() -> R {
T::sample(|pa| { T::sample(|pa| {
res += fmap_respects_composition::<T, _, _, _>(|x| x + 5, |x| x + 3, || pa(2)); res += fmap_respects_composition::<T, _, _, _>(|x| x + 5, |x| x + 3, || pa(2));
}); });
T::sample(|pa| {
res += void_can_be_exressed_via_replace::<T, _>(|| pa(2));
});
res res
} }
@ -75,8 +78,5 @@ pub fn monad_follows_laws<'a, T: Monad<'a> + FunctorTestSuite<'a>>() -> R {
T::sample(|pa| { T::sample(|pa| {
res += fmap_can_be_expressed_via_bind::<T, _, _>(|x| x + 3, || pa(2)); res += fmap_can_be_expressed_via_bind::<T, _, _>(|x| x + 3, || pa(2));
}); });
T::sample(|pa| {
res += void_can_be_exressed_via_replace::<T, _>(|| pa(2));
});
res res
} }