diff --git a/src/func/tests.rs b/src/func/tests.rs index f971435..8f894c1 100644 --- a/src/func/tests.rs +++ b/src/func/tests.rs @@ -113,37 +113,6 @@ impl AddAssign for R { } } -#[cfg(test)] -mod eqr_tests { - use super::{eqr, R}; - - #[test] - fn eqr_ok() { - eqr("test", 0, 0).unwrap(); - } - - #[test] - #[should_panic(expected = "test: 1 != 2")] - fn eqr_panic() { - eqr("test", 1, 2).unwrap(); - } - - #[test] - #[should_panic] - fn eqr_err_add() { - (R::default() + eqr("test", 1, 2) + eqr("test", 3, 4)).unwrap(); - } - - #[test] - #[should_panic] - fn eqr_err_add_assign() { - let mut r = R::default(); - r += eqr("test", 1, 2); - r += eqr("test", 3, 4); - r.unwrap(); - } -} - pub fn fmap_respects_identity<'a, T: Functor<'a> + Eqr<'a>, A: 'a + Send + Debug + PartialEq>( fa0: impl Fn() -> T::F, ) -> R { @@ -523,3 +492,34 @@ pub fn local_self_composes< T::join(ffa0()), ) } + +#[cfg(test)] +mod eqr_tests { + use super::{eqr, R}; + + #[test] + fn eqr_ok() { + eqr("test", 0, 0).unwrap(); + } + + #[test] + #[should_panic(expected = "test: 1 != 2")] + fn eqr_panic() { + eqr("test", 1, 2).unwrap(); + } + + #[test] + #[should_panic] + fn eqr_err_add() { + (R::default() + eqr("test", 1, 2) + eqr("test", 3, 4)).unwrap(); + } + + #[test] + #[should_panic] + fn eqr_err_add_assign() { + let mut r = R::default(); + r += eqr("test", 1, 2); + r += eqr("test", 3, 4); + r.unwrap(); + } +}