aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/source/lux.lux198
-rw-r--r--stdlib/source/lux/cli.lux24
-rw-r--r--stdlib/source/lux/concurrency/actor.lux43
-rw-r--r--stdlib/source/lux/concurrency/atom.lux6
-rw-r--r--stdlib/source/lux/concurrency/frp.lux20
-rw-r--r--stdlib/source/lux/concurrency/promise.lux19
-rw-r--r--stdlib/source/lux/concurrency/semaphore.lux16
-rw-r--r--stdlib/source/lux/concurrency/stm.lux27
-rw-r--r--stdlib/source/lux/concurrency/task.lux20
-rw-r--r--stdlib/source/lux/control/algebra.lux5
-rw-r--r--stdlib/source/lux/control/apply.lux5
-rw-r--r--stdlib/source/lux/control/codec.lux6
-rw-r--r--stdlib/source/lux/control/comonad.lux9
-rw-r--r--stdlib/source/lux/control/concatenative.lux39
-rw-r--r--stdlib/source/lux/control/continuation.lux17
-rw-r--r--stdlib/source/lux/control/contract.lux13
-rw-r--r--stdlib/source/lux/control/enum.lux6
-rw-r--r--stdlib/source/lux/control/exception.lux32
-rw-r--r--stdlib/source/lux/control/hash.lux2
-rw-r--r--stdlib/source/lux/control/interval.lux9
-rw-r--r--stdlib/source/lux/control/monad.lux2
-rw-r--r--stdlib/source/lux/control/monad/free.lux7
-rw-r--r--stdlib/source/lux/control/monad/indexed.lux15
-rw-r--r--stdlib/source/lux/control/monoid.lux5
-rw-r--r--stdlib/source/lux/control/order.lux6
-rw-r--r--stdlib/source/lux/control/parser.lux18
-rw-r--r--stdlib/source/lux/control/pipe.lux20
-rw-r--r--stdlib/source/lux/control/predicate.lux8
-rw-r--r--stdlib/source/lux/control/reader.lux9
-rw-r--r--stdlib/source/lux/control/region.lux18
-rw-r--r--stdlib/source/lux/control/state.lux9
-rw-r--r--stdlib/source/lux/control/thread.lux11
-rw-r--r--stdlib/source/lux/control/writer.lux11
-rw-r--r--stdlib/source/lux/data/bool.lux13
-rw-r--r--stdlib/source/lux/data/collection/array.lux18
-rw-r--r--stdlib/source/lux/data/collection/bits.lux16
-rw-r--r--stdlib/source/lux/data/collection/dictionary.lux23
-rw-r--r--stdlib/source/lux/data/collection/dictionary/ordered.lux22
-rw-r--r--stdlib/source/lux/data/collection/dictionary/plist.lux5
-rw-r--r--stdlib/source/lux/data/collection/list.lux22
-rw-r--r--stdlib/source/lux/data/collection/queue.lux9
-rw-r--r--stdlib/source/lux/data/collection/queue/priority.lux14
-rw-r--r--stdlib/source/lux/data/collection/row.lux37
-rw-r--r--stdlib/source/lux/data/collection/sequence.lux24
-rw-r--r--stdlib/source/lux/data/collection/set.lux15
-rw-r--r--stdlib/source/lux/data/collection/set/multi.lux20
-rw-r--r--stdlib/source/lux/data/collection/set/ordered.lux15
-rw-r--r--stdlib/source/lux/data/collection/stack.lux6
-rw-r--r--stdlib/source/lux/data/collection/tree/finger.lux6
-rw-r--r--stdlib/source/lux/data/collection/tree/rose.lux21
-rw-r--r--stdlib/source/lux/data/collection/tree/rose/parser.lux14
-rw-r--r--stdlib/source/lux/data/collection/tree/rose/zipper.lux23
-rw-r--r--stdlib/source/lux/data/color.lux10
-rw-r--r--stdlib/source/lux/data/env.lux6
-rw-r--r--stdlib/source/lux/data/error.lux9
-rw-r--r--stdlib/source/lux/data/format/binary.lux23
-rw-r--r--stdlib/source/lux/data/format/context.lux14
-rw-r--r--stdlib/source/lux/data/format/css.lux13
-rw-r--r--stdlib/source/lux/data/format/html.lux9
-rw-r--r--stdlib/source/lux/data/format/json.lux41
-rw-r--r--stdlib/source/lux/data/format/xml.lux31
-rw-r--r--stdlib/source/lux/data/ident.lux11
-rw-r--r--stdlib/source/lux/data/identity.lux11
-rw-r--r--stdlib/source/lux/data/lazy.lux19
-rw-r--r--stdlib/source/lux/data/maybe.lux13
-rw-r--r--stdlib/source/lux/data/number.lux26
-rw-r--r--stdlib/source/lux/data/number/complex.lux30
-rw-r--r--stdlib/source/lux/data/number/ratio.lux36
-rw-r--r--stdlib/source/lux/data/store.lux9
-rw-r--r--stdlib/source/lux/data/tainted.lux8
-rw-r--r--stdlib/source/lux/data/text.lux20
-rw-r--r--stdlib/source/lux/data/text/buffer.lux17
-rw-r--r--stdlib/source/lux/data/text/encoding.lux10
-rw-r--r--stdlib/source/lux/data/text/format.lux42
-rw-r--r--stdlib/source/lux/data/text/lexer.lux20
-rw-r--r--stdlib/source/lux/data/text/regex.lux30
-rw-r--r--stdlib/source/lux/data/text/unicode.lux17
-rw-r--r--stdlib/source/lux/data/trace.lux11
-rw-r--r--stdlib/source/lux/function.lux4
-rw-r--r--stdlib/source/lux/host.js.lux17
-rw-r--r--stdlib/source/lux/host.jvm.lux38
-rw-r--r--stdlib/source/lux/io.lux16
-rw-r--r--stdlib/source/lux/language/compiler.lux22
-rw-r--r--stdlib/source/lux/language/compiler/analysis.lux13
-rw-r--r--stdlib/source/lux/language/compiler/analysis/case.lux30
-rw-r--r--stdlib/source/lux/language/compiler/analysis/case/coverage.lux25
-rw-r--r--stdlib/source/lux/language/compiler/analysis/expression.lux24
-rw-r--r--stdlib/source/lux/language/compiler/analysis/function.lux27
-rw-r--r--stdlib/source/lux/language/compiler/analysis/inference.lux22
-rw-r--r--stdlib/source/lux/language/compiler/analysis/primitive.lux10
-rw-r--r--stdlib/source/lux/language/compiler/analysis/reference.lux18
-rw-r--r--stdlib/source/lux/language/compiler/analysis/structure.lux31
-rw-r--r--stdlib/source/lux/language/compiler/analysis/type.lux10
-rw-r--r--stdlib/source/lux/language/compiler/default/cache.lux4
-rw-r--r--stdlib/source/lux/language/compiler/default/repl/type.lux41
-rw-r--r--stdlib/source/lux/language/compiler/extension.lux14
-rw-r--r--stdlib/source/lux/language/compiler/extension/analysis.lux10
-rw-r--r--stdlib/source/lux/language/compiler/extension/analysis/common.lux38
-rw-r--r--stdlib/source/lux/language/compiler/extension/analysis/host.jvm.lux52
-rw-r--r--stdlib/source/lux/language/compiler/extension/bundle.lux17
-rw-r--r--stdlib/source/lux/language/compiler/extension/synthesis.lux7
-rw-r--r--stdlib/source/lux/language/compiler/extension/translation.lux7
-rw-r--r--stdlib/source/lux/language/compiler/meta/archive.lux26
-rw-r--r--stdlib/source/lux/language/compiler/meta/cache.lux33
-rw-r--r--stdlib/source/lux/language/compiler/meta/cache/dependency.lux10
-rw-r--r--stdlib/source/lux/language/compiler/meta/io.lux21
-rw-r--r--stdlib/source/lux/language/compiler/meta/io/archive.lux19
-rw-r--r--stdlib/source/lux/language/compiler/meta/io/context.lux20
-rw-r--r--stdlib/source/lux/language/compiler/synthesis.lux9
-rw-r--r--stdlib/source/lux/language/compiler/synthesis/case.lux22
-rw-r--r--stdlib/source/lux/language/compiler/synthesis/expression.lux15
-rw-r--r--stdlib/source/lux/language/compiler/synthesis/function.lux21
-rw-r--r--stdlib/source/lux/language/compiler/synthesis/loop.lux17
-rw-r--r--stdlib/source/lux/language/compiler/translation.lux23
-rw-r--r--stdlib/source/lux/language/compiler/translation/scheme/case.jvm.lux28
-rw-r--r--stdlib/source/lux/language/compiler/translation/scheme/expression.jvm.lux11
-rw-r--r--stdlib/source/lux/language/compiler/translation/scheme/extension.jvm.lux24
-rw-r--r--stdlib/source/lux/language/compiler/translation/scheme/extension/common.jvm.lux38
-rw-r--r--stdlib/source/lux/language/compiler/translation/scheme/function.jvm.lux28
-rw-r--r--stdlib/source/lux/language/compiler/translation/scheme/loop.jvm.lux24
-rw-r--r--stdlib/source/lux/language/compiler/translation/scheme/primitive.jvm.lux5
-rw-r--r--stdlib/source/lux/language/compiler/translation/scheme/reference.jvm.lux22
-rw-r--r--stdlib/source/lux/language/compiler/translation/scheme/runtime.jvm.lux33
-rw-r--r--stdlib/source/lux/language/compiler/translation/scheme/structure.jvm.lux14
-rw-r--r--stdlib/source/lux/language/host/scheme.lux17
-rw-r--r--stdlib/source/lux/language/module.lux27
-rw-r--r--stdlib/source/lux/language/name.lux9
-rw-r--r--stdlib/source/lux/language/reference.lux9
-rw-r--r--stdlib/source/lux/language/scope.lux23
-rw-r--r--stdlib/source/lux/language/syntax.lux29
-rw-r--r--stdlib/source/lux/language/type.lux28
-rw-r--r--stdlib/source/lux/language/type/check.lux31
-rw-r--r--stdlib/source/lux/macro.lux26
-rw-r--r--stdlib/source/lux/macro/code.lux17
-rw-r--r--stdlib/source/lux/macro/poly.lux54
-rw-r--r--stdlib/source/lux/macro/poly/equivalence.lux60
-rw-r--r--stdlib/source/lux/macro/poly/functor.lux32
-rw-r--r--stdlib/source/lux/macro/poly/json.lux62
-rw-r--r--stdlib/source/lux/macro/syntax.lux28
-rw-r--r--stdlib/source/lux/macro/syntax/common/reader.lux20
-rw-r--r--stdlib/source/lux/macro/syntax/common/writer.lux9
-rw-r--r--stdlib/source/lux/math.lux20
-rw-r--r--stdlib/source/lux/math/logic/continuous.lux4
-rw-r--r--stdlib/source/lux/math/logic/fuzzy.lux16
-rw-r--r--stdlib/source/lux/math/modular.lux29
-rw-r--r--stdlib/source/lux/math/random.lux49
-rw-r--r--stdlib/source/lux/test.lux37
-rw-r--r--stdlib/source/lux/time/date.lux28
-rw-r--r--stdlib/source/lux/time/duration.lux26
-rw-r--r--stdlib/source/lux/time/instant.lux40
-rw-r--r--stdlib/source/lux/type/abstract.lux30
-rw-r--r--stdlib/source/lux/type/implicit.lux38
-rw-r--r--stdlib/source/lux/type/object/interface.lux39
-rw-r--r--stdlib/source/lux/type/object/protocol.lux26
-rw-r--r--stdlib/source/lux/type/quotient.lux19
-rw-r--r--stdlib/source/lux/type/refinement.lux21
-rw-r--r--stdlib/source/lux/type/resource.lux41
-rw-r--r--stdlib/source/lux/type/unit.lux37
-rw-r--r--stdlib/source/lux/world/blob.jvm.lux20
-rw-r--r--stdlib/source/lux/world/console.lux20
-rw-r--r--stdlib/source/lux/world/environment.jvm.lux13
-rw-r--r--stdlib/source/lux/world/file.lux29
-rw-r--r--stdlib/source/lux/world/net/tcp.jvm.lux22
-rw-r--r--stdlib/source/lux/world/net/udp.jvm.lux27
-rw-r--r--stdlib/test/test/lux.lux24
-rw-r--r--stdlib/test/test/lux/cli.lux30
-rw-r--r--stdlib/test/test/lux/concurrency/actor.lux24
-rw-r--r--stdlib/test/test/lux/concurrency/atom.lux20
-rw-r--r--stdlib/test/test/lux/concurrency/frp.lux23
-rw-r--r--stdlib/test/test/lux/concurrency/promise.lux21
-rw-r--r--stdlib/test/test/lux/concurrency/semaphore.lux26
-rw-r--r--stdlib/test/test/lux/concurrency/stm.lux29
-rw-r--r--stdlib/test/test/lux/control/continuation.lux14
-rw-r--r--stdlib/test/test/lux/control/equivalence.lux12
-rw-r--r--stdlib/test/test/lux/control/exception.lux21
-rw-r--r--stdlib/test/test/lux/control/interval.lux25
-rw-r--r--stdlib/test/test/lux/control/parser.lux23
-rw-r--r--stdlib/test/test/lux/control/pipe.lux23
-rw-r--r--stdlib/test/test/lux/control/reader.lux11
-rw-r--r--stdlib/test/test/lux/control/region.lux22
-rw-r--r--stdlib/test/test/lux/control/state.lux17
-rw-r--r--stdlib/test/test/lux/control/thread.lux7
-rw-r--r--stdlib/test/test/lux/control/writer.lux18
-rw-r--r--stdlib/test/test/lux/data/bit.lux15
-rw-r--r--stdlib/test/test/lux/data/bool.lux13
-rw-r--r--stdlib/test/test/lux/data/collection/array.lux22
-rw-r--r--stdlib/test/test/lux/data/collection/bits.lux16
-rw-r--r--stdlib/test/test/lux/data/collection/dictionary.lux25
-rw-r--r--stdlib/test/test/lux/data/collection/dictionary/ordered.lux26
-rw-r--r--stdlib/test/test/lux/data/collection/list.lux23
-rw-r--r--stdlib/test/test/lux/data/collection/queue.lux16
-rw-r--r--stdlib/test/test/lux/data/collection/queue/priority.lux17
-rw-r--r--stdlib/test/test/lux/data/collection/row.lux19
-rw-r--r--stdlib/test/test/lux/data/collection/sequence.lux25
-rw-r--r--stdlib/test/test/lux/data/collection/set.lux17
-rw-r--r--stdlib/test/test/lux/data/collection/set/ordered.lux23
-rw-r--r--stdlib/test/test/lux/data/collection/stack.lux13
-rw-r--r--stdlib/test/test/lux/data/collection/tree/rose.lux24
-rw-r--r--stdlib/test/test/lux/data/collection/tree/rose/zipper.lux29
-rw-r--r--stdlib/test/test/lux/data/color.lux16
-rw-r--r--stdlib/test/test/lux/data/error.lux15
-rw-r--r--stdlib/test/test/lux/data/format/json.lux74
-rw-r--r--stdlib/test/test/lux/data/format/xml.lux36
-rw-r--r--stdlib/test/test/lux/data/ident.lux18
-rw-r--r--stdlib/test/test/lux/data/identity.lux14
-rw-r--r--stdlib/test/test/lux/data/lazy.lux13
-rw-r--r--stdlib/test/test/lux/data/maybe.lux16
-rw-r--r--stdlib/test/test/lux/data/number.lux19
-rw-r--r--stdlib/test/test/lux/data/number/complex.lux26
-rw-r--r--stdlib/test/test/lux/data/number/ratio.lux15
-rw-r--r--stdlib/test/test/lux/data/product.lux5
-rw-r--r--stdlib/test/test/lux/data/sum.lux13
-rw-r--r--stdlib/test/test/lux/data/text.lux22
-rw-r--r--stdlib/test/test/lux/data/text/format.lux14
-rw-r--r--stdlib/test/test/lux/data/text/lexer.lux26
-rw-r--r--stdlib/test/test/lux/data/text/regex.lux31
-rw-r--r--stdlib/test/test/lux/host.js.lux9
-rw-r--r--stdlib/test/test/lux/host.jvm.lux22
-rw-r--r--stdlib/test/test/lux/io.lux14
-rw-r--r--stdlib/test/test/lux/language/compiler/analysis/case.lux49
-rw-r--r--stdlib/test/test/lux/language/compiler/analysis/function.lux55
-rw-r--r--stdlib/test/test/lux/language/compiler/analysis/primitive.lux38
-rw-r--r--stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux45
-rw-r--r--stdlib/test/test/lux/language/compiler/analysis/procedure/host.jvm.lux56
-rw-r--r--stdlib/test/test/lux/language/compiler/analysis/reference.lux47
-rw-r--r--stdlib/test/test/lux/language/compiler/analysis/structure.lux58
-rw-r--r--stdlib/test/test/lux/language/syntax.lux32
-rw-r--r--stdlib/test/test/lux/language/type.lux24
-rw-r--r--stdlib/test/test/lux/language/type/check.lux33
-rw-r--r--stdlib/test/test/lux/macro/code.lux18
-rw-r--r--stdlib/test/test/lux/macro/poly/equivalence.lux31
-rw-r--r--stdlib/test/test/lux/macro/poly/functor.lux13
-rw-r--r--stdlib/test/test/lux/macro/syntax.lux33
-rw-r--r--stdlib/test/test/lux/math.lux16
-rw-r--r--stdlib/test/test/lux/math/logic/continuous.lux13
-rw-r--r--stdlib/test/test/lux/math/logic/fuzzy.lux28
-rw-r--r--stdlib/test/test/lux/math/modular.lux22
-rw-r--r--stdlib/test/test/lux/math/random.lux29
-rw-r--r--stdlib/test/test/lux/time/date.lux22
-rw-r--r--stdlib/test/test/lux/time/duration.lux16
-rw-r--r--stdlib/test/test/lux/time/instant.lux29
-rw-r--r--stdlib/test/test/lux/type/implicit.lux23
-rw-r--r--stdlib/test/test/lux/type/object/interface.lux10
-rw-r--r--stdlib/test/test/lux/type/object/protocol.lux10
-rw-r--r--stdlib/test/test/lux/type/resource.lux13
-rw-r--r--stdlib/test/test/lux/world/blob.lux29
-rw-r--r--stdlib/test/test/lux/world/file.lux35
-rw-r--r--stdlib/test/test/lux/world/net/tcp.lux36
-rw-r--r--stdlib/test/test/lux/world/net/udp.lux36
-rw-r--r--stdlib/test/tests.lux306
250 files changed, 3248 insertions, 2624 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index 6d1f9e106..6e9604376 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -431,6 +431,11 @@
([_ ident] (_ann (#Symbol ident))))
[dummy-cursor (#Record #Nil)])
+("lux def" local-symbol$
+ ("lux check" (#Function Text Code)
+ ([_ ident] (_ann (#Symbol ["" ident]))))
+ [dummy-cursor (#Record #Nil)])
+
("lux def" tag$
("lux check" (#Function Ident Code)
([_ ident] (_ann (#Tag ident))))
@@ -4079,39 +4084,6 @@
(fail "only/exclude requires symbols."))))
defs))
-(def: (parse-alias tokens)
- (-> (List Code) (Meta [(Maybe Text) (List Code)]))
- (case tokens
- (^ (list& [_ (#Tag "" "as")] [_ (#Symbol "" alias)] tokens'))
- (return [(#Some alias) tokens'])
-
- _
- (return [#None tokens])))
-
-(def: (parse-referrals tokens)
- (-> (List Code) (Meta [Referrals (List Code)]))
- (case tokens
- (^ (list& [_ (#Tag ["" "refer"])] referral tokens'))
- (case referral
- [_ (#Tag "" "all")]
- (return [#All tokens'])
-
- (^ [_ (#Form (list& [_ (#Tag ["" "only"])] defs))])
- (do Monad<Meta>
- [defs' (extract-defs defs)]
- (return [(#Only defs') tokens']))
-
- (^ [_ (#Form (list& [_ (#Tag ["" "exclude"])] defs))])
- (do Monad<Meta>
- [defs' (extract-defs defs)]
- (return [(#Exclude defs') tokens']))
-
- _
- (fail "Incorrect syntax for referral."))
-
- _
- (return [#Nothing tokens])))
-
(def: (parse-short-referrals tokens)
(-> (List Code) (Meta [Referrals (List Code)]))
(case tokens
@@ -4134,53 +4106,6 @@
_
(return [#Nothing tokens])))
-(def: (extract-symbol syntax)
- (-> Code (Meta Ident))
- (case syntax
- [_ (#Symbol ident)]
- (return ident)
-
- _
- (fail "Not a symbol.")))
-
-(def: (parse-openings tokens)
- (-> (List Code) (Meta [(List Openings) (List Code)]))
- (case tokens
- (^ (list& [_ (#Tag "" "open")] [_ (#Form parts)] tokens'))
- (if (|> parts
- (list/map (: (-> Code Bool)
- (function (_ part)
- (case part
- (^or [_ (#Text _)] [_ (#Symbol _)])
- true
-
- _
- false))))
- (list/fold (function (_ r l) (and l r)) true))
- (let [openings (list/fold (: (-> Code (List Openings) (List Openings))
- (function (_ part openings)
- (case part
- [_ (#Text prefix)]
- (list& [prefix (list)] openings)
-
- [_ (#Symbol ["" struct-name])]
- (case openings
- #Nil
- (list ["" (list struct-name)])
-
- (#Cons [prefix structs] openings')
- (#Cons [prefix (#Cons struct-name structs)] openings'))
-
- _
- openings)))
- (: (List Openings) (list))
- parts)]
- (return [openings tokens']))
- (fail "Expected all parts of opening form to be of either prefix (text) or struct (symbol)."))
-
- _
- (return [(list) tokens])))
-
(def: (parse-short-openings parts)
(-> (List Code) (Meta [(List Openings) (List Code)]))
(case parts
@@ -4275,54 +4200,53 @@
(: (-> Code (Meta (List Importation)))
(function (_ token)
(case token
- [_ (#Symbol "" m-name)]
+ [_ (#Symbol ["" m-name])]
(do Monad<Meta>
[m-name (clean-module relative-root m-name)]
- (wrap (list [m-name #None {#refer-defs #All
- #refer-open (list)}])))
+ (wrap (list {#import-name m-name
+ #import-alias #None
+ #import-refer {#refer-defs #All
+ #refer-open (list)}})))
- (^ [_ (#Form (list& [_ (#Symbol "" m-name)] extra))])
+ (^ [_ (#Tuple (list [_ (#Symbol ["" m-name])]))])
(do Monad<Meta>
- [m-name (clean-module relative-root m-name)
- alias+extra (parse-alias extra)
- #let [[alias extra] alias+extra]
- referral+extra (parse-referrals extra)
- #let [[referral extra] referral+extra]
- openings+extra (parse-openings extra)
- #let [[openings extra] openings+extra]
- sub-imports (parse-imports relative-root extra)
- #let [sub-imports (decorate-sub-importations m-name sub-imports)]]
- (wrap (case [referral alias openings]
- [#Nothing #None #Nil] sub-imports
- _ (list& {#import-name m-name
- #import-alias alias
- #import-refer {#refer-defs referral
- #refer-open openings}}
- sub-imports))))
-
- (^ [_ (#Tuple (list& [_ (#Text alias)] [_ (#Symbol "" m-name)] extra))])
+ [import-name (clean-module relative-root m-name)]
+ (wrap (list {#import-name import-name
+ #import-alias (#Some m-name)
+ #import-refer {#refer-defs #Nothing
+ #refer-open (list)}})))
+
+ (^ [_ (#Tuple (list& [_ (#Text alias)] [_ (#Symbol ["" m-name])] extra))])
(do Monad<Meta>
- [m-name (clean-module relative-root m-name)
+ [import-name (clean-module relative-root m-name)
referral+extra (parse-short-referrals extra)
#let [[referral extra] referral+extra]
openings+extra (parse-short-openings extra)
- #let [[openings extra] openings+extra]]
- (wrap (list {#import-name m-name
- #import-alias (#Some (replace-all "." m-name alias))
- #import-refer {#refer-defs referral
- #refer-open openings}})))
-
- (^ [_ (#Tuple (list& [_ (#Symbol "" raw-m-name)] extra))])
+ #let [[openings extra] openings+extra]
+ sub-imports (parse-imports relative-root extra)
+ #let [sub-imports (decorate-sub-importations import-name sub-imports)]]
+ (wrap (list& {#import-name import-name
+ #import-alias (#Some (replace-all "." m-name alias))
+ #import-refer {#refer-defs referral
+ #refer-open openings}}
+ sub-imports)))
+
+ (^ [_ (#Tuple (list& [_ (#Symbol ["" m-name])] extra))])
(do Monad<Meta>
- [m-name (clean-module relative-root raw-m-name)
+ [import-name (clean-module relative-root m-name)
referral+extra (parse-short-referrals extra)
#let [[referral extra] referral+extra]
openings+extra (parse-short-openings extra)
- #let [[openings extra] openings+extra]]
- (wrap (list {#import-name m-name
- #import-alias (#Some raw-m-name)
- #import-refer {#refer-defs referral
- #refer-open openings}})))
+ #let [[openings extra] openings+extra]
+ sub-imports (parse-imports relative-root extra)
+ #let [sub-imports (decorate-sub-importations import-name sub-imports)]]
+ (wrap (case [referral openings]
+ [#Nothing #Nil] sub-imports
+ _ (list& {#import-name import-name
+ #import-alias (#Some m-name)
+ #import-refer {#refer-defs referral
+ #refer-open openings}}
+ sub-imports))))
_
(do Monad<Meta>
@@ -4804,9 +4728,9 @@
(def: (read-refer module-name options)
(-> Text (List Code) (Meta Refer))
(do Monad<Meta>
- [referral+options (parse-referrals options)
+ [referral+options (parse-short-referrals options)
#let [[referral options] referral+options]
- openings+options (parse-openings options)
+ openings+options (parse-short-openings options)
#let [[openings options] openings+options]
current-module current-module-name
#let [test-referrals (: (-> Text (List Text) (List Text) (Meta (List Any)))
@@ -4891,27 +4815,25 @@
(def: (refer-to-code module-name [r-defs r-opens])
(-> Text Refer Code)
- (let [=defs (: (List Code)
- (case r-defs
- #All
- (list (' #refer) (' #all))
-
- (#Only defs)
- (list (' #refer) (`' (#only (~+ (list/map (|>> [""] symbol$)
- defs)))))
-
- (#Exclude defs)
- (list (' #refer) (`' (#exclude (~+ (list/map (|>> [""] symbol$)
- defs)))))
-
- #Nothing
- (list)))
- =opens (join-map (function (_ [prefix structs])
- (list& (text$ prefix) (list/map (|>> [""] symbol$) structs)))
- r-opens)]
+ (let [localizations (: (List Code)
+ (case r-defs
+ #All
+ (list (' #*))
+
+ (#Only defs)
+ (list (form$ (list& (' #+) (list/map local-symbol$ defs))))
+
+ (#Exclude defs)
+ (list (form$ (list& (' #-) (list/map local-symbol$ defs))))
+
+ #Nothing
+ (list)))
+ openings (list/map (function (_ [prefix structs])
+ (form$ (list& (text$ prefix) (list/map local-symbol$ structs))))
+ r-opens)]
(` (..refer (~ (text$ module-name))
- (~+ =defs)
- (~' #open) ((~+ =opens))))))
+ (~+ localizations)
+ (~+ openings)))))
(macro: #export (module: tokens)
{#.doc "Module-definition macro.
diff --git a/stdlib/source/lux/cli.lux b/stdlib/source/lux/cli.lux
index 0f7659fff..5b4b9b6bc 100644
--- a/stdlib/source/lux/cli.lux
+++ b/stdlib/source/lux/cli.lux
@@ -1,15 +1,17 @@
(.module:
- lux
- (lux (control monad
- ["p" parser])
- (data (collection [list ("list/" Monoid<List> Monad<List>)])
- [text ("text/" Equivalence<Text>)]
- text/format
- ["E" error])
- [io]
- [macro (#+ with-gensyms)]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)])))
+ [lux #*
+ [control
+ monad
+ ["p" parser]]
+ [data
+ [collection [list ("list/" Monoid<List> Monad<List>)]]
+ [text ("text/" Equivalence<Text>)
+ format]
+ ["E" error]]
+ [io]
+ [macro (#+ with-gensyms)
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]]])
## [Types]
(type: #export (CLI a)
diff --git a/stdlib/source/lux/concurrency/actor.lux b/stdlib/source/lux/concurrency/actor.lux
index 792b65dfc..81e873def 100644
--- a/stdlib/source/lux/concurrency/actor.lux
+++ b/stdlib/source/lux/concurrency/actor.lux
@@ -1,23 +1,28 @@
(.module: {#.doc "The actor model of concurrency."}
- lux
- (lux (control monad
- ["p" parser]
- ["ex" exception (#+ exception:)])
- [io (#- run) ("io/" Monad<IO>)]
- (data [product]
- ["e" error]
- text/format
- (collection [list ("list/" Monoid<List> Monad<List> Fold<List>)]))
- [macro (#+ with-gensyms Monad<Meta>)]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)]
- (syntax ["cs" common]
- (common ["csr" reader]
- ["csw" writer])))
- (type abstract))
- (// [atom (#+ Atom atom)]
- [promise (#+ Promise promise) ("promise/" Monad<Promise>)]
- [task (#+ Task)]))
+ [lux #*
+ [control monad
+ ["p" parser]
+ ["ex" exception (#+ exception:)]]
+ [io (#- run) ("io/" Monad<IO>)]
+ [data
+ [product]
+ ["e" error]
+ text/format
+ [collection [list ("list/" Monoid<List> Monad<List> Fold<List>)]]]
+ [macro (#+ with-gensyms Monad<Meta>)
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]
+ [syntax
+ ["cs" common]
+ [common
+ ["csr" reader]
+ ["csw" writer]]]]
+ [type
+ abstract]]
+ [//
+ [atom (#+ Atom atom)]
+ [promise (#+ Promise promise) ("promise/" Monad<Promise>)]
+ [task (#+ Task)]])
(exception: #export poisoned)
diff --git a/stdlib/source/lux/concurrency/atom.lux b/stdlib/source/lux/concurrency/atom.lux
index 49e16340f..8cfc117e4 100644
--- a/stdlib/source/lux/concurrency/atom.lux
+++ b/stdlib/source/lux/concurrency/atom.lux
@@ -1,7 +1,7 @@
(.module:
- lux
- (lux [function]
- [io (#- run)]))
+ [lux #*
+ [function]
+ [io (#- run)]])
(type: #export (Atom a)
{#.doc "Atomic references that are safe to mutate concurrently."}
diff --git a/stdlib/source/lux/concurrency/frp.lux b/stdlib/source/lux/concurrency/frp.lux
index 0ecaf9266..b75e85939 100644
--- a/stdlib/source/lux/concurrency/frp.lux
+++ b/stdlib/source/lux/concurrency/frp.lux
@@ -1,13 +1,15 @@
(.module:
- lux
- (lux (control [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ do Monad)])
- [io (#+ IO io)]
- (data (collection [list ("list/" Monoid<List>)]))
- (type abstract))
- (// [atom (#+ Atom atom)]
- [promise (#+ Promise)]))
+ [lux #*
+ [control
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ do Monad)]]
+ [io (#+ IO io)]
+ [data [collection [list ("list/" Monoid<List>)]]]
+ [type abstract]]
+ [//
+ [atom (#+ Atom atom)]
+ [promise (#+ Promise)]])
## [Types]
(abstract: #export (Channel a)
diff --git a/stdlib/source/lux/concurrency/promise.lux b/stdlib/source/lux/concurrency/promise.lux
index aa0473dc9..c76c4c013 100644
--- a/stdlib/source/lux/concurrency/promise.lux
+++ b/stdlib/source/lux/concurrency/promise.lux
@@ -1,13 +1,14 @@
(.module:
- lux
- (lux [io (#+ IO io)]
- [function]
- (control [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ do Monad)])
- (data [product])
- (concurrency [atom (#+ Atom atom)])
- (type abstract)))
+ [lux #*
+ [io (#+ IO io)]
+ [function]
+ [control
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ do Monad)]]
+ [data [product]]
+ [concurrency [atom (#+ Atom atom)]]
+ [type abstract]])
(def: #export parallelism
Nat
diff --git a/stdlib/source/lux/concurrency/semaphore.lux b/stdlib/source/lux/concurrency/semaphore.lux
index b237caa2b..0c01e9389 100644
--- a/stdlib/source/lux/concurrency/semaphore.lux
+++ b/stdlib/source/lux/concurrency/semaphore.lux
@@ -1,11 +1,13 @@
(.module:
- lux
- (lux (control [monad (#+ do)])
- (concurrency [atom (#+ Atom)]
- [promise (#+ Promise)])
- [io (#+ IO)]
- (type abstract
- [refinement])))
+ [lux #*
+ [control [monad (#+ do)]]
+ [concurrency
+ [atom (#+ Atom)]
+ [promise (#+ Promise)]]
+ [io (#+ IO)]
+ [type
+ abstract
+ [refinement]]])
(type: State
{#open-positions Nat
diff --git a/stdlib/source/lux/concurrency/stm.lux b/stdlib/source/lux/concurrency/stm.lux
index 1478c55e3..e3c797b2d 100644
--- a/stdlib/source/lux/concurrency/stm.lux
+++ b/stdlib/source/lux/concurrency/stm.lux
@@ -1,16 +1,19 @@
(.module:
- lux
- (lux (control [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ do Monad)])
- [io (#+ IO io)]
- (data [product]
- [maybe]
- (collection [list ("list/" Functor<List> Fold<List>)]))
- (concurrency [atom (#+ Atom atom)]
- [promise (#+ Promise promise)]
- [frp ("frp/" Functor<Channel>)])
- (type abstract)))
+ [lux #*
+ [control
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ do Monad)]]
+ [io (#+ IO io)]
+ [data
+ [product]
+ [maybe]
+ [collection [list ("list/" Functor<List> Fold<List>)]]]
+ [concurrency
+ [atom (#+ Atom atom)]
+ [promise (#+ Promise promise)]
+ [frp ("frp/" Functor<Channel>)]]
+ [type abstract]])
(abstract: #export (Var a)
{#.doc "A mutable cell containing a value, and observers that will be alerted of any change to it."}
diff --git a/stdlib/source/lux/concurrency/task.lux b/stdlib/source/lux/concurrency/task.lux
index 3b3b6793c..f3043ce9b 100644
--- a/stdlib/source/lux/concurrency/task.lux
+++ b/stdlib/source/lux/concurrency/task.lux
@@ -1,14 +1,14 @@
(.module:
- lux
- (lux (data ["E" error])
- (control ["F" functor]
- ["A" apply]
- monad
- ["ex" exception (#+ Exception)])
- (concurrency ["P" promise])
- [macro]
- (macro ["s" syntax (#+ syntax: Syntax)])
- ))
+ [lux #*
+ [data ["E" error]]
+ [control
+ ["F" functor]
+ ["A" apply]
+ monad
+ ["ex" exception (#+ Exception)]]
+ [concurrency ["P" promise]]
+ ["." macro ["s" syntax (#+ syntax: Syntax)]]
+ ])
(type: #export (Task a)
(P.Promise (E.Error a)))
diff --git a/stdlib/source/lux/control/algebra.lux b/stdlib/source/lux/control/algebra.lux
index 0f9df072d..2813ed0e7 100644
--- a/stdlib/source/lux/control/algebra.lux
+++ b/stdlib/source/lux/control/algebra.lux
@@ -1,6 +1,7 @@
(.module:
- lux
- (lux (control functor)))
+ [lux #*
+ [control
+ functor]])
## Types
(type: #export (Algebra f a)
diff --git a/stdlib/source/lux/control/apply.lux b/stdlib/source/lux/control/apply.lux
index 95f2de15e..9e5f1b6ae 100644
--- a/stdlib/source/lux/control/apply.lux
+++ b/stdlib/source/lux/control/apply.lux
@@ -1,7 +1,8 @@
(.module:
lux
- (// [functor (#+ Functor)]
- [monad (#+ Monad)]))
+ [//
+ [functor (#+ Functor)]
+ [monad (#+ Monad)]])
(signature: #export (Apply f)
{#.doc "Applicative functors."}
diff --git a/stdlib/source/lux/control/codec.lux b/stdlib/source/lux/control/codec.lux
index b219c8522..5e274e766 100644
--- a/stdlib/source/lux/control/codec.lux
+++ b/stdlib/source/lux/control/codec.lux
@@ -1,7 +1,7 @@
(.module:
- lux
- (lux (control monad)
- (data ["e" error])))
+ [lux #*
+ [control monad]
+ [data ["e" error]]])
## [Signatures]
(signature: #export (Codec m a)
diff --git a/stdlib/source/lux/control/comonad.lux b/stdlib/source/lux/control/comonad.lux
index a154a89a2..937a121b1 100644
--- a/stdlib/source/lux/control/comonad.lux
+++ b/stdlib/source/lux/control/comonad.lux
@@ -1,7 +1,10 @@
(.module:
- lux
- (lux (data (collection [list ("list/" Fold<List>)])))
- ["F" //functor])
+ [lux #*
+ [data
+ [collection
+ [list ("list/" Fold<List>)]]]]
+ [//
+ ["F" functor]])
## [Signatures]
(signature: #export (CoMonad w)
diff --git a/stdlib/source/lux/control/concatenative.lux b/stdlib/source/lux/control/concatenative.lux
index 449449b97..af86fc527 100644
--- a/stdlib/source/lux/control/concatenative.lux
+++ b/stdlib/source/lux/control/concatenative.lux
@@ -1,20 +1,25 @@
-(.module: [lux (#- if loop when
- n/+ n/- n/* n// n/% n/= n/< n/<= n/> n/>=
- i/+ i/- i/* i// i/% i/= i/< i/<= i/> i/>=
- r/+ r/- r/* r// r/% r/= r/< r/<= r/> r/>=
- f/+ f/- f/* f// f/% f/= f/< f/<= f/> f/>=)]
- (lux (control ["p" parser ("parser/" Monad<Parser>)]
- [monad])
- (data [text]
- text/format
- [maybe ("maybe/" Monad<Maybe>)]
- (collection [list ("list/" Fold<List> Functor<List>)]))
- [macro (#+ with-gensyms Monad<Meta>)]
- (macro [code]
- ["s" syntax (#+ syntax:)]
- (syntax ["cs" common]
- (common ["csr" reader]
- ["csw" writer])))))
+(.module:
+ [lux (#- if loop when
+ n/+ n/- n/* n// n/% n/= n/< n/<= n/> n/>=
+ i/+ i/- i/* i// i/% i/= i/< i/<= i/> i/>=
+ r/+ r/- r/* r// r/% r/= r/< r/<= r/> r/>=
+ f/+ f/- f/* f// f/% f/= f/< f/<= f/> f/>=)
+ [control
+ ["p" parser ("parser/" Monad<Parser>)]
+ [monad]]
+ [data
+ [text]
+ text/format
+ [maybe ("maybe/" Monad<Maybe>)]
+ [collection [list ("list/" Fold<List> Functor<List>)]]]
+ [macro (#+ with-gensyms Monad<Meta>)
+ [code]
+ ["s" syntax (#+ syntax:)]
+ [syntax
+ ["cs" common]
+ [common
+ ["csr" reader]
+ ["csw" writer]]]]])
## [Syntax]
(type: Alias [Text Code])
diff --git a/stdlib/source/lux/control/continuation.lux b/stdlib/source/lux/control/continuation.lux
index fb330967a..beaab50fb 100644
--- a/stdlib/source/lux/control/continuation.lux
+++ b/stdlib/source/lux/control/continuation.lux
@@ -1,12 +1,13 @@
(.module:
- lux
- (lux (control [functor (#+ Functor)]
- [apply (#+ Apply)]
- monad)
- function
- [macro (#+ with-gensyms)]
- (macro [code]
- [syntax (#+ syntax:)])))
+ [lux #*
+ [control
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ monad]
+ function
+ [macro (#+ with-gensyms)
+ [code]
+ [syntax (#+ syntax:)]]])
(type: #export (Cont i o)
{#.doc "Continuations."}
diff --git a/stdlib/source/lux/control/contract.lux b/stdlib/source/lux/control/contract.lux
index dbe92ad76..1b4939cb6 100644
--- a/stdlib/source/lux/control/contract.lux
+++ b/stdlib/source/lux/control/contract.lux
@@ -1,10 +1,11 @@
(.module:
- lux
- (lux (control monad)
- (data text/format)
- [macro]
- (macro [code]
- ["s" syntax (#+ syntax:)])))
+ [lux #*
+ [control
+ monad]
+ [data
+ text/format]
+ [macro (#+) [code]
+ ["s" syntax (#+ syntax:)]]])
(def: #export (assert! message test)
(-> Text Bool [])
diff --git a/stdlib/source/lux/control/enum.lux b/stdlib/source/lux/control/enum.lux
index b2b2f090c..b153beede 100644
--- a/stdlib/source/lux/control/enum.lux
+++ b/stdlib/source/lux/control/enum.lux
@@ -1,5 +1,7 @@
-(.module: lux
- (lux/control [order]))
+(.module:
+ [lux #*
+ [control
+ ["." order]]])
## [Signatures]
(signature: #export (Enum e)
diff --git a/stdlib/source/lux/control/exception.lux b/stdlib/source/lux/control/exception.lux
index ab1b27e94..41dd22b88 100644
--- a/stdlib/source/lux/control/exception.lux
+++ b/stdlib/source/lux/control/exception.lux
@@ -1,18 +1,22 @@
(.module: {#.doc "Exception-handling functionality built on top of the Error type."}
- lux
- (lux (control [monad (#+ do)]
- ["p" parser])
- (data ["/" error (#+ Error)]
- [maybe]
- [product]
- [text ("text/" Monoid<Text>)]
- (collection [list ("list/" Functor<List> Fold<List>)]))
- [macro]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)]
- (syntax ["cs" common]
- (common ["csr" reader]
- ["csw" writer])))))
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["p" parser]]
+ [data
+ ["/" error (#+ Error)]
+ [maybe]
+ [product]
+ [text ("text/" Monoid<Text>)]
+ [collection [list ("list/" Functor<List> Fold<List>)]]]
+ ["." macro
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]
+ [syntax
+ ["cs" common]
+ [common
+ ["csr" reader]
+ ["csw" writer]]]]])
## [Types]
(type: #export (Exception a)
diff --git a/stdlib/source/lux/control/hash.lux b/stdlib/source/lux/control/hash.lux
index f1ecfd01d..aa668c7c7 100644
--- a/stdlib/source/lux/control/hash.lux
+++ b/stdlib/source/lux/control/hash.lux
@@ -1,6 +1,6 @@
(.module:
lux
- (// [equivalence (#+ Equivalence)]))
+ [// [equivalence (#+ Equivalence)]])
## [Signatures]
(signature: #export (Hash a)
diff --git a/stdlib/source/lux/control/interval.lux b/stdlib/source/lux/control/interval.lux
index ddb505f6f..ae8c6ce30 100644
--- a/stdlib/source/lux/control/interval.lux
+++ b/stdlib/source/lux/control/interval.lux
@@ -1,8 +1,9 @@
(.module:
- lux
- (lux (control [equivalence (#+ Equivalence)]
- [order]
- [enum (#+ Enum)])))
+ [lux #*
+ [control
+ [equivalence (#+ Equivalence)]
+ ["." order]
+ [enum (#+ Enum)]]])
## Signatures
(signature: #export (Interval a)
diff --git a/stdlib/source/lux/control/monad.lux b/stdlib/source/lux/control/monad.lux
index 7db3cfd79..997bb2117 100644
--- a/stdlib/source/lux/control/monad.lux
+++ b/stdlib/source/lux/control/monad.lux
@@ -1,6 +1,6 @@
(.module:
lux
- (// [functor (#+ Functor)]))
+ [// [functor (#+ Functor)]])
## [Utils]
(def: (list/fold f init xs)
diff --git a/stdlib/source/lux/control/monad/free.lux b/stdlib/source/lux/control/monad/free.lux
index 41a2bdfd1..b30de7b1f 100644
--- a/stdlib/source/lux/control/monad/free.lux
+++ b/stdlib/source/lux/control/monad/free.lux
@@ -1,8 +1,9 @@
(.module:
lux
- (/// [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ Monad)]))
+ [///
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ Monad)]])
(type: #export (Free F a)
{#.doc "The Free Monad."}
diff --git a/stdlib/source/lux/control/monad/indexed.lux b/stdlib/source/lux/control/monad/indexed.lux
index cbed38690..9e0cd9fd4 100644
--- a/stdlib/source/lux/control/monad/indexed.lux
+++ b/stdlib/source/lux/control/monad/indexed.lux
@@ -1,10 +1,13 @@
(.module:
- lux
- (lux (control [monad]
- ["p" parser])
- (data (collection [list ("list/" Functor<List> Fold<List>)]))
- [macro]
- (macro ["s" syntax (#+ Syntax syntax:)])))
+ [lux #*
+ [control
+ [monad]
+ ["p" parser]]
+ [data
+ [collection
+ [list ("list/" Functor<List> Fold<List>)]]]
+ ["." macro
+ ["s" syntax (#+ Syntax syntax:)]]])
(signature: #export (IxMonad m)
(: (All [p a]
diff --git a/stdlib/source/lux/control/monoid.lux b/stdlib/source/lux/control/monoid.lux
index 550b9c25f..b841043ab 100644
--- a/stdlib/source/lux/control/monoid.lux
+++ b/stdlib/source/lux/control/monoid.lux
@@ -1,5 +1,6 @@
-(.module: lux
- (// [fold (#+ Fold)]))
+(.module:
+ lux
+ [// [fold (#+ Fold)]])
(signature: #export (Monoid a)
{#.doc "A way to compose values.
diff --git a/stdlib/source/lux/control/order.lux b/stdlib/source/lux/control/order.lux
index edd25aca0..6a801392d 100644
--- a/stdlib/source/lux/control/order.lux
+++ b/stdlib/source/lux/control/order.lux
@@ -1,7 +1,7 @@
(.module:
- lux
- (lux function)
- (// [equivalence (#+ Equivalence)]))
+ [lux #*
+ function]
+ [// [equivalence (#+ Equivalence)]])
## [Signatures]
(signature: #export (Order a)
diff --git a/stdlib/source/lux/control/parser.lux b/stdlib/source/lux/control/parser.lux
index e25115d80..4c5e827f9 100644
--- a/stdlib/source/lux/control/parser.lux
+++ b/stdlib/source/lux/control/parser.lux
@@ -1,12 +1,14 @@
(.module:
- [lux (#- not)]
- (lux (control [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ do Monad)]
- [codec])
- (data (collection [list ("list/" Functor<List> Monoid<List>)])
- [product]
- ["e" error (#+ Error)])))
+ [lux (#- not)
+ [control
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ do Monad)]
+ [codec]]
+ [data
+ [collection [list ("list/" Functor<List> Monoid<List>)]]
+ [product]
+ ["e" error (#+ Error)]]])
(type: #export (Parser s a)
{#.doc "A generic parser."}
diff --git a/stdlib/source/lux/control/pipe.lux b/stdlib/source/lux/control/pipe.lux
index 82c2b5a2c..97e38b365 100644
--- a/stdlib/source/lux/control/pipe.lux
+++ b/stdlib/source/lux/control/pipe.lux
@@ -1,13 +1,15 @@
(.module: {#.doc "Composable extensions to the piping macros (|> and <|) that enhance them with various abilities."}
- lux
- (lux (control [monad (#+ do)]
- ["p" parser])
- (data ["e" error]
- (collection [list ("list/" Fold<List> Monad<List>)]))
- [macro (#+ with-gensyms)]
- (macro ["s" syntax (#+ syntax: Syntax)]
- [code])
- ))
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["p" parser]]
+ [data
+ ["e" error]
+ [collection [list ("list/" Fold<List> Monad<List>)]]]
+ [macro (#+ with-gensyms)
+ ["s" syntax (#+ syntax: Syntax)]
+ [code]]
+ ])
## [Syntax]
(def: body^
diff --git a/stdlib/source/lux/control/predicate.lux b/stdlib/source/lux/control/predicate.lux
index b8595afe5..9af533a8f 100644
--- a/stdlib/source/lux/control/predicate.lux
+++ b/stdlib/source/lux/control/predicate.lux
@@ -1,8 +1,8 @@
(.module:
- lux
- (lux (control [monoid (#+ Monoid)])
- (data (collection [set (#+ Set)]))
- [function]))
+ [lux #*
+ [control [monoid (#+ Monoid)]]
+ [data [collection [set (#+ Set)]]]
+ [function]])
(type: #export (Predicate a)
(-> a Bool))
diff --git a/stdlib/source/lux/control/reader.lux b/stdlib/source/lux/control/reader.lux
index 0e4e4684b..dfe8724e0 100644
--- a/stdlib/source/lux/control/reader.lux
+++ b/stdlib/source/lux/control/reader.lux
@@ -1,8 +1,9 @@
(.module:
- lux
- (lux (control ["F" functor]
- ["A" apply]
- [monad (#+ do Monad)])))
+ [lux #*
+ [control
+ ["F" functor]
+ ["A" apply]
+ [monad (#+ do Monad)]]])
## [Types]
(type: #export (Reader r a)
diff --git a/stdlib/source/lux/control/region.lux b/stdlib/source/lux/control/region.lux
index 089bf9587..d83f82279 100644
--- a/stdlib/source/lux/control/region.lux
+++ b/stdlib/source/lux/control/region.lux
@@ -1,12 +1,14 @@
(.module:
- lux
- (lux (control [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ Monad do)]
- ["ex" exception (#+ Exception exception:)])
- (data ["e" error (#+ Error)]
- text/format
- (collection [list ("list/" Fold<List>)]))))
+ [lux #*
+ [control
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ Monad do)]
+ ["ex" exception (#+ Exception exception:)]]
+ [data
+ ["e" error (#+ Error)]
+ text/format
+ [collection [list ("list/" Fold<List>)]]]])
(type: (Cleaner r m)
(-> r (m (Error Any))))
diff --git a/stdlib/source/lux/control/state.lux b/stdlib/source/lux/control/state.lux
index b96f174aa..03965f498 100644
--- a/stdlib/source/lux/control/state.lux
+++ b/stdlib/source/lux/control/state.lux
@@ -1,8 +1,9 @@
(.module:
- lux
- (lux (control ["F" functor]
- ["A" apply]
- [monad (#+ do Monad)])))
+ [lux #*
+ [control
+ ["F" functor]
+ ["A" apply]
+ [monad (#+ do Monad)]]])
## [Types]
(type: #export (State s a)
diff --git a/stdlib/source/lux/control/thread.lux b/stdlib/source/lux/control/thread.lux
index d8e995371..b7aac24d7 100644
--- a/stdlib/source/lux/control/thread.lux
+++ b/stdlib/source/lux/control/thread.lux
@@ -1,9 +1,10 @@
(.module:
- lux
- (lux (control [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ Monad do)])
- [io (#+ IO)]))
+ [lux #*
+ [control
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ Monad do)]]
+ [io (#+ IO)]])
(type: #export (Thread ! a)
(-> ! a))
diff --git a/stdlib/source/lux/control/writer.lux b/stdlib/source/lux/control/writer.lux
index 07d94ac25..25e665b73 100644
--- a/stdlib/source/lux/control/writer.lux
+++ b/stdlib/source/lux/control/writer.lux
@@ -1,9 +1,10 @@
(.module:
- lux
- (lux/control monoid
- ["F" functor]
- ["A" apply]
- [monad (#+ do Monad)]))
+ [lux #*
+ [control
+ monoid
+ ["F" functor]
+ ["A" apply]
+ [monad (#+ do Monad)]]])
(type: #export (Writer l a)
{#.doc "Represents a value with an associated 'log' value to record arbitrary information."}
diff --git a/stdlib/source/lux/data/bool.lux b/stdlib/source/lux/data/bool.lux
index 09aa2686b..b75663ad5 100644
--- a/stdlib/source/lux/data/bool.lux
+++ b/stdlib/source/lux/data/bool.lux
@@ -1,10 +1,11 @@
(.module:
- lux
- (lux (control [monoid (#+ Monoid)]
- [equivalence (#+ Equivalence)]
- hash
- [codec (#+ Codec)])
- function))
+ [lux #*
+ [control
+ [monoid (#+ Monoid)]
+ [equivalence (#+ Equivalence)]
+ hash
+ [codec (#+ Codec)]]
+ function])
## [Structures]
(structure: #export _ (Equivalence Bool)
diff --git a/stdlib/source/lux/data/collection/array.lux b/stdlib/source/lux/data/collection/array.lux
index fa261318f..684988954 100644
--- a/stdlib/source/lux/data/collection/array.lux
+++ b/stdlib/source/lux/data/collection/array.lux
@@ -1,12 +1,14 @@
(.module:
- lux
- (lux (control [monoid (#+ Monoid)]
- [functor (#+ Functor)]
- [equivalence (#+ Equivalence)]
- fold)
- (data (collection [list ("list/" Fold<List>)])
- [product])
- ))
+ [lux #*
+ [control
+ [monoid (#+ Monoid)]
+ [functor (#+ Functor)]
+ [equivalence (#+ Equivalence)]
+ fold]
+ [data
+ [collection [list ("list/" Fold<List>)]]
+ [product]]
+ ])
(def: #export (new size)
(All [a] (-> Nat (Array a)))
diff --git a/stdlib/source/lux/data/collection/bits.lux b/stdlib/source/lux/data/collection/bits.lux
index 74a3e4189..78d5b4b7d 100644
--- a/stdlib/source/lux/data/collection/bits.lux
+++ b/stdlib/source/lux/data/collection/bits.lux
@@ -1,11 +1,13 @@
(.module:
- [lux (#- not and or)]
- (lux (control [equivalence (#+ Equivalence)]
- pipe)
- (data [maybe]
- [bit]
- (collection [array ("array/" Fold<Array>)])
- text/format)))
+ [lux (#- not and or)
+ [control
+ [equivalence (#+ Equivalence)]
+ pipe]
+ [data
+ [maybe]
+ [bit]
+ [text format]
+ [collection [array ("array/" Fold<Array>)]]]])
(type: #export Chunk I64)
diff --git a/stdlib/source/lux/data/collection/dictionary.lux b/stdlib/source/lux/data/collection/dictionary.lux
index 6712b57fb..a3e4be1d6 100644
--- a/stdlib/source/lux/data/collection/dictionary.lux
+++ b/stdlib/source/lux/data/collection/dictionary.lux
@@ -1,14 +1,17 @@
(.module:
- lux
- (lux (control hash
- [equivalence (#+ Equivalence)])
- (data [maybe]
- (collection [list ("list/" Fold<List> Functor<List> Monoid<List>)]
- [array ("array/" Functor<Array> Fold<Array>)])
- [bit]
- [product]
- [number])
- ))
+ [lux #*
+ [control
+ hash
+ [equivalence (#+ Equivalence)]]
+ [data
+ [maybe]
+ [bit]
+ [product]
+ [number]
+ [collection
+ [list ("list/" Fold<List> Functor<List> Monoid<List>)]
+ [array ("array/" Functor<Array> Fold<Array>)]]]
+ ])
## This implementation of Hash Array Mapped Trie (HAMT) is based on
## Clojure's PersistentHashMap implementation.
diff --git a/stdlib/source/lux/data/collection/dictionary/ordered.lux b/stdlib/source/lux/data/collection/dictionary/ordered.lux
index 6c0b645fc..963f178b3 100644
--- a/stdlib/source/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/lux/data/collection/dictionary/ordered.lux
@@ -1,14 +1,16 @@
(.module:
- lux
- (lux (control [monad (#+ do Monad)]
- equivalence
- [order (#+ Order)])
- (data (collection [list ("list/" Monoid<List> Fold<List>)])
- ["p" product]
- [maybe])
- [macro]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)])))
+ [lux #*
+ [control
+ [monad (#+ do Monad)]
+ equivalence
+ [order (#+ Order)]]
+ [data
+ ["p" product]
+ [maybe]
+ [collection [list ("list/" Monoid<List> Fold<List>)]]]
+ ["." macro
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]]])
(def: error-message Text "Invariant violation")
diff --git a/stdlib/source/lux/data/collection/dictionary/plist.lux b/stdlib/source/lux/data/collection/dictionary/plist.lux
index 6ef26d51d..f1a6dff7e 100644
--- a/stdlib/source/lux/data/collection/dictionary/plist.lux
+++ b/stdlib/source/lux/data/collection/dictionary/plist.lux
@@ -1,6 +1,7 @@
(.module:
- lux
- (lux (data [text ("text/" Equivalence<Text>)])))
+ [lux #*
+ [data
+ [text ("text/" Equivalence<Text>)]]])
(type: #export (PList a)
(List [Text a]))
diff --git a/stdlib/source/lux/data/collection/list.lux b/stdlib/source/lux/data/collection/list.lux
index 549074d99..7ea58354e 100644
--- a/stdlib/source/lux/data/collection/list.lux
+++ b/stdlib/source/lux/data/collection/list.lux
@@ -1,14 +1,16 @@
(.module:
- lux
- (lux (control [monoid (#+ Monoid)]
- [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ do Monad)]
- [equivalence (#+ Equivalence)]
- [fold])
- (data [number ("nat/" Codec<Text,Nat>)]
- bool
- [product])))
+ [lux #*
+ [control
+ [monoid (#+ Monoid)]
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ do Monad)]
+ [equivalence (#+ Equivalence)]
+ [fold]]
+ [data
+ [number ("nat/" Codec<Text,Nat>)]
+ bool
+ [product]]])
## [Types]
## (type: (List a)
diff --git a/stdlib/source/lux/data/collection/queue.lux b/stdlib/source/lux/data/collection/queue.lux
index bbb2c8721..cf3587ece 100644
--- a/stdlib/source/lux/data/collection/queue.lux
+++ b/stdlib/source/lux/data/collection/queue.lux
@@ -1,8 +1,9 @@
(.module:
- lux
- (lux (control [equivalence (#+ Equivalence)]
- ["F" functor])
- (data (collection [list ("list/" Monoid<List> Functor<List>)]))))
+ [lux #*
+ [control
+ [equivalence (#+ Equivalence)]
+ ["F" functor]]
+ [data [collection [list ("list/" Monoid<List> Functor<List>)]]]])
(type: #export (Queue a)
{#front (List a)
diff --git a/stdlib/source/lux/data/collection/queue/priority.lux b/stdlib/source/lux/data/collection/queue/priority.lux
index ba087428c..6765c6708 100644
--- a/stdlib/source/lux/data/collection/queue/priority.lux
+++ b/stdlib/source/lux/data/collection/queue/priority.lux
@@ -1,10 +1,12 @@
(.module:
- lux
- (lux (control [equivalence (#+ Equivalence)]
- [monad (#+ do Monad)])
- (data (collection (tree [finger (#+ Tree)]))
- [number ("nat/" Interval<Nat>)]
- [maybe])))
+ [lux #*
+ [control
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do Monad)]]
+ [data
+ [number ("nat/" Interval<Nat>)]
+ [maybe]
+ [collection [tree [finger (#+ Tree)]]]]])
(type: #export Priority Nat)
diff --git a/stdlib/source/lux/data/collection/row.lux b/stdlib/source/lux/data/collection/row.lux
index a32b08aae..1dce1d4c5 100644
--- a/stdlib/source/lux/data/collection/row.lux
+++ b/stdlib/source/lux/data/collection/row.lux
@@ -1,21 +1,24 @@
(.module:
- lux
- (lux (control [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ do Monad)]
- [equivalence (#+ Equivalence)]
- monoid
- fold
- ["p" parser])
- (data [maybe]
- (collection [list ("list/" Fold<List> Functor<List> Monoid<List>)]
- [array ("array/" Functor<Array> Fold<Array>)])
- [bit]
- [product])
- [macro (#+ with-gensyms)]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)])
- ))
+ [lux #*
+ [control
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ do Monad)]
+ [equivalence (#+ Equivalence)]
+ monoid
+ fold
+ ["p" parser]]
+ [data
+ [maybe]
+ [bit]
+ [product]
+ [collection
+ [list ("list/" Fold<List> Functor<List> Monoid<List>)]
+ [array ("array/" Functor<Array> Fold<Array>)]]]
+ [macro (#+ with-gensyms)
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]]
+ ])
## [Utils]
(type: (Node a)
diff --git a/stdlib/source/lux/data/collection/sequence.lux b/stdlib/source/lux/data/collection/sequence.lux
index a148d745c..dc8f4a802 100644
--- a/stdlib/source/lux/data/collection/sequence.lux
+++ b/stdlib/source/lux/data/collection/sequence.lux
@@ -1,15 +1,17 @@
(.module:
- lux
- (lux (control functor
- monad
- comonad
- [continuation (#+ pending Cont)]
- ["p" parser])
- [macro (#+ with-gensyms)]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)])
- (data (collection [list ("list/" Monad<List>)])
- bool)))
+ [lux #*
+ [control
+ functor
+ monad
+ comonad
+ [continuation (#+ pending Cont)]
+ ["p" parser]]
+ [macro (#+ with-gensyms)
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]]
+ [data
+ bool
+ [collection [list ("list/" Monad<List>)]]]])
## [Types]
(type: #export (Sequence a)
diff --git a/stdlib/source/lux/data/collection/set.lux b/stdlib/source/lux/data/collection/set.lux
index 39585982a..5fa774e9e 100644
--- a/stdlib/source/lux/data/collection/set.lux
+++ b/stdlib/source/lux/data/collection/set.lux
@@ -1,10 +1,13 @@
(.module:
- lux
- (lux (control [equivalence (#+ Equivalence)]
- [hash (#+ Hash)])
- (data (collection ["dict" dictionary (#+ Dictionary)]
- [list ("list/" Fold<List>)]))
- (type abstract)))
+ [lux #*
+ [control
+ [equivalence (#+ Equivalence)]
+ [hash (#+ Hash)]]
+ [data
+ [collection
+ ["dict" dictionary (#+ Dictionary)]
+ [list ("list/" Fold<List>)]]]
+ [type abstract]])
(abstract: #export (Set a)
{}
diff --git a/stdlib/source/lux/data/collection/set/multi.lux b/stdlib/source/lux/data/collection/set/multi.lux
index 0695bd0ff..5aff87021 100644
--- a/stdlib/source/lux/data/collection/set/multi.lux
+++ b/stdlib/source/lux/data/collection/set/multi.lux
@@ -1,14 +1,16 @@
## https://en.wikipedia.org/wiki/Multiset
(.module:
- lux
- (lux (control [equivalence (#+ Equivalence)]
- [hash (#+ Hash)])
- [function]
- (language [type (#+ :share)])
- (type abstract))
- (//// [maybe])
- (/// [list ("list/" Fold<List>)]
- [dictionary (#+ Dictionary)])
+ [lux #*
+ [control
+ [equivalence (#+ Equivalence)]
+ [hash (#+ Hash)]]
+ [function]
+ [language [type (#+ :share)]]
+ [type abstract]]
+ [//// [maybe]]
+ [///
+ [list ("list/" Fold<List>)]
+ [dictionary (#+ Dictionary)]]
[//])
(abstract: #export (Set a)
diff --git a/stdlib/source/lux/data/collection/set/ordered.lux b/stdlib/source/lux/data/collection/set/ordered.lux
index 5ec88fb4a..7e43d2a4e 100644
--- a/stdlib/source/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/lux/data/collection/set/ordered.lux
@@ -1,10 +1,13 @@
(.module:
- lux
- (lux (control [equivalence (#+ Equivalence)]
- [order (#+ Order)])
- (data (collection [list ("list/" Fold<List>)]
- (dictionary ["//" ordered])))
- (type abstract)))
+ [lux #*
+ [control
+ [equivalence (#+ Equivalence)]
+ [order (#+ Order)]]
+ [data
+ [collection
+ [list ("list/" Fold<List>)]
+ [dictionary ["//" ordered]]]]
+ [type abstract]])
(abstract: #export (Set a)
{}
diff --git a/stdlib/source/lux/data/collection/stack.lux b/stdlib/source/lux/data/collection/stack.lux
index c0e1af182..409993ef1 100644
--- a/stdlib/source/lux/data/collection/stack.lux
+++ b/stdlib/source/lux/data/collection/stack.lux
@@ -1,6 +1,8 @@
(.module:
- lux
- (lux (data (collection [list]))))
+ [lux #*
+ [data
+ [collection
+ [list]]]])
## [Types]
(type: #export (Stack a)
diff --git a/stdlib/source/lux/data/collection/tree/finger.lux b/stdlib/source/lux/data/collection/tree/finger.lux
index ea1ff0eee..1ce6d63fc 100644
--- a/stdlib/source/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/lux/data/collection/tree/finger.lux
@@ -1,7 +1,7 @@
(.module:
- lux
- (lux (control ["m" monoid])
- (data text/format)))
+ [lux #*
+ [control ["m" monoid]]
+ [data [text format]]])
(type: #export (Node m a)
(#Leaf m a)
diff --git a/stdlib/source/lux/data/collection/tree/rose.lux b/stdlib/source/lux/data/collection/tree/rose.lux
index 72b2bf340..86f1fc49f 100644
--- a/stdlib/source/lux/data/collection/tree/rose.lux
+++ b/stdlib/source/lux/data/collection/tree/rose.lux
@@ -1,14 +1,15 @@
(.module:
- lux
- (lux (control functor
- [monad (#+ do Monad)]
- equivalence
- ["p" parser]
- fold)
- (data (collection [list ("list/" Monad<List> Fold<List>)]))
- [macro]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)])))
+ [lux #*
+ [control
+ functor
+ [monad (#+ do Monad)]
+ equivalence
+ ["p" parser]
+ fold]
+ [data [collection [list ("list/" Monad<List> Fold<List>)]]]
+ ["." macro
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]]])
## [Types]
(type: #export (Tree a)
diff --git a/stdlib/source/lux/data/collection/tree/rose/parser.lux b/stdlib/source/lux/data/collection/tree/rose/parser.lux
index 3696266dd..a2dd954b9 100644
--- a/stdlib/source/lux/data/collection/tree/rose/parser.lux
+++ b/stdlib/source/lux/data/collection/tree/rose/parser.lux
@@ -1,10 +1,12 @@
(.module:
- lux
- (lux (control ["p" parser]
- ["ex" exception (#+ exception:)])
- (data ["E" error]))
- [// (#+ Tree)]
- (// [zipper (#+ Zipper)]))
+ [lux #*
+ [control
+ ["p" parser]
+ ["ex" exception (#+ exception:)]]
+ [data
+ ["E" error]]]
+ [// (#+ Tree)
+ [zipper (#+ Zipper)]])
(type: #export (Parser t a)
(p.Parser (Zipper t) a))
diff --git a/stdlib/source/lux/data/collection/tree/rose/zipper.lux b/stdlib/source/lux/data/collection/tree/rose/zipper.lux
index 8c8d67007..f9a33ce0e 100644
--- a/stdlib/source/lux/data/collection/tree/rose/zipper.lux
+++ b/stdlib/source/lux/data/collection/tree/rose/zipper.lux
@@ -1,14 +1,17 @@
(.module:
- lux
- (lux (control functor
- comonad)
- (data (collection [list ("list/" Functor<List> Fold<List> Monoid<List>)]
- (tree [rose (#+ Tree) ("tree/" Functor<Tree>)])
- [stack (#+ Stack)])
- [maybe ("maybe/" Monad<Maybe>)])
- [macro]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)])))
+ [lux #*
+ [control
+ functor
+ comonad]
+ [data
+ [collection
+ [list ("list/" Functor<List> Fold<List> Monoid<List>)]
+ [tree [rose (#+ Tree) ("tree/" Functor<Tree>)]]
+ [stack (#+ Stack)]]
+ [maybe ("maybe/" Monad<Maybe>)]]
+ ["." macro
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]]])
## Adapted from the clojure.zip namespace in the Clojure standard library.
diff --git a/stdlib/source/lux/data/color.lux b/stdlib/source/lux/data/color.lux
index 9312429b8..a7b9fa0c3 100644
--- a/stdlib/source/lux/data/color.lux
+++ b/stdlib/source/lux/data/color.lux
@@ -1,9 +1,9 @@
(.module:
- lux
- (lux (control ["eq" equivalence])
- (data (collection [list ("list/" Functor<List>)]))
- [math]
- (type abstract)))
+ [lux #*
+ [control ["eq" equivalence]]
+ [data [collection [list ("list/" Functor<List>)]]]
+ [math]
+ [type abstract]])
(def: rgb Nat +256)
(def: top Nat (dec rgb))
diff --git a/stdlib/source/lux/data/env.lux b/stdlib/source/lux/data/env.lux
index 68d0affc0..134220215 100644
--- a/stdlib/source/lux/data/env.lux
+++ b/stdlib/source/lux/data/env.lux
@@ -1,7 +1,7 @@
(.module:
- lux
- (lux (control ["F" functor]
- comonad)))
+ [lux #*
+ [control ["F" functor]
+ comonad]])
(type: #export (Env e a)
{#env e
diff --git a/stdlib/source/lux/data/error.lux b/stdlib/source/lux/data/error.lux
index 456df0b0c..0baeecc73 100644
--- a/stdlib/source/lux/data/error.lux
+++ b/stdlib/source/lux/data/error.lux
@@ -1,8 +1,9 @@
(.module:
- lux
- (lux (control ["F" functor]
- ["A" apply]
- ["M" monad (#+ do Monad)])))
+ [lux #*
+ [control
+ ["F" functor]
+ ["A" apply]
+ ["M" monad (#+ do Monad)]]])
## [Types]
(type: #export (Error a)
diff --git a/stdlib/source/lux/data/format/binary.lux b/stdlib/source/lux/data/format/binary.lux
index 8cc389e5e..4503f21dd 100644
--- a/stdlib/source/lux/data/format/binary.lux
+++ b/stdlib/source/lux/data/format/binary.lux
@@ -1,14 +1,17 @@
(.module:
- [lux (#- nat int rev list type)]
- (lux (control [monad (#+ do Monad)]
- ["p" parser]
- ["ex" exception (#+ exception:)]
- [equivalence (#+ Equivalence)])
- (data [error]
- (text [encoding]
- [format (#+ %n)])
- [number])
- (world [blob (#+ Blob)])))
+ [lux (#- nat int rev list type)
+ [control
+ [monad (#+ do Monad)]
+ ["p" parser]
+ ["ex" exception (#+ exception:)]
+ [equivalence (#+ Equivalence)]]
+ [data
+ [error]
+ [text
+ [encoding]
+ [format (#+ %n)]]
+ [number]]
+ [world [blob (#+ Blob)]]])
## Exceptions
(exception: #export (blob-was-not-fully-read {length Nat} {read Nat})
diff --git a/stdlib/source/lux/data/format/context.lux b/stdlib/source/lux/data/format/context.lux
index 176fed9f8..0cc7d0da8 100644
--- a/stdlib/source/lux/data/format/context.lux
+++ b/stdlib/source/lux/data/format/context.lux
@@ -1,10 +1,12 @@
(.module:
- lux
- (lux (control ["p" parser]
- ["ex" exception (#+ exception:)]
- [monad (#+ do)])
- (data ["E" error]
- (collection ["dict" dictionary (#+ Dictionary)]))))
+ [lux #*
+ [control
+ ["p" parser]
+ ["ex" exception (#+ exception:)]
+ [monad (#+ do)]]
+ [data
+ ["E" error]
+ [collection ["dict" dictionary (#+ Dictionary)]]]])
(exception: #export (unknown-property {property Text})
property)
diff --git a/stdlib/source/lux/data/format/css.lux b/stdlib/source/lux/data/format/css.lux
index 3ef030241..6afbe164e 100644
--- a/stdlib/source/lux/data/format/css.lux
+++ b/stdlib/source/lux/data/format/css.lux
@@ -1,10 +1,11 @@
(.module:
- lux
- (lux (data [color (#+ Color)]
- [number]
- [text]
- text/format
- (collection [list ("list/" Functor<List> Monoid<List>)]))))
+ [lux #*
+ [data
+ [color (#+ Color)]
+ [number]
+ ["." text
+ format]
+ [collection [list ("list/" Functor<List> Monoid<List>)]]]])
(type: #export Selector
Text)
diff --git a/stdlib/source/lux/data/format/html.lux b/stdlib/source/lux/data/format/html.lux
index c3821027d..b63993b3b 100644
--- a/stdlib/source/lux/data/format/html.lux
+++ b/stdlib/source/lux/data/format/html.lux
@@ -1,8 +1,9 @@
(.module:
- [lux (#- comment)]
- (lux (data [text]
- text/format
- (collection [list ("list/" Functor<List>)]))))
+ [lux (#- comment)
+ [data
+ ["." text
+ format]
+ [collection [list ("list/" Functor<List>)]]]])
(type: #export Attributes
{#.doc "Attributes for an HTML tag."}
diff --git a/stdlib/source/lux/data/format/json.lux b/stdlib/source/lux/data/format/json.lux
index cd7b82be0..0316b5a9b 100644
--- a/stdlib/source/lux/data/format/json.lux
+++ b/stdlib/source/lux/data/format/json.lux
@@ -1,25 +1,28 @@
(.module: {#.doc "Functionality for reading and writing values in the JSON format.
For more information, please see: http://www.json.org/"}
- [lux (#- Array)]
- (lux (control [monad (#+ do Monad)]
- [equivalence (#+ Equivalence)]
- codec
- ["p" parser ("parser/" Monad<Parser>)])
- (data [bool]
- [text ("text/" Equivalence<Text> Monoid<Text>)]
- (text ["l" lexer])
- [number ("frac/" Codec<Text,Frac>) ("nat/" Codec<Text,Nat>)]
- [maybe]
- ["e" error]
- [sum]
- [product]
- (collection [list ("list/" Fold<List> Monad<List>)]
- [row (#+ Row row) ("row/" Monad<Row>)]
- ["dict" dictionary (#+ Dictionary)]))
- [macro (#+ Monad<Meta> with-gensyms)]
- (macro ["s" syntax (#+ syntax:)]
- [code])))
+ [lux (#- Array)
+ [control
+ [monad (#+ do Monad)]
+ [equivalence (#+ Equivalence)]
+ codec
+ ["p" parser ("parser/" Monad<Parser>)]]
+ [data
+ [bool]
+ [text ("text/" Equivalence<Text> Monoid<Text>)
+ ["l" lexer]]
+ [number ("frac/" Codec<Text,Frac>) ("nat/" Codec<Text,Nat>)]
+ [maybe]
+ ["e" error]
+ [sum]
+ [product]
+ [collection
+ [list ("list/" Fold<List> Monad<List>)]
+ [row (#+ Row row) ("row/" Monad<Row>)]
+ ["dict" dictionary (#+ Dictionary)]]]
+ [macro (#+ Monad<Meta> with-gensyms)
+ ["s" syntax (#+ syntax:)]
+ [code]]])
(do-template [<name> <type>]
[(type: #export <name> <type>)]
diff --git a/stdlib/source/lux/data/format/xml.lux b/stdlib/source/lux/data/format/xml.lux
index 76b4b1710..fcdca14c8 100644
--- a/stdlib/source/lux/data/format/xml.lux
+++ b/stdlib/source/lux/data/format/xml.lux
@@ -1,18 +1,21 @@
(.module: {#.doc "Functionality for reading, generating and processing values in the XML format."}
- lux
- (lux (control monad
- [equivalence (#+ Equivalence)]
- codec
- ["p" parser ("parser/" Monad<Parser>)]
- ["ex" exception (#+ exception:)])
- (data [text ("text/" Equivalence<Text> Monoid<Text>)]
- (text ["l" lexer])
- [number]
- ["E" error]
- [product]
- [ident ("ident/" Equivalence<Ident> Codec<Text,Ident>)]
- (collection [list ("list/" Monad<List>)]
- ["d" dictionary]))))
+ [lux #*
+ [control
+ monad
+ [equivalence (#+ Equivalence)]
+ codec
+ ["p" parser ("parser/" Monad<Parser>)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ [text ("text/" Equivalence<Text> Monoid<Text>)
+ ["l" lexer]]
+ [number]
+ ["E" error]
+ [product]
+ [ident ("ident/" Equivalence<Ident> Codec<Text,Ident>)]
+ [collection
+ [list ("list/" Monad<List>)]
+ ["d" dictionary]]]])
(type: #export Tag Ident)
(type: #export Attrs (d.Dictionary Ident Text))
diff --git a/stdlib/source/lux/data/ident.lux b/stdlib/source/lux/data/ident.lux
index ce2c08042..545b22a65 100644
--- a/stdlib/source/lux/data/ident.lux
+++ b/stdlib/source/lux/data/ident.lux
@@ -1,9 +1,10 @@
(.module:
- lux
- (lux (control [equivalence (#+ Equivalence)]
- [codec (#+ Codec)]
- hash)
- (data [text ("text/" Monoid<Text> Equivalence<Text>)])))
+ [lux #*
+ [control
+ [equivalence (#+ Equivalence)]
+ [codec (#+ Codec)]
+ hash]
+ [data [text ("text/" Monoid<Text> Equivalence<Text>)]]])
## [Types]
## (type: Ident
diff --git a/stdlib/source/lux/data/identity.lux b/stdlib/source/lux/data/identity.lux
index 969b89e4d..7a41cb69f 100644
--- a/stdlib/source/lux/data/identity.lux
+++ b/stdlib/source/lux/data/identity.lux
@@ -1,9 +1,10 @@
(.module:
- lux
- (lux/control ["F" functor]
- ["A" apply]
- (monad #as M #refer #all)
- (comonad #as CM #refer #all)))
+ [lux #*
+ [control
+ ["F" functor]
+ ["A" apply]
+ ["M" monad #*]
+ ["CM" comonad #*]]])
## [Types]
(type: #export (Identity a)
diff --git a/stdlib/source/lux/data/lazy.lux b/stdlib/source/lux/data/lazy.lux
index efe202e21..df48114d8 100644
--- a/stdlib/source/lux/data/lazy.lux
+++ b/stdlib/source/lux/data/lazy.lux
@@ -1,13 +1,14 @@
(.module:
- lux
- (lux [io]
- (control [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ Monad do)])
- (concurrency [atom])
- [macro (#+ with-gensyms)]
- (macro ["s" syntax (#+ syntax:)])
- (type abstract)))
+ [lux #*
+ [io]
+ [control
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ Monad do)]]
+ [concurrency [atom]]
+ [macro (#+ with-gensyms)
+ ["s" syntax (#+ syntax:)]]
+ [type abstract]])
(abstract: #export (Lazy a)
(-> [] a)
diff --git a/stdlib/source/lux/data/maybe.lux b/stdlib/source/lux/data/maybe.lux
index c3da0c2a9..90712968b 100644
--- a/stdlib/source/lux/data/maybe.lux
+++ b/stdlib/source/lux/data/maybe.lux
@@ -1,10 +1,11 @@
(.module:
- lux
- (lux (control ["m" monoid]
- ["F" functor]
- ["A" apply]
- [monad (#+ do Monad)]
- [equivalence (#+ Equivalence)])))
+ [lux #*
+ [control
+ ["m" monoid]
+ ["F" functor]
+ ["A" apply]
+ [monad (#+ do Monad)]
+ [equivalence (#+ Equivalence)]]])
## [Types]
## (type: (Maybe a)
diff --git a/stdlib/source/lux/data/number.lux b/stdlib/source/lux/data/number.lux
index d598fbe41..615565c16 100644
--- a/stdlib/source/lux/data/number.lux
+++ b/stdlib/source/lux/data/number.lux
@@ -1,16 +1,18 @@
(.module: {#.doc "Implementations of common structures for Lux's primitive number types."}
- lux
- (lux (control number
- [monoid (#+ Monoid)]
- [equivalence (#+ Equivalence)]
- hash
- [order]
- enum
- interval
- [codec (#+ Codec)])
- (data ["e" error]
- [maybe]
- [bit])))
+ [lux #*
+ [control
+ number
+ [monoid (#+ Monoid)]
+ [equivalence (#+ Equivalence)]
+ hash
+ [order]
+ enum
+ interval
+ [codec (#+ Codec)]]
+ [data
+ ["e" error]
+ [maybe]
+ [bit]]])
## [Structures]
(do-template [<type> <test>]
diff --git a/stdlib/source/lux/data/number/complex.lux b/stdlib/source/lux/data/number/complex.lux
index 58818de8c..134801015 100644
--- a/stdlib/source/lux/data/number/complex.lux
+++ b/stdlib/source/lux/data/number/complex.lux
@@ -1,18 +1,20 @@
(.module: {#.doc "Complex arithmetic."}
- lux
- (lux [math]
- (control [equivalence (#+ Equivalence)]
- number
- codec
- ["M" monad (#+ do Monad)]
- ["p" parser])
- (data [number ("frac/" Number<Frac>)]
- [text ("text/" Monoid<Text>)]
- [maybe]
- (collection [list ("list/" Functor<List>)]))
- [macro]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)])))
+ [lux #*
+ [math]
+ [control
+ [equivalence (#+ Equivalence)]
+ number
+ codec
+ ["M" monad (#+ do Monad)]
+ ["p" parser]]
+ [data
+ [number ("frac/" Number<Frac>)]
+ [text ("text/" Monoid<Text>)]
+ [maybe]
+ [collection [list ("list/" Functor<List>)]]]
+ ["." macro
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]]])
(type: #export Complex
{#real Frac
diff --git a/stdlib/source/lux/data/number/ratio.lux b/stdlib/source/lux/data/number/ratio.lux
index b364dec92..b1aed0cba 100644
--- a/stdlib/source/lux/data/number/ratio.lux
+++ b/stdlib/source/lux/data/number/ratio.lux
@@ -1,21 +1,23 @@
(.module: {#.doc "Rational arithmetic."}
- lux
- (lux [math]
- (control [equivalence (#+ Equivalence)]
- [order]
- number
- codec
- monad
- ["p" parser])
- (data [number ("nat/" Codec<Text,Nat>)]
- [text ("text/" Monoid<Text>)]
- text/format
- ["E" error]
- [product]
- [maybe])
- [macro]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)])))
+ [lux #*
+ [math]
+ [control
+ [equivalence (#+ Equivalence)]
+ [order]
+ number
+ codec
+ monad
+ ["p" parser]]
+ [data
+ [number ("nat/" Codec<Text,Nat>)]
+ [text ("text/" Monoid<Text>)
+ format]
+ ["E" error]
+ [product]
+ [maybe]]
+ ["." macro
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]]])
(type: #export Ratio
{#numerator Nat
diff --git a/stdlib/source/lux/data/store.lux b/stdlib/source/lux/data/store.lux
index 96e4988b3..c1b974840 100644
--- a/stdlib/source/lux/data/store.lux
+++ b/stdlib/source/lux/data/store.lux
@@ -1,8 +1,9 @@
(.module:
- lux
- (lux (control ["F" functor]
- comonad)
- (type implicit)))
+ [lux #*
+ [control
+ ["F" functor]
+ comonad]
+ [type implicit]])
(type: #export (Store s a)
{#cursor s
diff --git a/stdlib/source/lux/data/tainted.lux b/stdlib/source/lux/data/tainted.lux
index b3f883fdf..903b777d6 100644
--- a/stdlib/source/lux/data/tainted.lux
+++ b/stdlib/source/lux/data/tainted.lux
@@ -1,7 +1,9 @@
(.module:
- lux
- (lux (data [product])
- (type abstract)))
+ [lux #*
+ [data
+ [product]]
+ [type
+ abstract]])
(abstract: #export (Tainted a)
a
diff --git a/stdlib/source/lux/data/text.lux b/stdlib/source/lux/data/text.lux
index 3ceceb171..a7fbd8a18 100644
--- a/stdlib/source/lux/data/text.lux
+++ b/stdlib/source/lux/data/text.lux
@@ -1,13 +1,15 @@
(.module:
- lux
- (lux (control [monoid (#+ Monoid)]
- [equivalence (#+ Equivalence)]
- [order]
- [monad (#+ do Monad)]
- [codec (#+ Codec)]
- hash)
- (data (collection [list])
- [maybe])))
+ [lux #*
+ [control
+ [monoid (#+ Monoid)]
+ [equivalence (#+ Equivalence)]
+ [order]
+ [monad (#+ do Monad)]
+ [codec (#+ Codec)]
+ hash]
+ [data
+ [collection [list]]
+ [maybe]]])
## [Functions]
(def: #export (size x)
diff --git a/stdlib/source/lux/data/text/buffer.lux b/stdlib/source/lux/data/text/buffer.lux
index 5b8f8e56e..33708932e 100644
--- a/stdlib/source/lux/data/text/buffer.lux
+++ b/stdlib/source/lux/data/text/buffer.lux
@@ -1,11 +1,14 @@
(.module:
- lux
- (lux (data [product]
- text/format
- (collection [row (#+ Row) ("row/" Fold<Row>)]))
- (language ["_" host])
- (type abstract)
- [host (#+ import:)])
+ [lux #*
+ [data
+ [product]
+ [text format]
+ [collection [row (#+ Row) ("row/" Fold<Row>)]]]
+ [language
+ ["_" host]]
+ [type
+ abstract]
+ [host (#+ import:)]]
[//])
(`` (for {(~~ (static _.jvm))
diff --git a/stdlib/source/lux/data/text/encoding.lux b/stdlib/source/lux/data/text/encoding.lux
index 7442faa68..2ea8e4a76 100644
--- a/stdlib/source/lux/data/text/encoding.lux
+++ b/stdlib/source/lux/data/text/encoding.lux
@@ -1,9 +1,9 @@
(.module:
- lux
- (lux (data [error (#+ Error)])
- (world [blob (#+ Blob)])
- (language ["_" host])
- [host (#+ import:)]))
+ [lux #*
+ [data [error (#+ Error)]]
+ [world [blob (#+ Blob)]]
+ [language ["_" host]]
+ [host (#+ import:)]])
(`` (for {(~~ (static _.jvm))
(as-is (def: utf8 Text "UTF-8")
diff --git a/stdlib/source/lux/data/text/format.lux b/stdlib/source/lux/data/text/format.lux
index 977592479..d32862024 100644
--- a/stdlib/source/lux/data/text/format.lux
+++ b/stdlib/source/lux/data/text/format.lux
@@ -1,23 +1,27 @@
(.module:
- lux
- (lux (control [monad (#+ do Monad)]
- ["p" parser])
- (data [bool]
- [number]
- [text]
- [ident]
- (collection [list ("list/" Monad<List>)])
- (format [xml]
- [json]))
- (time [instant]
- [duration]
- [date])
- (math [modular])
- [macro]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)])
- (language [type])
- ))
+ [lux #*
+ [control
+ [monad (#+ do Monad)]
+ ["p" parser]]
+ [data
+ [bool]
+ [number]
+ [text]
+ [ident]
+ [collection [list ("list/" Monad<List>)]]
+ [format
+ [xml]
+ [json]]]
+ [time
+ [instant]
+ [duration]
+ [date]]
+ [math [modular]]
+ ["." macro
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]]
+ [language [type]]
+ ])
## [Syntax]
(syntax: #export (format {fragments (p.many s.any)})
diff --git a/stdlib/source/lux/data/text/lexer.lux b/stdlib/source/lux/data/text/lexer.lux
index c45361800..13c49ef8f 100644
--- a/stdlib/source/lux/data/text/lexer.lux
+++ b/stdlib/source/lux/data/text/lexer.lux
@@ -1,13 +1,15 @@
(.module:
- [lux (#- not)]
- (lux (control [monad (#+ do Monad)]
- ["p" parser])
- (data [text ("text/" Monoid<Text>)]
- [product]
- [maybe]
- ["e" error]
- (collection [list]))
- (macro [code])))
+ [lux (#- not)
+ [control
+ [monad (#+ do Monad)]
+ ["p" parser]]
+ [data
+ [text ("text/" Monoid<Text>)]
+ [product]
+ [maybe]
+ ["e" error]
+ [collection [list]]]
+ [macro [code]]])
(type: Offset Nat)
diff --git a/stdlib/source/lux/data/text/regex.lux b/stdlib/source/lux/data/text/regex.lux
index 6a71ca24d..8b35b770c 100644
--- a/stdlib/source/lux/data/text/regex.lux
+++ b/stdlib/source/lux/data/text/regex.lux
@@ -1,18 +1,20 @@
(.module:
- lux
- (lux (control monad
- ["p" parser ("parser/" Monad<Parser>)])
- (data [text]
- ["l" text/lexer]
- text/format
- [number ("int/" Codec<Text,Int>)]
- [product]
- ["e" error]
- [maybe]
- (collection [list ("list/" Fold<List> Monad<List>)]))
- [macro (#+ with-gensyms)]
- (macro [code]
- ["s" syntax (#+ syntax:)])))
+ [lux #*
+ [control
+ monad
+ ["p" parser ("parser/" Monad<Parser>)]]
+ [data
+ [number ("int/" Codec<Text,Int>)]
+ [product]
+ ["e" error]
+ [maybe]
+ ["." text
+ ["l" lexer]
+ format]
+ [collection [list ("list/" Fold<List> Monad<List>)]]]
+ [macro (#+ with-gensyms)
+ [code]
+ ["s" syntax (#+ syntax:)]]])
## [Utils]
(def: regex-char^
diff --git a/stdlib/source/lux/data/text/unicode.lux b/stdlib/source/lux/data/text/unicode.lux
index 5c946c84f..10b9692ee 100644
--- a/stdlib/source/lux/data/text/unicode.lux
+++ b/stdlib/source/lux/data/text/unicode.lux
@@ -1,11 +1,14 @@
(.module:
- lux
- (lux (control [interval (#+ Interval)]
- [monoid (#+ Monoid)])
- (data [number (#+ hex) ("nat/" Interval<Nat>)]
- (collection [list]
- (tree [finger (#+ Tree)])))
- (type abstract)))
+ [lux #*
+ [control
+ [interval (#+ Interval)]
+ [monoid (#+ Monoid)]]
+ [data
+ [number (#+ hex) ("nat/" Interval<Nat>)]
+ [collection
+ [list]
+ [tree [finger (#+ Tree)]]]]
+ [type abstract]])
(type: #export Char Nat)
diff --git a/stdlib/source/lux/data/trace.lux b/stdlib/source/lux/data/trace.lux
index f86219be7..a0c366199 100644
--- a/stdlib/source/lux/data/trace.lux
+++ b/stdlib/source/lux/data/trace.lux
@@ -1,9 +1,10 @@
(.module:
- lux
- (lux (control [monoid (#+ Monoid)]
- [functor (#+ Functor)]
- comonad)
- function))
+ [lux #*
+ [control
+ [monoid (#+ Monoid)]
+ [functor (#+ Functor)]
+ comonad]
+ function])
(type: #export (Trace t a)
{#monoid (Monoid t)
diff --git a/stdlib/source/lux/function.lux b/stdlib/source/lux/function.lux
index a492b3a44..f883e36df 100644
--- a/stdlib/source/lux/function.lux
+++ b/stdlib/source/lux/function.lux
@@ -1,6 +1,6 @@
(.module:
- lux
- (lux (control [monoid (#+ Monoid)])))
+ [lux #*
+ [control [monoid (#+ Monoid)]]])
(def: #export (compose f g)
{#.doc "Function composition."}
diff --git a/stdlib/source/lux/host.js.lux b/stdlib/source/lux/host.js.lux
index a9a486e29..b3758e3b5 100644
--- a/stdlib/source/lux/host.js.lux
+++ b/stdlib/source/lux/host.js.lux
@@ -1,12 +1,13 @@
(.module:
- lux
- (lux (control monad
- ["p" parser])
- (data (collection [list #* ("list/" Fold<List>)]))
- [macro (#+ with-gensyms)]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)])
- ))
+ [lux (#+)
+ [control
+ monad
+ ["p" parser]]
+ [data [collection [list #* ("list/" Fold<List>)]]]
+ [macro (#+ with-gensyms)
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]]
+ ])
(do-template [<name> <type>]
[(type: #export <name> (#.Primitive <type> #.Nil))]
diff --git a/stdlib/source/lux/host.jvm.lux b/stdlib/source/lux/host.jvm.lux
index 50ac06f0b..8639ea2c5 100644
--- a/stdlib/source/lux/host.jvm.lux
+++ b/stdlib/source/lux/host.jvm.lux
@@ -1,22 +1,24 @@
(.module:
- [lux (#- type)]
- (lux (control [monad (#+ do Monad)]
- [enum]
- ["p" parser])
- [io (#+ IO Monad<IO> io)]
- function
- (data (collection [list ("list/" Monad<List> Fold<List> Monoid<List>)])
- number
- [maybe]
- [product]
- [text ("text/" Equivalence<Text> Monoid<Text>)]
- text/format
- [bool ("bool/" Codec<Text,Bool>)])
- [macro (#+ with-gensyms Functor<Meta> Monad<Meta>)]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)])
- (language [type ("type/" Equivalence<Type>)])
- ))
+ [lux (#- type)
+ [control
+ [monad (#+ do Monad)]
+ [enum]
+ ["p" parser]]
+ [io (#+ IO Monad<IO> io)]
+ function
+ [data
+ [collection [list ("list/" Monad<List> Fold<List> Monoid<List>)]]
+ number
+ [maybe]
+ [product]
+ [text ("text/" Equivalence<Text> Monoid<Text>)
+ format]
+ [bool ("bool/" Codec<Text,Bool>)]]
+ [macro (#+ with-gensyms Functor<Meta> Monad<Meta>)
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]]
+ [language [type ("type/" Equivalence<Type>)]]
+ ])
(do-template [<name> <op> <from> <to>]
[(def: #export (<name> value)
diff --git a/stdlib/source/lux/io.lux b/stdlib/source/lux/io.lux
index 7d8ed09ad..5ccd6788d 100644
--- a/stdlib/source/lux/io.lux
+++ b/stdlib/source/lux/io.lux
@@ -1,11 +1,13 @@
(.module: {#.doc "A method for abstracting I/O and effectful computations to make it safe while writing pure functional code."}
- lux
- (lux (control [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ do Monad)]
- ["ex" exception (#+ Exception)])
- (data ["e" error (#+ Error)]
- (collection [list]))))
+ [lux #*
+ [control
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ do Monad)]
+ ["ex" exception (#+ Exception)]]
+ [data
+ ["e" error (#+ Error)]
+ [collection [list]]]])
(type: #export (IO a)
{#.doc "A type that represents synchronous, effectful computations that may interact with the outside world."}
diff --git a/stdlib/source/lux/language/compiler.lux b/stdlib/source/lux/language/compiler.lux
index db2010e7f..d8b622c31 100644
--- a/stdlib/source/lux/language/compiler.lux
+++ b/stdlib/source/lux/language/compiler.lux
@@ -1,14 +1,16 @@
(.module:
- lux
- (lux (control [state]
- ["ex" exception (#+ Exception exception:)]
- [monad (#+ do)])
- (data [product]
- [error (#+ Error)]
- [text]
- text/format)
- [function]
- (macro ["s" syntax (#+ syntax:)])))
+ [lux #*
+ [control
+ [state]
+ ["ex" exception (#+ Exception exception:)]
+ [monad (#+ do)]]
+ [data
+ [product]
+ [error (#+ Error)]
+ ["." text
+ format]]
+ [function]
+ [macro ["s" syntax (#+ syntax:)]]])
(type: #export (Operation s o)
(state.State' Error s o))
diff --git a/stdlib/source/lux/language/compiler/analysis.lux b/stdlib/source/lux/language/compiler/analysis.lux
index c8dd643de..6956cd0b4 100644
--- a/stdlib/source/lux/language/compiler/analysis.lux
+++ b/stdlib/source/lux/language/compiler/analysis.lux
@@ -1,10 +1,11 @@
(.module:
- [lux (#- nat int rev)]
- (lux (data [product]
- [error]
- [text ("text/" Equivalence<Text>)]
- (collection [list ("list/" Fold<List>)]))
- [function])
+ [lux (#- nat int rev)
+ [data
+ [product]
+ [error]
+ [text ("text/" Equivalence<Text>)]
+ [collection [list ("list/" Fold<List>)]]]
+ [function]]
[///reference (#+ Register Variable Reference)]
[//])
diff --git a/stdlib/source/lux/language/compiler/analysis/case.lux b/stdlib/source/lux/language/compiler/analysis/case.lux
index 6644fdabe..d1ef6ece1 100644
--- a/stdlib/source/lux/language/compiler/analysis/case.lux
+++ b/stdlib/source/lux/language/compiler/analysis/case.lux
@@ -1,17 +1,21 @@
(.module:
- [lux (#- case)]
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)])
- (data [product]
- [error]
- [maybe]
- text/format
- (collection [list ("list/" Fold<List> Monoid<List> Functor<List>)]))
- [macro]
- (macro [code]))
- (//// [type]
- (type ["tc" check])
- [scope])
+ [lux (#- case)
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ [product]
+ [error]
+ [maybe]
+ [text
+ format]
+ [collection [list ("list/" Fold<List> Monoid<List> Functor<List>)]]]
+ ["." macro
+ [code]]]
+ [////
+ ["." type
+ ["tc" check]]
+ [scope]]
[///]
[// (#+ Pattern Analysis Operation Compiler)]
[//type]
diff --git a/stdlib/source/lux/language/compiler/analysis/case/coverage.lux b/stdlib/source/lux/language/compiler/analysis/case/coverage.lux
index c01a7303a..bce8512e5 100644
--- a/stdlib/source/lux/language/compiler/analysis/case/coverage.lux
+++ b/stdlib/source/lux/language/compiler/analysis/case/coverage.lux
@@ -1,15 +1,18 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)]
- equivalence)
- (data [bool ("bool/" Equivalence<Bool>)]
- [number]
- ["e" error ("error/" Monad<Error>)]
- [maybe]
- text/format
- (collection [list ("list/" Fold<List>)]
- ["dict" dictionary (#+ Dictionary)])))
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]
+ equivalence]
+ [data
+ [bool ("bool/" Equivalence<Bool>)]
+ [number]
+ ["e" error ("error/" Monad<Error>)]
+ [maybe]
+ [text format]
+ [collection
+ [list ("list/" Fold<List>)]
+ ["dict" dictionary (#+ Dictionary)]]]]
[//// ("operation/" Monad<Operation>)]
[/// (#+ Pattern Variant Operation)])
diff --git a/stdlib/source/lux/language/compiler/analysis/expression.lux b/stdlib/source/lux/language/compiler/analysis/expression.lux
index f9a44f2f2..f6ec5d11a 100644
--- a/stdlib/source/lux/language/compiler/analysis/expression.lux
+++ b/stdlib/source/lux/language/compiler/analysis/expression.lux
@@ -1,14 +1,18 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)])
- (data ["e" error]
- [product]
- text/format)
- [macro])
- [//// (#+ Eval)]
- ## (//// [".L" macro]
- ## [".L" extension])
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ ["e" error]
+ [product]
+ [text
+ format]]
+ [macro]]
+ [//// (#+ Eval)
+ ## [".L" macro]
+ ## [".L" extension]
+ ]
[///]
[// (#+ Analysis Operation Compiler)]
[//type]
diff --git a/stdlib/source/lux/language/compiler/analysis/function.lux b/stdlib/source/lux/language/compiler/analysis/function.lux
index 833e32eaf..95eacc47e 100644
--- a/stdlib/source/lux/language/compiler/analysis/function.lux
+++ b/stdlib/source/lux/language/compiler/analysis/function.lux
@@ -1,16 +1,19 @@
(.module:
- [lux (#- function)]
- (lux (control monad
- ["ex" exception (#+ exception:)])
- (data [maybe]
- [text]
- text/format
- (collection [list ("list/" Fold<List> Monoid<List> Monad<List>)]))
- [macro]
- (macro [code])
- (language [type]
- (type ["tc" check])
- [".L" scope]))
+ [lux (#- function)
+ [control
+ monad
+ ["ex" exception (#+ exception:)]]
+ [data
+ [maybe]
+ ["." text
+ format]
+ [collection [list ("list/" Fold<List> Monoid<List> Monad<List>)]]]
+ ["." macro
+ [code]]
+ [language
+ ["." type
+ ["tc" check]]
+ [".L" scope]]]
[///]
[// (#+ Analysis Compiler)]
[//type]
diff --git a/stdlib/source/lux/language/compiler/analysis/inference.lux b/stdlib/source/lux/language/compiler/analysis/inference.lux
index 187b6bb5c..1539e1a0d 100644
--- a/stdlib/source/lux/language/compiler/analysis/inference.lux
+++ b/stdlib/source/lux/language/compiler/analysis/inference.lux
@@ -1,14 +1,16 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)])
- (data [maybe]
- [text]
- text/format
- (collection [list ("list/" Functor<List>)]))
- [macro])
- (//// [type]
- (type ["tc" check]))
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ [maybe]
+ ["." text
+ format]
+ [collection [list ("list/" Functor<List>)]]]
+ [macro]]
+ [//// ["." type
+ ["tc" check]]]
[/// ("operation/" Monad<Operation>)]
[// (#+ Tag Analysis Operation Compiler)]
[//type])
diff --git a/stdlib/source/lux/language/compiler/analysis/primitive.lux b/stdlib/source/lux/language/compiler/analysis/primitive.lux
index 5fa4c1ba1..cbfef367f 100644
--- a/stdlib/source/lux/language/compiler/analysis/primitive.lux
+++ b/stdlib/source/lux/language/compiler/analysis/primitive.lux
@@ -1,9 +1,9 @@
(.module:
- [lux (#- nat int rev)]
- (lux (control monad)
- [macro])
- [// (#+ Analysis)]
- (// [".A" type]))
+ [lux (#- nat int rev)
+ [control monad]
+ [macro]]
+ [// (#+ Analysis)
+ [".A" type]])
## [Analysers]
(do-template [<name> <type> <tag>]
diff --git a/stdlib/source/lux/language/compiler/analysis/reference.lux b/stdlib/source/lux/language/compiler/analysis/reference.lux
index 4e73c410f..cdffd6870 100644
--- a/stdlib/source/lux/language/compiler/analysis/reference.lux
+++ b/stdlib/source/lux/language/compiler/analysis/reference.lux
@@ -1,12 +1,14 @@
(.module:
- lux
- (lux (control monad
- ["ex" exception (#+ exception:)])
- [macro]
- (macro [code])
- (language (type ["tc" check]))
- (data [text ("text/" Equivalence<Text>)]
- text/format))
+ [lux #*
+ [control
+ monad
+ ["ex" exception (#+ exception:)]]
+ ["." macro
+ [code]]
+ [language [type ["tc" check]]]
+ [data
+ [text ("text/" Equivalence<Text>)
+ format]]]
[///]
[// (#+ Analysis Operation)]
[//type]
diff --git a/stdlib/source/lux/language/compiler/analysis/structure.lux b/stdlib/source/lux/language/compiler/analysis/structure.lux
index 53ccecd50..e30d22bad 100644
--- a/stdlib/source/lux/language/compiler/analysis/structure.lux
+++ b/stdlib/source/lux/language/compiler/analysis/structure.lux
@@ -1,18 +1,21 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)])
- (data [ident]
- [number]
- [product]
- [maybe]
- (collection [list ("list/" Functor<List>)]
- ["dict" dictionary (#+ Dictionary)])
- text/format)
- [macro]
- (macro [code]))
- (//// [type]
- (type ["tc" check]))
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ [ident]
+ [number]
+ [product]
+ [maybe]
+ [text format]
+ [collection [list ("list/" Functor<List>)]
+ ["dict" dictionary (#+ Dictionary)]]]
+ ["." macro
+ [code]]]
+ [////
+ ["." type
+ ["tc" check]]]
[///]
[// (#+ Tag Analysis Operation Compiler)]
[//type]
diff --git a/stdlib/source/lux/language/compiler/analysis/type.lux b/stdlib/source/lux/language/compiler/analysis/type.lux
index 821da5557..0c73dedab 100644
--- a/stdlib/source/lux/language/compiler/analysis/type.lux
+++ b/stdlib/source/lux/language/compiler/analysis/type.lux
@@ -1,9 +1,9 @@
(.module:
- lux
- (lux (control [monad (#+ do)])
- (data [error])
- [macro]
- (language (type ["tc" check])))
+ [lux #*
+ [control [monad (#+ do)]]
+ [data [error]]
+ [macro]
+ [language [type ["tc" check]]]]
[///]
[// (#+ Operation)])
diff --git a/stdlib/source/lux/language/compiler/default/cache.lux b/stdlib/source/lux/language/compiler/default/cache.lux
index 42b13ba86..f41cd0792 100644
--- a/stdlib/source/lux/language/compiler/default/cache.lux
+++ b/stdlib/source/lux/language/compiler/default/cache.lux
@@ -1,6 +1,6 @@
(.module:
- lux
- (lux (data (format [binary (#+ Binary)]))))
+ [lux #*
+ [data [format [binary (#+ Binary)]]]])
(def: definition
(Binary Definition)
diff --git a/stdlib/source/lux/language/compiler/default/repl/type.lux b/stdlib/source/lux/language/compiler/default/repl/type.lux
index 30131d159..a9342ab6a 100644
--- a/stdlib/source/lux/language/compiler/default/repl/type.lux
+++ b/stdlib/source/lux/language/compiler/default/repl/type.lux
@@ -1,22 +1,27 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)]
- ["p" parser]
- pipe)
- (data [error (#+ Error)]
- text/format
- (format [xml (#+ XML)]
- [json (#+ JSON)])
- (collection [list]))
- (time [instant (#+ Instant)]
- [duration (#+ Duration)]
- [date (#+ Date)])
- [function]
- [macro]
- (macro [code]
- [poly (#+ Poly)])
- (language [type])))
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]
+ ["p" parser]
+ pipe]
+ [data
+ [error (#+ Error)]
+ [text
+ format]
+ [format
+ [xml (#+ XML)]
+ [json (#+ JSON)]]
+ [collection [list]]]
+ [time
+ [instant (#+ Instant)]
+ [duration (#+ Duration)]
+ [date (#+ Date)]]
+ [function]
+ ["." macro
+ [code]
+ [poly (#+ Poly)]]
+ [language [type]]])
(exception: #export (cannot-represent-value {type Type})
(ex.report ["Type" (%type type)]))
diff --git a/stdlib/source/lux/language/compiler/extension.lux b/stdlib/source/lux/language/compiler/extension.lux
index 91b48dfb7..478c90564 100644
--- a/stdlib/source/lux/language/compiler/extension.lux
+++ b/stdlib/source/lux/language/compiler/extension.lux
@@ -1,10 +1,12 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)])
- (data [error (#+ Error)]
- [text]
- (collection ["dict" dictionary (#+ Dictionary)])))
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ [error (#+ Error)]
+ [text]
+ [collection ["dict" dictionary (#+ Dictionary)]]]]
[// (#+ Operation Compiler)])
(type: #export (Extension i)
diff --git a/stdlib/source/lux/language/compiler/extension/analysis.lux b/stdlib/source/lux/language/compiler/extension/analysis.lux
index a34dcae77..ba37b4578 100644
--- a/stdlib/source/lux/language/compiler/extension/analysis.lux
+++ b/stdlib/source/lux/language/compiler/extension/analysis.lux
@@ -1,8 +1,10 @@
(.module:
- lux
- (lux (data [text]
- (collection [list ("list/" Functor<List>)]
- ["dict" dictionary (#+ Dictionary)])))
+ [lux #*
+ [data
+ [text]
+ [collection
+ [list ("list/" Functor<List>)]
+ ["dict" dictionary (#+ Dictionary)]]]]
[///analysis (#+ Analysis State)]
[///synthesis (#+ Synthesis)]
[//]
diff --git a/stdlib/source/lux/language/compiler/extension/analysis/common.lux b/stdlib/source/lux/language/compiler/extension/analysis/common.lux
index c099a9648..66189cec8 100644
--- a/stdlib/source/lux/language/compiler/extension/analysis/common.lux
+++ b/stdlib/source/lux/language/compiler/extension/analysis/common.lux
@@ -1,22 +1,26 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)]
- [thread (#+ Box)])
- (concurrency [atom (#+ Atom)])
- (data [text]
- text/format
- (collection [list ("list/" Functor<List>)]
- [array]
- ["dict" dictionary (#+ Dictionary)]))
- [language]
- (language (type ["tc" check]))
- [io (#+ IO)])
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]
+ [thread (#+ Box)]]
+ [concurrency [atom (#+ Atom)]]
+ [data
+ ["." text
+ format]
+ [collection
+ [list ("list/" Functor<List>)]
+ [array]
+ ["dict" dictionary (#+ Dictionary)]]]
+ ["." language
+ [type ["tc" check]]]
+ [io (#+ IO)]]
[////]
- (//// [analysis (#+ Analysis)]
- (analysis [".A" type]
- [".A" case]
- [".A" function]))
+ [////
+ [analysis (#+ Analysis)
+ [".A" type]
+ [".A" case]
+ [".A" function]]]
[///]
[///bundle])
diff --git a/stdlib/source/lux/language/compiler/extension/analysis/host.jvm.lux b/stdlib/source/lux/language/compiler/extension/analysis/host.jvm.lux
index 1985706c2..e13b32c08 100644
--- a/stdlib/source/lux/language/compiler/extension/analysis/host.jvm.lux
+++ b/stdlib/source/lux/language/compiler/extension/analysis/host.jvm.lux
@@ -1,29 +1,33 @@
(.module:
- [lux (#- char int)]
- (lux (control [monad (#+ do)]
- ["p" parser]
- ["ex" exception (#+ exception:)])
- (data ["e" error]
- [maybe]
- [product]
- [bool ("bool/" Equivalence<Bool>)]
- [text ("text/" Equivalence<Text>)]
- (text format
- ["l" lexer])
- (collection [list ("list/" Fold<List> Functor<List> Monoid<List>)]
- [array]
- ["dict" dictionary (#+ Dictionary)]))
- [macro ("macro/" Monad<Meta>)]
- (macro [code]
- ["s" syntax])
- [language]
- (language [type]
- (type ["tc" check]))
- [host])
+ [lux (#- char int)
+ [control
+ [monad (#+ do)]
+ ["p" parser]
+ ["ex" exception (#+ exception:)]]
+ [data
+ ["e" error]
+ [maybe]
+ [product]
+ [bool ("bool/" Equivalence<Bool>)]
+ [text ("text/" Equivalence<Text>)
+ format
+ ["l" lexer]]
+ [collection
+ [list ("list/" Fold<List> Functor<List> Monoid<List>)]
+ [array]
+ ["dict" dictionary (#+ Dictionary)]]]
+ [macro ("macro/" Monad<Meta>)
+ [code]
+ ["s" syntax]]
+ ["." language
+ ["." type
+ ["tc" check]]]
+ [host]]
["/" //common]
- (//// [".L" analysis (#+ Analysis)]
- (analysis [".A" type]
- [".A" inference]))
+ [////
+ [".L" analysis (#+ Analysis)
+ [".A" type]
+ [".A" inference]]]
[///]
)
diff --git a/stdlib/source/lux/language/compiler/extension/bundle.lux b/stdlib/source/lux/language/compiler/extension/bundle.lux
index 57bae70ed..315d05523 100644
--- a/stdlib/source/lux/language/compiler/extension/bundle.lux
+++ b/stdlib/source/lux/language/compiler/extension/bundle.lux
@@ -1,11 +1,14 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)])
- (data [text]
- text/format
- (collection [list ("list/" Functor<List>)]
- ["dict" dictionary (#+ Dictionary)])))
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ ["." text
+ format]
+ [collection
+ [list ("list/" Functor<List>)]
+ ["dict" dictionary (#+ Dictionary)]]]]
[//])
(exception: #export (incorrect-arity {name Text} {arity Nat} {args Nat})
diff --git a/stdlib/source/lux/language/compiler/extension/synthesis.lux b/stdlib/source/lux/language/compiler/extension/synthesis.lux
index db1671c93..d907808a8 100644
--- a/stdlib/source/lux/language/compiler/extension/synthesis.lux
+++ b/stdlib/source/lux/language/compiler/extension/synthesis.lux
@@ -1,7 +1,8 @@
(.module:
- lux
- (lux (data [text]
- (collection ["dict" dictionary (#+ Dictionary)])))
+ [lux #*
+ [data
+ [text]
+ [collection ["dict" dictionary (#+ Dictionary)]]]]
[//])
(def: #export defaults
diff --git a/stdlib/source/lux/language/compiler/extension/translation.lux b/stdlib/source/lux/language/compiler/extension/translation.lux
index 345333a8a..3a43e0dcb 100644
--- a/stdlib/source/lux/language/compiler/extension/translation.lux
+++ b/stdlib/source/lux/language/compiler/extension/translation.lux
@@ -1,7 +1,8 @@
(.module:
- lux
- (lux (data [text]
- (collection ["dict" dictionary (#+ Dictionary)])))
+ [lux #*
+ [data
+ [text]
+ [collection ["dict" dictionary (#+ Dictionary)]]]]
[//])
(def: #export defaults
diff --git a/stdlib/source/lux/language/compiler/meta/archive.lux b/stdlib/source/lux/language/compiler/meta/archive.lux
index 4acb0b895..4a981007a 100644
--- a/stdlib/source/lux/language/compiler/meta/archive.lux
+++ b/stdlib/source/lux/language/compiler/meta/archive.lux
@@ -1,16 +1,18 @@
(.module:
- lux
- (lux (control ["ex" exception (#+ exception:)]
- [equivalence (#+ Equivalence)]
- [monad (#+ do)])
- (data [error (#+ Error)]
- [ident]
- [text]
- text/format
- (collection ["dict" dictionary (#+ Dictionary)]))
- (language [type (#+ :share)])
- (type abstract)
- (world [file (#+ File)]))
+ [lux #*
+ [control
+ ["ex" exception (#+ exception:)]
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]]
+ [data
+ [error (#+ Error)]
+ [ident]
+ ["." text
+ format]
+ [collection ["dict" dictionary (#+ Dictionary)]]]
+ [language [type (#+ :share)]]
+ [type abstract]
+ [world [file (#+ File)]]]
[//// (#+ Version)])
## Key
diff --git a/stdlib/source/lux/language/compiler/meta/cache.lux b/stdlib/source/lux/language/compiler/meta/cache.lux
index e2de04813..753a66e89 100644
--- a/stdlib/source/lux/language/compiler/meta/cache.lux
+++ b/stdlib/source/lux/language/compiler/meta/cache.lux
@@ -1,19 +1,22 @@
(.module:
- [lux (#- Module)]
- (lux (control [monad (#+ Monad do)]
- ["ex" exception (#+ exception:)]
- pipe)
- (data [bool ("bool/" Equivalence<Bool>)]
- [maybe]
- [error]
- [product]
- (format [binary (#+ Binary)])
- [text]
- text/format
- (collection [list ("list/" Functor<List> Fold<List>)]
- ["dict" dictionary (#+ Dictionary)]
- [set (#+ Set)]))
- (world [file (#+ File System)]))
+ [lux (#- Module)
+ [control
+ [monad (#+ Monad do)]
+ ["ex" exception (#+ exception:)]
+ pipe]
+ [data
+ [bool ("bool/" Equivalence<Bool>)]
+ [maybe]
+ [error]
+ [product]
+ [format [binary (#+ Binary)]]
+ ["." text
+ format]
+ [collection
+ [list ("list/" Functor<List> Fold<List>)]
+ ["dict" dictionary (#+ Dictionary)]
+ [set (#+ Set)]]]
+ [world [file (#+ File System)]]]
[//io (#+ Context Module)]
[//io/context]
[//io/archive]
diff --git a/stdlib/source/lux/language/compiler/meta/cache/dependency.lux b/stdlib/source/lux/language/compiler/meta/cache/dependency.lux
index be61f963f..b12a7e9fb 100644
--- a/stdlib/source/lux/language/compiler/meta/cache/dependency.lux
+++ b/stdlib/source/lux/language/compiler/meta/cache/dependency.lux
@@ -1,8 +1,10 @@
(.module:
- [lux (#- Module)]
- (lux (data [text]
- (collection [list ("list/" Functor<List> Fold<List>)]
- ["dict" dictionary (#+ Dictionary)])))
+ [lux (#- Module)
+ [data
+ [text]
+ [collection
+ [list ("list/" Functor<List> Fold<List>)]
+ ["dict" dictionary (#+ Dictionary)]]]]
[///io (#+ Module)]
[///archive (#+ Archive)])
diff --git a/stdlib/source/lux/language/compiler/meta/io.lux b/stdlib/source/lux/language/compiler/meta/io.lux
index e3d218b4c..3ba31fa82 100644
--- a/stdlib/source/lux/language/compiler/meta/io.lux
+++ b/stdlib/source/lux/language/compiler/meta/io.lux
@@ -1,13 +1,16 @@
(.module:
- [lux (#- Module)]
- (lux (control monad
- ["ex" exception (#+ exception:)])
- (data [error]
- [text]
- (text format
- [encoding]))
- (world [file (#+ File System)]
- [blob (#+ Blob)])))
+ [lux (#- Module)
+ [control
+ monad
+ ["ex" exception (#+ exception:)]]
+ [data
+ [error]
+ ["." text
+ format
+ [encoding]]]
+ [world
+ [file (#+ File System)]
+ [blob (#+ Blob)]]])
(type: #export Context File)
diff --git a/stdlib/source/lux/language/compiler/meta/io/archive.lux b/stdlib/source/lux/language/compiler/meta/io/archive.lux
index 55216039f..e69f6eaf4 100644
--- a/stdlib/source/lux/language/compiler/meta/io/archive.lux
+++ b/stdlib/source/lux/language/compiler/meta/io/archive.lux
@@ -1,12 +1,15 @@
(.module:
- [lux (#- Module)]
- (lux (control monad
- ["ex" exception (#+ exception:)])
- (data [error]
- [text]
- text/format)
- (world [file (#+ File System)]
- [blob (#+ Blob)]))
+ [lux (#- Module)
+ [control
+ monad
+ ["ex" exception (#+ exception:)]]
+ [data
+ [error]
+ ["." text
+ format]]
+ [world
+ [file (#+ File System)]
+ [blob (#+ Blob)]]]
[/////host]
[// (#+ Module)])
diff --git a/stdlib/source/lux/language/compiler/meta/io/context.lux b/stdlib/source/lux/language/compiler/meta/io/context.lux
index 928784951..4658858ff 100644
--- a/stdlib/source/lux/language/compiler/meta/io/context.lux
+++ b/stdlib/source/lux/language/compiler/meta/io/context.lux
@@ -1,12 +1,16 @@
(.module:
- [lux (#- Module Code)]
- (lux (control monad
- ["ex" exception (#+ Exception exception:)])
- (data [error]
- (text format
- [encoding]))
- (world [file (#+ File System)]
- [blob (#+ Blob)]))
+ [lux (#- Module Code)
+ [control
+ monad
+ ["ex" exception (#+ Exception exception:)]]
+ [data
+ [error]
+ [text
+ format
+ [encoding]]]
+ [world
+ [file (#+ File System)]
+ [blob (#+ Blob)]]]
[/////host]
[// (#+ Context Module)])
diff --git a/stdlib/source/lux/language/compiler/synthesis.lux b/stdlib/source/lux/language/compiler/synthesis.lux
index 3a16d60a1..2e359d2ea 100644
--- a/stdlib/source/lux/language/compiler/synthesis.lux
+++ b/stdlib/source/lux/language/compiler/synthesis.lux
@@ -1,8 +1,9 @@
(.module:
- [lux (#- i64 Scope)]
- (lux (control [monad (#+ do)])
- (data [error (#+ Error)]
- (collection ["dict" dictionary (#+ Dictionary)])))
+ [lux (#- i64 Scope)
+ [control [monad (#+ do)]]
+ [data
+ [error (#+ Error)]
+ [collection ["dict" dictionary (#+ Dictionary)]]]]
[///reference (#+ Register Variable Reference)]
[// (#+ Operation Compiler)]
[//analysis (#+ Environment Arity Analysis)])
diff --git a/stdlib/source/lux/language/compiler/synthesis/case.lux b/stdlib/source/lux/language/compiler/synthesis/case.lux
index 10c41d428..7dd8b3157 100644
--- a/stdlib/source/lux/language/compiler/synthesis/case.lux
+++ b/stdlib/source/lux/language/compiler/synthesis/case.lux
@@ -1,14 +1,16 @@
(.module:
- lux
- (lux (control [equivalence (#+ Equivalence)]
- pipe
- [monad (#+ do)])
- (data [product]
- [bool ("bool/" Equivalence<Bool>)]
- [text ("text/" Equivalence<Text>)]
- text/format
- [number ("frac/" Equivalence<Frac>)]
- (collection [list ("list/" Fold<List> Monoid<List>)])))
+ [lux #*
+ [control
+ [equivalence (#+ Equivalence)]
+ pipe
+ [monad (#+ do)]]
+ [data
+ [product]
+ [bool ("bool/" Equivalence<Bool>)]
+ [text ("text/" Equivalence<Text>)
+ format]
+ [number ("frac/" Equivalence<Frac>)]
+ [collection [list ("list/" Fold<List> Monoid<List>)]]]]
[///reference]
[///compiler (#+ Operation) ("operation/" Monad<Operation>)]
[///analysis (#+ Pattern Match Analysis)]
diff --git a/stdlib/source/lux/language/compiler/synthesis/expression.lux b/stdlib/source/lux/language/compiler/synthesis/expression.lux
index 33c64109d..ffc22d89a 100644
--- a/stdlib/source/lux/language/compiler/synthesis/expression.lux
+++ b/stdlib/source/lux/language/compiler/synthesis/expression.lux
@@ -1,10 +1,13 @@
(.module:
- [lux (#- primitive)]
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)])
- (data [maybe]
- (collection [list ("list/" Functor<List>)]
- ["dict" dictionary (#+ Dictionary)])))
+ [lux (#- primitive)
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ [maybe]
+ [collection
+ [list ("list/" Functor<List>)]
+ ["dict" dictionary (#+ Dictionary)]]]]
[///reference]
[///compiler ("operation/" Monad<Operation>)]
[///analysis (#+ Analysis)]
diff --git a/stdlib/source/lux/language/compiler/synthesis/function.lux b/stdlib/source/lux/language/compiler/synthesis/function.lux
index 40e8f30c3..2b9cffd19 100644
--- a/stdlib/source/lux/language/compiler/synthesis/function.lux
+++ b/stdlib/source/lux/language/compiler/synthesis/function.lux
@@ -1,13 +1,16 @@
(.module:
- [lux (#- function)]
- (lux (control [monad (#+ do)]
- [state]
- pipe
- ["ex" exception (#+ exception:)])
- (data [maybe ("maybe/" Monad<Maybe>)]
- [error]
- (collection [list ("list/" Functor<List> Monoid<List> Fold<List>)]
- ["dict" dictionary (#+ Dictionary)])))
+ [lux (#- function)
+ [control
+ [monad (#+ do)]
+ [state]
+ pipe
+ ["ex" exception (#+ exception:)]]
+ [data
+ [maybe ("maybe/" Monad<Maybe>)]
+ [error]
+ [collection
+ [list ("list/" Functor<List> Monoid<List> Fold<List>)]
+ ["dict" dictionary (#+ Dictionary)]]]]
[///reference (#+ Variable)]
[///compiler (#+ Operation)]
[///analysis (#+ Environment Arity Analysis)]
diff --git a/stdlib/source/lux/language/compiler/synthesis/loop.lux b/stdlib/source/lux/language/compiler/synthesis/loop.lux
index 1a017b893..05af31a83 100644
--- a/stdlib/source/lux/language/compiler/synthesis/loop.lux
+++ b/stdlib/source/lux/language/compiler/synthesis/loop.lux
@@ -1,11 +1,14 @@
(.module:
- [lux (#- loop)]
- (lux (control [monad (#+ do)]
- ["p" parser])
- (data [maybe ("maybe/" Monad<Maybe>)]
- (collection [list ("list/" Functor<List>)]))
- (macro [code]
- [syntax]))
+ [lux (#- loop)
+ [control
+ [monad (#+ do)]
+ ["p" parser]]
+ [data
+ [maybe ("maybe/" Monad<Maybe>)]
+ [collection [list ("list/" Functor<List>)]]]
+ [macro
+ [code]
+ [syntax]]]
[///]
[///reference (#+ Register Variable)]
[///analysis (#+ Environment)]
diff --git a/stdlib/source/lux/language/compiler/translation.lux b/stdlib/source/lux/language/compiler/translation.lux
index 19b7045ac..01dc584e6 100644
--- a/stdlib/source/lux/language/compiler/translation.lux
+++ b/stdlib/source/lux/language/compiler/translation.lux
@@ -1,14 +1,17 @@
(.module:
- lux
- (lux (control ["ex" exception (#+ exception:)]
- [monad (#+ do)])
- (data [maybe ("maybe/" Functor<Maybe>)]
- [error (#+ Error)]
- [text]
- text/format
- (collection [row (#+ Row)]
- ["dict" dictionary (#+ Dictionary)]))
- (world [file (#+ File)]))
+ [lux #*
+ [control
+ ["ex" exception (#+ exception:)]
+ [monad (#+ do)]]
+ [data
+ [maybe ("maybe/" Functor<Maybe>)]
+ [error (#+ Error)]
+ ["." text
+ format]
+ [collection
+ [row (#+ Row)]
+ ["dict" dictionary (#+ Dictionary)]]]
+ [world [file (#+ File)]]]
[// (#+ Operation Compiler)]
[//synthesis (#+ Synthesis)])
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/case.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/case.jvm.lux
index d075c1138..4460a3102 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/case.jvm.lux
+++ b/stdlib/source/lux/language/compiler/translation/scheme/case.jvm.lux
@@ -1,16 +1,20 @@
(.module:
- [lux (#- case let if)]
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)])
- (data [number]
- [text]
- text/format
- (collection [list ("list/" Functor<List> Fold<List>)]
- [set (#+ Set)])))
- (///// [reference (#+ Register)]
- (host ["_" scheme (#+ Expression Computation Var)])
- [compiler ("operation/" Monad<Operation>)]
- (compiler [synthesis (#+ Synthesis Path)]))
+ [lux (#- case let if)
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ [number]
+ ["." text
+ format]
+ [collection
+ [list ("list/" Functor<List> Fold<List>)]
+ [set (#+ Set)]]]]
+ [/////
+ [reference (#+ Register)]
+ [host ["_" scheme (#+ Expression Computation Var)]]
+ [compiler ("operation/" Monad<Operation>)
+ [synthesis (#+ Synthesis Path)]]]
[//runtime (#+ Operation Translator)]
[//reference])
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/expression.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/expression.jvm.lux
index 60fd99ea8..464f2c27d 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/expression.jvm.lux
+++ b/stdlib/source/lux/language/compiler/translation/scheme/expression.jvm.lux
@@ -1,9 +1,10 @@
(.module:
- lux
- (lux (control [monad (#+ do)]))
- (///// [compiler]
- (compiler [synthesis]
- [extension]))
+ [lux #*
+ [control [monad (#+ do)]]]
+ [/////
+ ["." compiler
+ [synthesis]
+ [extension]]]
[//runtime (#+ Translator)]
[//primitive]
[//structure]
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/extension.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/extension.jvm.lux
index 770d365cf..a54d67425 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/extension.jvm.lux
+++ b/stdlib/source/lux/language/compiler/translation/scheme/extension.jvm.lux
@@ -1,14 +1,18 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)])
- (data [maybe]
- text/format
- (collection ["dict" dictionary (#+ Dictionary)])))
- (///// [reference (#+ Register Variable)]
- (host ["_" scheme (#+ Computation)])
- [compiler ("operation/" Monad<Operation>)]
- (compiler [synthesis (#+ Synthesis)]))
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ [maybe]
+ [text
+ format]
+ [collection ["dict" dictionary (#+ Dictionary)]]]]
+ [/////
+ [reference (#+ Register Variable)]
+ [host ["_" scheme (#+ Computation)]]
+ [compiler ("operation/" Monad<Operation>)
+ [synthesis (#+ Synthesis)]]]
[//runtime (#+ Operation Translator)]
[/common]
## [/host]
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/extension/common.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/extension/common.jvm.lux
index 79f39e9d4..377fed8f5 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/extension/common.jvm.lux
+++ b/stdlib/source/lux/language/compiler/translation/scheme/extension/common.jvm.lux
@@ -1,21 +1,25 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)])
- (data ["e" error]
- [product]
- [text]
- text/format
- [number (#+ hex)]
- (collection [list ("list/" Functor<List>)]
- ["dict" dictionary (#+ Dictionary)]))
- [macro (#+ with-gensyms)]
- (macro [code]
- ["s" syntax (#+ syntax:)])
- [host])
- (////// (host ["_" scheme (#+ Expression Computation)])
- [compiler]
- (compiler [synthesis (#+ Synthesis)]))
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ ["e" error]
+ [product]
+ ["." text
+ format]
+ [number (#+ hex)]
+ [collection
+ [list ("list/" Functor<List>)]
+ ["dict" dictionary (#+ Dictionary)]]]
+ [macro (#+ with-gensyms)
+ [code]
+ ["s" syntax (#+ syntax:)]]
+ [host]]
+ [//////
+ [host ["_" scheme (#+ Expression Computation)]]
+ ["." compiler
+ [synthesis (#+ Synthesis)]]]
[///runtime (#+ Operation Translator)])
## [Types]
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/function.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/function.jvm.lux
index acd639bdf..6afb04799 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/function.jvm.lux
+++ b/stdlib/source/lux/language/compiler/translation/scheme/function.jvm.lux
@@ -1,16 +1,20 @@
(.module:
- [lux (#- function)]
- (lux (control [monad (#+ do)]
- pipe)
- (data [product]
- text/format
- (collection [list ("list/" Functor<List>)])))
- (///// [reference (#+ Register Variable)]
- [name]
- (host ["_" scheme (#+ Expression Computation Var)])
- [compiler ("operation/" Monad<Operation>)]
- (compiler [analysis (#+ Variant Tuple Environment Arity Abstraction Application Analysis)]
- [synthesis (#+ Synthesis)]))
+ [lux (#- function)
+ [control
+ [monad (#+ do)]
+ pipe]
+ [data
+ [product]
+ [text
+ format]
+ [collection [list ("list/" Functor<List>)]]]]
+ [/////
+ [reference (#+ Register Variable)]
+ [name]
+ [host ["_" scheme (#+ Expression Computation Var)]]
+ [compiler ("operation/" Monad<Operation>)
+ [analysis (#+ Variant Tuple Environment Arity Abstraction Application Analysis)]
+ [synthesis (#+ Synthesis)]]]
[///]
[//runtime (#+ Operation Translator)]
[//primitive]
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/loop.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/loop.jvm.lux
index 4fb90a51e..227a2eda9 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/loop.jvm.lux
+++ b/stdlib/source/lux/language/compiler/translation/scheme/loop.jvm.lux
@@ -1,14 +1,18 @@
(.module:
- [lux (#- Scope)]
- (lux (control [monad (#+ do)])
- (data [product]
- [text]
- text/format
- (collection [list ("list/" Functor<List>)]))
- [macro])
- (///// (host ["_" scheme (#+ Computation Var)])
- [compiler]
- (compiler [synthesis (#+ Scope Synthesis)]))
+ [lux (#- Scope)
+ [control
+ [monad (#+ do)]]
+ [data
+ [product]
+ ["." text
+ format]
+ [collection
+ [list ("list/" Functor<List>)]]]
+ [macro]]
+ [/////
+ [host ["_" scheme (#+ Computation Var)]]
+ ["." compiler
+ [synthesis (#+ Scope Synthesis)]]]
[///]
[//runtime (#+ Operation Translator)]
[//reference])
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/primitive.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/primitive.jvm.lux
index 2546fd41c..fea12c6c3 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/primitive.jvm.lux
+++ b/stdlib/source/lux/language/compiler/translation/scheme/primitive.jvm.lux
@@ -1,8 +1,9 @@
(.module:
[lux (#- i64)]
[/// (#+ State)]
- (///// [compiler ("operation/" Monad<Operation>)]
- (host ["_" scheme (#+ Expression)]))
+ [/////
+ [compiler ("operation/" Monad<Operation>)]
+ [host ["_" scheme (#+ Expression)]]]
[//runtime (#+ Operation)])
(def: #export bool
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/reference.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/reference.jvm.lux
index 3babc137d..51dd2f515 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/reference.jvm.lux
+++ b/stdlib/source/lux/language/compiler/translation/scheme/reference.jvm.lux
@@ -1,13 +1,17 @@
(.module:
- lux
- (lux (control pipe)
- (data text/format))
- (///// [reference (#+ Register Variable Reference)]
- [name]
- (host ["_" scheme (#+ Expression Var)])
- [compiler ("operation/" Monad<Operation>)]
- (compiler [analysis (#+ Variant Tuple)]
- [synthesis (#+ Synthesis)]))
+ [lux #*
+ [control
+ pipe]
+ [data
+ [text
+ format]]]
+ [/////
+ [reference (#+ Register Variable Reference)]
+ [name]
+ [host ["_" scheme (#+ Expression Var)]]
+ [compiler ("operation/" Monad<Operation>)
+ [analysis (#+ Variant Tuple)]
+ [synthesis (#+ Synthesis)]]]
[//runtime (#+ Operation Translator)]
[//primitive])
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/runtime.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/runtime.jvm.lux
index f068478d2..d2a72d140 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/runtime.jvm.lux
+++ b/stdlib/source/lux/language/compiler/translation/scheme/runtime.jvm.lux
@@ -1,19 +1,24 @@
(.module:
- lux
- (lux (control ["p" parser ("parser/" Monad<Parser>)]
- [monad (#+ do)])
- (data [number (#+ hex)]
- text/format
- (collection [list ("list/" Monad<List>)]))
- [function]
- (macro [code]
- ["s" syntax (#+ syntax:)]))
+ [lux #*
+ [control
+ ["p" parser ("parser/" Monad<Parser>)]
+ [monad (#+ do)]]
+ [data
+ [number (#+ hex)]
+ [text
+ format]
+ [collection [list ("list/" Monad<List>)]]]
+ [function]
+ [macro
+ [code]
+ ["s" syntax (#+ syntax:)]]]
[/// (#+ State)]
- (///// [name]
- (host ["_" scheme (#+ Expression Computation Var)])
- [compiler]
- (compiler [analysis (#+ Variant)]
- [synthesis])))
+ [/////
+ [name]
+ [host ["_" scheme (#+ Expression Computation Var)]]
+ ["." compiler
+ [analysis (#+ Variant)]
+ [synthesis]]])
(type: #export Operation
(compiler.Operation (State Var Expression)))
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/structure.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/structure.jvm.lux
index 4db023b38..ea5440d67 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/structure.jvm.lux
+++ b/stdlib/source/lux/language/compiler/translation/scheme/structure.jvm.lux
@@ -1,10 +1,12 @@
(.module:
- lux
- (lux (control [monad (#+ do)]))
- (///// (host ["_" scheme (#+ Expression)])
- [compiler]
- (compiler [analysis (#+ Variant Tuple)]
- [synthesis (#+ Synthesis)]))
+ [lux #*
+ [control [monad (#+ do)]]]
+ [/////
+ [host
+ ["_" scheme (#+ Expression)]]
+ ["." compiler
+ [analysis (#+ Variant Tuple)]
+ [synthesis (#+ Synthesis)]]]
[//runtime (#+ Operation Translator)]
[//primitive])
diff --git a/stdlib/source/lux/language/host/scheme.lux b/stdlib/source/lux/language/host/scheme.lux
index 445a373ac..f93f3b671 100644
--- a/stdlib/source/lux/language/host/scheme.lux
+++ b/stdlib/source/lux/language/host/scheme.lux
@@ -1,11 +1,14 @@
(.module:
- [lux (#- Code' Code int or and if function cond when let)]
- (lux (control pipe)
- (data [text]
- text/format
- [number]
- (collection [list ("list/" Functor<List> Fold<List>)]))
- (type abstract)))
+ [lux (#- Code' Code int or and if function cond when let)
+ [control
+ pipe]
+ [data
+ [number]
+ ["." text
+ format]
+ [collection
+ [list ("list/" Functor<List> Fold<List>)]]]
+ [type abstract]])
(abstract: Global' {} Any)
(abstract: Var' {} Any)
diff --git a/stdlib/source/lux/language/module.lux b/stdlib/source/lux/language/module.lux
index 051e7cd12..75a1ab302 100644
--- a/stdlib/source/lux/language/module.lux
+++ b/stdlib/source/lux/language/module.lux
@@ -1,16 +1,19 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)]
- pipe)
- (data [text ("text/" Equivalence<Text>)]
- text/format
- ["e" error]
- (collection [list ("list/" Fold<List> Functor<List>)]
- (dictionary [plist])))
- [macro])
- [//compiler]
- (//compiler [analysis]))
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]
+ pipe]
+ [data
+ [text ("text/" Equivalence<Text>)
+ format]
+ ["e" error]
+ [collection
+ [list ("list/" Fold<List> Functor<List>)]
+ [dictionary [plist]]]]
+ [macro]]
+ ["." //compiler
+ [analysis]])
(type: #export Tag Text)
diff --git a/stdlib/source/lux/language/name.lux b/stdlib/source/lux/language/name.lux
index 1053eb76f..0b3dc7bdd 100644
--- a/stdlib/source/lux/language/name.lux
+++ b/stdlib/source/lux/language/name.lux
@@ -1,8 +1,9 @@
(.module:
- lux
- (lux (data [maybe]
- [text]
- text/format)))
+ [lux #*
+ [data
+ [maybe]
+ ["." text
+ format]]])
(def: (sanitize char)
(-> Nat Text)
diff --git a/stdlib/source/lux/language/reference.lux b/stdlib/source/lux/language/reference.lux
index daa476553..0e66497a1 100644
--- a/stdlib/source/lux/language/reference.lux
+++ b/stdlib/source/lux/language/reference.lux
@@ -1,8 +1,9 @@
(.module:
- lux
- (lux (control [equivalence (#+ Equivalence)]
- [hash (#+ Hash)]
- pipe)))
+ [lux #*
+ [control
+ [equivalence (#+ Equivalence)]
+ [hash (#+ Hash)]
+ pipe]])
(type: #export Register Nat)
diff --git a/stdlib/source/lux/language/scope.lux b/stdlib/source/lux/language/scope.lux
index e6db7d4bf..1f0cbffc4 100644
--- a/stdlib/source/lux/language/scope.lux
+++ b/stdlib/source/lux/language/scope.lux
@@ -1,14 +1,17 @@
(.module:
- lux
- (lux (control monad)
- (data [text ("text/" Equivalence<Text>)]
- text/format
- [maybe ("maybe/" Monad<Maybe>)]
- [product]
- ["e" error]
- (collection [list ("list/" Functor<List> Fold<List> Monoid<List>)]
- (dictionary [plist])))
- [macro])
+ [lux #*
+ [control
+ monad]
+ [data
+ [text ("text/" Equivalence<Text>)
+ format]
+ [maybe ("maybe/" Monad<Maybe>)]
+ [product]
+ ["e" error]
+ [collection
+ [list ("list/" Functor<List> Fold<List> Monoid<List>)]
+ [dictionary [plist]]]]
+ [macro]]
[//reference (#+ Register Variable)])
(type: Locals (Bindings Text [Type Register]))
diff --git a/stdlib/source/lux/language/syntax.lux b/stdlib/source/lux/language/syntax.lux
index 5c1d5e48c..e924694c3 100644
--- a/stdlib/source/lux/language/syntax.lux
+++ b/stdlib/source/lux/language/syntax.lux
@@ -25,19 +25,22 @@
## (file-name, line, column) to keep track of their provenance and
## location, which is helpful for documentation and debugging.
(.module:
- [lux (#- nat int rev)]
- (lux (control monad
- ["p" parser ("parser/" Monad<Parser>)]
- ["ex" exception (#+ exception:)])
- (data ["e" error]
- [number]
- [product]
- [maybe]
- [text]
- (text ["l" lexer]
- format)
- (collection [row (#+ Row)]
- ["dict" dictionary (#+ Dictionary)]))))
+ [lux (#- nat int rev)
+ [control
+ monad
+ ["p" parser ("parser/" Monad<Parser>)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ ["e" error]
+ [number]
+ [product]
+ [maybe]
+ ["." text
+ ["l" lexer]
+ format]
+ [collection
+ [row (#+ Row)]
+ ["dict" dictionary (#+ Dictionary)]]]])
(type: #export Aliases (Dictionary Text Text))
diff --git a/stdlib/source/lux/language/type.lux b/stdlib/source/lux/language/type.lux
index 2e8a33245..09c30fd03 100644
--- a/stdlib/source/lux/language/type.lux
+++ b/stdlib/source/lux/language/type.lux
@@ -1,17 +1,19 @@
(.module: {#.doc "Basic functionality for working with types."}
- [lux (#- function)]
- (lux (control [equivalence (#+ Equivalence)]
- [monad (#+ do Monad)]
- ["p" parser])
- (data [text ("text/" Monoid<Text> Equivalence<Text>)]
- [ident ("ident/" Equivalence<Ident> Codec<Text,Ident>)]
- [number ("nat/" Codec<Text,Nat>)]
- [maybe]
- (collection [list ("list/" Functor<List> Monoid<List> Fold<List>)]))
- [macro]
- (macro [code]
- ["s" syntax (#+ Syntax syntax:)])
- ))
+ [lux (#- function)
+ [control
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do Monad)]
+ ["p" parser]]
+ [data
+ [text ("text/" Monoid<Text> Equivalence<Text>)]
+ [ident ("ident/" Equivalence<Ident> Codec<Text,Ident>)]
+ [number ("nat/" Codec<Text,Nat>)]
+ [maybe]
+ [collection [list ("list/" Functor<List> Monoid<List> Fold<List>)]]]
+ ["." macro
+ [code]
+ ["s" syntax (#+ Syntax syntax:)]]
+ ])
## [Utils]
(def: (beta-reduce env type)
diff --git a/stdlib/source/lux/language/type/check.lux b/stdlib/source/lux/language/type/check.lux
index 197d32d0e..a85480074 100644
--- a/stdlib/source/lux/language/type/check.lux
+++ b/stdlib/source/lux/language/type/check.lux
@@ -1,18 +1,21 @@
(.module: {#.doc "Type-checking functionality."}
- lux
- (lux (control [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ do Monad)]
- ["ex" exception (#+ exception:)])
- (data [text ("text/" Monoid<Text> Equivalence<Text>)]
- [number ("nat/" Codec<Text,Nat>)]
- [maybe]
- [product]
- (collection [list]
- [set (#+ Set)])
- ["e" error])
- (language [type ("type/" Equivalence<Type>)])
- ))
+ [lux #*
+ [control
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ do Monad)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ [maybe]
+ [product]
+ [number ("nat/" Codec<Text,Nat>)]
+ [text ("text/" Monoid<Text> Equivalence<Text>)]
+ [collection
+ [list]
+ [set (#+ Set)]]
+ ["e" error]]
+ [language [type ("type/" Equivalence<Type>)]]
+ ])
(exception: #export (unknown-type-var {id Nat})
(nat/encode id))
diff --git a/stdlib/source/lux/macro.lux b/stdlib/source/lux/macro.lux
index 70f9b5116..a39168fa7 100644
--- a/stdlib/source/lux/macro.lux
+++ b/stdlib/source/lux/macro.lux
@@ -1,16 +1,18 @@
(.module: {#.doc "Functions for extracting information from the state of the compiler."}
- lux
- (lux (control [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ do Monad)])
- (data [number ("nat/" Codec<Text,Nat>)]
- [product]
- [ident ("ident/" Codec<Text,Ident> Equivalence<Ident>)]
- [maybe]
- ["e" error]
- [text ("text/" Monoid<Text> Equivalence<Text>)]
- (collection [list ("list/" Monoid<List> Monad<List>)])))
- (/ [code]))
+ [lux #*
+ [control
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ do Monad)]]
+ [data
+ [number ("nat/" Codec<Text,Nat>)]
+ [product]
+ [ident ("ident/" Codec<Text,Ident> Equivalence<Ident>)]
+ [maybe]
+ ["e" error]
+ [text ("text/" Monoid<Text> Equivalence<Text>)]
+ [collection [list ("list/" Monoid<List> Monad<List>)]]]]
+ [/ [code]])
## (type: (Meta a)
## (-> Lux (e.Error [Lux a])))
diff --git a/stdlib/source/lux/macro/code.lux b/stdlib/source/lux/macro/code.lux
index 47bbe24cc..d8763c3e5 100644
--- a/stdlib/source/lux/macro/code.lux
+++ b/stdlib/source/lux/macro/code.lux
@@ -1,12 +1,13 @@
(.module:
- [lux (#- nat int rev)]
- (lux (control [equivalence (#+ Equivalence)])
- (data bool
- number
- [text (#+ Equivalence<Text>) ("text/" Monoid<Text>)]
- ident
- (collection [list #* ("list/" Functor<List> Fold<List>)])
- )))
+ [lux (#- nat int rev)
+ [control [equivalence (#+ Equivalence)]]
+ [data
+ bool
+ number
+ [text (#+ Equivalence<Text>) ("text/" Monoid<Text>)]
+ ident
+ [collection [list #* ("list/" Functor<List> Fold<List>)]]
+ ]])
## [Types]
## (type: (Code' w)
diff --git a/stdlib/source/lux/macro/poly.lux b/stdlib/source/lux/macro/poly.lux
index dad765eff..8fec440cf 100644
--- a/stdlib/source/lux/macro/poly.lux
+++ b/stdlib/source/lux/macro/poly.lux
@@ -1,28 +1,34 @@
(.module:
- [lux (#- function)]
- (lux (control [monad (#+ do Monad)]
- [equivalence]
- ["p" parser]
- ["ex" exception (#+ exception:)])
- [function]
- (data [text ("text/" Monoid<Text>)]
- (collection [list ("list/" Fold<List> Monad<List> Monoid<List>)]
- ["dict" dictionary (#+ Dictionary)])
- [number ("nat/" Codec<Text,Nat>)]
- [product]
- [bool]
- [maybe]
- [ident ("ident/" Equivalence<Ident> Codec<Text,Ident>)]
- ["e" error])
- [macro (#+ with-gensyms)]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)]
- (syntax ["cs" common]
- (common ["csr" reader]
- ["csw" writer])))
- (language [type ("type/" Equivalence<Type>)]
- (type [check]))
- ))
+ [lux (#- function)
+ [control
+ [monad (#+ do Monad)]
+ [equivalence]
+ ["p" parser]
+ ["ex" exception (#+ exception:)]]
+ [function]
+ [data
+ [text ("text/" Monoid<Text>)]
+ [collection
+ [list ("list/" Fold<List> Monad<List> Monoid<List>)]
+ ["dict" dictionary (#+ Dictionary)]]
+ [number ("nat/" Codec<Text,Nat>)]
+ [product]
+ [bool]
+ [maybe]
+ [ident ("ident/" Equivalence<Ident> Codec<Text,Ident>)]
+ ["e" error]]
+ [macro (#+ with-gensyms)
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]
+ [syntax
+ ["cs" common]
+ [common
+ ["csr" reader]
+ ["csw" writer]]]]
+ [language
+ [type ("type/" Equivalence<Type>)
+ [check]]]
+ ])
(type: #export Env (Dictionary Nat [Type Code]))
diff --git a/stdlib/source/lux/macro/poly/equivalence.lux b/stdlib/source/lux/macro/poly/equivalence.lux
index c8d079935..d3e28b5e7 100644
--- a/stdlib/source/lux/macro/poly/equivalence.lux
+++ b/stdlib/source/lux/macro/poly/equivalence.lux
@@ -1,32 +1,36 @@
(.module:
- lux
- (lux (control [monad (#+ do Monad)]
- ["eq" equivalence]
- ["p" parser])
- (data [text ("text/" Monoid<Text>)]
- text/format
- (collection [list ("list/" Monad<List>)]
- [row]
- [array]
- [queue]
- [set]
- ["dict" dictionary (#+ Dictionary)]
- (tree [rose]))
- [number ("nat/" Codec<Text,Nat>)]
- [product]
- [bool]
- [maybe])
- (time ["du" duration]
- ["da" date]
- ["i" instant])
- [macro]
- (macro [code]
- [syntax (#+ syntax: Syntax)]
- (syntax [common])
- [poly (#+ poly:)])
- (type [unit])
- (language [type])
- ))
+ [lux #*
+ [control
+ [monad (#+ do Monad)]
+ ["eq" equivalence]
+ ["p" parser]]
+ [data
+ [text ("text/" Monoid<Text>)
+ format]
+ [collection
+ [list ("list/" Monad<List>)]
+ [row]
+ [array]
+ [queue]
+ [set]
+ ["dict" dictionary (#+ Dictionary)]
+ [tree [rose]]]
+ [number ("nat/" Codec<Text,Nat>)]
+ [product]
+ [bool]
+ [maybe]]
+ [time
+ ["du" duration]
+ ["da" date]
+ ["i" instant]]
+ ["." macro
+ [code]
+ [syntax (#+ syntax: Syntax)
+ [common]]
+ [poly (#+ poly:)]]
+ [type [unit]]
+ [language [type]]
+ ])
## [Derivers]
(poly: #export Equivalence<?>
diff --git a/stdlib/source/lux/macro/poly/functor.lux b/stdlib/source/lux/macro/poly/functor.lux
index dda9112da..5e509935d 100644
--- a/stdlib/source/lux/macro/poly/functor.lux
+++ b/stdlib/source/lux/macro/poly/functor.lux
@@ -1,19 +1,21 @@
(.module:
- lux
- (lux (control [monad (#+ do Monad)]
- [functor]
- ["p" parser])
- (data [text]
- text/format
- (collection [list ("list/" Monad<List> Monoid<List>)])
- [product])
- [macro]
- (macro [code]
- [syntax (#+ syntax: Syntax)]
- (syntax [common])
- [poly (#+ poly:)])
- (language [type])
- ))
+ [lux #*
+ [control
+ [monad (#+ do Monad)]
+ [functor]
+ ["p" parser]]
+ [data
+ ["." text
+ format]
+ [collection [list ("list/" Monad<List> Monoid<List>)]]
+ [product]]
+ ["." macro
+ [code]
+ [syntax (#+ syntax: Syntax)
+ [common]]
+ [poly (#+ poly:)]]
+ [language [type]]
+ ])
(poly: #export Functor<?>
(do @
diff --git a/stdlib/source/lux/macro/poly/json.lux b/stdlib/source/lux/macro/poly/json.lux
index f27089c94..e6da2b602 100644
--- a/stdlib/source/lux/macro/poly/json.lux
+++ b/stdlib/source/lux/macro/poly/json.lux
@@ -1,33 +1,37 @@
(.module: {#.doc "Codecs for values in the JSON format."}
- lux
- (lux (control [monad (#+ do Monad)]
- [equivalence (#+ Equivalence)]
- codec
- ["p" parser])
- (data [bool]
- [bit]
- [text ("text/" Equivalence<Text>)]
- (text ["l" lexer]
- format)
- [number ("frac/" Codec<Text,Frac>) ("nat/" Codec<Text,Nat>)]
- maybe
- ["e" error]
- [sum]
- [product]
- (collection [list ("list/" Fold<List> Monad<List>)]
- [row (#+ Row row) ("row/" Monad<Row>)]
- ["d" dictionary])
- (format ["//" json (#+ JSON)]))
- (time ## ["i" instant]
- ["du" duration]
- ["da" date])
- [macro (#+ with-gensyms)]
- (macro ["s" syntax (#+ syntax:)]
- [code]
- [poly (#+ poly:)])
- (type [unit])
- (language [type])
- ))
+ [lux #*
+ [control
+ [monad (#+ do Monad)]
+ [equivalence (#+ Equivalence)]
+ codec
+ ["p" parser]]
+ [data
+ [bool]
+ [bit]
+ [text ("text/" Equivalence<Text>)
+ ["l" lexer]
+ format]
+ [number ("frac/" Codec<Text,Frac>) ("nat/" Codec<Text,Nat>)]
+ maybe
+ ["e" error]
+ [sum]
+ [product]
+ [collection
+ [list ("list/" Fold<List> Monad<List>)]
+ [row (#+ Row row) ("row/" Monad<Row>)]
+ ["d" dictionary]]
+ [format ["//" json (#+ JSON)]]]
+ [time
+ ## ["i" instant]
+ ["du" duration]
+ ["da" date]]
+ [macro (#+ with-gensyms)
+ ["s" syntax (#+ syntax:)]
+ [code]
+ [poly (#+ poly:)]]
+ [type [unit]]
+ [language [type]]
+ ])
(def: tag
(-> Nat Frac)
diff --git a/stdlib/source/lux/macro/syntax.lux b/stdlib/source/lux/macro/syntax.lux
index bb7c8aa3e..3b6623b3e 100644
--- a/stdlib/source/lux/macro/syntax.lux
+++ b/stdlib/source/lux/macro/syntax.lux
@@ -1,17 +1,19 @@
(.module:
- [lux (#- nat int rev)]
- (lux [macro (#+ with-gensyms)]
- (control [monad (#+ do Monad)]
- [equivalence (#+ Equivalence)]
- ["p" parser])
- (data [bool]
- [number]
- [text ("text/" Monoid<Text>)]
- [ident]
- (collection [list ("list/" Functor<List>)])
- [maybe]
- [error (#+ Error)]))
- (// [code ("code/" Equivalence<Code>)]))
+ [lux (#- nat int rev)
+ [macro (#+ with-gensyms)]
+ [control
+ [monad (#+ do Monad)]
+ [equivalence (#+ Equivalence)]
+ ["p" parser]]
+ [data
+ [bool]
+ [number]
+ [text ("text/" Monoid<Text>)]
+ [ident]
+ [collection [list ("list/" Functor<List>)]]
+ [maybe]
+ [error (#+ Error)]]]
+ [// [code ("code/" Equivalence<Code>)]])
## [Utils]
(def: (join-pairs pairs)
diff --git a/stdlib/source/lux/macro/syntax/common/reader.lux b/stdlib/source/lux/macro/syntax/common/reader.lux
index a1b9ceb70..58a502c56 100644
--- a/stdlib/source/lux/macro/syntax/common/reader.lux
+++ b/stdlib/source/lux/macro/syntax/common/reader.lux
@@ -1,13 +1,15 @@
(.module: {#.doc "Commons syntax readers."}
- lux
- (lux (control monad
- ["p" parser ("parser/" Monad<Parser>)])
- (data (collection [list])
- [ident ("ident/" Equivalence<Ident>)]
- [product]
- [maybe])
- [macro]
- (macro ["s" syntax (#+ syntax: Syntax)]))
+ [lux #*
+ [control
+ monad
+ ["p" parser ("parser/" Monad<Parser>)]]
+ [data
+ [collection [list]]
+ [ident ("ident/" Equivalence<Ident>)]
+ [product]
+ [maybe]]
+ ["." macro
+ ["s" syntax (#+ syntax: Syntax)]]]
[//])
## Exports
diff --git a/stdlib/source/lux/macro/syntax/common/writer.lux b/stdlib/source/lux/macro/syntax/common/writer.lux
index 8bf1dadf7..d482bc2c3 100644
--- a/stdlib/source/lux/macro/syntax/common/writer.lux
+++ b/stdlib/source/lux/macro/syntax/common/writer.lux
@@ -1,9 +1,10 @@
(.module:
{#.doc "Commons syntax writers."}
- lux
- (lux (data (collection [list ("list/" Functor<List>)])
- [product])
- (macro [code]))
+ [lux #*
+ [data
+ [collection [list ("list/" Functor<List>)]]
+ [product]]
+ [macro [code]]]
[//])
(def: #export (export exported?)
diff --git a/stdlib/source/lux/math.lux b/stdlib/source/lux/math.lux
index ca2b30a85..c04f31c73 100644
--- a/stdlib/source/lux/math.lux
+++ b/stdlib/source/lux/math.lux
@@ -1,13 +1,15 @@
(.module: {#.doc "Common mathematical constants and functions."}
- lux
- (lux (control monad
- ["p" parser ("parser/" Functor<Parser>)])
- (data [product]
- [number]
- (collection [list ("list/" Fold<List>)]))
- [macro]
- (macro ["s" syntax (#+ syntax: Syntax)]
- [code])))
+ [lux #*
+ [control
+ monad
+ ["p" parser ("parser/" Functor<Parser>)]]
+ [data
+ [product]
+ [number]
+ [collection [list ("list/" Fold<List>)]]]
+ ["." macro
+ ["s" syntax (#+ syntax: Syntax)]
+ [code]]])
## [Values]
(do-template [<name> <value> <doc>]
diff --git a/stdlib/source/lux/math/logic/continuous.lux b/stdlib/source/lux/math/logic/continuous.lux
index 36c3d158d..972bfac0e 100644
--- a/stdlib/source/lux/math/logic/continuous.lux
+++ b/stdlib/source/lux/math/logic/continuous.lux
@@ -1,6 +1,6 @@
(.module:
- lux
- (lux (data [number ("rev/" Interval<Rev>)])))
+ [lux #*
+ [data [number ("rev/" Interval<Rev>)]]])
(def: #export ~true Rev rev/top)
(def: #export ~false Rev rev/bottom)
diff --git a/stdlib/source/lux/math/logic/fuzzy.lux b/stdlib/source/lux/math/logic/fuzzy.lux
index 8d8c32eaf..4d0d7f860 100644
--- a/stdlib/source/lux/math/logic/fuzzy.lux
+++ b/stdlib/source/lux/math/logic/fuzzy.lux
@@ -1,8 +1,12 @@
(.module:
- lux
- (lux (data (collection [list]
- [set (#+ Set)])))
- (// ["&" continuous]))
+ [lux #*
+ [control
+ [predicate #+ Predicate]]
+ [data
+ [collection
+ [list]
+ [set (#+ Set)]]]]
+ [// ["&" continuous]])
(type: #export (Fuzzy a)
(-> a Rev))
@@ -35,7 +39,7 @@
(&.~not (membership elem sub)))))
(def: #export (from-predicate predicate)
- (All [a] (-> (-> a Bool) (Fuzzy a)))
+ (All [a] (-> (Predicate a) (Fuzzy a)))
(function (_ elem)
(if (predicate elem)
&.~true
@@ -106,7 +110,7 @@
&.~false))))
(def: #export (to-predicate treshold set)
- (All [a] (-> Rev (Fuzzy a) (-> a Bool)))
+ (All [a] (-> Rev (Fuzzy a) (Predicate a)))
(function (_ elem)
(r/> treshold (set elem))))
diff --git a/stdlib/source/lux/math/modular.lux b/stdlib/source/lux/math/modular.lux
index 197bd4d20..cef3cbf6f 100644
--- a/stdlib/source/lux/math/modular.lux
+++ b/stdlib/source/lux/math/modular.lux
@@ -1,17 +1,20 @@
(.module:
- lux
- (lux (control ["ex" exception (#+ exception:)]
- ["p" parser]
- [codec (#+ Codec)]
- [monad (#+ do)])
- (data ["e" error (#+ Error)]
- [number ("int/" Codec<Text,Int>)]
- [text ("text/" Monoid<Text>)]
- (text ["l" lexer (#+ Lexer)]))
- (type abstract)
- (macro [code]
- ["s" syntax (#+ syntax:)])
- [math]))
+ [lux #*
+ [control
+ ["ex" exception (#+ exception:)]
+ ["p" parser]
+ [codec (#+ Codec)]
+ [monad (#+ do)]]
+ [data
+ ["e" error (#+ Error)]
+ [number ("int/" Codec<Text,Int>)]
+ [text ("text/" Monoid<Text>)
+ ["l" lexer (#+ Lexer)]]]
+ [type abstract]
+ [macro
+ [code]
+ ["s" syntax (#+ syntax:)]]
+ [math]])
(exception: #export zero-cannot-be-a-modulus)
diff --git a/stdlib/source/lux/math/random.lux b/stdlib/source/lux/math/random.lux
index 129f1b6e0..6366dde39 100644
--- a/stdlib/source/lux/math/random.lux
+++ b/stdlib/source/lux/math/random.lux
@@ -1,27 +1,30 @@
(.module: {#.doc "Pseudo-random number generation (PRNG) algorithms."}
- [lux (#- list i64 nat int rev char)]
- (lux (control [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ do Monad)]
- hash)
- (data [bit]
- [text ("text/" Monoid<Text>)]
- (text [unicode (#+ Char Segment)])
- [product]
- [maybe]
- [number (#+ hex)]
- (number ["r" ratio]
- ["c" complex])
- (collection [list ("list/" Fold<List>)]
- [array]
- ["dict" dictionary (#+ Dictionary)]
- [queue (#+ Queue)]
- [set (#+ Set)]
- [stack (#+ Stack)]
- [row (#+ Row)]
- (tree [finger (#+ Tree)])))
- (type [refinement (#+ Refiner Refined)])
- ))
+ [lux (#- list i64 nat int rev char)
+ [control
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ do Monad)]
+ hash]
+ [data
+ [bit]
+ [text ("text/" Monoid<Text>)
+ [unicode (#+ Char Segment)]]
+ [product]
+ [maybe]
+ [number (#+ hex)
+ ["r" ratio]
+ ["c" complex]]
+ [collection
+ [list ("list/" Fold<List>)]
+ [array]
+ ["dict" dictionary (#+ Dictionary)]
+ [queue (#+ Queue)]
+ [set (#+ Set)]
+ [stack (#+ Stack)]
+ [row (#+ Row)]
+ [tree [finger (#+ Tree)]]]]
+ [type [refinement (#+ Refiner Refined)]]
+ ])
(type: #export #rec PRNG
{#.doc "An abstract way to represent any PRNG."}
diff --git a/stdlib/source/lux/test.lux b/stdlib/source/lux/test.lux
index c39f7f30d..00cbcca91 100644
--- a/stdlib/source/lux/test.lux
+++ b/stdlib/source/lux/test.lux
@@ -1,21 +1,24 @@
(.module: {#.doc "Tools for unit & property-based/generative testing."}
- lux
- (lux [macro (#+ with-gensyms)]
- (macro ["s" syntax (#+ syntax: Syntax)]
- [code])
- (control [monad (#+ do Monad)]
- ["p" parser])
- (concurrency [promise (#+ Promise)])
- (data [product]
- [maybe]
- ["e" error]
- [text]
- text/format
- (collection [list ("list/" Monad<List> Fold<List>)]))
- [io (#+ IO io)]
- (time [instant]
- [duration])
- ["r" math/random]))
+ [lux #*
+ [macro (#+ with-gensyms)
+ ["s" syntax (#+ syntax: Syntax)]
+ [code]]
+ [control
+ [monad (#+ do Monad)]
+ ["p" parser]]
+ [concurrency [promise (#+ Promise)]]
+ [data
+ [product]
+ [maybe]
+ ["e" error]
+ ["." text
+ format]
+ [collection [list ("list/" Monad<List> Fold<List>)]]]
+ [io (#+ IO io)]
+ [time
+ [instant]
+ [duration]]
+ ["r" math/random]])
## [Types]
(type: #export Counters [Nat Nat])
diff --git a/stdlib/source/lux/time/date.lux b/stdlib/source/lux/time/date.lux
index 0f123c2d7..068936f47 100644
--- a/stdlib/source/lux/time/date.lux
+++ b/stdlib/source/lux/time/date.lux
@@ -1,17 +1,19 @@
(.module:
- lux
- (lux (control equivalence
- order
- enum
- codec
- ["p" parser]
- [monad (#+ do)])
- (data ["e" error]
- [maybe]
- [number ("int/" Codec<Text,Int>)]
- [text ("text/" Monoid<Text>)]
- (text ["l" lexer])
- (collection [row (#+ Row row)]))))
+ [lux #*
+ [control
+ equivalence
+ order
+ enum
+ codec
+ ["p" parser]
+ [monad (#+ do)]]
+ [data
+ ["e" error]
+ [maybe]
+ [number ("int/" Codec<Text,Int>)]
+ [text ("text/" Monoid<Text>)
+ ["l" lexer]]
+ [collection [row (#+ Row row)]]]])
(type: #export Year Int)
diff --git a/stdlib/source/lux/time/duration.lux b/stdlib/source/lux/time/duration.lux
index 3585c35b1..92e35a7fb 100644
--- a/stdlib/source/lux/time/duration.lux
+++ b/stdlib/source/lux/time/duration.lux
@@ -1,16 +1,18 @@
(.module:
- lux
- (lux (control equivalence
- order
- codec
- [monoid (#+ Monoid)]
- ["p" parser]
- [monad (#+ do)])
- (data [number ("int/" Codec<Text,Int> Number<Int>)]
- [text ("text/" Monoid<Text>)]
- (text ["l" lexer])
- ["e" error])
- (type abstract)))
+ [lux #*
+ [control
+ equivalence
+ order
+ codec
+ [monoid (#+ Monoid)]
+ ["p" parser]
+ [monad (#+ do)]]
+ [data
+ [number ("int/" Codec<Text,Int> Number<Int>)]
+ [text ("text/" Monoid<Text>)
+ ["l" lexer]]
+ ["e" error]]
+ [type abstract]])
(abstract: #export Duration
{#.doc "Durations have a resolution of milliseconds."}
diff --git a/stdlib/source/lux/time/instant.lux b/stdlib/source/lux/time/instant.lux
index 86c27f8f4..ce97cecea 100644
--- a/stdlib/source/lux/time/instant.lux
+++ b/stdlib/source/lux/time/instant.lux
@@ -1,22 +1,26 @@
(.module:
- lux
- (lux [io (#- run)]
- (control equivalence
- order
- enum
- codec
- [monad (#+ do Monad)]
- ["p" parser])
- (data [text ("text/" Monoid<Text>)]
- (text ["l" lexer])
- [number ("int/" Codec<Text,Int>)]
- ["e" error]
- [maybe]
- (collection [list ("list/" Fold<List>)]
- [row (#+ Row row) ("row/" Functor<Row> Fold<Row>)]))
- (type abstract))
- (// [duration ("duration/" Order<Duration>)]
- [date]))
+ [lux #*
+ [io (#- run)]
+ [control
+ equivalence
+ order
+ enum
+ codec
+ [monad (#+ do Monad)]
+ ["p" parser]]
+ [data
+ [text ("text/" Monoid<Text>)
+ ["l" lexer]]
+ [number ("int/" Codec<Text,Int>)]
+ ["e" error]
+ [maybe]
+ [collection
+ [list ("list/" Fold<List>)]
+ [row (#+ Row row) ("row/" Functor<Row> Fold<Row>)]]]
+ [type abstract]]
+ [//
+ [duration ("duration/" Order<Duration>)]
+ [date]])
(abstract: #export Instant
{#.doc "Instant is defined as milliseconds since the epoch."}
diff --git a/stdlib/source/lux/type/abstract.lux b/stdlib/source/lux/type/abstract.lux
index 76c8f78dd..53ae64051 100644
--- a/stdlib/source/lux/type/abstract.lux
+++ b/stdlib/source/lux/type/abstract.lux
@@ -1,17 +1,21 @@
(.module:
- lux
- (lux (control [monad (#+ do Monad)]
- ["p" parser])
- (data [text ("text/" Equivalence<Text> Monoid<Text>)]
- [error]
- (collection [list ("list/" Functor<List> Monoid<List>)]))
- [macro ("meta/" Monad<Meta>)]
- (macro [code]
- ["s" syntax (#+ syntax:)]
- (syntax ["cs" common]
- (common ["csr" reader]
- ["csw" writer])))
- (language [type (#+ :cast)])))
+ [lux #*
+ [control
+ [monad (#+ do Monad)]
+ ["p" parser]]
+ [data
+ [text ("text/" Equivalence<Text> Monoid<Text>)]
+ [error]
+ [collection [list ("list/" Functor<List> Monoid<List>)]]]
+ [macro ("meta/" Monad<Meta>)
+ [code]
+ ["s" syntax (#+ syntax:)]
+ [syntax
+ ["cs" common]
+ [common
+ ["csr" reader]
+ ["csw" writer]]]]
+ [language [type (#+ :cast)]]])
(def: (get k plist)
(All [a]
diff --git a/stdlib/source/lux/type/implicit.lux b/stdlib/source/lux/type/implicit.lux
index 38ffde58e..e1d3a21f7 100644
--- a/stdlib/source/lux/type/implicit.lux
+++ b/stdlib/source/lux/type/implicit.lux
@@ -1,22 +1,24 @@
(.module:
- lux
- (lux (control [monad (#+ do Monad)]
- ["eq" equivalence]
- ["p" parser])
- (data [text ("text/" Equivalence<Text>)]
- text/format
- [number]
- (collection [list ("list/" Monad<List> Fold<List>)]
- ["dict" dictionary (#+ Dictionary)])
- [bool]
- [product]
- [maybe])
- [macro (#+ Monad<Meta>)]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)])
- (language [type]
- (type ["tc" check (#+ Check)]))
- ))
+ [lux #*
+ [control [monad (#+ do Monad)]
+ ["eq" equivalence]
+ ["p" parser]]
+ [data
+ [text ("text/" Equivalence<Text>)
+ format]
+ [number]
+ [collection [list ("list/" Monad<List> Fold<List>)]
+ ["dict" dictionary (#+ Dictionary)]]
+ [bool]
+ [product]
+ [maybe]]
+ [macro (#+ Monad<Meta>)
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]]
+ [language
+ [type]
+ [type ["tc" check (#+ Check)]]]
+ ])
(def: (find-type-var id env)
(-> Nat Type-Context (Meta Type))
diff --git a/stdlib/source/lux/type/object/interface.lux b/stdlib/source/lux/type/object/interface.lux
index fe5b80b8b..c90965c2d 100644
--- a/stdlib/source/lux/type/object/interface.lux
+++ b/stdlib/source/lux/type/object/interface.lux
@@ -1,21 +1,26 @@
(.module:
- lux
- (lux (control [monad (#+ do Monad)]
- ["p" parser ("parser/" Monad<Parser>)])
- (data [text]
- text/format
- [product]
- [maybe]
- [ident ("ident/" Equivalence<Ident>)]
- (collection [list ("list/" Functor<List> Fold<List> Monoid<List>)]
- [set (#+ Set)]))
- [macro (#+ Monad<Meta>) ("meta/" Monad<Meta>)]
- (macro [code]
- ["s" syntax (#+ syntax:)]
- (syntax ["cs" common]
- (common ["csr" reader]
- ["csw" writer])))
- (language [type])))
+ [lux #*
+ [control
+ [monad (#+ do Monad)]
+ ["p" parser ("parser/" Monad<Parser>)]]
+ [data
+ [product]
+ [maybe]
+ [ident ("ident/" Equivalence<Ident>)]
+ ["." text
+ format]
+ [collection
+ [list ("list/" Functor<List> Fold<List> Monoid<List>)]
+ [set (#+ Set)]]]
+ [macro (#+ Monad<Meta>) ("meta/" Monad<Meta>)
+ [code]
+ ["s" syntax (#+ syntax:)]
+ [syntax
+ ["cs" common]
+ [common
+ ["csr" reader]
+ ["csw" writer]]]]
+ [language [type]]])
## [Common]
(type: Declaration
diff --git a/stdlib/source/lux/type/object/protocol.lux b/stdlib/source/lux/type/object/protocol.lux
index 1bd88a424..495aaebd4 100644
--- a/stdlib/source/lux/type/object/protocol.lux
+++ b/stdlib/source/lux/type/object/protocol.lux
@@ -1,15 +1,19 @@
(.module:
- lux
- (lux (control ["p" parser]
- [monad (#+ do)])
- (data [sum]
- (collection [list ("list/" Functor<List>)]))
- [macro ("meta/" Monad<Meta>)]
- (macro [code]
- ["s" syntax (#+ syntax:)]
- (syntax ["cs" common]
- (common ["csr" reader]
- ["csw" writer])))))
+ [lux #*
+ [control
+ ["p" parser]
+ [monad (#+ do)]]
+ [data
+ [sum]
+ [collection [list ("list/" Functor<List>)]]]
+ [macro ("meta/" Monad<Meta>)
+ [code]
+ ["s" syntax (#+ syntax:)]
+ [syntax
+ ["cs" common]
+ [common
+ ["csr" reader]
+ ["csw" writer]]]]])
(type: #export (Method i o)
(All [r] [i (-> o r)]))
diff --git a/stdlib/source/lux/type/quotient.lux b/stdlib/source/lux/type/quotient.lux
index 99e750a93..5fd91f5f0 100644
--- a/stdlib/source/lux/type/quotient.lux
+++ b/stdlib/source/lux/type/quotient.lux
@@ -1,13 +1,14 @@
(.module:
- [lux (#- type)]
- (lux (control [monad (#+ do)]
- ["p" parser])
- (data ["e" error (#+ Error)])
- (language [type])
- (type abstract)
- [macro]
- (macro ["s" syntax (#+ syntax:)]
- [poly])))
+ [lux (#- type)
+ [control
+ [monad (#+ do)]
+ ["p" parser]]
+ [data ["e" error (#+ Error)]]
+ [language [type]]
+ [type abstract]
+ ["." macro
+ ["s" syntax (#+ syntax:)]
+ [poly]]])
(abstract: #export (Class t c q)
{}
diff --git a/stdlib/source/lux/type/refinement.lux b/stdlib/source/lux/type/refinement.lux
index 4b14b5a36..79bd80d71 100644
--- a/stdlib/source/lux/type/refinement.lux
+++ b/stdlib/source/lux/type/refinement.lux
@@ -1,14 +1,15 @@
(.module:
- [lux (#- type)]
- (lux (control [predicate (#+ Predicate)]
- [monad (#+ do)]
- ["p" parser])
- (data ["e" error (#+ Error)])
- (language [type ("type/" Equivalence<Type>)])
- (type abstract)
- [macro]
- (macro ["s" syntax (#+ syntax:)]
- [poly])))
+ [lux (#- type)
+ [control
+ [predicate (#+ Predicate)]
+ [monad (#+ do)]
+ ["p" parser]]
+ [data ["e" error (#+ Error)]]
+ [language [type ("type/" Equivalence<Type>)]]
+ [type abstract]
+ ["." macro
+ ["s" syntax (#+ syntax:)]
+ [poly]]])
(abstract: #export (Refined t r)
{#.doc "A refined type 'r' of base type 't' using a predicate."}
diff --git a/stdlib/source/lux/type/resource.lux b/stdlib/source/lux/type/resource.lux
index 674a00eec..89523997b 100644
--- a/stdlib/source/lux/type/resource.lux
+++ b/stdlib/source/lux/type/resource.lux
@@ -1,23 +1,26 @@
(.module:
- lux
- (lux (control ["p" parser]
- ["ex" exception (#+ exception:)]
- [monad (#+ Monad do)]
- (monad [indexed (#+ IxMonad)]))
- (data [identity (#+ Identity)]
- [maybe]
- [product]
- [number]
- text/format
- (collection ["dict" dictionary (#+ Dictionary)]
- [set]
- [row (#+ Row)]
- [list ("list/" Functor<List> Fold<List>)]))
- (concurrency [promise (#+ Promise)])
- [macro]
- (macro ["s" syntax (#+ Syntax syntax:)])
- (type abstract)
- [io (#+ IO)]))
+ [lux #*
+ [control
+ ["p" parser]
+ ["ex" exception (#+ exception:)]
+ [monad (#+ Monad do)
+ [indexed (#+ IxMonad)]]]
+ [data
+ [identity (#+ Identity)]
+ [maybe]
+ [product]
+ [number]
+ [text
+ format]
+ [collection
+ ["dict" dictionary (#+ Dictionary)]
+ [set]
+ [row (#+ Row)]
+ [list ("list/" Functor<List> Fold<List>)]]]
+ [concurrency [promise (#+ Promise)]]
+ ["." macro ["s" syntax (#+ Syntax syntax:)]]
+ [type abstract]
+ [io (#+ IO)]])
(type: #export (Procedure monad input output value)
(-> input (monad [output value])))
diff --git a/stdlib/source/lux/type/unit.lux b/stdlib/source/lux/type/unit.lux
index 3668d492a..341e556d4 100644
--- a/stdlib/source/lux/type/unit.lux
+++ b/stdlib/source/lux/type/unit.lux
@@ -1,19 +1,26 @@
(.module:
- lux
- (lux (control [monad (#+ do Monad)]
- ["p" parser "p/" Monad<Parser>]
- [equivalence (#+ Equivalence)]
- [order (#+ Order)]
- [enum (#+ Enum)])
- (data text/format
- (number ["r" ratio]))
- [macro]
- (macro [code]
- ["s" syntax (#+ syntax:)]
- (syntax ["cs" common]
- (common ["csr" reader]
- ["csw" writer])))
- (type abstract)))
+ [lux #*
+ [control
+ [monad (#+ do Monad)]
+ ["p" parser]
+ [equivalence (#+ Equivalence)]
+ [order (#+ Order)]
+ [enum (#+ Enum)]]
+ [data
+ [number
+ ["r" ratio]]
+ [text
+ format]]
+ ["." macro
+ [code]
+ ["s" syntax (#+ syntax:)]
+ [syntax
+ ["cs" common]
+ [common
+ ["csr" reader]
+ ["csw" writer]]]]
+ [type
+ abstract]])
(abstract: #export (Qty unit)
{}
diff --git a/stdlib/source/lux/world/blob.jvm.lux b/stdlib/source/lux/world/blob.jvm.lux
index a9f640b37..d1ee258a3 100644
--- a/stdlib/source/lux/world/blob.jvm.lux
+++ b/stdlib/source/lux/world/blob.jvm.lux
@@ -1,13 +1,15 @@
(.module:
- [lux (#- i64)]
- (lux (control [monad (#+ do)]
- ["ex" exception (#+ exception:)]
- ["eq" equivalence])
- (data [bit]
- [maybe]
- [error (#+ Error)]
- text/format)
- [host (#+ import:)]))
+ [lux (#- i64)
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]
+ ["eq" equivalence]]
+ [data
+ [bit]
+ [maybe]
+ [error (#+ Error)]
+ [text format]]
+ [host (#+ import:)]])
(exception: #export (index-out-of-bounds {description Text})
description)
diff --git a/stdlib/source/lux/world/console.lux b/stdlib/source/lux/world/console.lux
index 6ab7dd4a6..b66e83ad3 100644
--- a/stdlib/source/lux/world/console.lux
+++ b/stdlib/source/lux/world/console.lux
@@ -1,13 +1,15 @@
(.module:
- lux
- (lux (control [monad (#+ do)])
- (data ["e" error]
- [text])
- (concurrency [promise]
- [task (#+ Task)])
- (type (object interface))
- [io (#+ IO Process io)]
- [host]))
+ [lux #*
+ [control [monad (#+ do)]]
+ [data
+ ["e" error]
+ [text]]
+ [concurrency
+ [promise]
+ [task (#+ Task)]]
+ [type [object interface]]
+ [io (#+ IO Process io)]
+ [host]])
(interface: #export Console
(read-char [] (Task Text))
diff --git a/stdlib/source/lux/world/environment.jvm.lux b/stdlib/source/lux/world/environment.jvm.lux
index f975a59d9..32af351d4 100644
--- a/stdlib/source/lux/world/environment.jvm.lux
+++ b/stdlib/source/lux/world/environment.jvm.lux
@@ -1,10 +1,11 @@
(.module:
- lux
- (lux (data [text]
- (format [context (#+ Context)])
- (collection [dictionary]))
- [io (#- run)]
- [host]))
+ [lux #*
+ [data
+ [text]
+ [format [context (#+ Context)]]
+ [collection [dictionary]]]
+ [io (#- run)]
+ [host]])
(host.import: java/lang/String)
diff --git a/stdlib/source/lux/world/file.lux b/stdlib/source/lux/world/file.lux
index 8c71678cd..d62c77182 100644
--- a/stdlib/source/lux/world/file.lux
+++ b/stdlib/source/lux/world/file.lux
@@ -1,17 +1,20 @@
(.module:
- lux
- (lux (control [monad (#+ Monad do)]
- ["ex" exception (#+ Exception exception:)]
- pipe)
- (data [error (#+ Error)]
- text/format
- (collection [array]))
- (time [instant (#+ Instant)]
- [duration])
- (world [blob (#+ Blob)])
- [io (#+ Process)]
- [host (#+ import:)]
- [language/host]))
+ [lux #*
+ [control
+ [monad (#+ Monad do)]
+ ["ex" exception (#+ Exception exception:)]
+ pipe]
+ [data
+ [error (#+ Error)]
+ text/format
+ [collection [array]]]
+ [time
+ [instant (#+ Instant)]
+ [duration]]
+ [world [blob (#+ Blob)]]
+ [io (#+ Process)]
+ [host (#+ import:)]
+ [language/host]])
(type: #export File Text)
diff --git a/stdlib/source/lux/world/net/tcp.jvm.lux b/stdlib/source/lux/world/net/tcp.jvm.lux
index 0c62844ce..30c3ef49b 100644
--- a/stdlib/source/lux/world/net/tcp.jvm.lux
+++ b/stdlib/source/lux/world/net/tcp.jvm.lux
@@ -1,14 +1,16 @@
(.module:
- lux
- (lux (control monad)
- (concurrency [promise (#+ Promise promise)]
- [task (#+ Task)]
- [frp])
- (data ["e" error])
- (type abstract)
- (world [blob (#+ Blob)])
- [io (#+ Process)]
- [host])
+ [lux #*
+ [control
+ monad]
+ [concurrency
+ [promise (#+ Promise promise)]
+ [task (#+ Task)]
+ [frp]]
+ [data ["e" error]]
+ [type abstract]
+ [world [blob (#+ Blob)]]
+ [io (#+ Process)]
+ [host]]
[//])
(host.import: java/lang/AutoCloseable
diff --git a/stdlib/source/lux/world/net/udp.jvm.lux b/stdlib/source/lux/world/net/udp.jvm.lux
index f8ad6885b..9e61e55eb 100644
--- a/stdlib/source/lux/world/net/udp.jvm.lux
+++ b/stdlib/source/lux/world/net/udp.jvm.lux
@@ -1,16 +1,19 @@
(.module:
- lux
- (lux (control monad
- ["ex" exception (#+ exception:)])
- (concurrency ["P" promise]
- ["T" task])
- (data ["e" error]
- [maybe]
- (collection [array]))
- (type abstract)
- (world [blob (#+ Blob)])
- [io]
- [host])
+ [lux #*
+ [control
+ monad
+ ["ex" exception (#+ exception:)]]
+ [concurrency
+ ["P" promise]
+ ["T" task]]
+ [data
+ ["e" error]
+ [maybe]
+ [collection [array]]]
+ [type abstract]
+ [world [blob (#+ Blob)]]
+ [io]
+ [host]]
[//])
(host.import: java/lang/AutoCloseable
diff --git a/stdlib/test/test/lux.lux b/stdlib/test/test/lux.lux
index 538a70b30..706e6e4bb 100644
--- a/stdlib/test/test/lux.lux
+++ b/stdlib/test/test/lux.lux
@@ -1,15 +1,17 @@
(.module:
- lux
- lux/test
- (lux (control [monad (#+ do)])
- [math]
- ["r" math/random]
- (data [maybe]
- [bit]
- [text ("text/" Equivalence<Text>)]
- text/format)
- [macro]
- (macro ["s" syntax (#+ syntax:)])))
+ [lux #*
+ [control
+ [monad (#+ do)]]
+ [math]
+ ["r" math/random]
+ [data
+ [maybe]
+ [bit]
+ [text ("text/" Equivalence<Text>)
+ format]]
+ ["." macro
+ ["s" syntax (#+ syntax:)]]
+ test])
(context: "Value identity."
(<| (times +100)
diff --git a/stdlib/test/test/lux/cli.lux b/stdlib/test/test/lux/cli.lux
index fc9ffa280..208b5b1b2 100644
--- a/stdlib/test/test/lux/cli.lux
+++ b/stdlib/test/test/lux/cli.lux
@@ -1,18 +1,20 @@
(.module:
- lux
- (lux [io]
- (control ["M" monad (#+ do Monad)]
- pipe
- ["p" parser])
- (data [product]
- [sum]
- ["E" error]
- [number]
- [text ("text/" Equivalence<Text>)]
- text/format
- (collection [list]))
- ["r" math/random]
- ["/" cli])
+ [lux #*
+ [io]
+ [control
+ ["M" monad (#+ do Monad)]
+ pipe
+ ["p" parser]]
+ [data
+ [product]
+ [sum]
+ ["E" error]
+ [number]
+ [text ("text/" Equivalence<Text>)
+ format]
+ [collection [list]]]
+ [math ["r" random]]
+ ["/" cli]]
lux/test)
(context: "CLI"
diff --git a/stdlib/test/test/lux/concurrency/actor.lux b/stdlib/test/test/lux/concurrency/actor.lux
index 7895350e6..1bb6b5b0b 100644
--- a/stdlib/test/test/lux/concurrency/actor.lux
+++ b/stdlib/test/test/lux/concurrency/actor.lux
@@ -1,14 +1,18 @@
(.module:
- lux
- (lux [io (#+ IO io)]
- (control ["M" monad (#+ do Monad)]
- ["ex" exception])
- (data [number]
- text/format
- ["e" error])
- (concurrency ["P" promise ("promise/" Monad<Promise>)]
- ["T" task]
- ["&" actor (#+ actor: message:)]))
+ [lux #*
+ [io (#+ IO io)]
+ [control
+ ["M" monad (#+ do Monad)]
+ ["ex" exception]]
+ [data
+ ["e" error]
+ [number]
+ [text
+ format]]
+ [concurrency
+ ["P" promise ("promise/" Monad<Promise>)]
+ ["T" task]
+ ["&" actor (#+ actor: message:)]]]
lux/test)
(actor: Counter
diff --git a/stdlib/test/test/lux/concurrency/atom.lux b/stdlib/test/test/lux/concurrency/atom.lux
index 36dc59074..77f52b94d 100644
--- a/stdlib/test/test/lux/concurrency/atom.lux
+++ b/stdlib/test/test/lux/concurrency/atom.lux
@@ -1,12 +1,16 @@
(.module:
- lux
- (lux [io]
- (control ["M" monad (#+ do Monad)])
- (data [number]
- (collection [list "" Functor<List>])
- text/format)
- (concurrency ["&" atom])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ ["M" monad (#+ do Monad)]]
+ [data
+ [number]
+ [text
+ format]]
+ [concurrency
+ ["&" atom]]
+ [math
+ ["r" random]]]
lux/test)
(context: "Atoms"
diff --git a/stdlib/test/test/lux/concurrency/frp.lux b/stdlib/test/test/lux/concurrency/frp.lux
index 637892e3b..0cb6b7831 100644
--- a/stdlib/test/test/lux/concurrency/frp.lux
+++ b/stdlib/test/test/lux/concurrency/frp.lux
@@ -1,13 +1,18 @@
(.module:
- lux
- (lux [io (#+ IO io)]
- (control [monad (#+ do Monad)])
- (data [number]
- text/format
- (collection [list]))
- (concurrency [promise ("promise/" Monad<Promise>)]
- [frp (#+ Channel)]
- [atom (#+ Atom atom)]))
+ [lux #*
+ [io (#+ IO io)]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ [number]
+ [text
+ format]
+ [collection
+ [list]]]
+ [concurrency
+ [promise ("promise/" Monad<Promise>)]
+ [frp (#+ Channel)]
+ [atom (#+ Atom atom)]]]
lux/test)
(def: (write! values channel)
diff --git a/stdlib/test/test/lux/concurrency/promise.lux b/stdlib/test/test/lux/concurrency/promise.lux
index b6540c145..f0b0bb865 100644
--- a/stdlib/test/test/lux/concurrency/promise.lux
+++ b/stdlib/test/test/lux/concurrency/promise.lux
@@ -1,12 +1,17 @@
(.module:
- lux
- (lux [io (#+ IO io)]
- (control ["M" monad (#+ do Monad)]
- pipe)
- (data [number]
- text/format)
- (concurrency ["&" promise ("&/" Monad<Promise>)])
- ["r" math/random])
+ [lux #*
+ [io (#+ IO io)]
+ [control
+ ["M" monad (#+ do Monad)]
+ pipe]
+ [data
+ [number]
+ [text
+ format]]
+ [concurrency
+ ["&" promise ("&/" Monad<Promise>)]]
+ [math
+ ["r" random]]]
lux/test)
(context: "Promises"
diff --git a/stdlib/test/test/lux/concurrency/semaphore.lux b/stdlib/test/test/lux/concurrency/semaphore.lux
index c09b48545..8a5c1cbce 100644
--- a/stdlib/test/test/lux/concurrency/semaphore.lux
+++ b/stdlib/test/test/lux/concurrency/semaphore.lux
@@ -1,15 +1,19 @@
(.module:
- lux
- (lux (control [monad (#+ do)])
- (data [maybe]
- [text ("text/" Equivalence<Text> Monoid<Text>)]
- text/format
- (collection [list ("list/" Functor<List>)]))
- (concurrency ["/" semaphore]
- [promise (#+ Promise)]
- [atom (#+ Atom)])
- [io]
- ["r" math/random])
+ [lux #*
+ [control
+ [monad (#+ do)]]
+ [data
+ [maybe]
+ [text ("text/" Equivalence<Text> Monoid<Text>)
+ format]
+ [collection [list ("list/" Functor<List>)]]]
+ [concurrency
+ ["/" semaphore]
+ [promise (#+ Promise)]
+ [atom (#+ Atom)]]
+ [io]
+ [math
+ ["r" random]]]
lux/test)
(def: (wait-many-times times semaphore)
diff --git a/stdlib/test/test/lux/concurrency/stm.lux b/stdlib/test/test/lux/concurrency/stm.lux
index c2d2dc8c0..1a254284f 100644
--- a/stdlib/test/test/lux/concurrency/stm.lux
+++ b/stdlib/test/test/lux/concurrency/stm.lux
@@ -1,16 +1,21 @@
(.module:
- lux
- (lux [io (#+ IO)]
- (control ["M" monad (#+ do Monad)])
- (data [number]
- [maybe]
- (collection [list ("list/" Functor<List>)])
- text/format)
- (concurrency [atom (#+ Atom atom)]
- ["&" stm]
- [promise]
- [frp (#+ Channel)])
- ["r" math/random])
+ [lux #*
+ [io (#+ IO)]
+ [control
+ ["M" monad (#+ do Monad)]]
+ [data
+ [number]
+ [maybe]
+ [text format]
+ [collection
+ [list ("list/" Functor<List>)]]]
+ [concurrency
+ [atom (#+ Atom atom)]
+ ["&" stm]
+ [promise]
+ [frp (#+ Channel)]]
+ [math
+ ["r" random]]]
lux/test)
(def: (read! channel)
diff --git a/stdlib/test/test/lux/control/continuation.lux b/stdlib/test/test/lux/control/continuation.lux
index cc8297cd7..9d5cad55b 100644
--- a/stdlib/test/test/lux/control/continuation.lux
+++ b/stdlib/test/test/lux/control/continuation.lux
@@ -1,10 +1,12 @@
(.module:
- lux
- (lux (control ["M" monad (#+ do Monad)]
- ["&" continuation])
- (data [number]
- (collection [list]))
- ["r" math/random])
+ [lux #*
+ [control
+ ["M" monad (#+ do Monad)]
+ ["&" continuation]]
+ [data
+ [number]
+ [collection [list]]]
+ ["r" math/random]]
lux/test)
(context: "Continuations"
diff --git a/stdlib/test/test/lux/control/equivalence.lux b/stdlib/test/test/lux/control/equivalence.lux
index 5fd317fe4..5206e892d 100644
--- a/stdlib/test/test/lux/control/equivalence.lux
+++ b/stdlib/test/test/lux/control/equivalence.lux
@@ -1,9 +1,11 @@
(.module:
- lux
- (lux (control ["/" equivalence]
- [monad (#+ do)])
- (math ["r" random])
- test))
+ [lux #*
+ [control
+ ["/" equivalence]
+ [monad (#+ do)]]
+ [math
+ ["r" random]]
+ test])
(def: #export (spec Equivalence<a> generator)
(All [a] (-> (/.Equivalence a) (r.Random a) Test))
diff --git a/stdlib/test/test/lux/control/exception.lux b/stdlib/test/test/lux/control/exception.lux
index dc768633c..85b331620 100644
--- a/stdlib/test/test/lux/control/exception.lux
+++ b/stdlib/test/test/lux/control/exception.lux
@@ -1,13 +1,16 @@
(.module:
- lux
- (lux [io]
- (control ["M" monad (#+ do Monad)]
- ["&" exception (#+ exception:)])
- (data ["E" error]
- [text]
- text/format
- [number])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ ["M" monad (#+ do Monad)]
+ ["&" exception (#+ exception:)]]
+ [data
+ ["E" error]
+ ["." text
+ format]
+ [number]]
+ [math
+ ["r" random]]]
lux/test)
(exception: some-exception)
diff --git a/stdlib/test/test/lux/control/interval.lux b/stdlib/test/test/lux/control/interval.lux
index c836dacda..89691a719 100644
--- a/stdlib/test/test/lux/control/interval.lux
+++ b/stdlib/test/test/lux/control/interval.lux
@@ -1,15 +1,20 @@
(.module:
- lux
lux/test
- (lux (control ["M" monad (#+ do Monad)]
- pipe
- ["&" interval])
- [io]
- ["r" math/random]
- (data text/format
- [number]
- (collection ["S" set]
- ["L" list]))))
+ [lux #*
+ [control
+ ["M" monad (#+ do Monad)]
+ pipe
+ ["&" interval]]
+ [io]
+ [math
+ ["r" random]]
+ [data
+ [number]
+ [text
+ format]
+ [collection
+ ["S" set]
+ ["L" list]]]])
(context: "Equivalence."
(<| (times +100)
diff --git a/stdlib/test/test/lux/control/parser.lux b/stdlib/test/test/lux/control/parser.lux
index 805ec3126..a8ec24446 100644
--- a/stdlib/test/test/lux/control/parser.lux
+++ b/stdlib/test/test/lux/control/parser.lux
@@ -1,14 +1,17 @@
(.module:
- lux
- (lux [io]
- (control ["M" monad (#+ do)]
- [equivalence (#+ Equivalence)]
- ["&" parser])
- (data [error (#+ Error)])
- ["r" math/random]
- [macro]
- (macro [code]
- ["s" syntax (#+ syntax:)]))
+ [lux #*
+ [io]
+ [control
+ ["M" monad (#+ do)]
+ [equivalence (#+ Equivalence)]
+ ["&" parser]]
+ [data
+ [error (#+ Error)]]
+ [math
+ ["r" random]]
+ ["." macro
+ [code]
+ ["s" syntax (#+ syntax:)]]]
lux/test)
## [Utils]
diff --git a/stdlib/test/test/lux/control/pipe.lux b/stdlib/test/test/lux/control/pipe.lux
index 317501109..6e232a255 100644
--- a/stdlib/test/test/lux/control/pipe.lux
+++ b/stdlib/test/test/lux/control/pipe.lux
@@ -1,14 +1,17 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- pipe)
- (data text/format
- [number]
- [product]
- identity
- [text ("text/" Equivalence<Text>)])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ pipe]
+ [data
+ [number]
+ [product]
+ identity
+ [text ("text/" Equivalence<Text>)
+ format]]
+ [math
+ ["r" random]]]
lux/test)
(context: "Pipes"
diff --git a/stdlib/test/test/lux/control/reader.lux b/stdlib/test/test/lux/control/reader.lux
index 5259d1e51..bc7905f37 100644
--- a/stdlib/test/test/lux/control/reader.lux
+++ b/stdlib/test/test/lux/control/reader.lux
@@ -1,9 +1,10 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do)]
- pipe
- ["&" reader]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do)]
+ pipe
+ ["&" reader]]]
lux/test)
(context: "Readers"
diff --git a/stdlib/test/test/lux/control/region.lux b/stdlib/test/test/lux/control/region.lux
index abfe25985..606be66bf 100644
--- a/stdlib/test/test/lux/control/region.lux
+++ b/stdlib/test/test/lux/control/region.lux
@@ -1,13 +1,17 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- ["/" region]
- [thread (#+ Thread)]
- ["ex" exception (#+ exception:)])
- (data ["e" error (#+ Error)]
- (collection [list])
- text/format)
- ["r" math/random])
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["/" region]
+ [thread (#+ Thread)]
+ ["ex" exception (#+ exception:)]]
+ [data
+ ["e" error (#+ Error)]
+ [text
+ format]
+ [collection [list]]]
+ [math
+ ["r" random]]]
lux/test)
(exception: oops)
diff --git a/stdlib/test/test/lux/control/state.lux b/stdlib/test/test/lux/control/state.lux
index 59f424be3..9f352df48 100644
--- a/stdlib/test/test/lux/control/state.lux
+++ b/stdlib/test/test/lux/control/state.lux
@@ -1,11 +1,14 @@
(.module:
- lux
- (lux [io]
- (control ["M" monad (#+ do Monad)]
- pipe
- ["&" state])
- (data [product])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ ["M" monad (#+ do Monad)]
+ pipe
+ ["&" state]]
+ [data
+ [product]]
+ [math
+ ["r" random]]]
lux/test)
(def: (with-conditions [state output] computation)
diff --git a/stdlib/test/test/lux/control/thread.lux b/stdlib/test/test/lux/control/thread.lux
index f1e9673e3..8c7dcc592 100644
--- a/stdlib/test/test/lux/control/thread.lux
+++ b/stdlib/test/test/lux/control/thread.lux
@@ -1,7 +1,8 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- ["/" thread])))
+ [lux #*
+ [control
+ [monad (#+ do)]
+ ["/" thread]]])
(def: _test0_
Nat
diff --git a/stdlib/test/test/lux/control/writer.lux b/stdlib/test/test/lux/control/writer.lux
index 49d6341e7..6cf50d2bd 100644
--- a/stdlib/test/test/lux/control/writer.lux
+++ b/stdlib/test/test/lux/control/writer.lux
@@ -1,12 +1,14 @@
(.module:
- lux
- (lux [io]
- (control ["M" monad (#+ do Monad)]
- pipe
- ["&" writer])
- (data [text ("text/" Equivalence<Text>)]
- [number]
- [product]))
+ [lux #*
+ [io]
+ [control
+ ["M" monad (#+ do Monad)]
+ pipe
+ ["&" writer]]
+ [data
+ [number]
+ [product]
+ [text ("text/" Equivalence<Text>)]]]
lux/test)
(context: "Writer."
diff --git a/stdlib/test/test/lux/data/bit.lux b/stdlib/test/test/lux/data/bit.lux
index 158c1d218..6d76ac4e2 100644
--- a/stdlib/test/test/lux/data/bit.lux
+++ b/stdlib/test/test/lux/data/bit.lux
@@ -1,10 +1,13 @@
(.module:
- lux
- (lux [io]
- (control ["M" monad (#+ do Monad)])
- (data ["&" bit]
- number)
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ ["M" monad (#+ do Monad)]]
+ [data
+ ["&" bit]
+ number]
+ [math
+ ["r" random]]]
lux/test)
(context: "Bitwise operations."
diff --git a/stdlib/test/test/lux/data/bool.lux b/stdlib/test/test/lux/data/bool.lux
index fb5db77df..0413c2632 100644
--- a/stdlib/test/test/lux/data/bool.lux
+++ b/stdlib/test/test/lux/data/bool.lux
@@ -1,9 +1,12 @@
(.module:
- lux
- (lux (control ["M" monad (#+ do Monad)])
- [io]
- (data bool)
- ["r" math/random])
+ [lux #*
+ [control
+ ["M" monad (#+ do Monad)]]
+ [io]
+ [data
+ bool]
+ [math
+ ["r" random]]]
lux/test)
(context: "Boolean operations."
diff --git a/stdlib/test/test/lux/data/collection/array.lux b/stdlib/test/test/lux/data/collection/array.lux
index 769a7a215..f0f72a14d 100644
--- a/stdlib/test/test/lux/data/collection/array.lux
+++ b/stdlib/test/test/lux/data/collection/array.lux
@@ -1,13 +1,17 @@
(.module:
- lux
- (lux (control [monad (#+ do Monad)]
- pipe)
- [io]
- (data (collection ["@" array]
- [list])
- [number]
- [maybe])
- ["r" math/random])
+ [lux #*
+ [control
+ [monad (#+ do Monad)]
+ pipe]
+ [io]
+ [data
+ [number]
+ [maybe]
+ [collection
+ ["@" array]
+ [list]]]
+ [math
+ ["r" random]]]
lux/test)
(def: bounded-size
diff --git a/stdlib/test/test/lux/data/collection/bits.lux b/stdlib/test/test/lux/data/collection/bits.lux
index 8e1d672d7..dd53f42eb 100644
--- a/stdlib/test/test/lux/data/collection/bits.lux
+++ b/stdlib/test/test/lux/data/collection/bits.lux
@@ -1,11 +1,15 @@
(.module:
- lux
- (lux (control [monad (#+ do)]
- [predicate])
- (data (collection ["/" bits]))
- ["r" math/random])
+ [lux #*
+ [control
+ [monad (#+ do)]
+ [predicate]]
+ [data
+ [collection
+ ["/" bits]]]
+ [math
+ ["r" random]]]
lux/test
- (test (lux (control ["_eq" equivalence]))))
+ [test [lux [control ["_eq" equivalence]]]])
(def: (size min max)
(-> Nat Nat (r.Random Nat))
diff --git a/stdlib/test/test/lux/data/collection/dictionary.lux b/stdlib/test/test/lux/data/collection/dictionary.lux
index db8c6ef5a..b0ad15d7b 100644
--- a/stdlib/test/test/lux/data/collection/dictionary.lux
+++ b/stdlib/test/test/lux/data/collection/dictionary.lux
@@ -1,15 +1,18 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- ["eq" equivalence])
- (data [text]
- text/format
- [number]
- [maybe]
- (collection ["&" dictionary]
- [list ("list/" Fold<List> Functor<List>)]))
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ ["eq" equivalence]]
+ [data
+ [number]
+ [maybe]
+ ["." text
+ format]
+ [collection
+ ["&" dictionary]
+ [list ("list/" Fold<List> Functor<List>)]]]
+ ["r" math/random]]
lux/test)
(context: "Dictionaries."
diff --git a/stdlib/test/test/lux/data/collection/dictionary/ordered.lux b/stdlib/test/test/lux/data/collection/dictionary/ordered.lux
index 0c00a18be..4626886e9 100644
--- a/stdlib/test/test/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/test/test/lux/data/collection/dictionary/ordered.lux
@@ -1,15 +1,19 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- [equivalence (#+ Equivalence)])
- (data [product]
- [number]
- (collection ["s" set]
- ["dict" dictionary]
- (dictionary ["&" ordered])
- [list ("list/" Functor<List>)]))
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ [equivalence (#+ Equivalence)]]
+ [data
+ [product]
+ [number]
+ [collection
+ ["s" set]
+ ["dict" dictionary]
+ [dictionary ["&" ordered]]
+ [list ("list/" Functor<List>)]]]
+ [math
+ ["r" random]]]
lux/test)
(context: "Dictionary"
diff --git a/stdlib/test/test/lux/data/collection/list.lux b/stdlib/test/test/lux/data/collection/list.lux
index 940273ba1..f7e73ef9b 100644
--- a/stdlib/test/test/lux/data/collection/list.lux
+++ b/stdlib/test/test/lux/data/collection/list.lux
@@ -1,14 +1,17 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- pipe)
- (data (collection ["&" list])
- [number]
- [bool]
- [product]
- [maybe])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ pipe]
+ [data [number]
+ [bool]
+ [product]
+ [maybe]
+ [collection
+ ["&" list]]]
+ [math
+ ["r" random]]]
lux/test)
(def: bounded-size
diff --git a/stdlib/test/test/lux/data/collection/queue.lux b/stdlib/test/test/lux/data/collection/queue.lux
index a28196c8a..ebb730d58 100644
--- a/stdlib/test/test/lux/data/collection/queue.lux
+++ b/stdlib/test/test/lux/data/collection/queue.lux
@@ -1,10 +1,14 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)])
- (data (collection ["&" queue])
- [number])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ [number]
+ [collection
+ ["&" queue]]]
+ [math
+ ["r" random]]]
lux/test)
(context: "Queues"
diff --git a/stdlib/test/test/lux/data/collection/queue/priority.lux b/stdlib/test/test/lux/data/collection/queue/priority.lux
index a6f62a69b..d893fe960 100644
--- a/stdlib/test/test/lux/data/collection/queue/priority.lux
+++ b/stdlib/test/test/lux/data/collection/queue/priority.lux
@@ -1,11 +1,14 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)])
- (data (collection (queue ["&" priority]))
- [number]
- [maybe])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ [number]
+ [maybe]
+ [collection [queue ["&" priority]]]]
+ [math
+ ["r" random]]]
lux/test)
(def: (gen-queue size)
diff --git a/stdlib/test/test/lux/data/collection/row.lux b/stdlib/test/test/lux/data/collection/row.lux
index 8833c75d3..f8850447a 100644
--- a/stdlib/test/test/lux/data/collection/row.lux
+++ b/stdlib/test/test/lux/data/collection/row.lux
@@ -1,12 +1,15 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)])
- (data (collection ["&" row]
- [list ("list/" Fold<List>)])
- [number]
- [maybe])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ [number]
+ [maybe]
+ [collection ["&" row]
+ [list ("list/" Fold<List>)]]]
+ [math
+ ["r" random]]]
lux/test)
(context: "Rows"
diff --git a/stdlib/test/test/lux/data/collection/sequence.lux b/stdlib/test/test/lux/data/collection/sequence.lux
index 48048216f..16b98a90b 100644
--- a/stdlib/test/test/lux/data/collection/sequence.lux
+++ b/stdlib/test/test/lux/data/collection/sequence.lux
@@ -1,15 +1,18 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- comonad)
- (data [maybe]
- [text ("text/" Monoid<Text>)]
- text/format
- (collection [list]
- ["&" sequence])
- [number ("nat/" Codec<Text,Nat>)])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ comonad]
+ [data
+ [maybe]
+ [number ("nat/" Codec<Text,Nat>)]
+ [text ("text/" Monoid<Text>)
+ format]
+ [collection [list]
+ ["&" sequence]]]
+ [math
+ ["r" random]]]
lux/test)
(context: "Sequences"
diff --git a/stdlib/test/test/lux/data/collection/set.lux b/stdlib/test/test/lux/data/collection/set.lux
index 41aaa88ff..43bd48069 100644
--- a/stdlib/test/test/lux/data/collection/set.lux
+++ b/stdlib/test/test/lux/data/collection/set.lux
@@ -1,11 +1,14 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)])
- (data (collection ["&" set (#+ Set)]
- [list])
- [number])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ [number]
+ [collection ["&" set (#+ Set)]
+ [list]]]
+ [math
+ ["r" random]]]
lux/test)
(def: gen-nat
diff --git a/stdlib/test/test/lux/data/collection/set/ordered.lux b/stdlib/test/test/lux/data/collection/set/ordered.lux
index b99d5c225..97127a3f3 100644
--- a/stdlib/test/test/lux/data/collection/set/ordered.lux
+++ b/stdlib/test/test/lux/data/collection/set/ordered.lux
@@ -1,13 +1,18 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)])
- (data (collection [set]
- (set ["&" ordered])
- [list])
- [number]
- text/format)
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ [number]
+ [text
+ format]
+ [collection
+ ["." set
+ ["&" ordered]]
+ [list]]]
+ [math
+ ["r" random]]]
lux/test)
(def: gen-nat
diff --git a/stdlib/test/test/lux/data/collection/stack.lux b/stdlib/test/test/lux/data/collection/stack.lux
index faebac246..06e8af547 100644
--- a/stdlib/test/test/lux/data/collection/stack.lux
+++ b/stdlib/test/test/lux/data/collection/stack.lux
@@ -1,9 +1,12 @@
(.module:
- lux
- (lux (control [monad (#+ do)])
- (data (collection ["&" stack])
- [maybe])
- ["r" math/random])
+ [lux #*
+ [control
+ [monad (#+ do)]]
+ [data
+ [maybe]
+ [collection ["&" stack]]]
+ [math
+ ["r" random]]]
lux/test)
(def: gen-nat
diff --git a/stdlib/test/test/lux/data/collection/tree/rose.lux b/stdlib/test/test/lux/data/collection/tree/rose.lux
index 211e0eb12..ac340cd13 100644
--- a/stdlib/test/test/lux/data/collection/tree/rose.lux
+++ b/stdlib/test/test/lux/data/collection/tree/rose.lux
@@ -1,14 +1,18 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)])
- (data [product]
- [number]
- [text ("text/" Equivalence<Text>)]
- text/format
- (collection (tree ["&" rose])
- [list ("list/" Functor<List> Fold<List>)]))
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ [product]
+ [number]
+ [text ("text/" Equivalence<Text>)
+ format]
+ [collection
+ [tree ["&" rose]]
+ [list ("list/" Functor<List> Fold<List>)]]]
+ [math
+ ["r" random]]]
lux/test)
(def: gen-tree
diff --git a/stdlib/test/test/lux/data/collection/tree/rose/zipper.lux b/stdlib/test/test/lux/data/collection/tree/rose/zipper.lux
index acd24c2c1..26311fbd1 100644
--- a/stdlib/test/test/lux/data/collection/tree/rose/zipper.lux
+++ b/stdlib/test/test/lux/data/collection/tree/rose/zipper.lux
@@ -1,16 +1,21 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- pipe)
- (data (collection [list ("list/" Fold<List> Functor<List>)]
- (tree [rose]
- (rose ["&" zipper])))
- [text]
- text/format
- [number]
- [maybe])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ pipe]
+ [data
+ [number]
+ [maybe]
+ ["." text
+ format]
+ [collection
+ [list ("list/" Fold<List> Functor<List>)]
+ [tree
+ [rose]
+ [rose ["&" zipper]]]]]
+ [math
+ ["r" random]]]
lux/test)
(def: gen-tree
diff --git a/stdlib/test/test/lux/data/color.lux b/stdlib/test/test/lux/data/color.lux
index 35b0db7d4..797a0336b 100644
--- a/stdlib/test/test/lux/data/color.lux
+++ b/stdlib/test/test/lux/data/color.lux
@@ -1,11 +1,13 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do)])
- (data ["@" color]
- [number ("frac/" Number<Frac>)])
- [math]
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do)]]
+ [data
+ ["@" color]
+ [number ("frac/" Number<Frac>)]]
+ ["." math
+ ["r" random]]]
lux/test)
(def: color
diff --git a/stdlib/test/test/lux/data/error.lux b/stdlib/test/test/lux/data/error.lux
index 733be1cc6..d86afc20b 100644
--- a/stdlib/test/test/lux/data/error.lux
+++ b/stdlib/test/test/lux/data/error.lux
@@ -1,10 +1,13 @@
(.module:
- lux
- (lux [io]
- (control ["M" monad (#+ do Monad)]
- pipe)
- (data text/format
- ["&" error]))
+ [lux #*
+ [io]
+ [control
+ ["M" monad (#+ do Monad)]
+ pipe]
+ [data
+ ["&" error]
+ [text
+ format]]]
lux/test)
(context: "Errors"
diff --git a/stdlib/test/test/lux/data/format/json.lux b/stdlib/test/test/lux/data/format/json.lux
index 9929e1567..e3b3c6f66 100644
--- a/stdlib/test/test/lux/data/format/json.lux
+++ b/stdlib/test/test/lux/data/format/json.lux
@@ -1,36 +1,46 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- codec
- [equivalence (#+ Equivalence)]
- pipe
- ["p" parser])
- (data [text]
- text/format
- ["e" error]
- [bool]
- [maybe]
- [number]
- (format ["@" json])
- (collection [row (#+ row)]
- ["d" dictionary]
- [list]))
- [macro (#+ with-gensyms)]
- (macro [code]
- [syntax (#+ syntax:)]
- [poly (#+ derived:)]
- [poly/equivalence]
- [poly/json])
- (type [unit])
- ["r" math/random]
- (time ["ti" instant]
- ["tda" date]
- ["tdu" duration])
- test)
- (test (lux (time ["_." instant]
- ["_." duration]
- ["_." date])))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ codec
+ [equivalence (#+ Equivalence)]
+ pipe
+ ["p" parser]]
+ [data
+ ["e" error]
+ [bool]
+ [maybe]
+ [number]
+ ["." text
+ format]
+ [format
+ ["@" json]]
+ [collection
+ [row (#+ row)]
+ ["d" dictionary]
+ [list]]]
+ [macro (#+ with-gensyms)
+ [code]
+ [syntax (#+ syntax:)]
+ [poly (#+ derived:)]
+ [poly/equivalence]
+ [poly/json]]
+ [type
+ [unit]]
+ [math
+ ["r" random]]
+ [time
+ ["ti" instant]
+ ["tda" date]
+ ["tdu" duration]]
+ test]
+ [test
+ [lux
+ [time
+ ["_." instant]
+ ["_." duration]
+ ["_." date]]]]
)
(def: gen-json
diff --git a/stdlib/test/test/lux/data/format/xml.lux b/stdlib/test/test/lux/data/format/xml.lux
index a96906f88..b757fe7e6 100644
--- a/stdlib/test/test/lux/data/format/xml.lux
+++ b/stdlib/test/test/lux/data/format/xml.lux
@@ -1,20 +1,24 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- ["p" parser]
- pipe)
- (data [text ("text/" Equivalence<Text>)]
- text/format
- [ident]
- ["E" error]
- [maybe]
- (format ["&" xml])
- (collection ["dict" dictionary]
- [list ("list/" Functor<List>)]))
- ["r" math/random ("r/" Monad<Random>)]
- test)
- )
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ ["p" parser]
+ pipe]
+ [data
+ [ident]
+ ["E" error]
+ [maybe]
+ [text ("text/" Equivalence<Text>)
+ format]
+ [format
+ ["&" xml]]
+ [collection
+ ["dict" dictionary]
+ [list ("list/" Functor<List>)]]]
+ [math
+ ["r" random ("r/" Monad<Random>)]]]
+ lux/test)
(def: char-range
Text
diff --git a/stdlib/test/test/lux/data/ident.lux b/stdlib/test/test/lux/data/ident.lux
index 57a6e5f4d..0f8133721 100644
--- a/stdlib/test/test/lux/data/ident.lux
+++ b/stdlib/test/test/lux/data/ident.lux
@@ -1,12 +1,14 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- pipe)
- (data ["&" ident]
- [text ("text/" Equivalence<Text>)]
- text/format)
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ pipe]
+ [data
+ ["&" ident]
+ [text ("text/" Equivalence<Text>)
+ format]]
+ [math ["r" random]]]
lux/test)
(def: (gen-part size)
diff --git a/stdlib/test/test/lux/data/identity.lux b/stdlib/test/test/lux/data/identity.lux
index 7c82d700c..a57a05f4c 100644
--- a/stdlib/test/test/lux/data/identity.lux
+++ b/stdlib/test/test/lux/data/identity.lux
@@ -1,10 +1,12 @@
(.module:
- lux
- (lux [io]
- (control ["M" monad (#+ do Monad)]
- comonad)
- (data ["&" identity]
- [text ("text/" Monoid<Text> Equivalence<Text>)]))
+ [lux #*
+ [io]
+ [control
+ ["M" monad (#+ do Monad)]
+ comonad]
+ [data
+ ["&" identity]
+ [text ("text/" Monoid<Text> Equivalence<Text>)]]]
lux/test)
(context: "Identity"
diff --git a/stdlib/test/test/lux/data/lazy.lux b/stdlib/test/test/lux/data/lazy.lux
index e6a266b4a..895fa8b1c 100644
--- a/stdlib/test/test/lux/data/lazy.lux
+++ b/stdlib/test/test/lux/data/lazy.lux
@@ -1,9 +1,12 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)])
- (data ["&" lazy])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ ["&" lazy]]
+ [math
+ ["r" random]]]
lux/test)
(context: "Lazy."
diff --git a/stdlib/test/test/lux/data/maybe.lux b/stdlib/test/test/lux/data/maybe.lux
index 19af6ac6a..4401748cd 100644
--- a/stdlib/test/test/lux/data/maybe.lux
+++ b/stdlib/test/test/lux/data/maybe.lux
@@ -1,11 +1,13 @@
(.module:
- lux
- (lux [io]
- (control ["M" monad (#+ do Monad)]
- pipe)
- (data ["&" maybe]
- [text ("text/" Monoid<Text>)]
- [number]))
+ [lux #*
+ [io]
+ [control
+ ["M" monad (#+ do Monad)]
+ pipe]
+ [data
+ ["&" maybe]
+ [number]
+ [text ("text/" Monoid<Text>)]]]
lux/test)
(context: "Maybe"
diff --git a/stdlib/test/test/lux/data/number.lux b/stdlib/test/test/lux/data/number.lux
index e29521e87..cc286dcd5 100644
--- a/stdlib/test/test/lux/data/number.lux
+++ b/stdlib/test/test/lux/data/number.lux
@@ -1,12 +1,15 @@
(.module:
- lux
- (lux [io]
- (control ["M" monad (#+ do Monad)]
- pipe)
- (data number
- [text ("text/" Equivalence<Text>)]
- text/format)
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ ["M" monad (#+ do Monad)]
+ pipe]
+ [data
+ number
+ [text ("text/" Equivalence<Text>)
+ format]]
+ [math
+ ["r" random]]]
lux/test)
(do-template [category rand-gen <Equivalence> <Order>]
diff --git a/stdlib/test/test/lux/data/number/complex.lux b/stdlib/test/test/lux/data/number/complex.lux
index 11601933e..03ec307ff 100644
--- a/stdlib/test/test/lux/data/number/complex.lux
+++ b/stdlib/test/test/lux/data/number/complex.lux
@@ -1,15 +1,19 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- pipe)
- (data [product]
- [number ("frac/" Number<Frac>)]
- ["&" number/complex]
- text/format
- (collection [list ("list/" Functor<List>)]))
- [math]
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ pipe]
+ [data
+ [product]
+ [number ("frac/" Number<Frac>)
+ ["&" complex]]
+ [text
+ format]
+ [collection
+ [list ("list/" Functor<List>)]]]
+ ["." math
+ ["r" random]]]
lux/test)
(def: margin-of-error Frac 1.0e-9)
diff --git a/stdlib/test/test/lux/data/number/ratio.lux b/stdlib/test/test/lux/data/number/ratio.lux
index f0320a397..0235a78b7 100644
--- a/stdlib/test/test/lux/data/number/ratio.lux
+++ b/stdlib/test/test/lux/data/number/ratio.lux
@@ -1,10 +1,13 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- pipe)
- (data ["&" number/ratio ("&/" Number<Ratio>)])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ pipe]
+ [data
+ ["&" number/ratio ("&/" Number<Ratio>)]]
+ [math
+ ["r" random]]]
lux/test)
(def: gen-part
diff --git a/stdlib/test/test/lux/data/product.lux b/stdlib/test/test/lux/data/product.lux
index 309e8e311..440ccf62c 100644
--- a/stdlib/test/test/lux/data/product.lux
+++ b/stdlib/test/test/lux/data/product.lux
@@ -1,6 +1,7 @@
(.module:
- lux
- (lux (data ["@" product]))
+ [lux #*
+ [data
+ ["@" product]]]
lux/test)
(context: "Products"
diff --git a/stdlib/test/test/lux/data/sum.lux b/stdlib/test/test/lux/data/sum.lux
index 04b295ccf..0cc9e36af 100644
--- a/stdlib/test/test/lux/data/sum.lux
+++ b/stdlib/test/test/lux/data/sum.lux
@@ -1,9 +1,12 @@
(.module:
- lux
- (lux (control pipe)
- (data sum
- [text]
- (collection [list])))
+ [lux #*
+ [control
+ pipe]
+ [data
+ sum
+ [text]
+ [collection
+ [list]]]]
lux/test)
(context: "Sum operations"
diff --git a/stdlib/test/test/lux/data/text.lux b/stdlib/test/test/lux/data/text.lux
index edd3fa8a6..c75b1bacd 100644
--- a/stdlib/test/test/lux/data/text.lux
+++ b/stdlib/test/test/lux/data/text.lux
@@ -1,13 +1,17 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- pipe)
- (data ["&" text]
- text/format
- [number]
- (collection [list]))
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ pipe]
+ [data
+ ["&" text
+ format]
+ [number]
+ [collection
+ [list]]]
+ [math
+ ["r" random]]]
lux/test)
(context: "Size"
diff --git a/stdlib/test/test/lux/data/text/format.lux b/stdlib/test/test/lux/data/text/format.lux
index 81304af36..0d328cb0e 100644
--- a/stdlib/test/test/lux/data/text/format.lux
+++ b/stdlib/test/test/lux/data/text/format.lux
@@ -1,10 +1,12 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)])
- (data text/format
- [text]
- [number]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ ["." text
+ format]
+ [number]]]
lux/test)
(context: "Formatters"
diff --git a/stdlib/test/test/lux/data/text/lexer.lux b/stdlib/test/test/lux/data/text/lexer.lux
index 36b2eb1d9..25abe3ae4 100644
--- a/stdlib/test/test/lux/data/text/lexer.lux
+++ b/stdlib/test/test/lux/data/text/lexer.lux
@@ -1,15 +1,19 @@
(.module:
- lux
- (lux (control [monad (#+ do Monad)]
- pipe
- ["p" parser])
- [io]
- (data ["E" error]
- [text ("text/" Equivalence<Text>)]
- text/format
- ["&" text/lexer]
- (collection [list]))
- ["r" math/random])
+ [lux #*
+ [control
+ [monad (#+ do Monad)]
+ pipe
+ ["p" parser]]
+ [io]
+ [data
+ ["E" error]
+ [text ("text/" Equivalence<Text>)
+ format
+ ["&" lexer]]
+ [collection
+ [list]]]
+ [math
+ ["r" random]]]
lux/test)
## [Utils]
diff --git a/stdlib/test/test/lux/data/text/regex.lux b/stdlib/test/test/lux/data/text/regex.lux
index 581a9011f..16970af9c 100644
--- a/stdlib/test/test/lux/data/text/regex.lux
+++ b/stdlib/test/test/lux/data/text/regex.lux
@@ -1,18 +1,21 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- pipe
- ["p" parser])
- (data [product]
- [text ("text/" Equivalence<Text>)]
- text/format
- (text [lexer]
- ["&" regex]))
- [macro]
- (macro [code]
- ["s" syntax (#+ syntax:)])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ pipe
+ ["p" parser]]
+ [data
+ [product]
+ [text ("text/" Equivalence<Text>)
+ format
+ [lexer]
+ ["&" regex]]]
+ ["." macro
+ [code]
+ ["s" syntax (#+ syntax:)]]
+ [math
+ ["r" random]]]
lux/test)
## [Utils]
diff --git a/stdlib/test/test/lux/host.js.lux b/stdlib/test/test/lux/host.js.lux
index 8e301bdaa..cba72d0ae 100644
--- a/stdlib/test/test/lux/host.js.lux
+++ b/stdlib/test/test/lux/host.js.lux
@@ -1,10 +1,7 @@
(.module:
- lux
- (lux [io]
- (control ["M" monad (#+ do Monad)])
- (data text/format)
- ["&" host]
- ["r" math/random])
+ [lux #*
+ ["&" host]
+ [math ["r" random]]]
lux/test)
(context: "JavaScript operations"
diff --git a/stdlib/test/test/lux/host.jvm.lux b/stdlib/test/test/lux/host.jvm.lux
index 13728b438..d5469b9c2 100644
--- a/stdlib/test/test/lux/host.jvm.lux
+++ b/stdlib/test/test/lux/host.jvm.lux
@@ -1,14 +1,16 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- pipe)
- (data text/format
- [number]
- [product]
- [text ("text/" Equivalence<Text>)])
- ["&" host (#+ class: interface: object)]
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ pipe]
+ [data
+ [number]
+ [product]
+ [text ("text/" Equivalence<Text>)
+ format]]
+ ["&" host (#+ class: interface: object)]
+ ["r" math/random]]
lux/test)
(&.import: (java/util/concurrent/Callable a))
diff --git a/stdlib/test/test/lux/io.lux b/stdlib/test/test/lux/io.lux
index 4257f8100..0fb9018a6 100644
--- a/stdlib/test/test/lux/io.lux
+++ b/stdlib/test/test/lux/io.lux
@@ -1,10 +1,12 @@
(.module:
- lux
- (lux ["&" io]
- (control ["M" monad (#+ do Monad)])
- (data [text ("text/" Equivalence<Text>)]
- text/format
- [number]))
+ [lux #*
+ ["&" io]
+ [control
+ ["M" monad (#+ do Monad)]]
+ [data
+ [number]
+ [text ("text/" Equivalence<Text>)
+ format]]]
lux/test)
(context: "I/O"
diff --git a/stdlib/test/test/lux/language/compiler/analysis/case.lux b/stdlib/test/test/lux/language/compiler/analysis/case.lux
index a2d54df8a..66b1b0b12 100644
--- a/stdlib/test/test/lux/language/compiler/analysis/case.lux
+++ b/stdlib/test/test/lux/language/compiler/analysis/case.lux
@@ -1,25 +1,32 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do)]
- pipe)
- (data [product]
- [maybe]
- [text ("text/" Equivalence<Text>)]
- (collection [list ("list/" Monad<List>)]
- [set]))
- ["r" math/random ("random/" Monad<Random>)]
- [macro (#+ Monad<Meta>)]
- (macro [code])
- (language [type]
- (type ["tc" check])
- [".L" module]
- (compiler [analysis]
- (analysis [".A" type]
- ["/" case])))
- test)
- (// ["_." primitive]
- ["_." structure]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do)]
+ pipe]
+ [data
+ [product]
+ [maybe]
+ [text ("text/" Equivalence<Text>)]
+ [collection
+ [list ("list/" Monad<List>)]
+ [set]]]
+ [math
+ ["r" random ("random/" Monad<Random>)]]
+ [macro (#+ Monad<Meta>)
+ [code]]
+ [language
+ ["." type
+ ["tc" check]]
+ [".L" module]
+ [compiler
+ ["." analysis
+ [".A" type]
+ ["/" case]]]]
+ test]
+ [//
+ ["_." primitive]
+ ["_." structure]])
(def: (exhaustive-weaving branchings)
(-> (List (List Code)) (List (List Code)))
diff --git a/stdlib/test/test/lux/language/compiler/analysis/function.lux b/stdlib/test/test/lux/language/compiler/analysis/function.lux
index 3de93fcc7..bc1a24811 100644
--- a/stdlib/test/test/lux/language/compiler/analysis/function.lux
+++ b/stdlib/test/test/lux/language/compiler/analysis/function.lux
@@ -1,28 +1,35 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do)]
- pipe)
- (data ["e" error]
- [maybe]
- [product]
- [text ("text/" Equivalence<Text>)]
- text/format
- (collection [list ("list/" Functor<List>)]))
- ["r" math/random]
- [macro]
- (macro [code])
- [language]
- (language [type ("type/" Equivalence<Type>)]
- [".L" reference]
- (compiler [".L" init]
- [".L" analysis (#+ Analysis)]
- (analysis [".A" type]
- [".A" expression]
- ["/" function])))
- test)
- (// ["_." primitive]
- ["_." structure]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do)]
+ pipe]
+ [data
+ ["e" error]
+ [maybe]
+ [product]
+ [text ("text/" Equivalence<Text>)
+ format]
+ [collection
+ [list ("list/" Functor<List>)]]]
+ [math
+ ["r" random]]
+ ["." macro
+ [code]]
+ [language]
+ [language
+ [type ("type/" Equivalence<Type>)]
+ [".L" reference]
+ [compiler
+ [".L" init]
+ [".L" analysis (#+ Analysis)
+ [".A" type]
+ [".A" expression]
+ ["/" function]]]]
+ test]
+ [//
+ ["_." primitive]
+ ["_." structure]])
(def: analyse (expressionA.analyser (:coerce language.Eval [])))
diff --git a/stdlib/test/test/lux/language/compiler/analysis/primitive.lux b/stdlib/test/test/lux/language/compiler/analysis/primitive.lux
index 1643786e3..ba841fbfe 100644
--- a/stdlib/test/test/lux/language/compiler/analysis/primitive.lux
+++ b/stdlib/test/test/lux/language/compiler/analysis/primitive.lux
@@ -1,21 +1,25 @@
(.module:
- [lux (#- primitive)]
- (lux [io]
- (control [monad (#+ do)]
- pipe
- ["ex" exception (#+ exception:)])
- (data (text format)
- ["e" error])
- ["r" math/random ("random/" Monad<Random>)]
- [macro]
- (macro [code])
- [language]
- (language [".L" type ("type/" Equivalence<Type>)]
- (compiler [".L" init]
- [analysis (#+ Analysis)]
- (analysis [".A" type]
- [".A" expression])))
- test))
+ [lux (#- primitive)
+ [io]
+ [control
+ [monad (#+ do)]
+ pipe
+ ["ex" exception (#+ exception:)]]
+ [data
+ ["e" error]
+ [text format]]
+ [math
+ ["r" random ("random/" Monad<Random>)]]
+ ["." macro
+ [code]]
+ ["." language
+ [".L" type ("type/" Equivalence<Type>)]
+ [compiler
+ [".L" init]
+ [analysis (#+ Analysis)
+ [".A" type]
+ [".A" expression]]]]
+ test])
(def: #export analyse (expressionA.analyser (:coerce language.Eval [])))
diff --git a/stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux b/stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux
index ea7d8bdc2..59d1d955a 100644
--- a/stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux
+++ b/stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux
@@ -1,23 +1,30 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do)]
- pipe)
- (concurrency [atom])
- (data text/format
- ["e" error]
- [product]
- (collection [array]))
- ["r" math/random]
- [macro (#+ Monad<Meta>)]
- (macro [code])
- [language]
- (language [type ("type/" Equivalence<Type>)]
- [".L" scope]
- (compiler [".L" init]
- (analysis [".A" type])))
- test)
- (/// ["_." primitive]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do)]
+ pipe]
+ [concurrency
+ [atom]]
+ [data
+ ["e" error]
+ [product]
+ [text format]
+ [collection [array]]]
+ [math
+ ["r" random]]
+ [macro (#+ Monad<Meta>)
+ [code]]
+ ["." language
+ [type ("type/" Equivalence<Type>)]
+ [".L" scope]
+ [compiler
+ [".L" init]
+ [analysis
+ [".A" type]]]]
+ test]
+ [///
+ ["_." primitive]])
(do-template [<name> <success> <failure>]
[(def: (<name> procedure params output-type)
diff --git a/stdlib/test/test/lux/language/compiler/analysis/procedure/host.jvm.lux b/stdlib/test/test/lux/language/compiler/analysis/procedure/host.jvm.lux
index d33af651d..02574a31a 100644
--- a/stdlib/test/test/lux/language/compiler/analysis/procedure/host.jvm.lux
+++ b/stdlib/test/test/lux/language/compiler/analysis/procedure/host.jvm.lux
@@ -1,27 +1,37 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do)]
- pipe)
- (concurrency [atom])
- (data ["e" error]
- [product]
- [maybe]
- [text ("text/" Equivalence<Text>)]
- text/format
- (collection [array]
- [list ("list/" Fold<List>)]
- ["dict" dictionary]))
- ["r" math/random "r/" Monad<Random>]
- [macro (#+ Monad<Meta>)]
- (macro [code])
- [language]
- (language [type]
- (compiler [".L" init]
- (analysis [".A" type])
- (extension (analysis [".AE" host]))))
- test)
- (/// ["_." primitive]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do)]
+ pipe]
+ [concurrency
+ [atom]]
+ [data
+ ["e" error]
+ [product]
+ [maybe]
+ [text ("text/" Equivalence<Text>)
+ format]
+ [collection
+ [array]
+ [list ("list/" Fold<List>)]
+ ["dict" dictionary]]]
+ [math
+ ["r" random "r/" Monad<Random>]]
+ [macro (#+ Monad<Meta>)
+ [code]]
+ ["." language
+ [type]
+ [compiler
+ [".L" init]
+ [analysis
+ [".A" type]]
+ [extension
+ [analysis
+ [".AE" host]]]]]
+ test]
+ [///
+ ["_." primitive]])
(do-template [<name> <success> <failure>]
[(def: (<name> procedure params output-type)
diff --git a/stdlib/test/test/lux/language/compiler/analysis/reference.lux b/stdlib/test/test/lux/language/compiler/analysis/reference.lux
index 413a8fb01..aaad40584 100644
--- a/stdlib/test/test/lux/language/compiler/analysis/reference.lux
+++ b/stdlib/test/test/lux/language/compiler/analysis/reference.lux
@@ -1,25 +1,30 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do)]
- pipe)
- (data ["e" error]
- [ident ("ident/" Equivalence<Ident>)]
- [text ("text/" Equivalence<Text>)])
- ["r" math/random]
- [macro (#+ Monad<Meta>)]
- (macro [code])
- [language]
- (language [type ("type/" Equivalence<Type>)]
- [".L" scope]
- [".L" module]
- [".L" reference]
- (compiler [".L" init]
- [".L" analysis]
- (analysis [".A" type]
- [".A" expression])))
- test)
- (// ["_." primitive]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do)]
+ pipe]
+ [data
+ ["e" error]
+ [ident ("ident/" Equivalence<Ident>)]
+ [text ("text/" Equivalence<Text>)]]
+ [math
+ ["r" random]]
+ [macro (#+ Monad<Meta>) [code]]
+ ["." language]
+ [language
+ [type ("type/" Equivalence<Type>)]
+ [".L" scope]
+ [".L" module]
+ [".L" reference]
+ [compiler
+ [".L" init]
+ [".L" analysis
+ [".A" type]
+ [".A" expression]]]]
+ test]
+ [//
+ ["_." primitive]])
(def: analyse (expressionA.analyser (:coerce language.Eval [])))
diff --git a/stdlib/test/test/lux/language/compiler/analysis/structure.lux b/stdlib/test/test/lux/language/compiler/analysis/structure.lux
index dca02794d..2777ad93b 100644
--- a/stdlib/test/test/lux/language/compiler/analysis/structure.lux
+++ b/stdlib/test/test/lux/language/compiler/analysis/structure.lux
@@ -1,30 +1,36 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do)]
- pipe)
- (data [bool ("bool/" Equivalence<Bool>)]
- ["e" error]
- [product]
- [maybe]
- [text]
- text/format
- (collection [list ("list/" Functor<List>)]
- [set]))
- ["r" math/random]
- [macro]
- (macro [code])
- [language]
- (language [type ("type/" Equivalence<Type>)]
- (type ["tc" check])
- [".L" module]
- (compiler [".L" init]
- [".L" analysis (#+ Analysis Variant Tag)]
- (analysis [".A" type]
- ["/" structure]
- [".A" expression])))
- test)
- (// ["_." primitive]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do)]
+ pipe]
+ [data
+ [bool ("bool/" Equivalence<Bool>)]
+ ["e" error]
+ [product]
+ [maybe]
+ ["." text
+ format]
+ [collection
+ [list ("list/" Functor<List>)]
+ [set]]]
+ [math
+ ["r" random]]
+ ["." macro
+ [code]]
+ ["." language
+ [type ("type/" Equivalence<Type>)
+ ["tc" check]]
+ [".L" module]
+ [compiler
+ [".L" init]
+ [".L" analysis (#+ Analysis Variant Tag)
+ [".A" type]
+ ["/" structure]
+ [".A" expression]]]]
+ test]
+ [//
+ ["_." primitive]])
(def: analyse (expressionA.analyser (:coerce language.Eval [])))
diff --git a/stdlib/test/test/lux/language/syntax.lux b/stdlib/test/test/lux/language/syntax.lux
index 2a6e9ae5d..22420e3eb 100644
--- a/stdlib/test/test/lux/language/syntax.lux
+++ b/stdlib/test/test/lux/language/syntax.lux
@@ -1,18 +1,22 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do)])
- (data [number]
- ["e" error]
- [text]
- (text format
- ["l" lexer])
- (collection [list]
- ["dict" dictionary (#+ Dictionary)]))
- ["r" math/random ("r/" Monad<Random>)]
- (macro [code])
- (language ["&" syntax])
- test))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do)]]
+ [data
+ [number]
+ ["e" error]
+ ["." text
+ format
+ ["l" lexer]]
+ [collection
+ [list]
+ ["dict" dictionary (#+ Dictionary)]]]
+ [math
+ ["r" random ("r/" Monad<Random>)]]
+ [macro [code]]
+ [language ["&" syntax]]
+ test])
(def: default-cursor
Cursor
diff --git a/stdlib/test/test/lux/language/type.lux b/stdlib/test/test/lux/language/type.lux
index ccc315487..7be06000b 100644
--- a/stdlib/test/test/lux/language/type.lux
+++ b/stdlib/test/test/lux/language/type.lux
@@ -1,13 +1,19 @@
(.module:
- lux
- (lux [io]
- (control ["M" monad (#+ do Monad)]
- pipe)
- (data text/format
- [maybe]
- (collection [list]))
- ["r" math/random]
- (language ["&" type]))
+ [lux #*
+ [io]
+ [control
+ ["M" monad (#+ do Monad)]
+ pipe]
+ [data
+ [maybe]
+ [text
+ format]
+ [collection
+ [list]]]
+ [math
+ ["r" random]]
+ [language
+ ["&" type]]]
lux/test)
## [Utils]
diff --git a/stdlib/test/test/lux/language/type/check.lux b/stdlib/test/test/lux/language/type/check.lux
index bc04f461b..8fe7f2bf6 100644
--- a/stdlib/test/test/lux/language/type/check.lux
+++ b/stdlib/test/test/lux/language/type/check.lux
@@ -1,18 +1,23 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- [pipe (#+ case>)])
- (data [product]
- [maybe]
- [number]
- [text ("text/" Monoid<Text> Equivalence<Text>)]
- text/format
- (collection [list ("list/" Functor<List>)]
- [set]))
- ["r" math/random]
- (language [type ("type/" Equivalence<Type>)]
- (type ["@" check])))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ [pipe (#+ case>)]]
+ [data
+ [product]
+ [maybe]
+ [number]
+ [text ("text/" Monoid<Text> Equivalence<Text>)
+ format]
+ [collection
+ [list ("list/" Functor<List>)]
+ [set]]]
+ [math
+ ["r" random]]
+ [language
+ [type ("type/" Equivalence<Type>)
+ ["@" check]]]]
lux/test)
## [Utils]
diff --git a/stdlib/test/test/lux/macro/code.lux b/stdlib/test/test/lux/macro/code.lux
index d1c7eb318..6c5a28265 100644
--- a/stdlib/test/test/lux/macro/code.lux
+++ b/stdlib/test/test/lux/macro/code.lux
@@ -1,12 +1,14 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)])
- (data [text ("text/" Equivalence<Text>)]
- text/format
- [number])
- ["r" math/random]
- (macro ["&" code]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ [number]
+ [text ("text/" Equivalence<Text>)
+ format]]
+ [math ["r" random]]
+ [macro ["&" code]]]
lux/test)
(context: "Code"
diff --git a/stdlib/test/test/lux/macro/poly/equivalence.lux b/stdlib/test/test/lux/macro/poly/equivalence.lux
index 30b41c6b0..3ae57cd40 100644
--- a/stdlib/test/test/lux/macro/poly/equivalence.lux
+++ b/stdlib/test/test/lux/macro/poly/equivalence.lux
@@ -1,18 +1,21 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- [equivalence (#+ Equivalence)])
- (data text/format
- [bool]
- [number ("int/" Number<Int>)]
- [text]
- [maybe]
- (collection [list]))
- ["r" math/random]
- [macro]
- (macro [poly (#+ derived:)]
- ["&" poly/equivalence]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ [equivalence (#+ Equivalence)]]
+ [data
+ [bool]
+ [maybe]
+ [number ("int/" Number<Int>)]
+ ["." text
+ format]
+ [collection [list]]]
+ [math
+ ["r" random]]
+ ["." macro
+ [poly (#+ derived:)]
+ ["&" poly/equivalence]]]
lux/test)
## [Utils]
diff --git a/stdlib/test/test/lux/macro/poly/functor.lux b/stdlib/test/test/lux/macro/poly/functor.lux
index 0b92743e2..6d335701e 100644
--- a/stdlib/test/test/lux/macro/poly/functor.lux
+++ b/stdlib/test/test/lux/macro/poly/functor.lux
@@ -1,9 +1,12 @@
(.module:
- lux
- (lux (control [state])
- (data [identity])
- (macro [poly (#+ derived:)]
- ["&" poly/functor]))
+ [lux #*
+ [control
+ [state]]
+ [data
+ [identity]]
+ [macro
+ [poly (#+ derived:)]
+ ["&" poly/functor]]]
lux/test)
## [Utils]
diff --git a/stdlib/test/test/lux/macro/syntax.lux b/stdlib/test/test/lux/macro/syntax.lux
index 2b1fa4962..8d2b5ff8c 100644
--- a/stdlib/test/test/lux/macro/syntax.lux
+++ b/stdlib/test/test/lux/macro/syntax.lux
@@ -1,19 +1,22 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- [equivalence (#+ Equivalence)]
- ["p" parser])
- (data [text]
- text/format
- [number]
- [bool]
- [ident]
- ["e" error])
- ["r" math/random]
- [macro]
- (macro [code]
- ["s" syntax (#+ syntax: Syntax)]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ [equivalence (#+ Equivalence)]
+ ["p" parser]]
+ [data
+ [bool]
+ [ident]
+ ["e" error]
+ [number]
+ ["." text
+ format]]
+ [math
+ ["r" random]]
+ ["." macro
+ [code]
+ ["s" syntax (#+ syntax: Syntax)]]]
lux/test)
## [Utils]
diff --git a/stdlib/test/test/lux/math.lux b/stdlib/test/test/lux/math.lux
index 2d13430ed..ab12c4894 100644
--- a/stdlib/test/test/lux/math.lux
+++ b/stdlib/test/test/lux/math.lux
@@ -1,11 +1,13 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)])
- (data [bool ("bool/" Equivalence<Bool>)]
- [number ("frac/" Number<Frac>)])
- ["r" math/random]
- ["&" math])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ [bool ("bool/" Equivalence<Bool>)]
+ [number ("frac/" Number<Frac>)]]
+ ["&" math
+ ["r" random]]]
lux/test)
(def: (within? margin-of-error standard value)
diff --git a/stdlib/test/test/lux/math/logic/continuous.lux b/stdlib/test/test/lux/math/logic/continuous.lux
index 8962fc0a2..4dc768cc2 100644
--- a/stdlib/test/test/lux/math/logic/continuous.lux
+++ b/stdlib/test/test/lux/math/logic/continuous.lux
@@ -1,9 +1,12 @@
(.module:
- lux
- (lux (control [monad (#+ do)])
- [io]
- ["r" math/random]
- ["&" math/logic/continuous])
+ [lux #*
+ [control
+ [monad (#+ do)]]
+ [io]
+ [math
+ ["r" random]
+ [logic
+ ["&" continuous]]]]
lux/test)
(context: "Operations"
diff --git a/stdlib/test/test/lux/math/logic/fuzzy.lux b/stdlib/test/test/lux/math/logic/fuzzy.lux
index 2c88469ce..53e183b35 100644
--- a/stdlib/test/test/lux/math/logic/fuzzy.lux
+++ b/stdlib/test/test/lux/math/logic/fuzzy.lux
@@ -1,15 +1,21 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)])
- (data (collection [list]
- [set])
- [bool ("bool/" Equivalence<Bool>)]
- [number]
- text/format)
- ["r" math/random]
- (math/logic ["&" fuzzy]
- continuous))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ [bool ("bool/" Equivalence<Bool>)]
+ [number]
+ [text
+ format]
+ [collection
+ [list]
+ [set]]]
+ [math
+ ["r" random]
+ [logic
+ ["&" fuzzy]
+ continuous]]]
lux/test)
(do-template [<desc> <hash> <gen> <triangle> <lt> <lte> <gt> <gte>]
diff --git a/stdlib/test/test/lux/math/modular.lux b/stdlib/test/test/lux/math/modular.lux
index afa6330d3..89e2e94a3 100644
--- a/stdlib/test/test/lux/math/modular.lux
+++ b/stdlib/test/test/lux/math/modular.lux
@@ -1,13 +1,17 @@
(.module:
- lux
- (lux (control [monad (#+ do)])
- (data [product]
- [bool ("bool/" Equivalence<Bool>)]
- ["e" error]
- text/format)
- (math ["r" random]
- ["/" modular])
- (language [type ("type/" Equivalence<Type>)]))
+ [lux #*
+ [control
+ [monad (#+ do)]]
+ [data
+ [product]
+ [bool ("bool/" Equivalence<Bool>)]
+ ["e" error]
+ [text
+ format]]
+ [math
+ ["r" random]
+ ["/" modular]]
+ [language [type ("type/" Equivalence<Type>)]]]
lux/test)
(def: %3 (/.modulus 3))
diff --git a/stdlib/test/test/lux/math/random.lux b/stdlib/test/test/lux/math/random.lux
index aa574511b..2785666e0 100644
--- a/stdlib/test/test/lux/math/random.lux
+++ b/stdlib/test/test/lux/math/random.lux
@@ -1,17 +1,20 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)])
- (data [number]
- text/format
- (collection [list]
- [row]
- [array]
- [queue]
- [stack]
- [set]
- ["dict" dictionary]))
- (math ["r" random]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ [number]
+ [text format]
+ [collection
+ [list]
+ [row]
+ [array]
+ [queue]
+ [stack]
+ [set]
+ ["dict" dictionary]]]
+ [math ["r" random]]]
lux/test)
(context: "Random."
diff --git a/stdlib/test/test/lux/time/date.lux b/stdlib/test/test/lux/time/date.lux
index 93238bc11..9f70e738f 100644
--- a/stdlib/test/test/lux/time/date.lux
+++ b/stdlib/test/test/lux/time/date.lux
@@ -1,14 +1,18 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- [pipe])
- (data [error])
- (math ["r" random ("random/" Monad<Random>)])
- (time ["@." instant]
- ["@" date]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ [pipe]]
+ [data
+ [error]]
+ [math
+ ["r" random ("random/" Monad<Random>)]]
+ [time
+ ["@." instant]
+ ["@" date]]]
lux/test
- (test (lux (time ["_." instant]))))
+ [test [lux [time ["_." instant]]]])
(def: month
(r.Random @.Month)
diff --git a/stdlib/test/test/lux/time/duration.lux b/stdlib/test/test/lux/time/duration.lux
index a15738906..c5896b193 100644
--- a/stdlib/test/test/lux/time/duration.lux
+++ b/stdlib/test/test/lux/time/duration.lux
@@ -1,10 +1,14 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)])
- (data ["E" error])
- (math ["r" random])
- (time ["@" duration]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]]
+ [data
+ ["E" error]]
+ [math
+ ["r" random]]
+ [time
+ ["@" duration]]]
lux/test)
(def: #export duration
diff --git a/stdlib/test/test/lux/time/instant.lux b/stdlib/test/test/lux/time/instant.lux
index c1e258566..6914bd7b0 100644
--- a/stdlib/test/test/lux/time/instant.lux
+++ b/stdlib/test/test/lux/time/instant.lux
@@ -1,17 +1,22 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do Monad)]
- pipe)
- (data [text]
- text/format
- [error])
- (math ["r" random])
- (time ["@" instant]
- ["@d" duration]
- ["@date" date]))
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do Monad)]
+ pipe]
+ [data
+ ["." text
+ format]
+ [error]]
+ [math
+ ["r" random]]
+ [time
+ ["@" instant]
+ ["@d" duration]
+ ["@date" date]]]
lux/test
- (// ["_." duration]))
+ [//
+ ["_." duration]])
(def: boundary Int 99_999_999_999_999)
diff --git a/stdlib/test/test/lux/type/implicit.lux b/stdlib/test/test/lux/type/implicit.lux
index 680241dde..e19f672e0 100644
--- a/stdlib/test/test/lux/type/implicit.lux
+++ b/stdlib/test/test/lux/type/implicit.lux
@@ -1,14 +1,17 @@
(.module:
- lux
- (lux [io]
- (control [equivalence]
- [functor]
- [monad (#+ do Monad)])
- (data [number]
- [bool ("bool/" Equivalence<Bool>)]
- (collection [list]))
- ["r" math/random]
- (type implicit))
+ [lux #*
+ [io]
+ [control
+ [equivalence]
+ [functor]
+ [monad (#+ do Monad)]]
+ [data
+ [bool ("bool/" Equivalence<Bool>)]
+ [number]
+ [collection [list]]]
+ [math
+ ["r" random]]
+ [type implicit]]
lux/test)
(context: "Automatic structure selection"
diff --git a/stdlib/test/test/lux/type/object/interface.lux b/stdlib/test/test/lux/type/object/interface.lux
index e7afc5f64..6cc1eb4b0 100644
--- a/stdlib/test/test/lux/type/object/interface.lux
+++ b/stdlib/test/test/lux/type/object/interface.lux
@@ -1,7 +1,11 @@
(.module:
- lux
- (lux (data (collection [list]))
- (type (object interface))))
+ [lux #*
+ [data
+ [collection
+ [list]]]
+ [type
+ [object
+ interface]]])
## No parameters
(interface: Counter
diff --git a/stdlib/test/test/lux/type/object/protocol.lux b/stdlib/test/test/lux/type/object/protocol.lux
index 58e4f6fcd..0ec93442b 100644
--- a/stdlib/test/test/lux/type/object/protocol.lux
+++ b/stdlib/test/test/lux/type/object/protocol.lux
@@ -1,7 +1,11 @@
(.module:
- lux
- (lux (data text/format)
- (type (object protocol))))
+ [lux #*
+ [data
+ [text
+ format]]
+ [type
+ [object
+ protocol]]])
(type: Counter (Object (Method Any Nat)))
diff --git a/stdlib/test/test/lux/type/resource.lux b/stdlib/test/test/lux/type/resource.lux
index 9024975e2..7a9940499 100644
--- a/stdlib/test/test/lux/type/resource.lux
+++ b/stdlib/test/test/lux/type/resource.lux
@@ -1,9 +1,12 @@
(.module:
- lux
- (lux (control (monad [indexed (#+ do)]))
- [macro]
- (type [resource (#+ Res)])
- [io])
+ [lux #*
+ [control
+ [monad
+ [indexed (#+ do)]]]
+ [macro]
+ [type
+ [resource (#+ Res)]]
+ [io]]
lux/test)
(context: "Sub-structural typing."
diff --git a/stdlib/test/test/lux/world/blob.lux b/stdlib/test/test/lux/world/blob.lux
index 2adc116c3..7bce91298 100644
--- a/stdlib/test/test/lux/world/blob.lux
+++ b/stdlib/test/test/lux/world/blob.lux
@@ -1,16 +1,23 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do)]
- [pipe])
- (data [bit]
- [number]
- ["e" error]
- (collection [list]))
- (world ["/" blob])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do)]
+ [pipe]]
+ [data
+ [bit]
+ [number]
+ ["e" error]
+ [collection [list]]]
+ [world
+ ["/" blob]]
+ [math
+ ["r" random]]]
lux/test
- (test (lux (control ["_eq" equivalence]))))
+ [test
+ [lux
+ [control
+ ["_eq" equivalence]]]])
(def: (succeed result)
(-> (e.Error Bool) Bool)
diff --git a/stdlib/test/test/lux/world/file.lux b/stdlib/test/test/lux/world/file.lux
index bd6ff9294..6f508baaa 100644
--- a/stdlib/test/test/lux/world/file.lux
+++ b/stdlib/test/test/lux/world/file.lux
@@ -1,19 +1,26 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do)])
- (concurrency [promise])
- (data [error]
- [text]
- text/format
- [number])
- (time [instant]
- [duration])
- (world ["@" file]
- [blob])
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do)]]
+ [concurrency
+ [promise]]
+ [data
+ [error]
+ [number]
+ ["." text
+ format]]
+ [time
+ [instant]
+ [duration]]
+ [world
+ ["@" file]
+ [blob]]
+ [math
+ ["r" random]]]
lux/test
- (// ["_." blob]))
+ [//
+ ["_." blob]])
(def: truncate-millis
(|>> (i// 1_000) (i/* 1_000)))
diff --git a/stdlib/test/test/lux/world/net/tcp.lux b/stdlib/test/test/lux/world/net/tcp.lux
index 7277a5b1c..26b7703ea 100644
--- a/stdlib/test/test/lux/world/net/tcp.lux
+++ b/stdlib/test/test/lux/world/net/tcp.lux
@@ -1,20 +1,26 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do)]
- ["ex" exception (#+ exception:)])
- (concurrency ["P" promise]
- ["T" task]
- [frp ("frp/" Functor<Channel>)])
- (data ["E" error]
- [text]
- text/format)
- (world [blob]
- [net]
- (net ["@" tcp]))
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]]
+ [concurrency
+ ["P" promise]
+ ["T" task]
+ [frp ("frp/" Functor<Channel>)]]
+ [data
+ ["E" error]
+ ["." text
+ format]]
+ [world
+ [blob]
+ ["." net
+ ["@" tcp]]]
+ [math
+ ["r" random]]]
lux/test
- (/// ["_." blob]))
+ [///
+ ["_." blob]])
(def: localhost net.Address "127.0.0.1")
(def: port
diff --git a/stdlib/test/test/lux/world/net/udp.lux b/stdlib/test/test/lux/world/net/udp.lux
index 53c2f9d88..b1685ebc7 100644
--- a/stdlib/test/test/lux/world/net/udp.lux
+++ b/stdlib/test/test/lux/world/net/udp.lux
@@ -1,20 +1,26 @@
(.module:
- lux
- (lux [io]
- (control [monad (#+ do)]
- ["ex" exception (#+ exception:)])
- (concurrency ["P" promise]
- ["T" task]
- [frp])
- (data ["E" error]
- [text]
- text/format)
- (world [blob]
- [net]
- (net ["@" udp]))
- ["r" math/random])
+ [lux #*
+ [io]
+ [control
+ [monad (#+ do)]
+ ["ex" exception (#+ exception:)]]
+ [concurrency
+ ["P" promise]
+ ["T" task]
+ [frp]]
+ [data
+ ["E" error]
+ ["." text
+ format]]
+ [world
+ [blob]
+ ["." net
+ ["@" udp]]]
+ [math
+ ["r" random]]]
lux/test
- (/// ["_." blob]))
+ [///
+ ["_." blob]])
(def: localhost net.Address "127.0.0.1")
(def: port
diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux
index 8d644b68e..baa1c6f54 100644
--- a/stdlib/test/tests.lux
+++ b/stdlib/test/tests.lux
@@ -1,140 +1,174 @@
(.module:
- lux
- (lux [cli (#+ program:)]
- [test])
- (test ["_." lux]
- (lux ["_." cli]
- ["_." host]
- ["_." io]
- (time ["_." instant]
- ["_." duration]
- ["_." date])
- (concurrency ["_." actor]
- ["_." atom]
- ["_." frp]
- ["_." promise]
- ["_." stm]
- ["_." semaphore])
- (control ["_." exception]
- ["_." interval]
- ["_." pipe]
- ["_." continuation]
- ["_." reader]
- ["_." writer]
- ["_." state]
- ["_." parser]
- ["_." thread]
- ["_." region])
- (data ["_." bit]
- ["_." bool]
- ["_." color]
- ["_." error]
- ["_." ident]
- ["_." identity]
- ["_." lazy]
- ["_." maybe]
- ["_." product]
- ["_." sum]
- ## ["_." number] ## Specially troublesome...
- (number ["_." ratio]
- ["_." complex])
- ["_." text]
- (text ["_." format]
- ["_." lexer]
- ["_." regex])
- (format ["_." json]
- ["_." xml])
- (collection ["_." array]
- ["_." bits]
- ["_." list]
- ["_." stack]
- ["_." row]
- ["_." sequence]
- ["_." dictionary]
- (dictionary ["_.D" ordered])
- ["_." set]
- (set ["_.S" ordered])
- ["_." queue]
- (queue ["_." priority])
- (tree ["_." rose]
- (rose ["_." zipper]))))
- ["_." math]
- (math ["_." random]
- ["_." modular]
- (logic ["_." continuous]
- ["_." fuzzy]))
- (macro ["_." code]
- ["_." syntax]
- (poly ["poly_." equivalence]
- ["poly_." functor]))
- (type ## ["_." implicit] ## Specially troublesome...
- ["_." resource]
- (object
- ["_." interface]
- ["_." protocol]))
- (language ["_language/." syntax]
- ["_." type]
- (type ["_." check])
- (compiler (analysis ["_.A" primitive]
- ["_.A" structure]
- ["_.A" reference]
- ["_.A" case]
- ["_.A" function]
- ## (procedure ["_.A" common]
- ## ["_.A" host])
- )
- ## (synthesis ["_.S" primitive]
- ## ["_.S" structure]
- ## ["_.S" case]
- ## ["_.S" function])
- )
- )
- (world ["_." blob]
- ## ["_." file] ## Specially troublesome...
- (net ["_." tcp]
- ["_." udp]))
- ))
- (lux (control [contract]
- [concatenative]
- [predicate]
- [monad/free])
- (data [env]
- [trace]
- [store]
- [tainted]
- (format [context]
- [html]
- [css]
- [binary])
- (collection (tree ["_." rose/parser])
- (dictionary [plist])
- (set [multi]))
- (text [buffer]))
- [macro]
- (macro (poly [json]))
- (type [unit]
- [refinement]
- [quotient])
- (world [environment]
- [console])
- (language (host [".H" scheme])
- (compiler [translation]
- (translation (scheme ["._scheme" primitive]
- ["._scheme" structure]
- ["._scheme" reference]
- ["._scheme" function]
- ["._scheme" loop]
- ["._scheme" case]
- ["._scheme" extension]
- ["._scheme" extension/common]
- ["._scheme" expression]))
- (default (repl [type]))
- (meta [io]
- [io/context]
- [io/archive]
- [archive]
- ["._meta" cache])
- (default ["._default" cache]))))
+ [lux #*
+ [cli (#+ program:)]
+ [test]
+ ## TODO: Test these modules
+ [control
+ [contract]
+ [concatenative]
+ [predicate]
+ [monad/free]]
+ [data
+ [env]
+ [trace]
+ [store]
+ [tainted]
+ [format
+ [context]
+ [html]
+ [css]
+ [binary]]
+ [collection
+ [tree ["_." rose/parser]]
+ [dictionary [plist]]
+ [set [multi]]]
+ [text [buffer]]]
+ [macro (#+)
+ [poly [json]]]
+ [type
+ [unit]
+ [refinement]
+ [quotient]]
+ [world
+ [environment]
+ [console]]
+ [language
+ [host [".H" scheme]]
+ [compiler
+ [translation (#+)
+ [scheme
+ ["._scheme" primitive]
+ ["._scheme" structure]
+ ["._scheme" reference]
+ ["._scheme" function]
+ ["._scheme" loop]
+ ["._scheme" case]
+ ["._scheme" extension]
+ ["._scheme" extension/common]
+ ["._scheme" expression]]]
+ [default [repl [type]]]
+ [meta
+ [io]
+ [io/context]
+ [io/archive]
+ [archive]
+ ["._meta" cache]]
+ [default ["._default" cache]]]]]
+ [test
+ ["_." lux]
+ [lux
+ ["_." cli]
+ ["_." host]
+ ["_." io]
+ [time
+ ["_." instant]
+ ["_." duration]
+ ["_." date]]
+ [concurrency
+ ["_." actor]
+ ["_." atom]
+ ["_." frp]
+ ["_." promise]
+ ["_." stm]
+ ["_." semaphore]]
+ [control
+ ["_." exception]
+ ["_." interval]
+ ["_." pipe]
+ ["_." continuation]
+ ["_." reader]
+ ["_." writer]
+ ["_." state]
+ ["_." parser]
+ ["_." thread]
+ ["_." region]]
+ [data
+ ["_." bit]
+ ["_." bool]
+ ["_." color]
+ ["_." error]
+ ["_." ident]
+ ["_." identity]
+ ["_." lazy]
+ ["_." maybe]
+ ["_." product]
+ ["_." sum]
+ ## ["_." number] ## Specially troublesome...
+ [number
+ ["_." ratio]
+ ["_." complex]]
+ ["_." text]
+ [text
+ ["_." format]
+ ["_." lexer]
+ ["_." regex]]
+ [format
+ ["_." json]
+ ["_." xml]]
+ [collection
+ ["_." array]
+ ["_." bits]
+ ["_." list]
+ ["_." stack]
+ ["_." row]
+ ["_." sequence]
+ ["_." dictionary]
+ [dictionary ["_.D" ordered]]
+ ["_." set]
+ [set ["_.S" ordered]]
+ ["_." queue]
+ [queue ["_." priority]]
+ [tree
+ ["_." rose]
+ [rose ["_." zipper]]]]]
+ ["_." math]
+ [math
+ ["_." random]
+ ["_." modular]
+ [logic
+ ["_." continuous]
+ ["_." fuzzy]]]
+ [macro
+ ["_." code]
+ ["_." syntax]
+ [poly
+ ["poly_." equivalence]
+ ["poly_." functor]]]
+ [type
+ ## ["_." implicit] ## Specially troublesome...
+ ["_." resource]
+ [object
+ ["_." interface]
+ ["_." protocol]]]
+ [language
+ ["_language/." syntax]
+ ["_." type]
+ [type ["_." check]]
+ [compiler
+ [analysis
+ ["_.A" primitive]
+ ["_.A" structure]
+ ["_.A" reference]
+ ["_.A" case]
+ ["_.A" function]
+ ## [procedure
+ ## ["_.A" common]
+ ## ["_.A" host]]
+ ]
+ ## [synthesis
+ ## ["_.S" primitive]
+ ## ["_.S" structure]
+ ## ["_.S" case]
+ ## ["_.S" function]]
+ ]
+ ]
+ [world
+ ["_." blob]
+ ## ["_." file] ## Specially troublesome...
+ [net
+ ["_." tcp]
+ ["_." udp]]]
+ ]]
)
(program: args