aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/data
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/data')
-rw-r--r--stdlib/source/test/lux/data/binary.lux14
-rw-r--r--stdlib/source/test/lux/data/bit.lux6
-rw-r--r--stdlib/source/test/lux/data/collection.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/array.lux12
-rw-r--r--stdlib/source/test/lux/data/collection/bits.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/ordered.lux12
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/plist.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/list.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/queue.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/queue/priority.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/row.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/sequence.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/set.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/set/multi.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/set/ordered.lux12
-rw-r--r--stdlib/source/test/lux/data/collection/stack.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/tree/zipper.lux8
-rw-r--r--stdlib/source/test/lux/data/color.lux8
-rw-r--r--stdlib/source/test/lux/data/color/named.lux8
-rw-r--r--stdlib/source/test/lux/data/format/binary.lux10
-rw-r--r--stdlib/source/test/lux/data/format/json.lux14
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux16
-rw-r--r--stdlib/source/test/lux/data/format/xml.lux12
-rw-r--r--stdlib/source/test/lux/data/identity.lux10
-rw-r--r--stdlib/source/test/lux/data/name.lux8
-rw-r--r--stdlib/source/test/lux/data/product.lux6
-rw-r--r--stdlib/source/test/lux/data/sum.lux6
-rw-r--r--stdlib/source/test/lux/data/text.lux10
-rw-r--r--stdlib/source/test/lux/data/text/buffer.lux10
-rw-r--r--stdlib/source/test/lux/data/text/encoding.lux10
-rw-r--r--stdlib/source/test/lux/data/text/encoding/utf8.lux6
-rw-r--r--stdlib/source/test/lux/data/text/escape.lux20
-rw-r--r--stdlib/source/test/lux/data/text/format.lux12
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux14
-rw-r--r--stdlib/source/test/lux/data/text/unicode/block.lux10
-rw-r--r--stdlib/source/test/lux/data/text/unicode/set.lux12
39 files changed, 196 insertions, 196 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index 9ab46a991..cc168c8a5 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -1,26 +1,26 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]
+ ["." monad {"+" [do]}]
["." enum]
[\\specification
["$." equivalence]
["$." monoid]]]
[control
- ["." try (#+ Try)]
- ["." exception (#+ Exception)]]
+ ["." try {"+" [Try]}]
+ ["." exception {"+" [Exception]}]]
[data
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["." i64]
["n" nat]]]]]
[\\library
- ["." / (#+ Binary)]])
+ ["." / {"+" [Binary]}]])
(def: (succeed result)
(-> (Try Bit) Bit)
diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux
index 58fe69ca7..11ecc92c3 100644
--- a/stdlib/source/test/lux/data/bit.lux
+++ b/stdlib/source/test/lux/data/bit.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux
index 0c1e1932f..5f8047ac4 100644
--- a/stdlib/source/test/lux/data/collection.lux
+++ b/stdlib/source/test/lux/data/collection.lux
@@ -1,8 +1,8 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]]]
- ["." / #_
+ [lux "*"
+ ["_" test {"+" [Test]}]]]
+ ["." / "_"
["#." array]
["#." bits]
["#." list]
diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux
index 08064ff74..d2d44d635 100644
--- a/stdlib/source/test/lux/data/collection/array.lux
+++ b/stdlib/source/test/lux/data/collection/array.lux
@@ -1,14 +1,14 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." monoid]
["$." mix]
- ["$." functor (#+ Injection)]]]
+ ["$." functor {"+" [Injection]}]]]
[control
["." maybe]]
[data
@@ -17,11 +17,11 @@
["." list]
["." set]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Array)]])
+ ["." / {"+" [Array]}]])
(def: injection
(Injection Array)
diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux
index 3d28272fb..d3d7d1d05 100644
--- a/stdlib/source/test/lux/data/collection/bits.lux
+++ b/stdlib/source/test/lux/data/collection/bits.lux
@@ -1,18 +1,18 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
["." predicate]
[\\specification
["$." equivalence]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Bits)]])
+ ["." / {"+" [Bits]}]])
(def: (size min max)
(-> Nat Nat (Random Nat))
diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux
index 60312b812..4004b8ca9 100644
--- a/stdlib/source/test/lux/data/collection/dictionary.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary.lux
@@ -1,13 +1,13 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [hash (#+ Hash)]
- [monad (#+ do)]
+ [hash {"+" [Hash]}]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
- ["$." functor (#+ Injection)]]]
+ ["$." functor {"+" [Injection]}]]]
[control
["." maybe ("#\." functor)]
["." try]
diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
index f409a55d9..78d0afcc1 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
@@ -1,11 +1,11 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
- [order (#+ Order)]
+ [monad {"+" [do]}]
+ [equivalence {"+" [Equivalence]}]
+ [order {"+" [Order]}]
[\\specification
["$." equivalence]]]
[control
@@ -17,7 +17,7 @@
["." set]
["." list ("#\." functor)]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux
index a4ca3d573..18ca96820 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -15,7 +15,7 @@
["." set]
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux
index 1f6749dc3..ab2809406 100644
--- a/stdlib/source/test/lux/data/collection/list.lux
+++ b/stdlib/source/test/lux/data/collection/list.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
["." enum]
[\\specification
["$." equivalence]
@@ -25,7 +25,7 @@
[collection
["." set]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["." int]]]]]
diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux
index 064f1891e..52de12d28 100644
--- a/stdlib/source/test/lux/data/collection/queue.lux
+++ b/stdlib/source/test/lux/data/collection/queue.lux
@@ -1,12 +1,12 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
- ["$." functor (#+ Injection)]]]
+ ["$." functor {"+" [Injection]}]]]
[data
["." bit ("#\." equivalence)]
[collection
diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux
index da99e408d..7b1335d77 100644
--- a/stdlib/source/test/lux/data/collection/queue/priority.lux
+++ b/stdlib/source/test/lux/data/collection/queue/priority.lux
@@ -1,19 +1,19 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[control
["." maybe ("#\." functor)]]
[data
["." bit ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Queue)]])
+ ["." / {"+" [Queue]}]])
(def: .public (random size)
(-> Nat (Random (Queue Nat)))
diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux
index 168fd9397..ca06073df 100644
--- a/stdlib/source/test/lux/data/collection/row.lux
+++ b/stdlib/source/test/lux/data/collection/row.lux
@@ -1,18 +1,18 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." monoid]
["$." mix]
- ["$." functor (#+ Injection)]
+ ["$." functor {"+" [Injection]}]
["$." apply]
["$." monad]]]
[control
- ["." try (#+ Try)]
+ ["." try {"+" [Try]}]
["." exception]]
[data
["." bit ("#\." equivalence)]
diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux
index 4c349854b..f3a3f604c 100644
--- a/stdlib/source/test/lux/data/collection/sequence.lux
+++ b/stdlib/source/test/lux/data/collection/sequence.lux
@@ -1,17 +1,17 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
+ [monad {"+" [do]}]
+ [equivalence {"+" [Equivalence]}]
["." enum]
[\\specification
["$." functor]
["$." comonad]]]
[data
["." text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list ("#\." functor)]]]
[math
diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux
index 2ed9fb511..c425492d8 100644
--- a/stdlib/source/test/lux/data/collection/set.lux
+++ b/stdlib/source/test/lux/data/collection/set.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [hash (#+ Hash)]
- [monad (#+ do)]
+ [hash {"+" [Hash]}]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
@@ -14,7 +14,7 @@
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux
index 6b03b9416..1037b0ed6 100644
--- a/stdlib/source/test/lux/data/collection/set/multi.lux
+++ b/stdlib/source/test/lux/data/collection/set/multi.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [hash (#+ Hash)]
- [monad (#+ do)]
+ [hash {"+" [Hash]}]
+ [monad {"+" [do]}]
["." predicate]
[\\specification
["$." equivalence]
@@ -15,7 +15,7 @@
["." set]
["." list ("#\." mix)]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux
index a9b171d11..2b3074039 100644
--- a/stdlib/source/test/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/set/ordered.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [order (#+ Order)]
+ [monad {"+" [do]}]
+ [order {"+" [Order]}]
[\\specification
["$." equivalence]]]
[data
@@ -12,11 +12,11 @@
[collection
["." list]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Set)
+ ["." / {"+" [Set]}
["." //]]])
(def: size
diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux
index a6aa8c1dc..4fca1cb85 100644
--- a/stdlib/source/test/lux/data/collection/stack.lux
+++ b/stdlib/source/test/lux/data/collection/stack.lux
@@ -1,12 +1,12 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
- ["$." functor (#+ Injection)]]]
+ ["$." functor {"+" [Injection]}]]]
[control
["." maybe]]
[data
diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux
index 826e2500d..66607cc37 100644
--- a/stdlib/source/test/lux/data/collection/tree.lux
+++ b/stdlib/source/test/lux/data/collection/tree.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]
+ ["." monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." mix]
@@ -13,11 +13,11 @@
[collection
["." list ("#\." functor mix)]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Tree)]])
+ ["." / {"+" [Tree]}]])
(def: .public (tree gen_value)
(All (_ a) (-> (Random a) (Random [Nat (Tree a)])))
diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux
index 5ec0569bb..754d1b20b 100644
--- a/stdlib/source/test/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/test/lux/data/collection/tree/finger.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." maybe ("#\." functor)]]
[data
@@ -14,7 +14,7 @@
["." random]
[number
["n" nat]]]
- [type (#+ :by_example)]]]
+ [type {"+" [:by_example]}]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux
index d134be2ca..8e3d064bc 100644
--- a/stdlib/source/test/lux/data/collection/tree/zipper.lux
+++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." functor]
@@ -22,7 +22,7 @@
["n" nat]]]]]
["." //]
[\\library
- ["." / (#+ Zipper)
+ ["." / {"+" [Zipper]}
["tree" //]]])
(def: move
diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux
index 2665beb41..25d103c12 100644
--- a/stdlib/source/test/lux/data/color.lux
+++ b/stdlib/source/test/lux/data/color.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
@@ -14,7 +14,7 @@
[macro
["." template]]
["." math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["." int]
diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux
index 4e400e99c..c907a5cae 100644
--- a/stdlib/source/test/lux/data/color/named.lux
+++ b/stdlib/source/test/lux/data/color/named.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
[collection
["." list]
@@ -11,7 +11,7 @@
[macro
["." template]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux
index 842186da7..6b0242605 100644
--- a/stdlib/source/test/lux/data/format/binary.lux
+++ b/stdlib/source/test/lux/data/format/binary.lux
@@ -1,16 +1,16 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]
+ [equivalence {"+" [Equivalence]}]
+ [monad {"+" [do]}]
[\\specification
["$." monoid]]]
[data
["." binary ("#\." equivalence)]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 9b885e9de..1da99c230 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." meta]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." codec]]]
@@ -14,22 +14,22 @@
["." product]
["." bit]
["." text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." row]
["." dictionary]
["." set]
["." list ("#\." functor)]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["." frac]]]
["." macro
- ["." syntax (#+ syntax:)]
+ ["." syntax {"+" [syntax:]}]
["." code]]]]
[\\library
- ["." / (#+ JSON) ("\." equivalence)]])
+ ["." / {"+" [JSON]} ("\." equivalence)]])
(def: .public random
(Random /.JSON)
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index a3fa4fa3f..2550c8836 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." maybe]
["." try]
@@ -14,22 +14,22 @@
["." product]
["." binary ("#\." equivalence monoid)]
["." text ("#\." equivalence)
- ["%" format (#+ format)]
+ ["%" format {"+" [format]}]
[encoding
["." utf8]]
- ["." unicode #_
+ ["." unicode "_"
["#" set]
["#/." block]]]
[collection
["." row]
["." list ("#\." mix)]]
- ["." format #_
+ ["." format "_"
["#" binary]]]
[time
- ["." instant (#+ Instant)]
+ ["." instant {"+" [Instant]}]
["." duration]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["i" int]]]]]
diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux
index 0d9f9ead4..8ef920a57 100644
--- a/stdlib/source/test/lux/data/format/xml.lux
+++ b/stdlib/source/test/lux/data/format/xml.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux (#- char)
- ["_" test (#+ Test)]
+ [lux {"-" [char]}
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ Monad do)]
+ [monad {"+" [Monad do]}]
[\\specification
["$." equivalence]
["$." codec]]]
@@ -16,16 +16,16 @@
[data
["." name]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." dictionary]
["." list ("#\." functor)]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ XML)]])
+ ["." / {"+" [XML]}]])
(def: char_range
Text
diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux
index f9a4e3a76..39b385da3 100644
--- a/stdlib/source/test/lux/data/identity.lux
+++ b/stdlib/source/test/lux/data/identity.lux
@@ -1,16 +1,16 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]
["$." comonad]]]]]
[\\library
- ["." / (#+ Identity)]])
+ ["." / {"+" [Identity]}]])
(def: injection
(Injection Identity)
diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux
index ef4057d1c..538645e61 100644
--- a/stdlib/source/test/lux/data/name.lux
+++ b/stdlib/source/test/lux/data/name.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
@@ -14,7 +14,7 @@
[data
["." text ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux
index b779678af..636ac785a 100644
--- a/stdlib/source/test/lux/data/product.lux
+++ b/stdlib/source/test/lux/data/product.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[math
diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux
index 44588b3b6..8fd3fa194 100644
--- a/stdlib/source/test/lux/data/sum.lux
+++ b/stdlib/source/test/lux/data/sum.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index aa30ee356..509cb5769 100644
--- a/stdlib/source/test/lux/data/text.lux
+++ b/stdlib/source/test/lux/data/text.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux (#- char)
- ["_" test (#+ Test)]
+ [lux {"-" [char]}
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
@@ -20,13 +20,13 @@
["." random]
[number
["n" nat]]]]]
- ["." / #_
+ ["." / "_"
["#." buffer]
["#." encoding]
["#." format]
["#." regex]
["#." escape]
- ["#." unicode #_
+ ["#." unicode "_"
["#" set]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux
index aa88a2ac3..28e82be88 100644
--- a/stdlib/source/test/lux/data/text/buffer.lux
+++ b/stdlib/source/test/lux/data/text/buffer.lux
@@ -1,14 +1,14 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux
index c17b7ce36..8ebeb97f6 100644
--- a/stdlib/source/test/lux/data/text/encoding.lux
+++ b/stdlib/source/test/lux/data/text/encoding.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." codec]]]
[control
@@ -17,12 +17,12 @@
[macro
["." template]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
["." /]]
- ["." / #_
+ ["." / "_"
["#." utf8]])
(with_expansions [<encodings> (as_is [all/a
diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux
index ef75a174a..b046a0dff 100644
--- a/stdlib/source/test/lux/data/text/encoding/utf8.lux
+++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux
@@ -1,14 +1,14 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
[\\specification
["$." codec]]]
[data
["." text]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux
index 855064059..18c60e2f3 100644
--- a/stdlib/source/test/lux/data/text/escape.lux
+++ b/stdlib/source/test/lux/data/text/escape.lux
@@ -1,11 +1,11 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." debug]
["." meta]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]
@@ -13,22 +13,22 @@
["<.>" code]]]
[data
["." bit ("#\." equivalence)]
- ["." text (#+ Char) ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["." text {"+" [Char]} ("#\." equivalence)
+ ["%" format {"+" [format]}]]
[collection
- ["." set (#+ Set)]]]
+ ["." set {"+" [Set]}]]]
[macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]
["." template]]
[math
- ["." random (#+ Random)]
- [number (#+ hex)
+ ["." random {"+" [Random]}]
+ [number {"+" [hex]}
["n" nat]]]]]
[\\library
["." /
[//
- ["." unicode #_
+ ["." unicode "_"
["#" set]]]]])
(def: (range max min)
diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux
index a6a9aae06..e5b6968e0 100644
--- a/stdlib/source/test/lux/data/text/format.lux
+++ b/stdlib/source/test/lux/data/text/format.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
+ [monad {"+" [do]}]
+ [equivalence {"+" [Equivalence]}]
[functor
[\\specification
["$." contravariant]]]]
@@ -26,7 +26,7 @@
["." duration]
["." date]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
["." modulus]
["." modular]
[number
@@ -40,7 +40,7 @@
[meta
["." location]]
["." type]]]
- ["$." /// #_
+ ["$." /// "_"
[format
["#." xml]
["#." json]]
diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux
index 041f22d9e..26ce416ff 100644
--- a/stdlib/source/test/lux/data/text/regex.lux
+++ b/stdlib/source/test/lux/data/text/regex.lux
@@ -1,23 +1,23 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
pipe
["." try]
[parser
- ["<.>" text (#+ Parser)]
+ ["<.>" text {"+" [Parser]}]
["<.>" code]]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
["." macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]]
[math
- [number (#+ hex)]
+ [number {"+" [hex]}]
["." random]]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux
index 3c006d6d8..4f9f27295 100644
--- a/stdlib/source/test/lux/data/text/unicode/block.lux
+++ b/stdlib/source/test/lux/data/text/unicode/block.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
@@ -16,8 +16,8 @@
[macro
["." template]]
[math
- ["." random (#+ Random)]
- [number (#+ hex)
+ ["." random {"+" [Random]}]
+ [number {"+" [hex]}
["n" nat]]]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux
index 2ff6ade86..db18d9b7d 100644
--- a/stdlib/source/test/lux/data/text/unicode/set.lux
+++ b/stdlib/source/test/lux/data/text/unicode/set.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[data
@@ -12,11 +12,11 @@
[collection
["." set ("#\." equivalence)]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
- ["." / #_
- ["/#" // #_
+ ["." / "_"
+ ["/#" // "_"
["#." block]]]
[\\library
["." /