From f9e33ae96aec4741385a576719786092c9e68043 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 4 Jun 2022 19:34:42 -0400
Subject: De-sigil-ification: #

---
 stdlib/source/poly/lux/abstract/equivalence.lux |  4 ++--
 stdlib/source/poly/lux/data/format/json.lux     | 18 +++++++++---------
 2 files changed, 11 insertions(+), 11 deletions(-)

(limited to 'stdlib/source/poly')

diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux
index 63a88058e..207e94fc0 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -163,6 +163,6 @@
              <type>.recursive_call
              ... If all else fails...
              (|> <type>.any
-                 (# ! each (|>> %.type (format "Cannot create Equivalence for: ") <>.failure))
-                 (# ! conjoint))
+                 (at ! each (|>> %.type (format "Cannot create Equivalence for: ") <>.failure))
+                 (at ! conjoint))
              ))))
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index 2bf11cdc7..a10f632d8 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -73,9 +73,9 @@
   (codec.Codec JSON Int)
   
   (def: encoded
-    (|>> .nat (# nat_codec encoded)))
+    (|>> .nat (at nat_codec encoded)))
   (def: decoded
-    (|>> (# nat_codec decoded) (# try.functor each (|>> .int)))))
+    (|>> (at nat_codec decoded) (at try.functor each (|>> .int)))))
 
 ... Builds a JSON generator for potentially inexistent values.
 (def: (nullable writer)
@@ -91,10 +91,10 @@
   
   (def: encoded
     (|>> ((debug.private unit.out'))
-         (# ..int_codec encoded)))
+         (at ..int_codec encoded)))
   (def: decoded
-    (|>> (# ..int_codec decoded)
-         (# try.functor each (debug.private unit.in')))))
+    (|>> (at ..int_codec decoded)
+         (at try.functor each (debug.private unit.in')))))
 
 (poly: encoded
   (with_expansions
@@ -107,15 +107,15 @@
 
                [(<type>.exactly Any) (function ((~ g!_) (~ (code.symbol ["" "0"]))) {/.#Null})]
                [(<type>.sub Bit)     (|>> {/.#Boolean})]
-               [(<type>.sub Nat)     (# (~! ..nat_codec) (~' encoded))]
-               [(<type>.sub Int)     (# (~! ..int_codec) (~' encoded))]
+               [(<type>.sub Nat)     (at (~! ..nat_codec) (~' encoded))]
+               [(<type>.sub Int)     (at (~! ..int_codec) (~' encoded))]
                [(<type>.sub Frac)    (|>> {/.#Number})]
                [(<type>.sub Text)    (|>> {/.#String})])
      <time> (template [<type> <codec>]
               [(do !
                  [_ (<type>.exactly <type>)]
                  (in (` (is (~ (@JSON#encoded inputT))
-                            (|>> (# (~! <codec>) (~' encoded)) {/.#String})))))]
+                            (|>> (at (~! <codec>) (~' encoded)) {/.#String})))))]
 
               ... [duration.Duration duration.codec]
               ... [instant.Instant instant.codec]
@@ -136,7 +136,7 @@
              [unitT (<type>.applied (<>.after (<type>.exactly unit.Qty)
                                               <type>.any))]
              (in (` (is (~ (@JSON#encoded inputT))
-                        (# (~! qty_codec) (~' encoded))))))
+                        (at (~! qty_codec) (~' encoded))))))
            (do !
              [.let [g!_ (code.local "_______")
                     g!key (code.local "_______key")
-- 
cgit v1.2.3