From 744ee69630de59ca3ba660b0aab6361cd17ce1b4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 30 Jun 2021 23:24:55 -0400
Subject: "signature:" -> "interface:" & "structure:" -> "implementation:"

"signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.---
 stdlib/source/program/aedifex/repository.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 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 230888cef..c5f822633 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -14,7 +14,7 @@
     [net
      [uri (#+ URI)]]]])
 
-(signature: #export (Repository !)
+(interface: #export (Repository !)
   (: (-> URI (! (Try Binary)))
      download)
   (: (-> URI Binary (! (Try Any)))
@@ -22,7 +22,7 @@
 
 (def: #export (async repository)
   (-> (Repository IO) (Repository Promise))
-  (structure
+  (implementation
    (def: (download uri)
      (promise.future (\ repository download uri)))
 
@@ -30,7 +30,7 @@
      (promise.future (\ repository upload uri content)))
    ))
 
-(signature: #export (Simulation s)
+(interface: #export (Simulation s)
   (: (-> URI s (Try [s Binary]))
      on_download)
   (: (-> URI Binary s (Try s))
@@ -39,7 +39,7 @@
 (def: #export (mock simulation init)
   (All [s] (-> (Simulation s) s (Repository Promise)))
   (let [state (stm.var init)]
-    (structure
+    (implementation
      (def: (download uri)
        (stm.commit
         (do {! stm.monad}
-- 
cgit v1.2.3