Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the convention that only macros that deal with types may start with a colon.

8 files changed, 57 insertions, 57 deletions

diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index 13039d9d3..5fad232b1 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -62,7 +62,7 @@
            
            (#.Cons head tail)
            (do (try.with !)
-             [_ (!.use (:: fs create-file) [head])]
+             [_ (!.use (\ fs create-file) [head])]
              (do !
                [_ (promise.future (atom.write [runs tail] @runs))]
                (wrap (#try.Success [])))))))]))
@@ -71,7 +71,7 @@
   Test
   (<| (_.covering /._)
       (do {! random.monad}
-        [#let [/ (:: file.default separator)
+        [#let [/ (\ file.default separator)
                [fs watcher] (watch.mock /)
                shell (shell.mock
                       (function (_ [actual-environment actual-working-directory actual-command actual-arguments])
@@ -93,13 +93,13 @@
          program (random.ascii/alpha 5)
          target (random.ascii/alpha 5)
          working-directory (random.ascii/alpha 5)
-         expected-runs (:: ! map (|>> (n.% 10) (n.max 2)) random.nat)
+         expected-runs (\ ! map (|>> (n.% 10) (n.max 2)) random.nat)
          source (random.ascii/alpha 5)
          dummy-files (|> (random.ascii/alpha 5)
                          (random.set text.hash (dec expected-runs))
-                         (:: ! map (|>> set.to-list (list\map (|>> (format source /))))))
+                         (\ ! map (|>> set.to-list (list\map (|>> (format source /))))))
          #let [empty-profile (: Profile
-                                (:: ///.monoid identity))
+                                (\ ///.monoid identity))
                with-target (: (-> Profile Profile)
                               (set@ #///.target (#.Some target)))
                with-program (: (-> Profile Profile)
@@ -128,8 +128,8 @@
                #let [[@runs command] (..command end-signal dummy-files)]]
               (wrap (do promise.monad
                       [verdict (do ///action.monad
-                                 [_ (!.use (:: fs create-directory) [source])
-                                  _ (:: watcher poll [])
+                                 [_ (!.use (\ fs create-directory) [source])
+                                  _ (\ watcher poll [])
                                   #let [resolution (|> ///dependency/resolution.empty
                                                        (dictionary.put compiler-dependency compiler-package))]]
                                  (do promise.monad
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index ad72b47c4..3b1802440 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -34,7 +34,7 @@
   Test
   (<| (_.covering /._)
       (do {! random.monad}
-        [#let [fs (file.mock (:: file.default separator))
+        [#let [fs (file.mock (\ file.default separator))
                shell (shell.mock
                       (function (_ [actual-environment actual-working-directory actual-command actual-arguments])
                         (#try.Success
@@ -55,7 +55,7 @@
          target (random.ascii/alpha 5)
          working-directory (random.ascii/alpha 5)
          #let [empty-profile (: Profile
-                                (:: ///.monoid identity))
+                                (\ ///.monoid identity))
                with-target (: (-> Profile Profile)
                               (set@ #///.target (#.Some target)))
                with-program (: (-> Profile Profile)
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index 7246d38a7..11570d034 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -42,7 +42,7 @@
 (def: (files prefix)
   (-> Path (Random (List [Path Binary])))
   (do {! random.monad}
-    [count (:: ! map (n.% 10) random.nat)
+    [count (\ ! map (n.% 10) random.nat)
      names (random.set text.hash count ..node-name)
      contents (random.list count (_binary.random 100))]
     (wrap (list.zip/2 (list\map (|>> (format prefix)) (set.to-list names))
@@ -53,7 +53,7 @@
   (do {! (try.with promise.monad)}
     [file (: (Promise (Try (File Promise)))
              (file.get-file promise.monad fs path))]
-    (!.use (:: file over-write) content)))
+    (!.use (\ file over-write) content)))
 
 (def: (create-directory! fs path files)
   (-> (file.System Promise) Path (List [Path Binary]) (Promise (Try Any)))
@@ -89,8 +89,8 @@
         [context ..node-name
          target ..node-name
          sub ..node-name
-         #let [fs (file.mock (:: file.default separator))
-               / (:: fs separator)
+         #let [fs (file.mock (\ file.default separator))
+               / (\ fs separator)
                target-path (format context / target)
                sub-path (format target-path / sub)]
          direct-files (..files (format target-path /))
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index 52b995f6f..5e4f6615b 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -51,15 +51,15 @@
     (case sources
       #.Nil
       (|> []
-          (:: try.monad wrap)
-          (:: promise.monad wrap))
+          (\ try.monad wrap)
+          (\ promise.monad wrap))
       
       (#.Cons head tail)
       (do (try.with promise.monad)
         [_ (: (Promise (Try Path))
               (file.make-directories promise.monad fs head))
          _ (: (Promise (Try (File Promise)))
-              (file.get-file promise.monad fs (format head (:: fs separator) head ".lux")))]
+              (file.get-file promise.monad fs (format head (\ fs separator) head ".lux")))]
         (recur tail)))))
 
 (def: (execute! repository fs identity artifact profile)
@@ -87,7 +87,7 @@
          identity @repository.identity
          #let [repository (///repository.mock (@repository.simulation identity)
                                               @repository.empty)
-               fs (file.mock (:: file.default separator))]]
+               fs (file.mock (\ file.default separator))]]
         (wrap (do {! promise.monad}
                 [verdict (do {! ///action.monad}
                            [_ (..execute! repository fs identity artifact profile)
@@ -95,32 +95,32 @@
                                                  (get@ #///.sources)
                                                  set.to-list
                                                  (export.library fs)
-                                                 (:: ! map (format.run tar.writer)))
+                                                 (\ ! map (format.run tar.writer)))
                             
-                            actual-pom (:: repository download artifact ///artifact/extension.pom)
-                            actual-library (:: repository download artifact ///artifact/extension.lux-library)
-                            actual-sha-1 (:: repository download artifact ///artifact/extension.sha-1)
-                            actual-md5 (:: repository download artifact ///artifact/extension.md5)
+                            actual-pom (\ repository download artifact ///artifact/extension.pom)
+                            actual-library (\ repository download artifact ///artifact/extension.lux-library)
+                            actual-sha-1 (\ repository download artifact ///artifact/extension.sha-1)
+                            actual-md5 (\ repository download artifact ///artifact/extension.md5)
 
                             #let [deployed-library!
-                                  (:: binary.equivalence =
-                                      expected-library
-                                      actual-library)
+                                  (\ binary.equivalence =
+                                     expected-library
+                                     actual-library)
 
                                   deployed-pom!
-                                  (:: binary.equivalence =
-                                      (|> expected-pom (:: xml.codec encode) encoding.to-utf8)
-                                      actual-pom)
+                                  (\ binary.equivalence =
+                                     (|> expected-pom (\ xml.codec encode) encoding.to-utf8)
+                                     actual-pom)
 
                                   deployed-sha-1!
-                                  (:: binary.equivalence =
-                                      (///hash.data (///hash.sha-1 expected-library))
-                                      actual-sha-1)
+                                  (\ binary.equivalence =
+                                     (///hash.data (///hash.sha-1 expected-library))
+                                     actual-sha-1)
 
                                   deployed-md5!
-                                  (:: binary.equivalence =
-                                      (///hash.data (///hash.md5 expected-library))
-                                      actual-md5)]]
+                                  (\ binary.equivalence =
+                                     (///hash.data (///hash.md5 expected-library))
+                                     actual-md5)]]
                            (wrap (and deployed-library!
                                       deployed-pom!
                                       deployed-sha-1!
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 8c19df87f..42739a5ff 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -43,7 +43,7 @@
       (do random.monad
         [dependee-artifact $///artifact.random
          depender-artifact (random.filter (predicate.complement
-                                           (:: ///artifact.equivalence = dependee-artifact))
+                                           (\ ///artifact.equivalence = dependee-artifact))
                                           $///artifact.random)
 
          [_ dependee-package] $///package.random
@@ -54,11 +54,11 @@
                depender {#///dependency.artifact depender-artifact
                          #///dependency.type ///artifact/type.lux-library}
 
-               dependee-pom (|> (:: ///.monoid identity)
+               dependee-pom (|> (\ ///.monoid identity)
                                 (set@ #///.identity (#.Some dependee-artifact))
                                 ///pom.write
                                 try.assume)
-               depender-pom (|> (:: ///.monoid identity)
+               depender-pom (|> (\ ///.monoid identity)
                                 (set@ #///.identity (#.Some depender-artifact))
                                 (set@ #///.dependencies (set.from-list ///dependency.hash (list dependee)))
                                 ///pom.write
@@ -71,13 +71,13 @@
                                     (set@ #///package.origin #///package.Remote)
                                     (set@ #///package.pom depender-pom))
 
-               fs (file.mock (:: file.default separator))]]
+               fs (file.mock (\ file.default separator))]]
         (wrap (do promise.monad
                 [verdict (do ///action.monad
                            [pre (|> ///dependency/resolution.empty
                                     (dictionary.put dependee dependee-package)
                                     (///cache.write-all fs))
-                            post (|> (:: ///.monoid identity)
+                            post (|> (\ ///.monoid identity)
                                      (set@ #///.dependencies (set.from-list ///dependency.hash (list dependee depender)))
                                      (/.do! fs (list (///repository.mock ($///dependency/resolution.single depender-artifact depender-package) []))))]
                            (wrap (and (and (set.member? pre dependee-artifact)
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index 8982bc941..e858d46d2 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -42,15 +42,15 @@
     (case sources
       #.Nil
       (|> []
-          (:: try.monad wrap)
-          (:: promise.monad wrap))
+          (\ try.monad wrap)
+          (\ promise.monad wrap))
       
       (#.Cons head tail)
       (do (try.with promise.monad)
         [_ (: (Promise (Try Path))
               (file.make-directories promise.monad fs head))
          _ (: (Promise (Try (File Promise)))
-              (file.get-file promise.monad fs (format head (:: fs separator) head ".lux")))]
+              (file.get-file promise.monad fs (format head (\ fs separator) head ".lux")))]
         (recur tail)))))
 
 (def: (execute! fs sample)
@@ -66,24 +66,24 @@
   (<| (_.covering /._)
       (do random.monad
         [sample @profile.random
-         #let [fs (file.mock (:: file.default separator))]]
+         #let [fs (file.mock (\ file.default separator))]]
         (wrap (case (get@ #///.identity sample)
                 (#.Some identity)
                 (do {! promise.monad}
                   [verdict (do ///action.monad
                              [_ (..execute! fs sample)
                               #let [artifact-path (format (///local.path fs identity)
-                                                          (:: fs separator)
+                                                          (\ fs separator)
                                                           (///artifact.identity identity))
                                     library-path (format artifact-path ///artifact/extension.lux-library)
                                     pom-path (format artifact-path ///artifact/extension.pom)]
 
-                              library-exists! (:: promise.monad map
-                                                  exception.return
-                                                  (file.file-exists? promise.monad fs library-path))
-                              pom-exists! (:: promise.monad map
-                                              exception.return
-                                              (file.file-exists? promise.monad fs pom-path))]
+                              library-exists! (\ promise.monad map
+                                                 exception.return
+                                                 (file.file-exists? promise.monad fs library-path))
+                              pom-exists! (\ promise.monad map
+                                             exception.return
+                                             (file.file-exists? promise.monad fs pom-path))]
                              (wrap (and library-exists!
                                         pom-exists!)))]
                   (_.cover' [/.do!]
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 169318589..408debea6 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -33,7 +33,7 @@
   (<| (_.covering /._)
       (do random.monad
         [sample @profile.random
-         #let [fs (file.mock (:: file.default separator))]]
+         #let [fs (file.mock (\ file.default separator))]]
         (wrap (do {! promise.monad}
                 [outcome (/.do! fs sample)]
                 (case outcome
@@ -41,17 +41,17 @@
                   (do !
                     [verdict (do ///action.monad
                                [expected (|> (///pom.write sample)
-                                             (try\map (|>> (:: xml.codec encode) encoding.to-utf8))
-                                             (:: ! wrap))
+                                             (try\map (|>> (\ xml.codec encode) encoding.to-utf8))
+                                             (\ ! wrap))
                                 file (: (Promise (Try (File Promise)))
                                         (file.get-file promise.monad fs path))
-                                actual (!.use (:: file content) [])
+                                actual (!.use (\ file content) [])
 
                                 #let [expected-path!
                                       (text\= ///pom.file path)
 
                                       expected-content!
-                                      (:: binary.equivalence = expected actual)]]
+                                      (\ binary.equivalence = expected actual)]]
                                (wrap (and expected-path!
                                           expected-content!)))]
                     (_.cover' [/.do!]
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index be1a89c83..3a4bf9d79 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -35,7 +35,7 @@
   Test
   (<| (_.covering /._)
       (do {! random.monad}
-        [#let [fs (file.mock (:: file.default separator))
+        [#let [fs (file.mock (\ file.default separator))
                shell (shell.mock
                       (function (_ [actual-environment actual-working-directory actual-command actual-arguments])
                         (#try.Success
@@ -56,7 +56,7 @@
          target (random.ascii/alpha 5)
          working-directory (random.ascii/alpha 5)
          #let [empty-profile (: Profile
-                                (:: ///.monoid identity))
+                                (\ ///.monoid identity))
                with-target (: (-> Profile Profile)
                               (set@ #///.target (#.Some target)))
                with-program (: (-> Profile Profile)