aboutsummaryrefslogtreecommitdiff
path: root/src/lib.rs
diff options
context:
space:
mode:
authorAndreas Grois <andi@grois.info>2023-04-02 22:40:29 +0200
committerAndreas Grois <andi@grois.info>2023-04-02 22:40:29 +0200
commit7d1acb295b0dc9ebde45f6828d01baa8c6dce023 (patch)
tree719be8654b94d7a775eb90d31c35ff919a44f023 /src/lib.rs
parent073c5319f4f2bfddd2bb4070b9f4ce346c407a2e (diff)
Example: Fix inconsistency in cashier handling.
Diffstat (limited to 'src/lib.rs')
-rw-r--r--src/lib.rs7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/lib.rs b/src/lib.rs
index e15d7cc..233153e 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -59,7 +59,8 @@
//! There is work ongoing to [add explicit clone support to higher](https://github.com/bodil/higher/issues/6) though, so this might no longer be an issue with
//! later higher versions.
-#[doc(hidden)] //that this is re-exported is an implementation detail. Users should import directly from higher imho.
+#[doc(hidden)]
+//that this is re-exported is an implementation detail. Users should import directly from higher imho.
pub extern crate higher;
/// The macro that generates a Free [`Monad`][higher::Monad] type for a given [`Functor`][higher::Functor].
@@ -746,14 +747,14 @@ mod free_monad_tests {
let left = (m.0)(7u32);
match left {
FreeConti::Pure(v) => {
- assert_nearly_equal!(v, 5f64 * 23f64, f64::EPSILON)
+ assert_nearly_equal!(v, 5f64 * 23f64, f64::EPSILON);
}
FreeConti::Free(_) => unreachable!(),
}
let right = (m.1)(7u32);
match right {
FreeConti::Pure(v) => {
- assert_nearly_equal!(v, 5f64 * 45f64, f64::EPSILON)
+ assert_nearly_equal!(v, 5f64 * 45f64, f64::EPSILON);
}
FreeConti::Free(_) => unreachable!(),
}