aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/spec
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/spec')
-rw-r--r--stdlib/source/spec/lux/abstract/monoid.lux14
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/spec/lux/abstract/monoid.lux b/stdlib/source/spec/lux/abstract/monoid.lux
index b3bcd7a67..1981c6107 100644
--- a/stdlib/source/spec/lux/abstract/monoid.lux
+++ b/stdlib/source/spec/lux/abstract/monoid.lux
@@ -10,7 +10,7 @@
[//
[equivalence (#+ Equivalence)]]]})
-(def: #export (spec (^open "@//.") (^open "@//.") gen-sample)
+(def: #export (spec (^open "\.") (^open "\.") gen-sample)
(All [a] (-> (Equivalence a) (/.Monoid a) (Random a) Test))
(do random.monad
[sample gen-sample
@@ -20,12 +20,12 @@
(<| (_.for [/.Monoid])
($_ _.and
(_.test "Left identity."
- (@//= sample
- (@//compose @//identity sample)))
+ (\= sample
+ (\compose \identity sample)))
(_.test "Right identity."
- (@//= sample
- (@//compose sample @//identity)))
+ (\= sample
+ (\compose sample \identity)))
(_.test "Associativity."
- (@//= (@//compose left (@//compose mid right))
- (@//compose (@//compose left mid) right)))
+ (\= (\compose left (\compose mid right))
+ (\compose (\compose left mid) right)))
))))