aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor
diff options
context:
space:
mode:
authorEduardo Julian2021-09-07 22:50:21 -0400
committerEduardo Julian2021-09-07 22:50:21 -0400
commit35c0807799717cd720ab28b35851c1a01a67445d (patch)
treec6237b79fb262d24c8a46ee3ecb714df3e9874d8 /stdlib/source/specification/compositor
parentb55cefcb258f11eeee32c1478faefd1bd09ec871 (diff)
De-taggification | part 4
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/compositor.lux30
-rw-r--r--stdlib/source/specification/compositor/analysis/type.lux14
-rw-r--r--stdlib/source/specification/compositor/common.lux22
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux20
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux18
-rw-r--r--stdlib/source/specification/compositor/generation/function.lux16
-rw-r--r--stdlib/source/specification/compositor/generation/primitive.lux8
-rw-r--r--stdlib/source/specification/compositor/generation/reference.lux6
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux16
9 files changed, 75 insertions, 75 deletions
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index d8d1a718c..a2569f334 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -4,30 +4,30 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." io {"+" [IO]}]
- ["." try]]
+ ["[0]" io {"+" [IO]}]
+ ["[0]" try]]
[math
["r" random]]
[tool
[compiler
- ["." analysis]
- ["." directive]
+ ["[0]" analysis]
+ ["[0]" directive]
[phase
[macro {"+" [Expander]}]
[generation {"+" [Bundle]}]]
[default
[platform {"+" [Platform]}]]]]]
- ["." / "_"
- ["#." common {"+" [Runner Definer]}]
- ["#./" analysis "_"
- ["#." type]]
- ["#./" generation "_"
- ["#." primitive]
- ["#." structure]
- ["#." reference]
- ["#." case]
- ["#." function]
- ["#." common]]])
+ ["[0]" / "_"
+ ["[1][0]" common {"+" [Runner Definer]}]
+ ["[1]./" analysis "_"
+ ["[1][0]" type]]
+ ["[1]./" generation "_"
+ ["[1][0]" primitive]
+ ["[1][0]" structure]
+ ["[1][0]" reference]
+ ["[1][0]" case]
+ ["[1][0]" function]
+ ["[1][0]" common]]])
(def: (test runner definer state expander)
(-> Runner Definer analysis.State+ Expander Test)
diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index 2ad411da0..be7677848 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -5,20 +5,20 @@
[monad {"+" [do]}]]
[control
[pipe {"+" [case>]}]
- ["." io]
- ["." try]]
+ ["[0]" io]
+ ["[0]" try]]
[math
["r" random {"+" [Random]}]]
[macro
- ["." code]]
+ ["[0]" code]]
[tool
[compiler
[analysis {"+" [State+]}]
- ["." phase
+ ["[0]" phase
[macro {"+" [Expander]}]
- ["." analysis
- ["#/." scope]
- ["#/." type]]]]]])
+ ["[0]" analysis
+ ["[1]/[0]" scope]
+ ["[1]/[0]" type]]]]]])
(def: (check_success+ expander state extension params output_type)
(-> Expander State+ Text (List Code) Type Bit)
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index bf1236b3f..31a1675f3 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -3,21 +3,21 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." io {"+" [IO]}]
- ["." try {"+" [Try]}]]
+ ["[0]" io {"+" [IO]}]
+ ["[0]" try {"+" [Try]}]]
[tool
[compiler
- ["." reference]
- ["." analysis]
- ["." synthesis {"+" [Synthesis]}]
- ["." directive]
- ["." phase
- ["." macro {"+" [Expander]}]
- ["." generation {"+" [Operation]}]
+ ["[0]" reference]
+ ["[0]" analysis]
+ ["[0]" synthesis {"+" [Synthesis]}]
+ ["[0]" directive]
+ ["[0]" phase
+ ["[0]" macro {"+" [Expander]}]
+ ["[0]" generation {"+" [Operation]}]
[extension {"+" [Extender]}
- ["." bundle]]]
+ ["[0]" bundle]]]
[default
- ["." 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 d71abc703..d699aa74b 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -5,26 +5,26 @@
[monad {"+" [do]}]]
[control
[pipe {"+" [case>]}]
- ["." try {"+" [Try]}]]
+ ["[0]" try {"+" [Try]}]]
[data
- ["." text ("#\." equivalence)
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]]
[number
["n" nat]
["f" frac]]
[collection
- ["." list ("#\." mix)]]]
+ ["[0]" list ("[1]\[0]" mix)]]]
[math
["r" random {"+" [Random]}]]
[tool
[compiler
- ["." reference]
- ["." analysis]
- ["." synthesis {"+" [Path Synthesis]}]
- ["." phase
- ["#/." synthesis
- ["." case]]
- ["." extension/synthesis]]]]]
+ ["[0]" reference]
+ ["[0]" analysis]
+ ["[0]" synthesis {"+" [Path Synthesis]}]
+ ["[0]" phase
+ ["[1]/[0]" synthesis
+ ["[0]" case]]
+ ["[0]" extension/synthesis]]]]]
[///
[common {"+" [Runner]}]])
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index 917d830b6..c8dd72bf7 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -5,26 +5,26 @@
[monad {"+" [do]}]]
[control
[pipe {"+" [case>]}]
- ["." try {"+" [Try]}]]
+ ["[0]" try {"+" [Try]}]]
[data
- ["." bit ("#\." equivalence)]
+ ["[0]" bit ("[1]\[0]" equivalence)]
[number
- ["." i64]
+ ["[0]" i64]
["n" nat]
["i" int]
["f" frac]]
- ["." text ("#\." equivalence)
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]]
[collection
- ["." list]]]
+ ["[0]" list]]]
[math
["r" random {"+" [Random]}]]
[tool
[compiler
- ["." reference]
- ["." synthesis]]]]
- ["." // "_"
- ["#." case]
+ ["[0]" reference]
+ ["[0]" synthesis]]]]
+ ["[0]" // "_"
+ ["[1][0]" case]
[//
[common {"+" [Runner]}]]])
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index f356bce90..1708264a2 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -3,24 +3,24 @@
["_" test {"+" [Test]}]
[abstract
[monad {"+" [do]}]
- ["." enum]]
+ ["[0]" enum]]
[control
[pipe {"+" [case>]}]
- ["." maybe]]
+ ["[0]" maybe]]
[data
[number
["n" nat]]
[collection
- ["." list ("#\." functor)]]]
+ ["[0]" list ("[1]\[0]" functor)]]]
[math
- ["r" random {"+" [Random]} ("#\." monad)]]
+ ["r" random {"+" [Random]} ("[1]\[0]" monad)]]
[tool
[compiler
[analysis {"+" [Arity]}]
- ["." reference {"+" [Register]}]
- ["." synthesis {"+" [Synthesis]}]]]]
- ["." // "_"
- ["#." case]
+ ["[0]" reference {"+" [Register]}]
+ ["[0]" synthesis {"+" [Synthesis]}]]]]
+ ["[0]" // "_"
+ ["[1][0]" case]
[//
[common {"+" [Runner]}]]])
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index a73ba6f21..ba20601a3 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -5,18 +5,18 @@
[monad {"+" [do]}]]
[control
[pipe {"+" [case>]}]
- ["." try]]
+ ["[0]" try]]
[data
- ["." bit ("#\." equivalence)]
+ ["[0]" bit ("[1]\[0]" equivalence)]
[number
["f" frac]]
- ["." text ("#\." equivalence)
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]]]
[math
["r" random]]
[tool
[compiler
- ["." synthesis]]]]
+ ["[0]" synthesis]]]]
[///
[common {"+" [Runner]}]])
diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index 37aea49fe..ce3c7332a 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -5,15 +5,15 @@
[monad {"+" [do]}]]
[control
[pipe {"+" [case>]}]
- ["." try]]
+ ["[0]" try]]
[data
[number
["n" nat]
["f" frac]]]
[tool
[compiler
- ["." reference]
- ["." synthesis]]]
+ ["[0]" reference]
+ ["[0]" synthesis]]]
[math
["r" random {"+" [Random]}]]]
[///
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index cd86ecab2..a70e61531 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -5,24 +5,24 @@
[monad {"+" [do]}]]
[control
[pipe {"+" [case>]}]
- ["." maybe]
- ["." try]]
+ ["[0]" maybe]
+ ["[0]" try]]
[data
[number
["n" nat]
["i" int]]
- ["." text ("#\." equivalence)
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]]
[collection
- ["." array {"+" [Array]}]
- ["." list ("#\." functor)]]]
+ ["[0]" array {"+" [Array]}]
+ ["[0]" list ("[1]\[0]" functor)]]]
[math
["r" random]]
- ["." ffi {"+" [import:]}]
+ ["[0]" ffi {"+" [import:]}]
[tool
[compiler
- ["." analysis]
- ["." synthesis]]]]
+ ["[0]" analysis]
+ ["[0]" synthesis]]]]
[///
[common {"+" [Runner]}]])