diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/control/concurrency/actor.lux (renamed from stdlib/source/lux/concurrency/actor.lux) | 0 | ||||
-rw-r--r-- | stdlib/source/lux/control/concurrency/atom.lux (renamed from stdlib/source/lux/concurrency/atom.lux) | 0 | ||||
-rw-r--r-- | stdlib/source/lux/control/concurrency/frp.lux (renamed from stdlib/source/lux/concurrency/frp.lux) | 0 | ||||
-rw-r--r-- | stdlib/source/lux/control/concurrency/process.lux (renamed from stdlib/source/lux/concurrency/process.lux) | 0 | ||||
-rw-r--r-- | stdlib/source/lux/control/concurrency/promise.lux (renamed from stdlib/source/lux/concurrency/promise.lux) | 0 | ||||
-rw-r--r-- | stdlib/source/lux/control/concurrency/semaphore.lux (renamed from stdlib/source/lux/concurrency/semaphore.lux) | 18 | ||||
-rw-r--r-- | stdlib/source/lux/control/concurrency/stm.lux (renamed from stdlib/source/lux/concurrency/stm.lux) | 10 | ||||
-rw-r--r-- | stdlib/source/lux/control/concurrency/task.lux (renamed from stdlib/source/lux/concurrency/task.lux) | 0 |
8 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/lux/concurrency/actor.lux b/stdlib/source/lux/control/concurrency/actor.lux index 0af0d09f9..0af0d09f9 100644 --- a/stdlib/source/lux/concurrency/actor.lux +++ b/stdlib/source/lux/control/concurrency/actor.lux diff --git a/stdlib/source/lux/concurrency/atom.lux b/stdlib/source/lux/control/concurrency/atom.lux index b1692b6e3..b1692b6e3 100644 --- a/stdlib/source/lux/concurrency/atom.lux +++ b/stdlib/source/lux/control/concurrency/atom.lux diff --git a/stdlib/source/lux/concurrency/frp.lux b/stdlib/source/lux/control/concurrency/frp.lux index 8db54f28f..8db54f28f 100644 --- a/stdlib/source/lux/concurrency/frp.lux +++ b/stdlib/source/lux/control/concurrency/frp.lux diff --git a/stdlib/source/lux/concurrency/process.lux b/stdlib/source/lux/control/concurrency/process.lux index a67734747..a67734747 100644 --- a/stdlib/source/lux/concurrency/process.lux +++ b/stdlib/source/lux/control/concurrency/process.lux diff --git a/stdlib/source/lux/concurrency/promise.lux b/stdlib/source/lux/control/concurrency/promise.lux index 1a471022f..1a471022f 100644 --- a/stdlib/source/lux/concurrency/promise.lux +++ b/stdlib/source/lux/control/concurrency/promise.lux diff --git a/stdlib/source/lux/concurrency/semaphore.lux b/stdlib/source/lux/control/concurrency/semaphore.lux index 7b749ea60..46762ecf3 100644 --- a/stdlib/source/lux/concurrency/semaphore.lux +++ b/stdlib/source/lux/control/concurrency/semaphore.lux @@ -1,13 +1,13 @@ (.module: [lux #* [control [monad (#+ do)]] - [concurrency - ["." atom (#+ Atom)] - ["." promise (#+ Promise)]] ["." io (#+ IO)] [type abstract - ["." refinement]]]) + ["." refinement]]] + [// + ["." atom (#+ Atom)] + ["." promise (#+ Promise)]]) (type: State {#open-positions Nat @@ -81,13 +81,13 @@ (-> Any Mutex) (:abstraction (semaphore 1))) - (def: (acquire mutex) + (def: acquire (-> Mutex (Promise Any)) - (wait (:representation mutex))) + (|>> :representation wait)) - (def: (release mutex) + (def: release (-> Mutex (Promise Any)) - (signal (:representation mutex))) + (|>> :representation signal)) (def: #export (synchronize mutex procedure) (All [a] (-> Mutex (IO (Promise a)) (Promise a))) @@ -138,7 +138,7 @@ (wait (get@ <turnstile> barrier))))] [start inc limit #start-turnstile] - [end dec 0 #end-turnstile] + [end dec 0 #end-turnstile] ) (def: #export (block barrier) diff --git a/stdlib/source/lux/concurrency/stm.lux b/stdlib/source/lux/control/concurrency/stm.lux index 648d86d95..3203b2d52 100644 --- a/stdlib/source/lux/concurrency/stm.lux +++ b/stdlib/source/lux/control/concurrency/stm.lux @@ -10,12 +10,12 @@ ["." maybe] [collection ["." list ("list/." Functor<List> Fold<List>)]]] - [concurrency - ["." atom (#+ Atom atom)] - ["." promise (#+ Promise promise)] - ["." frp ("frp/." Functor<Channel>)]] [type - abstract]]) + abstract]] + [// + ["." atom (#+ Atom atom)] + ["." promise (#+ Promise promise)] + ["." frp ("frp/." Functor<Channel>)]]) (type: #export (Observer a) (-> a (IO Any))) diff --git a/stdlib/source/lux/concurrency/task.lux b/stdlib/source/lux/control/concurrency/task.lux index c03ab7647..c03ab7647 100644 --- a/stdlib/source/lux/concurrency/task.lux +++ b/stdlib/source/lux/control/concurrency/task.lux |