From cebdd3be32d50be379663e92d4428e6bba19ba51 Mon Sep 17 00:00:00 2001 From: Andreas Grois Date: Sun, 2 Apr 2023 21:59:22 +0200 Subject: Run cargo fmt I think readability was better before that... --- tests/trivial.rs | 40 ++++++++++++++++------------------------ 1 file changed, 16 insertions(+), 24 deletions(-) (limited to 'tests/trivial.rs') 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); @@ -12,30 +12,22 @@ free!(TrivialFreeMonad, TrivialFunctor>); #[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 +} -- cgit v1.2.3