aboutsummaryrefslogtreecommitdiff
path: root/tests/trivial.rs
diff options
context:
space:
mode:
authorAndreas Grois <andi@grois.info>2023-04-02 21:59:22 +0200
committerAndreas Grois <andi@grois.info>2023-04-02 21:59:22 +0200
commitcebdd3be32d50be379663e92d4428e6bba19ba51 (patch)
tree8c5b57f2e2ed3c089e0546fdb95ef8c2082d1952 /tests/trivial.rs
parent418f514fc46f45ae2901753e3398adb33664bed9 (diff)
Run cargo fmt
I think readability was better before that...
Diffstat (limited to 'tests/trivial.rs')
-rw-r--r--tests/trivial.rs40
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
+}