aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/data
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/data/binary.lux11
-rw-r--r--stdlib/source/test/lux/data/bit.lux15
-rw-r--r--stdlib/source/test/lux/data/collection/array.lux15
-rw-r--r--stdlib/source/test/lux/data/collection/bits.lux9
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary.lux11
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/ordered.lux9
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/plist.lux9
-rw-r--r--stdlib/source/test/lux/data/collection/list.lux21
-rw-r--r--stdlib/source/test/lux/data/collection/queue.lux11
-rw-r--r--stdlib/source/test/lux/data/collection/queue/priority.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/row.lux19
-rw-r--r--stdlib/source/test/lux/data/collection/sequence.lux11
-rw-r--r--stdlib/source/test/lux/data/collection/set.lux13
-rw-r--r--stdlib/source/test/lux/data/collection/set/multi.lux11
-rw-r--r--stdlib/source/test/lux/data/collection/set/ordered.lux9
-rw-r--r--stdlib/source/test/lux/data/collection/stack.lux11
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux13
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/tree/zipper.lux13
-rw-r--r--stdlib/source/test/lux/data/color.lux13
-rw-r--r--stdlib/source/test/lux/data/color/named.lux4
-rw-r--r--stdlib/source/test/lux/data/format/binary.lux9
-rw-r--r--stdlib/source/test/lux/data/format/json.lux11
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux4
-rw-r--r--stdlib/source/test/lux/data/format/xml.lux11
-rw-r--r--stdlib/source/test/lux/data/identity.lux15
-rw-r--r--stdlib/source/test/lux/data/lazy.lux15
-rw-r--r--stdlib/source/test/lux/data/maybe.lux19
-rw-r--r--stdlib/source/test/lux/data/name.lux15
-rw-r--r--stdlib/source/test/lux/data/product.lux9
-rw-r--r--stdlib/source/test/lux/data/sum.lux9
-rw-r--r--stdlib/source/test/lux/data/text.lux15
-rw-r--r--stdlib/source/test/lux/data/text/buffer.lux4
-rw-r--r--stdlib/source/test/lux/data/text/encoding.lux9
-rw-r--r--stdlib/source/test/lux/data/text/encoding/utf8.lux9
-rw-r--r--stdlib/source/test/lux/data/text/escape.lux4
-rw-r--r--stdlib/source/test/lux/data/text/format.lux9
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux4
-rw-r--r--stdlib/source/test/lux/data/text/unicode/block.lux13
-rw-r--r--stdlib/source/test/lux/data/text/unicode/set.lux9
40 files changed, 198 insertions, 231 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index 11d4a8889..ba5e36662 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -4,10 +4,9 @@
[abstract
["." monad (#+ do)]
["." enum]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." monoid]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." monoid]]]
[control
["." try (#+ Try)]
["." exception (#+ Exception)]]
@@ -19,8 +18,8 @@
[number
["." i64]
["n" nat]]]]
- {1
- ["." / (#+ 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 8fa84d273..341da9beb 100644
--- a/stdlib/source/test/lux/data/bit.lux
+++ b/stdlib/source/test/lux/data/bit.lux
@@ -5,16 +5,15 @@
["." random]]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]
- ["$." codec]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." monoid]
+ ["$." codec]]]
[control
["." function]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: #export test
Test
diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux
index b2757b863..e99478ee8 100644
--- a/stdlib/source/test/lux/data/collection/array.lux
+++ b/stdlib/source/test/lux/data/collection/array.lux
@@ -3,12 +3,11 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." monoid]
- ["$." fold]
- ["$." functor (#+ Injection)]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." monoid]
+ ["$." fold]
+ ["$." functor (#+ Injection)]]]
[data
["." bit]
["." maybe]
@@ -19,8 +18,8 @@
["." random (#+ Random)]
[number
["n" nat]]]]
- {1
- ["." / (#+ 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 f4b780864..258c84107 100644
--- a/stdlib/source/test/lux/data/collection/bits.lux
+++ b/stdlib/source/test/lux/data/collection/bits.lux
@@ -4,15 +4,14 @@
[abstract
[monad (#+ do)]
["." predicate]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[math
["." random (#+ Random)]
[number
["n" nat]]]]
- {1
- ["." / (#+ 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 d4ba74ed7..d68b421d9 100644
--- a/stdlib/source/test/lux/data/collection/dictionary.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary.lux
@@ -4,10 +4,9 @@
[abstract
[hash (#+ Hash)]
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." functor (#+ Injection)]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." functor (#+ Injection)]]]
[control
["." try]
["." exception]]
@@ -20,8 +19,8 @@
["." random]
[number
["n" nat]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: injection
(Injection (/.Dictionary Nat))
diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
index 778726329..a004e5c97 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
@@ -5,9 +5,8 @@
[monad (#+ do)]
[equivalence (#+ Equivalence)]
[order (#+ Order)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[data
["." product]
["." bit ("#\." equivalence)]
@@ -19,8 +18,8 @@
["." random (#+ Random) ("#\." monad)]
[number
["n" nat]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: #export (dictionary order gen_key gen_value size)
(All [k v]
diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux
index 7473aec04..4811b1162 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux
@@ -3,9 +3,8 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[data
["." bit ("#\." equivalence)]
["." maybe ("#\." monad)]
@@ -17,8 +16,8 @@
["." random (#+ Random)]
[number
["n" nat]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: #export (random size gen_key gen_value)
(All [v]
diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux
index 3efc42254..625ce2bad 100644
--- a/stdlib/source/test/lux/data/collection/list.lux
+++ b/stdlib/source/test/lux/data/collection/list.lux
@@ -4,15 +4,14 @@
[abstract
[monad (#+ do)]
["." enum]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]
- ["$." fold]
- ["$." functor]
- ["$." apply]
- ["$." monad]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." monoid]
+ ["$." fold]
+ ["$." functor]
+ ["$." apply]
+ ["$." monad]]]
[control
pipe
["." io]
@@ -29,8 +28,8 @@
[number
["n" nat]
["." int]]]]
- {1
- ["." / ("#\." monad)]})
+ [\\
+ ["." / ("#\." monad)]])
(def: bounded_size
(Random Nat)
diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux
index b246f8187..8ddd0533a 100644
--- a/stdlib/source/test/lux/data/collection/queue.lux
+++ b/stdlib/source/test/lux/data/collection/queue.lux
@@ -3,10 +3,9 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." functor (#+ Injection)]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." functor (#+ Injection)]]]
[data
["." bit ("#\." equivalence)]
[collection
@@ -16,8 +15,8 @@
["." random]
[number
["n" nat]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: injection
(Injection /.Queue)
diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux
index 4e99d2a3a..653e0ca52 100644
--- a/stdlib/source/test/lux/data/collection/queue/priority.lux
+++ b/stdlib/source/test/lux/data/collection/queue/priority.lux
@@ -10,8 +10,8 @@
["." random (#+ Random)]
[number
["n" nat]]]]
- {1
- ["." / (#+ Queue)]})
+ [\\
+ ["." / (#+ Queue)]])
(def: #export (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 55d9492ff..e523fd656 100644
--- a/stdlib/source/test/lux/data/collection/row.lux
+++ b/stdlib/source/test/lux/data/collection/row.lux
@@ -3,14 +3,13 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." monoid]
- ["$." fold]
- ["$." functor (#+ Injection)]
- ["$." apply]
- ["$." monad]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." monoid]
+ ["$." fold]
+ ["$." functor (#+ Injection)]
+ ["$." apply]
+ ["$." monad]]]
[control
["." try (#+ Try)]
["." exception]]
@@ -23,8 +22,8 @@
["." random]
[number
["n" nat]]]]
- {1
- ["." / ("#\." monad)]})
+ [\\
+ ["." / ("#\." monad)]])
(def: signatures
Test
diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux
index d10ee90cc..1d5e111af 100644
--- a/stdlib/source/test/lux/data/collection/sequence.lux
+++ b/stdlib/source/test/lux/data/collection/sequence.lux
@@ -5,10 +5,9 @@
[monad (#+ do)]
[equivalence (#+ Equivalence)]
["." enum]
- {[0 #spec]
- [/
- ["$." functor]
- ["$." comonad]]}]
+ [\spec
+ ["$." functor]
+ ["$." comonad]]]
[data
["." text
["%" format (#+ format)]]
@@ -18,8 +17,8 @@
["." random]
[number
["n" nat]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(implementation: (equivalence super)
(All [a] (-> (Equivalence a) (Equivalence (/.Sequence a))))
diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux
index a0d7e446b..f577ce59f 100644
--- a/stdlib/source/test/lux/data/collection/set.lux
+++ b/stdlib/source/test/lux/data/collection/set.lux
@@ -4,11 +4,10 @@
[abstract
[hash (#+ Hash)]
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." monoid]]]
[data
["." bit ("#\." equivalence)]
[collection
@@ -17,8 +16,8 @@
["." random (#+ Random)]
[number
["n" nat]]]]
- {1
- ["." / ("\." equivalence)]})
+ [\\
+ ["." / ("\." equivalence)]])
(def: gen_nat
(Random Nat)
diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux
index feea35e2f..4e1cd4f48 100644
--- a/stdlib/source/test/lux/data/collection/set/multi.lux
+++ b/stdlib/source/test/lux/data/collection/set/multi.lux
@@ -5,10 +5,9 @@
[hash (#+ Hash)]
[monad (#+ do)]
["." predicate]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." hash]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." hash]]]
[data
["." bit ("#\." equivalence)]
[collection
@@ -18,8 +17,8 @@
["." random (#+ Random)]
[number
["n" nat]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: count
(Random Nat)
diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux
index daf924012..385bc3c4a 100644
--- a/stdlib/source/test/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/set/ordered.lux
@@ -4,9 +4,8 @@
[abstract
[monad (#+ do)]
[order (#+ Order)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[data
["." bit ("#\." equivalence)]
[collection
@@ -15,9 +14,9 @@
["." random (#+ Random) ("#\." monad)]
[number
["n" nat]]]]
- {1
+ [\\
["." / (#+ Set)
- ["." //]]})
+ ["." //]]])
(def: size
(random.Random Nat)
diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux
index ae6fbabf6..317911b6b 100644
--- a/stdlib/source/test/lux/data/collection/stack.lux
+++ b/stdlib/source/test/lux/data/collection/stack.lux
@@ -3,10 +3,9 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." functor (#+ Injection)]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." functor (#+ Injection)]]]
[data
["." maybe]
["." bit ("#\." equivalence)]]
@@ -14,8 +13,8 @@
["." random]
[number
["n" nat]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: (injection value)
(Injection /.Stack)
diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux
index b7fea5e4f..91817180d 100644
--- a/stdlib/source/test/lux/data/collection/tree.lux
+++ b/stdlib/source/test/lux/data/collection/tree.lux
@@ -3,11 +3,10 @@
["_" test (#+ Test)]
[abstract
["." monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." fold]
- ["$." functor]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." fold]
+ ["$." functor]]]
[data
["." product]
[collection
@@ -16,8 +15,8 @@
["." random (#+ Random)]
[number
["n" nat]]]]
- {1
- ["." / (#+ Tree)]})
+ [\\
+ ["." / (#+ Tree)]])
(def: #export (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 55c3d9118..2c4c83466 100644
--- a/stdlib/source/test/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/test/lux/data/collection/tree/finger.lux
@@ -13,8 +13,8 @@
[number
["n" nat]]]
[type (#+ :by_example)]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: builder
(/.builder text.monoid))
diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux
index 929572a37..6a7832736 100644
--- a/stdlib/source/test/lux/data/collection/tree/zipper.lux
+++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux
@@ -3,11 +3,10 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." functor]
- ["$." comonad]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." functor]
+ ["$." comonad]]]
[control
pipe]
[data
@@ -21,9 +20,9 @@
[number
["n" nat]]]]
["." //]
- {1
+ [\\
["." / (#+ Zipper)
- ["tree" //]]})
+ ["tree" //]]])
(def: move
Test
diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux
index 50b1c1fd6..2877af081 100644
--- a/stdlib/source/test/lux/data/color.lux
+++ b/stdlib/source/test/lux/data/color.lux
@@ -3,11 +3,10 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." monoid]]]
[data
[collection
["." list]]]
@@ -20,8 +19,8 @@
["." int]
["f" frac]
["r" rev]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: #export random
(Random /.Color)
diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux
index 14ec96329..bddd74593 100644
--- a/stdlib/source/test/lux/data/color/named.lux
+++ b/stdlib/source/test/lux/data/color/named.lux
@@ -13,9 +13,9 @@
["." random (#+ Random)]
[number
["n" nat]]]]
- {1
+ [\\
["." /
- ["/#" //]]})
+ ["/#" //]]])
(with_expansions [<colors> (as_is [letter/a
[/.alice_blue
diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux
index c667c6070..8912ae845 100644
--- a/stdlib/source/test/lux/data/format/binary.lux
+++ b/stdlib/source/test/lux/data/format/binary.lux
@@ -4,15 +4,14 @@
[abstract
[equivalence (#+ Equivalence)]
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." monoid]]}]
+ [\spec
+ ["$." monoid]]]
[data
["." binary ("#\." equivalence)]]
[math
["." random (#+ Random)]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(implementation: equivalence
(Equivalence /.Specification)
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 091f64b67..5e425db79 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -4,10 +4,9 @@
["." meta]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." codec]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." codec]]]
[control
["." try ("#\." functor)]]
[data
@@ -28,8 +27,8 @@
["." macro
["." syntax (#+ syntax:)]
["." code]]]
- {1
- ["." / (#+ JSON) ("\." equivalence)]})
+ [\\
+ ["." / (#+ JSON) ("\." equivalence)]])
(def: #export random
(Random /.JSON)
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index c7250a025..540eb2af1 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -32,8 +32,8 @@
[number
["n" nat]
["i" int]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: path
Test
diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux
index bd3b45216..95a06127f 100644
--- a/stdlib/source/test/lux/data/format/xml.lux
+++ b/stdlib/source/test/lux/data/format/xml.lux
@@ -3,10 +3,9 @@
["_" test (#+ Test)]
[abstract
[monad (#+ Monad do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." codec]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." codec]]]
[control
pipe
["." try]
@@ -24,8 +23,8 @@
["." random (#+ Random) ("#\." monad)]
[number
["n" nat]]]]
- {1
- ["." / (#+ 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 a68e11511..918eb10f6 100644
--- a/stdlib/source/test/lux/data/identity.lux
+++ b/stdlib/source/test/lux/data/identity.lux
@@ -3,14 +3,13 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]
- ["$." comonad]]}]]
- {1
- ["." / (#+ Identity)]})
+ [\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]
+ ["$." comonad]]]]
+ [\\
+ ["." / (#+ Identity)]])
(def: injection
(Injection Identity)
diff --git a/stdlib/source/test/lux/data/lazy.lux b/stdlib/source/test/lux/data/lazy.lux
index 86d28d753..87d77ca68 100644
--- a/stdlib/source/test/lux/data/lazy.lux
+++ b/stdlib/source/test/lux/data/lazy.lux
@@ -3,20 +3,19 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]
- ["$." equivalence]]}]
+ [\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]
+ ["$." equivalence]]]
[data
["." product]]
[math
["." random (#+ Random)]
[number
["n" nat]]]]
- {1
- ["." / (#+ Lazy)]})
+ [\\
+ ["." / (#+ Lazy)]])
(def: injection
(Injection Lazy)
diff --git a/stdlib/source/test/lux/data/maybe.lux b/stdlib/source/test/lux/data/maybe.lux
index 017d0799b..eea0e3f32 100644
--- a/stdlib/source/test/lux/data/maybe.lux
+++ b/stdlib/source/test/lux/data/maybe.lux
@@ -3,14 +3,13 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]
- ["$." functor]
- ["$." apply]
- ["$." monad]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." monoid]
+ ["$." functor]
+ ["$." apply]
+ ["$." monad]]]
[control
["." io ("#\." monad)]
pipe]
@@ -22,8 +21,8 @@
["." random (#+ Random)]
[number
["n" nat]]]]
- {1
- ["." / ("#\." monoid monad)]})
+ [\\
+ ["." / ("#\." monoid monad)]])
(def: #export test
Test
diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux
index e413afc95..8c2722466 100644
--- a/stdlib/source/test/lux/data/name.lux
+++ b/stdlib/source/test/lux/data/name.lux
@@ -3,12 +3,11 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." hash]
- ["$." order]
- ["$." codec]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." order]
+ ["$." codec]]]
[control
pipe]
[data
@@ -17,8 +16,8 @@
["." random (#+ Random)]
[number
["n" nat]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: #export (random module_size short_size)
(-> Nat Nat (Random Name))
diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux
index c20e7f5e9..3e8124dde 100644
--- a/stdlib/source/test/lux/data/product.lux
+++ b/stdlib/source/test/lux/data/product.lux
@@ -3,16 +3,15 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[math
["." random]
[number
["n" nat]
["i" int]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: #export test
Test
diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux
index 3b37382ae..6725a7a24 100644
--- a/stdlib/source/test/lux/data/sum.lux
+++ b/stdlib/source/test/lux/data/sum.lux
@@ -3,9 +3,8 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[control
pipe]
[data
@@ -17,8 +16,8 @@
[number
["n" nat]
["i" int]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: #export test
Test
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index 345dbdc26..1838206a8 100644
--- a/stdlib/source/test/lux/data/text.lux
+++ b/stdlib/source/test/lux/data/text.lux
@@ -3,12 +3,11 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." hash]
- ["$." order]
- ["$." monoid]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." order]
+ ["$." monoid]]]
[control
pipe]
[data
@@ -28,8 +27,8 @@
["#." escape]
["#." unicode #_
["#" set]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: bounded_size
(random.Random Nat)
diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux
index 852a3c951..551d7943f 100644
--- a/stdlib/source/test/lux/data/text/buffer.lux
+++ b/stdlib/source/test/lux/data/text/buffer.lux
@@ -10,8 +10,8 @@
["." random (#+ Random)]
[number
["n" nat]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: part
(Random Text)
diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux
index b4e47d7ee..981fb2d22 100644
--- a/stdlib/source/test/lux/data/text/encoding.lux
+++ b/stdlib/source/test/lux/data/text/encoding.lux
@@ -3,9 +3,8 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." codec]]}]
+ [\spec
+ ["$." codec]]]
[control
["." try]]
[data
@@ -20,8 +19,8 @@
["." random (#+ Random)]
[number
["n" nat]]]]
- {1
- ["." /]}
+ [\\
+ ["." /]]
["." / #_
["#." utf8]])
diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux
index 3d376811d..7f83f745d 100644
--- a/stdlib/source/test/lux/data/text/encoding/utf8.lux
+++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux
@@ -2,15 +2,14 @@
[lux #*
["_" test (#+ Test)]
[abstract
- {[0 #spec]
- [/
- ["$." codec]]}]
+ [\spec
+ ["$." codec]]]
[data
["." text]]
[math
["." random (#+ Random)]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: #export test
Test
diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux
index e7f31f9d7..7cef235cd 100644
--- a/stdlib/source/test/lux/data/text/escape.lux
+++ b/stdlib/source/test/lux/data/text/escape.lux
@@ -24,11 +24,11 @@
["." random (#+ Random)]
[number (#+ hex)
["n" nat]]]]
- {1
+ [\\
["." /
[//
["." unicode #_
- ["#" set]]]]})
+ ["#" set]]]]])
(def: (range max min)
(-> Char Char (Random Char))
diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux
index 1f0c2c9e6..db1615631 100644
--- a/stdlib/source/test/lux/data/text/format.lux
+++ b/stdlib/source/test/lux/data/text/format.lux
@@ -5,9 +5,8 @@
[monad (#+ do)]
[equivalence (#+ Equivalence)]
[functor
- {[0 #spec]
- [/
- ["$." contravariant]]}]]
+ [\spec
+ ["$." contravariant]]]]
[control
["." try]]
[data
@@ -47,8 +46,8 @@
["#." type]
[macro
["#." code]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(implementation: (equivalence example)
(All [a] (-> a (Equivalence (/.Format a))))
diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux
index fd82fdee5..481dcd17f 100644
--- a/stdlib/source/test/lux/data/text/regex.lux
+++ b/stdlib/source/test/lux/data/text/regex.lux
@@ -17,8 +17,8 @@
["." random]]
["." macro
[syntax (#+ syntax:)]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: (should_pass regex input)
(-> (Parser Text) Text Bit)
diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux
index 7f77aa34f..8a41eeca2 100644
--- a/stdlib/source/test/lux/data/text/unicode/block.lux
+++ b/stdlib/source/test/lux/data/text/unicode/block.lux
@@ -3,11 +3,10 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]]}]
+ [\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." monoid]]]
[data
["." text]
[collection
@@ -19,8 +18,8 @@
["." random (#+ Random)]
[number (#+ hex)
["n" nat]]]]
- {1
- ["." /]})
+ [\\
+ ["." /]])
(def: #export random
(Random /.Block)
diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux
index c63239cad..0fc394a63 100644
--- a/stdlib/source/test/lux/data/text/unicode/set.lux
+++ b/stdlib/source/test/lux/data/text/unicode/set.lux
@@ -3,9 +3,8 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[data
["." product]
["." bit ("#\." equivalence)]
@@ -18,10 +17,10 @@
["." / #_
["/#" // #_
["#." block]]]
- {1
+ [\\
["." /
[//
- ["." block]]]})
+ ["." block]]]])
(def: #export random
(Random /.Set)