aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/type
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/type.lux12
-rw-r--r--stdlib/source/test/lux/type/abstract.lux8
-rw-r--r--stdlib/source/test/lux/type/check.lux16
-rw-r--r--stdlib/source/test/lux/type/dynamic.lux10
-rw-r--r--stdlib/source/test/lux/type/implicit.lux14
-rw-r--r--stdlib/source/test/lux/type/poly.lux6
-rw-r--r--stdlib/source/test/lux/type/poly/equivalence.lux12
-rw-r--r--stdlib/source/test/lux/type/poly/functor.lux10
-rw-r--r--stdlib/source/test/lux/type/poly/json.lux18
-rw-r--r--stdlib/source/test/lux/type/quotient.lux10
-rw-r--r--stdlib/source/test/lux/type/refinement.lux8
-rw-r--r--stdlib/source/test/lux/type/resource.lux20
-rw-r--r--stdlib/source/test/lux/type/unit.lux12
-rw-r--r--stdlib/source/test/lux/type/variance.lux10
14 files changed, 83 insertions, 83 deletions
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux
index e4f567e49..ec32d7fe8 100644
--- a/stdlib/source/test/lux/type.lux
+++ b/stdlib/source/test/lux/type.lux
@@ -1,13 +1,13 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]
+ ["." monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." maybe]]
[data
["." bit ("#\." equivalence)]
@@ -18,12 +18,12 @@
[macro
["." code ("#\." equivalence)]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[\\library
["." / ("#\." equivalence)]]
- ["." / #_
+ ["." / "_"
["#." abstract]
["#." check]
["#." dynamic]
diff --git a/stdlib/source/test/lux/type/abstract.lux b/stdlib/source/test/lux/type/abstract.lux
index f8fe3c6a3..cd7387d3d 100644
--- a/stdlib/source/test/lux/type/abstract.lux
+++ b/stdlib/source/test/lux/type/abstract.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." meta]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]
@@ -13,7 +13,7 @@
[data
["." text ("#\." equivalence)]]
["." macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]
["." template]]
["." math
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux
index 57ea22d70..d88cd4c95 100644
--- a/stdlib/source/test/lux/type/check.lux
+++ b/stdlib/source/test/lux/type/check.lux
@@ -1,29 +1,29 @@
(.module:
[library
- [lux (#- type)
- ["_" test (#+ Test)]
+ [lux {"-" [type]}
+ ["_" test {"+" [Test]}]
["." type ("#\." equivalence)]
[abstract
- ["." monad (#+ do)]
+ ["." monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." function]
["." try]
- ["." exception (#+ exception:)]]
+ ["." exception {"+" [exception:]}]]
[data
["." bit ("#\." equivalence)]
["." product]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list ("#\." functor monoid)]
["." set]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/type/dynamic.lux
index 5a3e9e89d..72896124e 100644
--- a/stdlib/source/test/lux/type/dynamic.lux
+++ b/stdlib/source/test/lux/type/dynamic.lux
@@ -1,17 +1,17 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux
index 2e694abf1..88308baf4 100644
--- a/stdlib/source/test/lux/type/implicit.lux
+++ b/stdlib/source/test/lux/type/implicit.lux
@@ -1,19 +1,19 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [equivalence (#+)]
- [functor (#+)]
- [monoid (#+)]
- [monad (#+ do)]
+ [equivalence {"+" []}]
+ [functor {"+" []}]
+ [monoid {"+" []}]
+ [monad {"+" [do]}]
["." enum]]
[data
["." bit ("#\." equivalence)]
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/type/poly.lux b/stdlib/source/test/lux/type/poly.lux
index 1ffe2cf61..31dbc7cc0 100644
--- a/stdlib/source/test/lux/type/poly.lux
+++ b/stdlib/source/test/lux/type/poly.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]]]
+ [lux "*"
+ ["_" test {"+" [Test]}]]]
[\\library
["." /]]
- ["." / #_
+ ["." / "_"
["#." equivalence]
["#." functor]
["#." json]])
diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux
index e30ae9ba4..551b0118c 100644
--- a/stdlib/source/test/lux/type/poly/equivalence.lux
+++ b/stdlib/source/test/lux/type/poly/equivalence.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux (#- Variant Record)
- ["_" test (#+ Test)]
+ [lux {"-" [Variant Record]}
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)
+ [monad {"+" [do]}]
+ [equivalence {"+" [Equivalence]}
[\\poly
["." /]]]
[\\specification
@@ -17,12 +17,12 @@
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["i" int]]]
[type
- [poly (#+ derived:)]]]])
+ [poly {"+" [derived:]}]]]])
(type: Variant
(.Variant
diff --git a/stdlib/source/test/lux/type/poly/functor.lux b/stdlib/source/test/lux/type/poly/functor.lux
index da5b00391..d717d1548 100644
--- a/stdlib/source/test/lux/type/poly/functor.lux
+++ b/stdlib/source/test/lux/type/poly/functor.lux
@@ -1,19 +1,19 @@
(.module:
[library
- [lux #*
+ [lux "*"
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[functor
[\\poly
["." /]]]]
- ["r" math/random (#+ Random)]
- ["_" test (#+ Test)]
+ ["r" math/random {"+" [Random]}]
+ ["_" test {"+" [Test]}]
[control
["." state]]
[data
["." identity]]
[type
- [poly (#+ derived:)]]]])
+ [poly {"+" [derived:]}]]]])
(derived: maybe_functor (/.functor .Maybe))
(derived: list_functor (/.functor .List))
diff --git a/stdlib/source/test/lux/type/poly/json.lux b/stdlib/source/test/lux/type/poly/json.lux
index f5bc61ab0..75d7c3808 100644
--- a/stdlib/source/test/lux/type/poly/json.lux
+++ b/stdlib/source/test/lux/type/poly/json.lux
@@ -1,12 +1,12 @@
(.module:
[library
- [lux (#- Variant Record)
- ["_" test (#+ Test)]
+ [lux {"-" [Variant Record]}
+ ["_" test {"+" [Test]}]
["." debug]
[abstract
codec
- [monad (#+ do)]
- ["." equivalence (#+ Equivalence)
+ [monad {"+" [do]}]
+ ["." equivalence {"+" [Equivalence]}
["poly/#" \\poly]]
[\\specification
["$." equivalence]
@@ -16,23 +16,23 @@
["." try]
["p" parser
... TODO: Get rid of this import ASAP
- [json (#+)]]]
+ [json {"+" []}]]]
[data
["." bit]
["." text]
[format
- [json (#+)
+ [json {"+" []}
[\\poly
["." /]]]]
[collection
- [row (#+ row)]
+ [row {"+" [row]}]
["d" dictionary]
["." list]]]
[type
- [poly (#+ derived:)]
+ [poly {"+" [derived:]}]
["." unit]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["." frac]]]
diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux
index dffce036a..54c5f2aa3 100644
--- a/stdlib/source/test/lux/type/quotient.lux
+++ b/stdlib/source/test/lux/type/quotient.lux
@@ -1,16 +1,16 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]
+ ["." monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat ("#\." equivalence)]]]]]
[\\library
diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux
index 6721399e7..e919a93ca 100644
--- a/stdlib/source/test/lux/type/refinement.lux
+++ b/stdlib/source/test/lux/type/refinement.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [predicate (#+ Predicate)]
- [monad (#+ do)]]
+ [predicate {"+" [Predicate]}]
+ [monad {"+" [do]}]]
[control
["." maybe ("#\." monad)]]
[data
diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux
index 206aa3506..b1e24d4dc 100644
--- a/stdlib/source/test/lux/type/resource.lux
+++ b/stdlib/source/test/lux/type/resource.lux
@@ -1,30 +1,30 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." meta]
[abstract
["." monad
- [indexed (#+ do)]]]
+ [indexed {"+" [do]}]]]
[control
- ["." io (#+ IO)]
+ ["." io {"+" [IO]}]
["." try]
- ["." exception (#+ Exception)]
+ ["." exception {"+" [Exception]}]
[concurrency
- ["." async (#+ Async)]]
+ ["." async {"+" [Async]}]]
[parser
["<.>" code]]]
[data
- ["." identity (#+ Identity)]
+ ["." identity {"+" [Identity]}]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
["." macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]]
[math
["." random]]]]
[\\library
- ["." / (#+ Res)]])
+ ["." / {"+" [Res]}]])
(def: pure
Test
diff --git a/stdlib/source/test/lux/type/unit.lux b/stdlib/source/test/lux/type/unit.lux
index 1e1992551..c2e17b665 100644
--- a/stdlib/source/test/lux/type/unit.lux
+++ b/stdlib/source/test/lux/type/unit.lux
@@ -1,21 +1,21 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." debug]
["." meta]
[abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
+ [monad {"+" [do]}]
+ [equivalence {"+" [Equivalence]}]
[\\specification
["$." equivalence]
["$." order]
["$." enum]]]
[macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["i" int]
["." ratio ("#\." equivalence)]]]]]
diff --git a/stdlib/source/test/lux/type/variance.lux b/stdlib/source/test/lux/type/variance.lux
index 9126bd215..7196f89ee 100644
--- a/stdlib/source/test/lux/type/variance.lux
+++ b/stdlib/source/test/lux/type/variance.lux
@@ -1,14 +1,14 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /
- ["/#" // #_
+ ["/#" // "_"
["#." check]]]])
(type: Super
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 11:35:13 +0000