diff options
Diffstat (limited to '')
17 files changed, 89 insertions, 104 deletions
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 |