diff options
author | Eduardo Julian | 2021-06-30 23:24:55 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-06-30 23:24:55 -0400 |
commit | 744ee69630de59ca3ba660b0aab6361cd17ce1b4 (patch) | |
tree | 329c11b8c3522c319c99ebd4d7c51ee0e7464bae /stdlib/source/lux/control/concurrency | |
parent | 6633cd42f2892ea71530ddeeb93a7e7c0b59faa3 (diff) |
"signature:" -> "interface:" & "structure:" -> "implementation:"
"signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/control/concurrency/frp.lux | 10 | ||||
-rw-r--r-- | stdlib/source/lux/control/concurrency/promise.lux | 6 | ||||
-rw-r--r-- | stdlib/source/lux/control/concurrency/stm.lux | 6 |
3 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/lux/control/concurrency/frp.lux b/stdlib/source/lux/control/concurrency/frp.lux index 868bc4153..452c153f1 100644 --- a/stdlib/source/lux/control/concurrency/frp.lux +++ b/stdlib/source/lux/control/concurrency/frp.lux @@ -24,7 +24,7 @@ (exception: #export channel_is_already_closed) -(signature: #export (Sink a) +(interface: #export (Sink a) (: (IO (Try Any)) close) (: (-> a (IO (Try Any))) @@ -35,7 +35,7 @@ (-> (promise.Resolver (Maybe [a (Channel a)])) (Sink a))) (let [sink (atom.atom resolve)] - (structure + (implementation (def: close (loop [_ []] (do {! io.monad} @@ -84,7 +84,7 @@ (let [[promise resolve] (promise.promise [])] [promise (..sink resolve)])) -(structure: #export functor +(implementation: #export functor (Functor Channel) (def: (map f) @@ -93,7 +93,7 @@ (function (_ [head tail]) [(f head) (map f tail)]))))) -(structure: #export apply +(implementation: #export apply (Apply Channel) (def: &functor ..functor) @@ -113,7 +113,7 @@ Channel (promise.resolved #.None)) -(structure: #export monad +(implementation: #export monad (Monad Channel) (def: &functor ..functor) diff --git a/stdlib/source/lux/control/concurrency/promise.lux b/stdlib/source/lux/control/concurrency/promise.lux index acba089fd..8e0acf8b9 100644 --- a/stdlib/source/lux/control/concurrency/promise.lux +++ b/stdlib/source/lux/control/concurrency/promise.lux @@ -91,7 +91,7 @@ (#.Some _) #1))))) -(structure: #export functor +(implementation: #export functor (Functor Promise) (def: (map f fa) @@ -99,7 +99,7 @@ (exec (io.run (..await (|>> f resolve) fa)) fb)))) -(structure: #export apply +(implementation: #export apply (Apply Promise) (def: &functor ..functor) @@ -111,7 +111,7 @@ ff)) fb)))) -(structure: #export monad +(implementation: #export monad (Monad Promise) (def: &functor ..functor) diff --git a/stdlib/source/lux/control/concurrency/stm.lux b/stdlib/source/lux/control/concurrency/stm.lux index 7fd916fdb..e43ecb98e 100644 --- a/stdlib/source/lux/control/concurrency/stm.lux +++ b/stdlib/source/lux/control/concurrency/stm.lux @@ -142,7 +142,7 @@ [(#.Cons [var (..read! var) value] tx) []]))) -(structure: #export functor +(implementation: #export functor (Functor STM) (def: (map f fa) @@ -150,7 +150,7 @@ (let [[tx' a] (fa tx)] [tx' (f a)])))) -(structure: #export apply +(implementation: #export apply (Apply STM) (def: &functor ..functor) @@ -161,7 +161,7 @@ [tx'' a] (fa tx')] [tx'' (f a)])))) -(structure: #export monad +(implementation: #export monad (Monad STM) (def: &functor ..functor) |