aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/concurrency
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/control/concurrency')
-rw-r--r--stdlib/source/library/lux/control/concurrency/actor.lux30
-rw-r--r--stdlib/source/library/lux/control/concurrency/async.lux16
-rw-r--r--stdlib/source/library/lux/control/concurrency/atom.lux6
-rw-r--r--stdlib/source/library/lux/control/concurrency/frp.lux22
-rw-r--r--stdlib/source/library/lux/control/concurrency/semaphore.lux20
-rw-r--r--stdlib/source/library/lux/control/concurrency/stm.lux16
-rw-r--r--stdlib/source/library/lux/control/concurrency/thread.lux10
7 files changed, 60 insertions, 60 deletions
diff --git a/stdlib/source/library/lux/control/concurrency/actor.lux b/stdlib/source/library/lux/control/concurrency/actor.lux
index 7353bad84..569a20bd2 100644
--- a/stdlib/source/library/lux/control/concurrency/actor.lux
+++ b/stdlib/source/library/lux/control/concurrency/actor.lux
@@ -1,40 +1,40 @@
(.module:
[library
- [lux #*
+ [lux "*"
["." debug]
[abstract
monad]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." function]
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]
- ["." io (#+ IO io)]
+ ["." try {"+" [Try]}]
+ ["." exception {"+" [exception:]}]
+ ["." io {"+" [IO io]}]
["<>" parser ("#\." monad)
- ["<.>" code (#+ Parser)]]]
+ ["<.>" code {"+" [Parser]}]]]
[data
["." bit]
["." product]
[text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list ("#\." monoid monad)]]]
- ["." macro (#+ with_identifiers)
+ ["." macro {"+" [with_identifiers]}
["." code]
- [syntax (#+ syntax:)
+ [syntax {"+" [syntax:]}
["|.|" input]
["|.|" annotations]]]
[math
[number
["n" nat]]]
- ["." meta (#+ monad)
+ ["." meta {"+" [monad]}
["." annotation]]
- [type (#+ :sharing)
- ["." abstract (#+ abstract: :representation :abstraction)]]]]
+ [type {"+" [:sharing]}
+ ["." abstract {"+" [abstract: :representation :abstraction]}]]]]
[//
- ["." atom (#+ Atom atom)]
- ["." async (#+ Async Resolver) ("#\." monad)]
- ["." frp (#+ Channel)]])
+ ["." atom {"+" [Atom atom]}]
+ ["." async {"+" [Async Resolver]} ("#\." monad)]
+ ["." frp {"+" [Channel]}]])
(exception: .public poisoned)
(exception: .public dead)
diff --git a/stdlib/source/library/lux/control/concurrency/async.lux b/stdlib/source/library/lux/control/concurrency/async.lux
index 90229a9f5..6da6384cb 100644
--- a/stdlib/source/library/lux/control/concurrency/async.lux
+++ b/stdlib/source/library/lux/control/concurrency/async.lux
@@ -1,21 +1,21 @@
(.module:
[library
- [lux (#- and or)
+ [lux {"-" [and or]}
[abstract
- [functor (#+ Functor)]
- [apply (#+ Apply)]
- ["." monad (#+ Monad do)]]
+ [functor {"+" [Functor]}]
+ [apply {"+" [Apply]}]
+ ["." monad {"+" [Monad do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." function]
- ["." io (#+ IO io)]]
+ ["." io {"+" [IO io]}]]
[data
["." product]]
- [type (#+ :sharing)
+ [type {"+" [:sharing]}
abstract]]]
[//
["." thread]
- ["." atom (#+ Atom atom)]])
+ ["." atom {"+" [Atom atom]}]])
(abstract: .public (Async a)
{}
diff --git a/stdlib/source/library/lux/control/concurrency/atom.lux b/stdlib/source/library/lux/control/concurrency/atom.lux
index 53120a3c4..c1ffafb17 100644
--- a/stdlib/source/library/lux/control/concurrency/atom.lux
+++ b/stdlib/source/library/lux/control/concurrency/atom.lux
@@ -1,14 +1,14 @@
(.module:
[library
- [lux #*
+ [lux "*"
["." macro]
["." ffi]
["@" target]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." function]
- ["." io (#+ IO) ("#\." functor)]]
+ ["." io {"+" [IO]} ("#\." functor)]]
[data
["." product]
[collection
diff --git a/stdlib/source/library/lux/control/concurrency/frp.lux b/stdlib/source/library/lux/control/concurrency/frp.lux
index 7c13df0f4..e318bbcd9 100644
--- a/stdlib/source/library/lux/control/concurrency/frp.lux
+++ b/stdlib/source/library/lux/control/concurrency/frp.lux
@@ -1,21 +1,21 @@
(.module:
[library
- [lux (#- list)
+ [lux {"-" [list]}
[abstract
- [equivalence (#+ Equivalence)]
- [functor (#+ Functor)]
- [apply (#+ Apply)]
- ["." monad (#+ Monad do)]]
+ [equivalence {"+" [Equivalence]}]
+ [functor {"+" [Functor]}]
+ [apply {"+" [Apply]}]
+ ["." monad {"+" [Monad do]}]]
[control
["." maybe ("#\." functor)]
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]
- ["." io (#+ IO io)]]
- [type (#+ :sharing)
+ ["." try {"+" [Try]}]
+ ["." exception {"+" [exception:]}]
+ ["." io {"+" [IO io]}]]
+ [type {"+" [:sharing]}
abstract]]]
[//
- ["." atom (#+ Atom)]
- ["." async (#+ Async) ("#\." functor)]])
+ ["." atom {"+" [Atom]}]
+ ["." async {"+" [Async]} ("#\." functor)]])
(type: .public (Channel a)
(Async (Maybe [a (Channel a)])))
diff --git a/stdlib/source/library/lux/control/concurrency/semaphore.lux b/stdlib/source/library/lux/control/concurrency/semaphore.lux
index 64f3c4af4..806305f0a 100644
--- a/stdlib/source/library/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/library/lux/control/concurrency/semaphore.lux
@@ -1,18 +1,18 @@
(.module:
[library
- [lux #*
+ [lux "*"
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ if>)]
- ["." io (#+ IO)]
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]]
+ [pipe {"+" [if>]}]
+ ["." io {"+" [IO]}]
+ ["." try {"+" [Try]}]
+ ["." exception {"+" [exception:]}]]
[data
[text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
- ["." queue (#+ Queue)]]]
+ ["." queue {"+" [Queue]}]]]
[math
[number
["n" nat]
@@ -21,8 +21,8 @@
abstract
["." refinement]]]]
[//
- ["." atom (#+ Atom)]
- ["." async (#+ Async Resolver)]])
+ ["." atom {"+" [Atom]}]
+ ["." async {"+" [Async Resolver]}]])
(type: State
(Record
diff --git a/stdlib/source/library/lux/control/concurrency/stm.lux b/stdlib/source/library/lux/control/concurrency/stm.lux
index 523227a27..db8b266c8 100644
--- a/stdlib/source/library/lux/control/concurrency/stm.lux
+++ b/stdlib/source/library/lux/control/concurrency/stm.lux
@@ -1,12 +1,12 @@
(.module:
[library
- [lux #*
+ [lux "*"
[abstract
- [functor (#+ Functor)]
- [apply (#+ Apply)]
- ["." monad (#+ Monad do)]]
+ [functor {"+" [Functor]}]
+ [apply {"+" [Apply]}]
+ ["." monad {"+" [Monad do]}]]
[control
- ["." io (#+ IO io)]
+ ["." io {"+" [IO io]}]
["." maybe]
["." try]]
[data
@@ -16,9 +16,9 @@
[type
abstract]]]
[//
- ["." atom (#+ Atom atom)]
- ["." async (#+ Async Resolver)]
- ["." frp (#+ Channel Sink)]])
+ ["." atom {"+" [Atom atom]}]
+ ["." async {"+" [Async Resolver]}]
+ ["." frp {"+" [Channel Sink]}]])
(type: (Observer a)
(-> a (IO Any)))
diff --git a/stdlib/source/library/lux/control/concurrency/thread.lux b/stdlib/source/library/lux/control/concurrency/thread.lux
index e3a5606c3..40c3d1029 100644
--- a/stdlib/source/library/lux/control/concurrency/thread.lux
+++ b/stdlib/source/library/lux/control/concurrency/thread.lux
@@ -1,14 +1,14 @@
(.module:
[library
- [lux #*
+ [lux "*"
["@" target]
["." ffi]
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[control
["." try]
- ["." exception (#+ exception:)]
- ["." io (#+ IO io)]]
+ ["." exception {"+" [exception:]}]
+ ["." io {"+" [IO io]}]]
[data
["." text]
[collection
@@ -20,7 +20,7 @@
[time
["." instant]]]]
[//
- ["." atom (#+ Atom)]])
+ ["." atom {"+" [Atom]}]])
(with_expansions [<jvm> (as_is (ffi.import: java/lang/Object)