diff options
| author | Andreas Grois <andi@grois.info> | 2023-04-02 21:59:22 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2023-04-02 21:59:22 +0200 |
| commit | cebdd3be32d50be379663e92d4428e6bba19ba51 (patch) | |
| tree | 8c5b57f2e2ed3c089e0546fdb95ef8c2082d1952 /tests/trivial.rs | |
| parent | 418f514fc46f45ae2901753e3398adb33664bed9 (diff) | |
Run cargo fmt
I think readability was better before that...
Diffstat (limited to 'tests/trivial.rs')
| -rw-r--r-- | tests/trivial.rs | 40 |
1 files changed, 16 insertions, 24 deletions
diff --git a/tests/trivial.rs b/tests/trivial.rs index 5bc1e91..d3a71f3 100644 --- a/tests/trivial.rs +++ b/tests/trivial.rs @@ -1,8 +1,8 @@ #![deny(clippy::pedantic)] #![deny(clippy::all)] //! A trivial test functor. Not holding any data, so this is basically just a linked list of free-nodes. +use higher::{Apply, Bind, Functor}; use higher_free_macro::free; -use higher::{Functor, Bind, Apply}; #[derive(Functor, Clone)] struct TrivialFunctor<A>(A); @@ -12,30 +12,22 @@ free!(TrivialFreeMonad<A>, TrivialFunctor<TrivialFreeMonad<A>>); #[test] fn test_trivial_functor() { let m = TrivialFreeMonad::lift_f(TrivialFunctor(37u32)); - let m = m.fmap(|x| x*2); + let m = m.fmap(|x| x * 2); let m = m.bind(|x| TrivialFreeMonad::Free(Box::new(TrivialFunctor(TrivialFreeMonad::Pure(x))))); - let f = TrivialFreeMonad::Pure((|x| x*3).into()); + let f = TrivialFreeMonad::Pure((|x| x * 3).into()); let m = m.apply(f); match m { - TrivialFreeMonad::Free(b) => { - match *b { - TrivialFunctor(f) => { - match f { - TrivialFreeMonad::Free(b) => { - match *b { - TrivialFunctor(f) => { - match f{ - TrivialFreeMonad::Pure(x) => assert_eq!(x, 37*6), - TrivialFreeMonad::Free(_) => unreachable!() - } - } - } - }, - TrivialFreeMonad::Pure(_) => unreachable!() - } - } - } - } - TrivialFreeMonad::Pure(_) => unreachable!() + TrivialFreeMonad::Free(b) => match *b { + TrivialFunctor(f) => match f { + TrivialFreeMonad::Free(b) => match *b { + TrivialFunctor(f) => match f { + TrivialFreeMonad::Pure(x) => assert_eq!(x, 37 * 6), + TrivialFreeMonad::Free(_) => unreachable!(), + }, + }, + TrivialFreeMonad::Pure(_) => unreachable!(), + }, + }, + TrivialFreeMonad::Pure(_) => unreachable!(), } -}
\ No newline at end of file +} |
