diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
33 files changed, 52 insertions, 44 deletions
diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index f6ad5e727..9515fa5ce 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] ["r" math/random] ["." function] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 8814a6e88..c210a9163 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -2,8 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control - pipe + [abstract [monad (#+ do Monad)] {[0 #test] [/ @@ -11,6 +10,8 @@ ["$." monoid] ["$." fold] ["$." functor (#+ Injection)]]}] + [control + pipe] [data ["." maybe] [number diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index ac7e983f9..a727761ca 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] ["." predicate] {[0 #test] diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index e559a2453..863c47973 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] ["eq" equivalence] {[0 #test] diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 4cd7880ba..57dab9884 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] [equivalence (#+ Equivalence)] [order (#+ Order)] diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 958025e8b..247b2de78 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -3,8 +3,7 @@ data/text/format ["_" test (#+ Test)] ["." io] - [control - pipe + [abstract [monad (#+ do)] {[0 #test] [/ @@ -14,6 +13,8 @@ ["$." functor] ["$." apply] ["$." monad]]}] + [control + pipe] [data ["." bit] ["." product] diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index c377fccc3..506cf15e3 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index df24b8368..4c4f2923a 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract ["." monad (#+ do)]] [data ["." maybe] diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux index 1fa55e135..15085776b 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index edacef996..6b4529dfc 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -2,9 +2,9 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract comonad - [monad (#+ do Monad)]] + [monad (#+ do)]] [data ["." maybe] [number diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index f319af295..f272cf305 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 7f143a9cd..4bddfaf33 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] [order (#+ Order)] {[0 #test] diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index 2886fa815..05b8efc47 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/collection/tree/rose.lux b/stdlib/source/test/lux/data/collection/tree/rose.lux index 987a72f45..65b46e382 100644 --- a/stdlib/source/test/lux/data/collection/tree/rose.lux +++ b/stdlib/source/test/lux/data/collection/tree/rose.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/collection/tree/rose/zipper.lux b/stdlib/source/test/lux/data/collection/tree/rose/zipper.lux index 3a3bd296c..e8f59a43a 100644 --- a/stdlib/source/test/lux/data/collection/tree/rose/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/rose/zipper.lux @@ -2,8 +2,8 @@ [lux #* data/text/format ["_" test (#+ Test)] + [abstract/monad (#+ do Monad)] [control - [monad (#+ do Monad)] pipe] [data ["." maybe] diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index f3db0c6f7..a8a61cb46 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -1,7 +1,7 @@ (.module: [lux #* ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/error.lux b/stdlib/source/test/lux/data/error.lux index c60c6563a..8f89ccb8f 100644 --- a/stdlib/source/test/lux/data/error.lux +++ b/stdlib/source/test/lux/data/error.lux @@ -2,8 +2,7 @@ [lux #* ["_" test (#+ Test)] ["." io] - [control - pipe + [abstract [monad (#+ do Monad)] {[0 #test] [/ @@ -11,6 +10,8 @@ ["$." apply] ["$." monad] ["$." equivalence]]}] + [control + pipe] [data text/format [number diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index f276c5180..c2826143a 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -2,16 +2,17 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control - pipe + [abstract codec [monad (#+ do Monad)] [equivalence (#+ Equivalence)] - ["p" parser] {[0 #test] [/ ["$." equivalence] ["$." codec]]}] + [control + pipe + ["p" parser]] [data ["." error] ["." bit] diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index 221edba97..cf2b10f65 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -2,14 +2,15 @@ [lux (#- char) data/text/format ["_" test (#+ Test)] - [control - pipe + [abstract [monad (#+ Monad do)] - ["p" parser] {[0 #test] [/ ["$." equivalence] ["$." codec]]}] + [control + pipe + ["p" parser]] [data ["." name] ["E" error] diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux index ef4450c50..38d20a7d5 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -1,7 +1,7 @@ (.module: [lux #* ["_" test (#+ Test)] - [control + [abstract comonad [monad (#+ do)] {[0 #test] diff --git a/stdlib/source/test/lux/data/lazy.lux b/stdlib/source/test/lux/data/lazy.lux index 44c0ff2da..62b1273e4 100644 --- a/stdlib/source/test/lux/data/lazy.lux +++ b/stdlib/source/test/lux/data/lazy.lux @@ -1,7 +1,7 @@ (.module: [lux #* ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/maybe.lux b/stdlib/source/test/lux/data/maybe.lux index 4aa89f85f..dc6ca1d56 100644 --- a/stdlib/source/test/lux/data/maybe.lux +++ b/stdlib/source/test/lux/data/maybe.lux @@ -1,8 +1,7 @@ (.module: [lux #* ["_" test (#+ Test)] - [control - pipe + [abstract [monad (#+ do)] {[0 #test] [/ @@ -10,6 +9,8 @@ ["$." functor] ["$." apply] ["$." monad]]}] + [control + pipe] [data ["." text format] diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux index a42684938..d9ee517d0 100644 --- a/stdlib/source/test/lux/data/name.lux +++ b/stdlib/source/test/lux/data/name.lux @@ -1,13 +1,14 @@ (.module: [lux #* ["_" test (#+ Test)] - [control - pipe + [abstract [monad (#+ do)] {[0 #test] [/ ["$." equivalence] ["$." codec]]}] + [control + pipe] [data ["." text ("#@." equivalence) format]] diff --git a/stdlib/source/test/lux/data/number/complex.lux b/stdlib/source/test/lux/data/number/complex.lux index a1fc7beca..8eed3e865 100644 --- a/stdlib/source/test/lux/data/number/complex.lux +++ b/stdlib/source/test/lux/data/number/complex.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/number/frac.lux b/stdlib/source/test/lux/data/number/frac.lux index 89ff72749..544ab858c 100644 --- a/stdlib/source/test/lux/data/number/frac.lux +++ b/stdlib/source/test/lux/data/number/frac.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/number/i64.lux b/stdlib/source/test/lux/data/number/i64.lux index 3e251d1e6..1519b1e48 100644 --- a/stdlib/source/test/lux/data/number/i64.lux +++ b/stdlib/source/test/lux/data/number/i64.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/number/int.lux b/stdlib/source/test/lux/data/number/int.lux index e11685580..5b0d523ae 100644 --- a/stdlib/source/test/lux/data/number/int.lux +++ b/stdlib/source/test/lux/data/number/int.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/number/nat.lux b/stdlib/source/test/lux/data/number/nat.lux index 9616e9bd6..4c46b4b0c 100644 --- a/stdlib/source/test/lux/data/number/nat.lux +++ b/stdlib/source/test/lux/data/number/nat.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/number/ratio.lux b/stdlib/source/test/lux/data/number/ratio.lux index c3c67c317..f0ce55751 100644 --- a/stdlib/source/test/lux/data/number/ratio.lux +++ b/stdlib/source/test/lux/data/number/ratio.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/number/rev.lux b/stdlib/source/test/lux/data/number/rev.lux index 15b98ffe6..308861368 100644 --- a/stdlib/source/test/lux/data/number/rev.lux +++ b/stdlib/source/test/lux/data/number/rev.lux @@ -2,7 +2,7 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control + [abstract [monad (#+ do)] {[0 #test] [/ diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index e3166dcd9..20ad838b7 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -2,13 +2,14 @@ [lux #* data/text/format ["_" test (#+ Test)] - [control - pipe + [abstract [monad (#+ do Monad)] {[0 #test] [/ ["$." equivalence] ["$." order]]}] + [control + pipe] [data [collection ["." list]]] diff --git a/stdlib/source/test/lux/data/text/lexer.lux b/stdlib/source/test/lux/data/text/lexer.lux index b15a86846..3693b0fd0 100644 --- a/stdlib/source/test/lux/data/text/lexer.lux +++ b/stdlib/source/test/lux/data/text/lexer.lux @@ -2,9 +2,9 @@ [lux #* data/text/format ["_" test (#+ Test)] + [abstract/monad (#+ do)] [control pipe - [monad (#+ do Monad)] ["p" parser]] [data ["." error (#+ Error)] diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 059adff84..58ef21b8b 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -2,8 +2,8 @@ [lux #* data/text/format ["_" test (#+ Test)] + [abstract/monad (#+ do)] [control - [monad (#+ do Monad)] pipe ["p" parser]] [data |