From bf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 16 Mar 2022 08:37:23 -0400
Subject: De-sigil-ification: prefix :

---
 stdlib/source/program/aedifex/repository.lux | 54 ++++++++++++++--------------
 1 file changed, 27 insertions(+), 27 deletions(-)

(limited to 'stdlib/source/program/aedifex/repository.lux')

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)))
-- 
cgit v1.2.3