From 92dca9f487c625d27f6c291784ef709b0cc13a72 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 26 Dec 2020 04:34:11 -0400
Subject: Some renamings.
---
stdlib/source/spec/lux/abstract/monoid.lux | 14 +++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)
(limited to 'stdlib/source/spec')
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)))
))))
--
cgit v1.2.3