aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
authorEduardo Julian2021-09-13 00:29:57 -0400
committerEduardo Julian2021-09-13 00:29:57 -0400
commit376c3e472fbb1e2656f8c61b26e0276570609aa1 (patch)
treebc76d7aeff4f2b889ae262a64dc8d26b0476068d /stdlib/source/specification
parent2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (diff)
Updated only/except import syntax to take into account record => variant syntax change.
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/aedifex/repository.lux10
-rw-r--r--stdlib/source/specification/compositor.lux14
-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
-rw-r--r--stdlib/source/specification/lux/abstract/apply.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/codec.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/comonad.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/enum.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/equivalence.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/functor/contravariant.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/hash.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/interval.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/mix.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/monad.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/monoid.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/order.lux6
-rw-r--r--stdlib/source/specification/lux/world/console.lux10
-rw-r--r--stdlib/source/specification/lux/world/file.lux16
-rw-r--r--stdlib/source/specification/lux/world/program.lux6
-rw-r--r--stdlib/source/specification/lux/world/shell.lux12
27 files changed, 137 insertions, 137 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux
index 7ed477767..da7667c98 100644
--- a/stdlib/source/specification/aedifex/repository.lux
+++ b/stdlib/source/specification/aedifex/repository.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
["[0]" binary
["_[1]" \\test]]]
@@ -17,7 +17,7 @@
["[0]" /
["[1][0]" remote]
["/[1]" // "_"
- ["[1][0]" artifact {"+" [Artifact]}
+ ["[1][0]" artifact {"+" Artifact}
["[1]/[0]" extension]]]]]
[\\test
["_[0]" // "_"
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index 832273cd3..8e65e038d 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -1,10 +1,10 @@
(.module:
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- ["[0]" io {"+" [IO]}]
+ ["[0]" io {"+" IO}]
["[0]" try]]
[math
["r" random]]
@@ -13,12 +13,12 @@
["[0]" analysis]
["[0]" directive]
[phase
- [macro {"+" [Expander]}]
- [generation {"+" [Bundle]}]]
+ [macro {"+" Expander}]
+ [generation {"+" Bundle}]]
[default
- [platform {"+" [Platform]}]]]]]
+ [platform {"+" Platform}]]]]]
["[0]" / "_"
- ["[1][0]" common {"+" [Runner Definer]}]
+ ["[1][0]" common {"+" Runner Definer}]
["[1]./" analysis "_"
["[1][0]" type]]
["[1]./" generation "_"
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)
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index 9b52df567..00629ed8a 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" function]]
[math
@@ -11,9 +11,9 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Apply]}]]
+ ["[0]" / {"+" Apply}]]
[//
- [functor {"+" [Injection Comparison]}]])
+ [functor {"+" Injection Comparison}]])
(def: (identity injection comparison (^open "#[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux
index 979cc60e6..652a4ef42 100644
--- a/stdlib/source/specification/lux/abstract/codec.lux
+++ b/stdlib/source/specification/lux/abstract/codec.lux
@@ -1,17 +1,17 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /
[//
- [equivalence {"+" [Equivalence]}]]]])
+ [equivalence {"+" Equivalence}]]]])
(def: .public (spec (^open "@//[0]") (^open "@//[0]") generator)
(All (_ m a) (-> (Equivalence a) (/.Codec m a) (Random a) Test))
diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux
index e465bee7e..21246511d 100644
--- a/stdlib/source/specification/lux/abstract/comonad.lux
+++ b/stdlib/source/specification/lux/abstract/comonad.lux
@@ -1,17 +1,17 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[math
["[0]" random]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [CoMonad]}]]
+ ["[0]" / {"+" CoMonad}]]
[//
- [functor {"+" [Injection Comparison]}]])
+ [functor {"+" Injection Comparison}]])
(def: (left_identity injection (^open "_//[0]"))
(All (_ f) (-> (Injection f) (CoMonad f) Test))
diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux
index 4b0a66fa1..0b0d6a521 100644
--- a/stdlib/source/specification/lux/abstract/enum.lux
+++ b/stdlib/source/specification/lux/abstract/enum.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux
index d4c335794..560f7f8fb 100644
--- a/stdlib/source/specification/lux/abstract/equivalence.lux
+++ b/stdlib/source/specification/lux/abstract/equivalence.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
- ["[0]" / {"+" [Equivalence]}]])
+ ["[0]" / {"+" Equivalence}]])
(def: .public (spec (^open "_//[0]") random)
(All (_ a) (-> (Equivalence a) (Random a) Test))
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index b446b565c..a6c9f9d03 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]]
[control
["[0]" function]]
[math
@@ -12,7 +12,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Functor]}]])
+ ["[0]" / {"+" Functor}]])
(type: .public (Injection f)
(All (_ a) (-> a (f a))))
diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
index 048b34ba8..d7c5ed28a 100644
--- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]]
[control
["[0]" function]]
[math
@@ -12,7 +12,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Functor]}]])
+ ["[0]" / {"+" Functor}]])
(def: (identity equivalence value (^open "@//[0]"))
(All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test))
diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux
index 1671647b3..28e854087 100644
--- a/stdlib/source/specification/lux/abstract/hash.lux
+++ b/stdlib/source/specification/lux/abstract/hash.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux
index 38b9a3e6c..b4c3d1710 100644
--- a/stdlib/source/specification/lux/abstract/interval.lux
+++ b/stdlib/source/specification/lux/abstract/interval.lux
@@ -1,12 +1,12 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
["[0]" order]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux
index aecd00cbb..d444b5127 100644
--- a/stdlib/source/specification/lux/abstract/mix.lux
+++ b/stdlib/source/specification/lux/abstract/mix.lux
@@ -1,15 +1,15 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[math
["[0]" random]
[number
["n" nat]]]]]
[//
- [functor {"+" [Injection Comparison]}]]
+ [functor {"+" Injection Comparison}]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux
index 7de5df858..60a6bfdac 100644
--- a/stdlib/source/specification/lux/abstract/monad.lux
+++ b/stdlib/source/specification/lux/abstract/monad.lux
@@ -1,15 +1,15 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[math
["[0]" random]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [do]}]]
+ ["[0]" / {"+" do}]]
[//
- [functor {"+" [Injection Comparison]}]])
+ [functor {"+" Injection Comparison}]])
(def: (left_identity injection comparison (^open "_//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux
index 531a246a2..bf4fb1cf1 100644
--- a/stdlib/source/specification/lux/abstract/monoid.lux
+++ b/stdlib/source/specification/lux/abstract/monoid.lux
@@ -1,15 +1,15 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /
[//
- [equivalence {"+" [Equivalence]}]]]])
+ [equivalence {"+" Equivalence}]]]])
(def: .public (spec (^open "_#[0]") (^open "_#[0]") gen_sample)
(All (_ a) (-> (Equivalence a) (/.Monoid a) (Random a) Test))
diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux
index 79c8d4c78..fdf02e346 100644
--- a/stdlib/source/specification/lux/abstract/order.lux
+++ b/stdlib/source/specification/lux/abstract/order.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux
index aa51422de..60faeaa6a 100644
--- a/stdlib/source/specification/lux/world/console.lux
+++ b/stdlib/source/specification/lux/world/console.lux
@@ -1,17 +1,17 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [io {"+" [IO]}]
+ [io {"+" IO}]
["[0]" try]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
["[0]" text
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
["[0]" random]]]]
[\\library
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux
index d768d446c..b107c5483 100644
--- a/stdlib/source/specification/lux/world/file.lux
+++ b/stdlib/source/specification/lux/world/file.lux
@@ -1,24 +1,24 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
["[0]" predicate]]
[control
- [pipe {"+" [case>]}]
- [io {"+" [IO]}]
+ [pipe {"+" case>}]
+ [io {"+" IO}]
["[0]" maybe ("[1]#[0]" functor)]
["[0]" try ("[1]#[0]" functor)]
["[0]" exception]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8 ("[1]#[0]" codec)]]]
- ["[0]" binary {"+" [Binary]} ("[1]#[0]" equivalence monoid)
+ ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence monoid)
["$[1]" \\test]]
[collection
["[0]" list]]]
@@ -27,7 +27,7 @@
[number
["n" nat]]]
[time
- ["[0]" instant {"+" [Instant]} ("[1]#[0]" equivalence)]]]]
+ ["[0]" instant {"+" Instant} ("[1]#[0]" equivalence)]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux
index 401422fc4..69031e3c6 100644
--- a/stdlib/source/specification/lux/world/program.lux
+++ b/stdlib/source/specification/lux/world/program.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
["[0]" text]
[collection
diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux
index 6d80fbbd8..c38227933 100644
--- a/stdlib/source/specification/lux/world/shell.lux
+++ b/stdlib/source/specification/lux/world/shell.lux
@@ -1,19 +1,19 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try ("[1]#[0]" functor)]
[concurrency
- ["[0]" async {"+" [Async]} ("[1]#[0]" monad)]]
+ ["[0]" async {"+" Async} ("[1]#[0]" monad)]]
[parser
- ["[0]" environment {"+" [Environment]}]]]
+ ["[0]" environment {"+" Environment}]]]
[data
["[0]" product]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
["[0]" random]
[number
@@ -22,7 +22,7 @@
[\\library
["[0]" /
[//
- [file {"+" [Path]}]]]])
+ [file {"+" Path}]]]])
(template [<name> <command> <type> <prep>]
[(def: <name>