aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor
diff options
context:
space:
mode:
authorEduardo Julian2021-09-04 12:49:52 -0400
committerEduardo Julian2021-09-04 12:49:52 -0400
commitfc8bebd3b3c5f050ea92e72eecbd9f6df09f28db (patch)
tree24858adac0e67228620b7e9166e3b7335be9fd5a /stdlib/source/specification/compositor
parent891b1cfc82322f8017f0a4f6b707d6fe52024545 (diff)
De-taggification | part 2
Diffstat (limited to 'stdlib/source/specification/compositor')
-rw-r--r--stdlib/source/specification/compositor/analysis/type.lux14
-rw-r--r--stdlib/source/specification/compositor/common.lux18
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux18
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux18
-rw-r--r--stdlib/source/specification/compositor/generation/function.lux20
-rw-r--r--stdlib/source/specification/compositor/generation/primitive.lux12
-rw-r--r--stdlib/source/specification/compositor/generation/reference.lux12
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux16
8 files changed, 64 insertions, 64 deletions
diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index 662748677..2ad411da0 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." io]
["." try]]
[math
- ["r" random (#+ Random)]]
+ ["r" random {"+" [Random]}]]
[macro
["." code]]
[tool
[compiler
- [analysis (#+ State+)]
+ [analysis {"+" [State+]}]
["." phase
- [macro (#+ Expander)]
+ [macro {"+" [Expander]}]
["." analysis
["#/." scope]
["#/." type]]]]]])
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index 72a27804d..bf1236b3f 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -1,23 +1,23 @@
(.module:
- [lux #*
+ [lux "*"
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- ["." io (#+ IO)]
- ["." try (#+ Try)]]
+ ["." io {"+" [IO]}]
+ ["." try {"+" [Try]}]]
[tool
[compiler
["." reference]
["." analysis]
- ["." synthesis (#+ Synthesis)]
+ ["." synthesis {"+" [Synthesis]}]
["." directive]
["." phase
- ["." macro (#+ Expander)]
- ["." generation (#+ Operation)]
- [extension (#+ Extender)
+ ["." macro {"+" [Expander]}]
+ ["." generation {"+" [Operation]}]
+ [extension {"+" [Extender]}
["." bundle]]]
[default
- ["." platform (#+ Platform)]]]]])
+ ["." 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 d1d0074fd..c7c221eb7 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>)]
- ["." try (#+ Try)]]
+ [pipe {"+" [case>]}]
+ ["." try {"+" [Try]}]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[number
["n" nat]
["f" frac]]
[collection
["." list ("#\." mix)]]]
[math
- ["r" random (#+ Random)]]
+ ["r" random {"+" [Random]}]]
[tool
[compiler
["." reference]
["." analysis]
- ["." synthesis (#+ Path Synthesis)]
+ ["." synthesis {"+" [Path Synthesis]}]
["." phase
["#/." synthesis
["." case]]
["." 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 e9d8eae55..18d739d8e 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>)]
- ["." try (#+ Try)]]
+ [pipe {"+" [case>]}]
+ ["." try {"+" [Try]}]]
[data
["." bit ("#\." equivalence)]
[number
@@ -14,19 +14,19 @@
["i" int]
["f" frac]]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list]]]
[math
- ["r" random (#+ Random)]]
+ ["r" random {"+" [Random]}]]
[tool
[compiler
["." reference]
["." synthesis]]]]
- ["." // #_
+ ["." // "_"
["#." 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 d97b2c02c..dc92cc224 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]}]
["." enum]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." maybe]]
[data
[number
@@ -13,16 +13,16 @@
[collection
["." list ("#\." functor)]]]
[math
- ["r" random (#+ Random) ("#\." monad)]]
+ ["r" random {"+" [Random]} ("#\." monad)]]
[tool
[compiler
- [analysis (#+ Arity)]
- ["." reference (#+ Register)]
- ["." synthesis (#+ Synthesis)]]]]
- ["." // #_
+ [analysis {"+" [Arity]}]
+ ["." reference {"+" [Register]}]
+ ["." synthesis {"+" [Synthesis]}]]]]
+ ["." // "_"
["#." 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 cd740649c..a73ba6f21 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." try]]
[data
["." bit ("#\." equivalence)]
[number
["f" frac]]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
["r" random]]
[tool
[compiler
["." 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 ee9da7455..bcf2bb2d1 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." try]]
[data
[number
@@ -15,9 +15,9 @@
["." reference]
["." 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 33e38520f..4161c650a 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." maybe]
["." try]]
[data
@@ -12,19 +12,19 @@
["n" nat]
["i" int]]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
- ["." array (#+ Array)]
+ ["." array {"+" [Array]}]
["." list ("#\." functor)]]]
[math
["r" random]]
- ["." ffi (#+ import:)]
+ ["." ffi {"+" [import:]}]
[tool
[compiler
["." analysis]
["." synthesis]]]]
[///
- [common (#+ Runner)]])
+ [common {"+" [Runner]}]])
(import: java/lang/Integer)