aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/aedifex/repository.lux24
-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
-rw-r--r--stdlib/source/specification/lux/abstract/apply.lux14
-rw-r--r--stdlib/source/specification/lux/abstract/codec.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/comonad.lux10
-rw-r--r--stdlib/source/specification/lux/abstract/enum.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/equivalence.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux12
-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.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/mix.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/monad.lux10
-rw-r--r--stdlib/source/specification/lux/abstract/monoid.lux6
-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.lux28
-rw-r--r--stdlib/source/specification/lux/world/program.lux14
-rw-r--r--stdlib/source/specification/lux/world/shell.lux14
27 files changed, 173 insertions, 173 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux
index e08211d32..bf430a368 100644
--- a/stdlib/source/specification/aedifex/repository.lux
+++ b/stdlib/source/specification/aedifex/repository.lux
@@ -5,23 +5,23 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." try {"+" [Try]}]
+ ["[0]" try {"+" [Try]}]
[concurrency
- ["." async {"+" [Async]}]]]
+ ["[0]" async {"+" [Async]}]]]
[data
- ["." binary
- ["_#" \\test]]]
+ ["[0]" binary
+ ["_[1]" \\test]]]
[math
- ["." random]]]]
+ ["[0]" random]]]]
[\\program
- ["." /
- ["#." remote]
- ["/#" // "_"
- ["#." artifact {"+" [Artifact]}
- ["#/." extension]]]]]
+ ["[0]" /
+ ["[1][0]" remote]
+ ["/[1]" // "_"
+ ["[1][0]" artifact {"+" [Artifact]}
+ ["[1]/[0]" extension]]]]]
[\\test
- ["_." // "_"
- ["#." artifact]]])
+ ["_[0]" // "_"
+ ["[1][0]" artifact]]])
(def: .public (spec valid_artifact invalid_artifact subject)
(-> Artifact Artifact (/.Repository Async) Test)
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]}]])
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index 431fc8f29..f14a43aa5 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -5,17 +5,17 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." function]]
+ ["[0]" function]]
[math
- ["." random]
+ ["[0]" random]
[number
["n" nat]]]]]
[\\library
- ["." / {"+" [Apply]}]]
+ ["[0]" / {"+" [Apply]}]]
[//
[functor {"+" [Injection Comparison]}]])
-(def: (identity injection comparison (^open "\."))
+(def: (identity injection comparison (^open "\[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do [! random.monad]
[sample (\ ! each injection random.nat)]
@@ -24,7 +24,7 @@
(\on sample (injection function.identity))
sample))))
-(def: (homomorphism injection comparison (^open "\."))
+(def: (homomorphism injection comparison (^open "\[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do [! random.monad]
[sample random.nat
@@ -34,7 +34,7 @@
(\on (injection sample) (injection increase))
(injection (increase sample))))))
-(def: (interchange injection comparison (^open "\."))
+(def: (interchange injection comparison (^open "\[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do [! random.monad]
[sample random.nat
@@ -45,7 +45,7 @@
(\on (injection increase) (injection (: (-> (-> Nat Nat) Nat)
(function (_ f) (f sample)))))))))
-(def: (composition injection comparison (^open "\."))
+(def: (composition injection comparison (^open "\[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do [! random.monad]
[sample random.nat
diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux
index bea518b69..5cbdb2aa1 100644
--- a/stdlib/source/specification/lux/abstract/codec.lux
+++ b/stdlib/source/specification/lux/abstract/codec.lux
@@ -5,15 +5,15 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." try]]
+ ["[0]" try]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." /
+ ["[0]" /
[//
[equivalence {"+" [Equivalence]}]]]])
-(def: .public (spec (^open "@//.") (^open "@//.") generator)
+(def: .public (spec (^open "@//[0]") (^open "@//[0]") generator)
(All (_ m a) (-> (Equivalence a) (/.Codec m a) (Random a) Test))
(do random.monad
[expected generator]
diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux
index 4941d31ad..ee28bfb49 100644
--- a/stdlib/source/specification/lux/abstract/comonad.lux
+++ b/stdlib/source/specification/lux/abstract/comonad.lux
@@ -5,15 +5,15 @@
[abstract
[monad {"+" [do]}]]
[math
- ["." random]
+ ["[0]" random]
[number
["n" nat]]]]]
[\\library
- ["." / {"+" [CoMonad]}]]
+ ["[0]" / {"+" [CoMonad]}]]
[//
[functor {"+" [Injection Comparison]}]])
-(def: (left_identity injection (^open "_//."))
+(def: (left_identity injection (^open "_//[0]"))
(All (_ f) (-> (Injection f) (CoMonad f) Test))
(do [! random.monad]
[sample random.nat
@@ -25,7 +25,7 @@
(n.= (morphism start)
(|> start _//disjoint (_//each morphism) _//out)))))
-(def: (right_identity injection comparison (^open "_//."))
+(def: (right_identity injection comparison (^open "_//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test))
(do random.monad
[sample random.nat
@@ -35,7 +35,7 @@
(== start
(|> start _//disjoint (_//each _//out))))))
-(def: (associativity injection comparison (^open "_//."))
+(def: (associativity injection comparison (^open "_//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test))
(do [! random.monad]
[sample random.nat
diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux
index 2f71401ae..26fdf0828 100644
--- a/stdlib/source/specification/lux/abstract/enum.lux
+++ b/stdlib/source/specification/lux/abstract/enum.lux
@@ -5,11 +5,11 @@
[abstract
[monad {"+" [do]}]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." /]])
+ ["[0]" /]])
-(def: .public (spec (^open "\.") gen_sample)
+(def: .public (spec (^open "\[0]") gen_sample)
(All (_ a) (-> (/.Enum a) (Random a) Test))
(do random.monad
[sample gen_sample]
diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux
index 59786ab42..d4c335794 100644
--- a/stdlib/source/specification/lux/abstract/equivalence.lux
+++ b/stdlib/source/specification/lux/abstract/equivalence.lux
@@ -5,11 +5,11 @@
[abstract
[monad {"+" [do]}]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." / {"+" [Equivalence]}]])
+ ["[0]" / {"+" [Equivalence]}]])
-(def: .public (spec (^open "_//.") random)
+(def: .public (spec (^open "_//[0]") random)
(All (_ a) (-> (Equivalence a) (Random a) Test))
(do random.monad
[left random
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index 681f6dcd5..37e38ad42 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -6,13 +6,13 @@
[equivalence {"+" [Equivalence]}]
[monad {"+" [do]}]]
[control
- ["." function]]
+ ["[0]" function]]
[math
- ["." random]
+ ["[0]" random]
[number
["n" nat]]]]]
[\\library
- ["." / {"+" [Functor]}]])
+ ["[0]" / {"+" [Functor]}]])
(type: .public (Injection f)
(All (_ a) (-> a (f a))))
@@ -22,7 +22,7 @@
(-> (Equivalence a)
(Equivalence (f a)))))
-(def: (identity injection comparison (^open "@//."))
+(def: (identity injection comparison (^open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
[sample (\ ! each injection random.nat)]
@@ -31,7 +31,7 @@
(@//each function.identity sample)
sample))))
-(def: (homomorphism injection comparison (^open "@//."))
+(def: (homomorphism injection comparison (^open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
[sample random.nat
@@ -41,7 +41,7 @@
(@//each increase (injection sample))
(injection (increase sample))))))
-(def: (composition injection comparison (^open "@//."))
+(def: (composition injection comparison (^open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
[sample (\ ! each injection random.nat)
diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
index a9ac6e660..048b34ba8 100644
--- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
@@ -6,15 +6,15 @@
[equivalence {"+" [Equivalence]}]
[monad {"+" [do]}]]
[control
- ["." function]]
+ ["[0]" function]]
[math
- ["." random]
+ ["[0]" random]
[number
["n" nat]]]]]
[\\library
- ["." / {"+" [Functor]}]])
+ ["[0]" / {"+" [Functor]}]])
-(def: (identity equivalence value (^open "@//."))
+(def: (identity equivalence value (^open "@//[0]"))
(All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test))
(_.test "Law of identity."
(equivalence
diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux
index ed504cd26..65b78a5cb 100644
--- a/stdlib/source/specification/lux/abstract/hash.lux
+++ b/stdlib/source/specification/lux/abstract/hash.lux
@@ -5,13 +5,13 @@
[abstract
[monad {"+" [do]}]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." /]])
+ ["[0]" /]])
-(def: .public (spec (^open "\.") random)
+(def: .public (spec (^open "\[0]") random)
(All (_ a) (-> (/.Hash a) (Random a) Test))
(do random.monad
[parameter random
diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux
index a6de2bc5a..38b9a3e6c 100644
--- a/stdlib/source/specification/lux/abstract/interval.lux
+++ b/stdlib/source/specification/lux/abstract/interval.lux
@@ -4,13 +4,13 @@
["_" test {"+" [Test]}]
[abstract
[monad {"+" [do]}]
- ["." order]]
+ ["[0]" order]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." /]])
+ ["[0]" /]])
-(def: .public (spec (^open "@//.") gen_sample)
+(def: .public (spec (^open "@//[0]") gen_sample)
(All (_ a) (-> (/.Interval a) (Random a) Test))
(<| (_.for [/.Interval])
(do random.monad
diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux
index dddf30c5f..aecd00cbb 100644
--- a/stdlib/source/specification/lux/abstract/mix.lux
+++ b/stdlib/source/specification/lux/abstract/mix.lux
@@ -5,15 +5,15 @@
[abstract
[monad {"+" [do]}]]
[math
- ["." random]
+ ["[0]" random]
[number
["n" nat]]]]]
[//
[functor {"+" [Injection Comparison]}]]
[\\library
- ["." /]])
+ ["[0]" /]])
-(def: .public (spec injection comparison (^open "@//."))
+(def: .public (spec injection comparison (^open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (/.Mix f) Test))
(do random.monad
[subject random.nat
diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux
index 11ee011e1..e193e1ecd 100644
--- a/stdlib/source/specification/lux/abstract/monad.lux
+++ b/stdlib/source/specification/lux/abstract/monad.lux
@@ -3,15 +3,15 @@
[lux "*"
["_" test {"+" [Test]}]
[math
- ["." random]
+ ["[0]" random]
[number
["n" nat]]]]]
[\\library
- ["." / {"+" [do]}]]
+ ["[0]" / {"+" [do]}]]
[//
[functor {"+" [Injection Comparison]}]])
-(def: (left_identity injection comparison (^open "_//."))
+(def: (left_identity injection comparison (^open "_//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
(do [! random.monad]
[sample random.nat
@@ -23,7 +23,7 @@
(|> (injection sample) (_//each morphism) _//conjoint)
(morphism sample)))))
-(def: (right_identity injection comparison (^open "_//."))
+(def: (right_identity injection comparison (^open "_//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
(do random.monad
[sample random.nat]
@@ -32,7 +32,7 @@
(|> (injection sample) (_//each _//in) _//conjoint)
(injection sample)))))
-(def: (associativity injection comparison (^open "_//."))
+(def: (associativity injection comparison (^open "_//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
(do [! random.monad]
[sample random.nat
diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux
index 6dc4d2207..dba042a60 100644
--- a/stdlib/source/specification/lux/abstract/monoid.lux
+++ b/stdlib/source/specification/lux/abstract/monoid.lux
@@ -5,13 +5,13 @@
[abstract
[monad {"+" [do]}]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." /
+ ["[0]" /
[//
[equivalence {"+" [Equivalence]}]]]])
-(def: .public (spec (^open "\.") (^open "\.") gen_sample)
+(def: .public (spec (^open "\[0]") (^open "\[0]") gen_sample)
(All (_ a) (-> (Equivalence a) (/.Monoid a) (Random a) Test))
(do random.monad
[sample gen_sample
diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux
index 139e8cac4..79c8d4c78 100644
--- a/stdlib/source/specification/lux/abstract/order.lux
+++ b/stdlib/source/specification/lux/abstract/order.lux
@@ -5,11 +5,11 @@
[abstract
[monad {"+" [do]}]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." /]])
+ ["[0]" /]])
-(def: .public (spec (^open "@//.") generator)
+(def: .public (spec (^open "@//[0]") generator)
(All (_ a) (-> (/.Order a) (Random a) Test))
(<| (_.for [/.Order])
($_ _.and
diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux
index 5264211b4..15305d236 100644
--- a/stdlib/source/specification/lux/world/console.lux
+++ b/stdlib/source/specification/lux/world/console.lux
@@ -6,16 +6,16 @@
[monad {"+" [do]}]]
[control
[io {"+" [IO]}]
- ["." try]
+ ["[0]" try]
[concurrency
- ["." async {"+" [Async]}]]]
+ ["[0]" async {"+" [Async]}]]]
[data
- ["." text
+ ["[0]" text
["%" format {"+" [format]}]]]
[math
- ["." random]]]]
+ ["[0]" random]]]]
[\\library
- ["." /]])
+ ["[0]" /]])
(def: .public (spec console)
(-> (IO (/.Console Async)) Test)
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux
index 765893ba6..f7c056624 100644
--- a/stdlib/source/specification/lux/world/file.lux
+++ b/stdlib/source/specification/lux/world/file.lux
@@ -4,32 +4,32 @@
["_" test {"+" [Test]}]
[abstract
[monad {"+" [do]}]
- ["." predicate]]
+ ["[0]" predicate]]
[control
[pipe {"+" [case>]}]
[io {"+" [IO]}]
- ["." maybe ("#\." functor)]
- ["." try ("#\." functor)]
- ["." exception]
+ ["[0]" maybe ("[1]\[0]" functor)]
+ ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" exception]
[concurrency
- ["." async {"+" [Async]}]]]
+ ["[0]" async {"+" [Async]}]]]
[data
- ["." text ("#\." equivalence)
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]
[encoding
- ["." utf8 ("#\." codec)]]]
- ["." binary {"+" [Binary]} ("#\." equivalence monoid)
- ["$#" \\test]]
+ ["[0]" utf8 ("[1]\[0]" codec)]]]
+ ["[0]" binary {"+" [Binary]} ("[1]\[0]" equivalence monoid)
+ ["$[1]" \\test]]
[collection
- ["." list]]]
+ ["[0]" list]]]
[math
- ["." random]
+ ["[0]" random]
[number
["n" nat]]]
[time
- ["." instant {"+" [Instant]} ("#\." equivalence)]]]]
+ ["[0]" instant {"+" [Instant]} ("[1]\[0]" equivalence)]]]]
[\\library
- ["." /]])
+ ["[0]" /]])
(def: (for_path fs)
(-> (IO (/.System Async)) Test)
@@ -126,7 +126,7 @@
[made_sub? (\ fs make_directory sub_dir)
directory_files (\ fs directory_files parent)
sub_directories (\ fs sub_directories parent)
- .let [(^open "list\.") (list.equivalence text.equivalence)]]
+ .let [(^open "list\[0]") (list.equivalence text.equivalence)]]
(in (<| (try.else false)
(do try.monad
[_ made_sub?]
diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux
index 772aa28a4..e647e316b 100644
--- a/stdlib/source/specification/lux/world/program.lux
+++ b/stdlib/source/specification/lux/world/program.lux
@@ -5,18 +5,18 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." try]
+ ["[0]" try]
[concurrency
- ["." async {"+" [Async]}]]]
+ ["[0]" async {"+" [Async]}]]]
[data
- ["." text]
+ ["[0]" text]
[collection
- ["." dictionary]
- ["." list]]]
+ ["[0]" dictionary]
+ ["[0]" list]]]
[math
- ["." random]]]]
+ ["[0]" random]]]]
[\\library
- ["." /]])
+ ["[0]" /]])
(def: .public (spec subject)
(-> (/.Program Async) Test)
diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux
index 8f12be702..2d844ce9a 100644
--- a/stdlib/source/specification/lux/world/shell.lux
+++ b/stdlib/source/specification/lux/world/shell.lux
@@ -5,22 +5,22 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." try ("#\." functor)]
+ ["[0]" try ("[1]\[0]" functor)]
[concurrency
- ["." async {"+" [Async]} ("#\." monad)]]
+ ["[0]" async {"+" [Async]} ("[1]\[0]" monad)]]
[parser
- ["." environment {"+" [Environment]}]]]
+ ["[0]" environment {"+" [Environment]}]]]
[data
- ["." product]
- ["." text ("#\." equivalence)
+ ["[0]" product]
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]]]
[math
- ["." random]
+ ["[0]" random]
[number
["n" nat]
["i" int]]]]]
[\\library
- ["." /
+ ["[0]" /
[//
[file {"+" [Path]}]]]])