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