De-sigil-ification: prefix :

2 files changed, 43 insertions, 43 deletions

diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index b373db4f8..b44be720f 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -1,28 +1,28 @@
 (.using
-  [library
-   [lux "*"
-    [abstract
-     [monad {"+" do}]]
-    [control
-     [io {"+" IO}]
-     ["[0]" try {"+" Try}]
-     [concurrency
-      ["[0]" async {"+" Async}]
-      ["[0]" stm]]]
-    [data
-     [binary {"+" Binary}]]
-    [world
-     [net
-      [uri {"+" URI}]]]]])
+ [library
+  [lux "*"
+   [abstract
+    [monad {"+" do}]]
+   [control
+    [io {"+" IO}]
+    ["[0]" try {"+" Try}]
+    [concurrency
+     ["[0]" async {"+" Async}]
+     ["[0]" stm]]]
+   [data
+    [binary {"+" Binary}]]
+   [world
+    [net
+     [uri {"+" URI}]]]]])
 
 (type: .public (Repository !)
   (Interface
-   (: Text
-      description)
-   (: (-> URI (! (Try Binary)))
-      download)
-   (: (-> URI Binary (! (Try Any)))
-      upload)))
+   (is Text
+       description)
+   (is (-> URI (! (Try Binary)))
+       download)
+   (is (-> URI Binary (! (Try Any)))
+       upload)))
 
 (def: .public (async repository)
   (-> (Repository IO) (Repository Async))
@@ -38,12 +38,12 @@
 
 (type: .public (Mock s)
   (Interface
-   (: Text
-      the_description)
-   (: (-> URI s (Try [s Binary]))
-      on_download)
-   (: (-> URI Binary s (Try s))
-      on_upload)))
+   (is Text
+       the_description)
+   (is (-> URI s (Try [s Binary]))
+       on_download)
+   (is (-> URI Binary s (Try s))
+       on_upload)))
 
 (def: .public (mock mock init)
   (All (_ s) (-> (Mock s) s (Repository Async)))
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index efe3263a4..782b872f1 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -61,11 +61,11 @@
     address)
   (def: (download uri)
     (do [! (try.with io.monad)]
-      [[status message] (: (IO (Try (@http.Response IO)))
-                           (http.get (format address uri)
-                                     (http.headers ..base_headers)
-                                     {.#None}
-                                     http))]
+      [[status message] (is (IO (Try (@http.Response IO)))
+                            (http.get (format address uri)
+                                      (http.headers ..base_headers)
+                                      {.#None}
+                                      http))]
       (case status
         (pattern (static http/status.ok))
         (# ! each product.right ((the @http.#body message) {.#None}))
@@ -77,17 +77,17 @@
 
   (def: (upload uri content)
     (do (try.with io.monad)
-      [[status message] (: (IO (Try (@http.Response IO)))
-                           (http.put (format address uri)
-                                     (http.headers (case identity
-                                                     {.#None}
-                                                     ..base_headers
-                                                     
-                                                     {.#Some [user password]}
-                                                     (list& ["Authorization" (//identity.basic_auth user password)]
-                                                            ..base_headers)))
-                                     {.#Some content}
-                                     http))
+      [[status message] (is (IO (Try (@http.Response IO)))
+                            (http.put (format address uri)
+                                      (http.headers (case identity
+                                                      {.#None}
+                                                      ..base_headers
+                                                      
+                                                      {.#Some [user password]}
+                                                      (list& ["Authorization" (//identity.basic_auth user password)]
+                                                             ..base_headers)))
+                                      {.#Some content}
+                                      http))
        _ ((the @http.#body message) {.#Some 0})]
       (case status
         (pattern (static http/status.created))