aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/control/concurrency
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/control/concurrency/actor.lux (renamed from stdlib/source/lux/control/concurrency/actor.lux)61
-rw-r--r--stdlib/source/library/lux/control/concurrency/atom.lux (renamed from stdlib/source/lux/control/concurrency/atom.lux)29
-rw-r--r--stdlib/source/library/lux/control/concurrency/frp.lux (renamed from stdlib/source/lux/control/concurrency/frp.lux)31
-rw-r--r--stdlib/source/library/lux/control/concurrency/promise.lux (renamed from stdlib/source/lux/control/concurrency/promise.lux)27
-rw-r--r--stdlib/source/library/lux/control/concurrency/semaphore.lux (renamed from stdlib/source/lux/control/concurrency/semaphore.lux)41
-rw-r--r--stdlib/source/library/lux/control/concurrency/stm.lux (renamed from stdlib/source/lux/control/concurrency/stm.lux)31
-rw-r--r--stdlib/source/library/lux/control/concurrency/thread.lux (renamed from stdlib/source/lux/control/concurrency/thread.lux)39
7 files changed, 133 insertions, 126 deletions
diff --git a/stdlib/source/lux/control/concurrency/actor.lux b/stdlib/source/library/lux/control/concurrency/actor.lux
index 9e17193b2..a12e65471 100644
--- a/stdlib/source/lux/control/concurrency/actor.lux
+++ b/stdlib/source/library/lux/control/concurrency/actor.lux
@@ -1,34 +1,35 @@
(.module: {#.doc "The actor model of concurrency."}
- [lux #*
- [abstract
- monad]
- [control
- [pipe (#+ case>)]
- ["." function]
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]
- ["." io (#+ IO io)]
- ["<>" parser
- ["<.>" code (#+ Parser)]]]
- [data
- ["." product]
- [text
- ["%" format (#+ format)]]
- [collection
- ["." list ("#\." monoid monad fold)]]]
- ["." macro (#+ with_gensyms)
- ["." code]
- [syntax (#+ syntax:)
- ["|.|" input]
- ["|.|" export]
- ["|.|" annotations]]]
- [math
- [number
- ["n" nat]]]
- ["." meta (#+ monad)
- ["." annotation]]
- [type (#+ :share)
- ["." abstract (#+ abstract: :representation :abstraction)]]]
+ [library
+ [lux #*
+ [abstract
+ monad]
+ [control
+ [pipe (#+ case>)]
+ ["." function]
+ ["." try (#+ Try)]
+ ["." exception (#+ exception:)]
+ ["." io (#+ IO io)]
+ ["<>" parser
+ ["<.>" code (#+ Parser)]]]
+ [data
+ ["." product]
+ [text
+ ["%" format (#+ format)]]
+ [collection
+ ["." list ("#\." monoid monad fold)]]]
+ ["." macro (#+ with_gensyms)
+ ["." code]
+ [syntax (#+ syntax:)
+ ["|.|" input]
+ ["|.|" export]
+ ["|.|" annotations]]]
+ [math
+ [number
+ ["n" nat]]]
+ ["." meta (#+ monad)
+ ["." annotation]]
+ [type (#+ :share)
+ ["." abstract (#+ abstract: :representation :abstraction)]]]]
[//
["." atom (#+ Atom atom)]
["." promise (#+ Promise Resolver) ("#\." monad)]
diff --git a/stdlib/source/lux/control/concurrency/atom.lux b/stdlib/source/library/lux/control/concurrency/atom.lux
index e3b711785..057bfd5b2 100644
--- a/stdlib/source/lux/control/concurrency/atom.lux
+++ b/stdlib/source/library/lux/control/concurrency/atom.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["." ffi]
- ["@" target]
- [abstract
- [monad (#+ do)]]
- [control
- ["." function]
- ["." io (#- run) ("#\." functor)]]
- [data
- ["." product]
- [collection
- ["." array]]]
- [type
- abstract]])
+ [library
+ [lux #*
+ ["." ffi]
+ ["@" target]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." function]
+ ["." io (#- run) ("#\." functor)]]
+ [data
+ ["." product]
+ [collection
+ ["." array]]]
+ [type
+ abstract]]])
(with_expansions [<jvm> (as_is (ffi.import: (java/util/concurrent/atomic/AtomicReference a)
["#::."
diff --git a/stdlib/source/lux/control/concurrency/frp.lux b/stdlib/source/library/lux/control/concurrency/frp.lux
index 452c153f1..416b8c7c4 100644
--- a/stdlib/source/lux/control/concurrency/frp.lux
+++ b/stdlib/source/library/lux/control/concurrency/frp.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- [abstract
- [predicate (#+ Predicate)]
- [equivalence (#+ Equivalence)]
- [functor (#+ Functor)]
- [apply (#+ Apply)]
- ["." monad (#+ Monad do)]]
- [control
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]
- ["." io (#+ IO io)]]
- [data
- ["." maybe ("#\." functor)]]
- [type (#+ :share)
- abstract]]
+ [library
+ [lux #*
+ [abstract
+ [predicate (#+ Predicate)]
+ [equivalence (#+ Equivalence)]
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ ["." monad (#+ Monad do)]]
+ [control
+ ["." try (#+ Try)]
+ ["." exception (#+ exception:)]
+ ["." io (#+ IO io)]]
+ [data
+ ["." maybe ("#\." functor)]]
+ [type (#+ :share)
+ abstract]]]
[//
["." atom (#+ Atom)]
["." promise (#+ Promise) ("#\." functor)]])
diff --git a/stdlib/source/lux/control/concurrency/promise.lux b/stdlib/source/library/lux/control/concurrency/promise.lux
index 8e0acf8b9..ad94bbff8 100644
--- a/stdlib/source/lux/control/concurrency/promise.lux
+++ b/stdlib/source/library/lux/control/concurrency/promise.lux
@@ -1,17 +1,18 @@
(.module:
- [lux (#- and or)
- [abstract
- [functor (#+ Functor)]
- [apply (#+ Apply)]
- ["." monad (#+ Monad do)]]
- [control
- [pipe (#+ case>)]
- ["." function]
- ["." io (#+ IO io)]]
- [data
- ["." product]]
- [type (#+ :share)
- abstract]]
+ [library
+ [lux (#- and or)
+ [abstract
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ ["." monad (#+ Monad do)]]
+ [control
+ [pipe (#+ case>)]
+ ["." function]
+ ["." io (#+ IO io)]]
+ [data
+ ["." product]]
+ [type (#+ :share)
+ abstract]]]
[//
["." thread]
["." atom (#+ Atom atom)]])
diff --git a/stdlib/source/lux/control/concurrency/semaphore.lux b/stdlib/source/library/lux/control/concurrency/semaphore.lux
index 0e8fa2b94..597e96306 100644
--- a/stdlib/source/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/library/lux/control/concurrency/semaphore.lux
@@ -1,24 +1,25 @@
(.module:
- [lux #*
- [abstract
- [monad (#+ do)]]
- [control
- [pipe (#+ if>)]
- ["." io (#+ IO)]
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]]
- [data
- [text
- ["%" format (#+ format)]]
- [collection
- ["." queue (#+ Queue)]]]
- [math
- [number
- ["n" nat]
- ["i" int]]]
- [type
- abstract
- ["." refinement]]]
+ [library
+ [lux #*
+ [abstract
+ [monad (#+ do)]]
+ [control
+ [pipe (#+ if>)]
+ ["." io (#+ IO)]
+ ["." try (#+ Try)]
+ ["." exception (#+ exception:)]]
+ [data
+ [text
+ ["%" format (#+ format)]]
+ [collection
+ ["." queue (#+ Queue)]]]
+ [math
+ [number
+ ["n" nat]
+ ["i" int]]]
+ [type
+ abstract
+ ["." refinement]]]]
[//
["." atom (#+ Atom)]
["." promise (#+ Promise Resolver)]])
diff --git a/stdlib/source/lux/control/concurrency/stm.lux b/stdlib/source/library/lux/control/concurrency/stm.lux
index d375059a4..081d2f3d9 100644
--- a/stdlib/source/lux/control/concurrency/stm.lux
+++ b/stdlib/source/library/lux/control/concurrency/stm.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- [abstract
- [functor (#+ Functor)]
- [apply (#+ Apply)]
- ["." monad (#+ Monad do)]]
- [control
- ["." io (#+ IO io)]
- ["." try]]
- [data
- ["." product]
- ["." maybe]
- [collection
- ["." list]]]
- [type
- abstract]]
+ [library
+ [lux #*
+ [abstract
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ ["." monad (#+ Monad do)]]
+ [control
+ ["." io (#+ IO io)]
+ ["." try]]
+ [data
+ ["." product]
+ ["." maybe]
+ [collection
+ ["." list]]]
+ [type
+ abstract]]]
[//
["." atom (#+ Atom atom)]
["." promise (#+ Promise Resolver)]
diff --git a/stdlib/source/lux/control/concurrency/thread.lux b/stdlib/source/library/lux/control/concurrency/thread.lux
index d6dc71c37..9c9bf6549 100644
--- a/stdlib/source/lux/control/concurrency/thread.lux
+++ b/stdlib/source/library/lux/control/concurrency/thread.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["@" target]
- ["." ffi]
- [abstract
- ["." monad (#+ do)]]
- [control
- ["." try]
- ["." exception (#+ exception:)]
- ["." io (#+ IO io)]]
- [data
- ["." text]
- [collection
- ["." list]]]
- [math
- [number
- ["n" nat]
- ["f" frac]]]
- [time
- ["." instant]]]
+ [library
+ [lux #*
+ ["@" target]
+ ["." ffi]
+ [abstract
+ ["." monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception (#+ exception:)]
+ ["." io (#+ IO io)]]
+ [data
+ ["." text]
+ [collection
+ ["." list]]]
+ [math
+ [number
+ ["n" nat]
+ ["f" frac]]]
+ [time
+ ["." instant]]]]
[//
["." atom (#+ Atom)]])