aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/compositor')
-rw-r--r--stdlib/source/specification/compositor/analysis/type.lux12
-rw-r--r--stdlib/source/specification/compositor/common.lux16
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux18
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux16
-rw-r--r--stdlib/source/specification/compositor/generation/function.lux18
-rw-r--r--stdlib/source/specification/compositor/generation/primitive.lux10
-rw-r--r--stdlib/source/specification/compositor/generation/reference.lux10
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux14
8 files changed, 57 insertions, 57 deletions
diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index bd8da0f38..d4f3a863b 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -1,21 +1,21 @@
(.module:
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" io]
["[0]" try]]
[math
- ["r" random {"+" [Random]}]]
+ ["r" random {"+" Random}]]
[macro
["[0]" code]]
[tool
[compiler
- [analysis {"+" [State+]}]
+ [analysis {"+" State+}]
["[0]" phase
- [macro {"+" [Expander]}]
+ [macro {"+" Expander}]
["[0]" analysis
["[1]/[0]" scope]
["[1]/[0]" type]]]]]])
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index c71082a94..616952c2b 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -1,23 +1,23 @@
(.module:
[lux "*"
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- ["[0]" io {"+" [IO]}]
- ["[0]" try {"+" [Try]}]]
+ ["[0]" io {"+" IO}]
+ ["[0]" try {"+" Try}]]
[tool
[compiler
["[0]" reference]
["[0]" analysis]
- ["[0]" synthesis {"+" [Synthesis]}]
+ ["[0]" synthesis {"+" Synthesis}]
["[0]" directive]
["[0]" phase
- ["[0]" macro {"+" [Expander]}]
- ["[0]" generation {"+" [Operation]}]
- [extension {"+" [Extender]}
+ ["[0]" macro {"+" Expander}]
+ ["[0]" generation {"+" Operation}]
+ [extension {"+" Extender}
["[0]" bundle]]]
[default
- ["[0]" platform {"+" [Platform]}]]]]])
+ ["[0]" platform {"+" Platform}]]]]])
(type: .public Runner
(-> Text Synthesis (Try Any)))
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 8343cbb67..00de5e126 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -1,32 +1,32 @@
(.module:
- [lux {"-" [case]}
- ["_" test {"+" [Test]}]
+ [lux {"-" case}
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
- ["[0]" try {"+" [Try]}]]
+ [pipe {"+" case>}]
+ ["[0]" try {"+" Try}]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[number
["n" nat]
["f" frac]]
[collection
["[0]" list ("[1]#[0]" mix)]]]
[math
- ["r" random {"+" [Random]}]]
+ ["r" random {"+" Random}]]
[tool
[compiler
["[0]" reference]
["[0]" analysis]
- ["[0]" synthesis {"+" [Path Synthesis]}]
+ ["[0]" synthesis {"+" Path Synthesis}]
["[0]" phase
["[1]/[0]" synthesis
["[0]" case]]
["[0]" extension/synthesis]]]]]
[///
- [common {"+" [Runner]}]])
+ [common {"+" Runner}]])
(def: limit Nat 10)
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index 82dc698f9..6f7fe3b68 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -1,11 +1,11 @@
(.module:
- [lux {"-" [i64]}
- ["_" test {"+" [Test]}]
+ [lux {"-" i64}
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
- ["[0]" try {"+" [Try]}]]
+ [pipe {"+" case>}]
+ ["[0]" try {"+" Try}]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
[number
@@ -14,11 +14,11 @@
["i" int]
["f" frac]]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list]]]
[math
- ["r" random {"+" [Random]}]]
+ ["r" random {"+" Random}]]
[tool
[compiler
["[0]" reference]
@@ -26,7 +26,7 @@
["[0]" // "_"
["[1][0]" case]
[//
- [common {"+" [Runner]}]]])
+ [common {"+" Runner}]]])
(def: safe
(-> Text Text)
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index 8250a8d71..0898eb48b 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -1,11 +1,11 @@
(.module:
- [lux {"-" [function]}
- ["_" test {"+" [Test]}]
+ [lux {"-" function}
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
["[0]" enum]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" maybe]]
[data
[number
@@ -13,16 +13,16 @@
[collection
["[0]" list ("[1]#[0]" functor)]]]
[math
- ["r" random {"+" [Random]} ("[1]#[0]" monad)]]
+ ["r" random {"+" Random} ("[1]#[0]" monad)]]
[tool
[compiler
- [analysis {"+" [Arity]}]
- ["[0]" reference {"+" [Register]}]
- ["[0]" synthesis {"+" [Synthesis]}]]]]
+ [analysis {"+" Arity}]
+ ["[0]" reference {"+" Register}]
+ ["[0]" synthesis {"+" Synthesis}]]]]
["[0]" // "_"
["[1][0]" case]
[//
- [common {"+" [Runner]}]]])
+ [common {"+" Runner}]]])
(def: max_arity
Arity
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index 531b48c88..48de4d90e 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -1,24 +1,24 @@
(.module:
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" try]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
[number
["f" frac]]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
["r" random]]
[tool
[compiler
["[0]" synthesis]]]]
[///
- [common {"+" [Runner]}]])
+ [common {"+" Runner}]])
(def: (f/=' reference subject)
(-> Frac Frac Bit)
diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index ddeab3146..d19aed0af 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -1,10 +1,10 @@
(.module:
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" try]]
[data
[number
@@ -15,9 +15,9 @@
["[0]" reference]
["[0]" synthesis]]]
[math
- ["r" random {"+" [Random]}]]]
+ ["r" random {"+" Random}]]]
[///
- [common {"+" [Runner Definer]}]])
+ [common {"+" Runner Definer}]])
(def: name
(Random Name)
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index 9045c60e1..40a00e8c6 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -1,10 +1,10 @@
(.module:
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" maybe]
["[0]" try]]
[data
@@ -12,19 +12,19 @@
["n" nat]
["i" int]]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
- ["[0]" array {"+" [Array]}]
+ ["[0]" array {"+" Array}]
["[0]" list ("[1]#[0]" functor)]]]
[math
["r" random]]
- ["[0]" ffi {"+" [import:]}]
+ ["[0]" ffi {"+" import:}]
[tool
[compiler
["[0]" analysis]
["[0]" synthesis]]]]
[///
- [common {"+" [Runner]}]])
+ [common {"+" Runner}]])
(import: java/lang/Integer)