diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
-rw-r--r-- | stdlib/source/test/lux/data/binary.lux | 9 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/bit.lux | 14 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/collection/array.lux | 12 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/collection/list.lux | 5 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/collection/list/property.lux | 7 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/collection/sequence.lux | 5 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/collection/set.lux | 7 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/color/rgb.lux | 9 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/color/scheme.lux | 3 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/format/json.lux | 9 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/format/xml.lux | 7 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/text.lux | 19 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/text/encoding.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/text/encoding/utf8.lux | 6 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/text/unicode/block.lux | 7 |
15 files changed, 67 insertions, 56 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 44af3a44e..95d26678f 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -7,8 +7,9 @@ ["[0]" monad (.only do)] ["[0]" enum] [\\specification - ["$[0]" equivalence] - ["$[0]" monoid]]] + ["$[0]" equivalence]] + ["[0]" monoid + ["[1]T" \\test]]] [control ["<>" parser] ["[0]" pipe] @@ -418,7 +419,7 @@ (_.for [\\format.Mutation \\format.Specification \\format.Format]) (all _.and (_.for [\\format.monoid] - ($monoid.spec ..equivalence \\format.monoid ..random_specification)) + (monoidT.spec ..equivalence \\format.monoid ..random_specification)) ))) (def (succeed result) @@ -554,7 +555,7 @@ (_.for [/.equivalence] ($equivalence.spec /.equivalence (..random size))) (_.for [/.monoid] - ($monoid.spec /.equivalence /.monoid (..random size))) + (monoidT.spec /.equivalence /.monoid (..random size))) (_.coverage [/.mix] (n.= (of list.mix mix n.+ 0 (..as_list sample)) (/.mix n.+ 0 sample))) diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index ebdf744af..176b3114a 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -5,9 +5,11 @@ [monad (.only do)] [\\specification ["$[0]" equivalence] - ["$[0]" hash] - ["$[0]" monoid] - ["$[0]" codec]]] + ["$[0]" hash]] + ["[0]" codec + ["[1]T" \\test]] + ["[0]" monoid + ["[1]T" \\test]]] [control ["[0]" function]] [math @@ -28,11 +30,11 @@ (_.for [/.hash] ($hash.spec /.hash random.bit)) (_.for [/.disjunction] - ($monoid.spec /.equivalence /.disjunction random.bit)) + (monoidT.spec /.equivalence /.disjunction random.bit)) (_.for [/.conjunction] - ($monoid.spec /.equivalence /.conjunction random.bit)) + (monoidT.spec /.equivalence /.conjunction random.bit)) (_.for [/.codec] - ($codec.spec /.equivalence /.codec random.bit)) + (codecT.spec /.equivalence /.codec random.bit)) (_.coverage [/.no /.yes] (and (of /.equivalence = false /.no) diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index cec353635..e2e17aa03 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -4,12 +4,12 @@ [abstract [functor (.only)] [monad (.only do)] - ["[0]" monoid - ["$[1]" \\specification]] - ["[0]" mix (.only Mix) - ["$[1]" \\specification]] ["[0]" functor ["[1]T" \\test (.only Injection)]] + ["[0]" mix (.only Mix) + ["$[1]" \\specification]] + ["[0]" monoid + ["[1]T" \\test]] [\\specification ["$[0]" equivalence]]] [control @@ -47,7 +47,7 @@ (_.for [/.equivalence] ($equivalence.spec (/.equivalence n.equivalence) (random.array size random.nat))) (_.for [/.monoid] - ($monoid.spec (/.equivalence n.equivalence) /.monoid (random.array size random.nat))) + (monoidT.spec (/.equivalence n.equivalence) /.monoid (random.array size random.nat))) (_.for [/.functor] (functorT.spec ..injection /.equivalence /.functor)) (_.for [/.mix] @@ -134,7 +134,7 @@ (!.= n.equivalence left right)) (random.array size random.nat))) (_.for [!.composite] - ($monoid.spec (/.equivalence n.equivalence) + (monoidT.spec (/.equivalence n.equivalence) (implementation (def identity (!.empty 0)) (def (composite left right) diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 52e2a3183..cbcc11c3d 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -8,10 +8,11 @@ ["[1]T" \\test]] ["[0]" apply ["[1]T" \\test]] + ["[0]" monoid + ["[1]T" \\test]] [\\specification ["$[0]" equivalence] ["$[0]" hash] - ["$[0]" monoid] ["$[0]" mix] ["$[0]" monad]]] [control @@ -58,7 +59,7 @@ (of random.monad each (|>> list)) ($hash.spec (/.hash n.hash)))) (_.for [/.monoid] - ($monoid.spec (/.equivalence n.equivalence) /.monoid ..random)) + (monoidT.spec (/.equivalence n.equivalence) /.monoid ..random)) (_.for [/.mix] ($mix.spec /#in /.equivalence /.mix)) (_.for [/.functor] diff --git a/stdlib/source/test/lux/data/collection/list/property.lux b/stdlib/source/test/lux/data/collection/list/property.lux index 719a17179..06d0141a2 100644 --- a/stdlib/source/test/lux/data/collection/list/property.lux +++ b/stdlib/source/test/lux/data/collection/list/property.lux @@ -4,8 +4,9 @@ [abstract [monad (.only do)] [\\specification - ["$[0]" equivalence] - ["$[0]" monoid]]] + ["$[0]" equivalence]] + ["[0]" monoid + ["[1]T" \\test]]] [control ["[0]" maybe (.use "[1]#[0]" monad)]] [data @@ -50,7 +51,7 @@ ($equivalence.spec (/.equivalence n.equivalence) (..random size gen_key random.nat))) (_.for [/.monoid] - ($monoid.spec (/.equivalence n.equivalence) + (monoidT.spec (/.equivalence n.equivalence) /.monoid (..random 10 (random.lower_cased 1) random.nat))) diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index 2d9703523..b2033b46f 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -7,9 +7,10 @@ ["[1]T" \\test (.only Injection)]] ["[0]" apply ["[1]T" \\test]] + ["[0]" monoid + ["[1]T" \\test]] [\\specification ["$[0]" equivalence] - ["$[0]" monoid] ["$[0]" mix] ["$[0]" monad]]] [control @@ -38,7 +39,7 @@ (_.for [/.equivalence] ($equivalence.spec (/.equivalence n.equivalence) (random.sequence size random.nat))) (_.for [/.monoid] - ($monoid.spec (/.equivalence n.equivalence) /.monoid (random.sequence size random.nat))) + (monoidT.spec (/.equivalence n.equivalence) /.monoid (random.sequence size random.nat))) (_.for [/.mix] ($mix.spec /#in /.equivalence /.mix)) (_.for [/.functor] diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index d4cff2607..efa67edac 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -6,8 +6,9 @@ [monad (.only do)] [\\specification ["$[0]" equivalence] - ["$[0]" hash] - ["$[0]" monoid]]] + ["$[0]" hash]] + ["[0]" monoid + ["[1]T" \\test]]] [data ["[0]" bit (.use "[1]#[0]" equivalence)] [collection @@ -40,7 +41,7 @@ (of random.monad each (|>> list (/.of_list n.hash))) ($hash.spec /.hash))) (_.for [/.monoid] - ($monoid.spec /.equivalence (/.monoid n.hash) (random.set n.hash size random.nat))) + (monoidT.spec /.equivalence (/.monoid n.hash) (random.set n.hash size random.nat))) (do ! [sizeL ..gen_nat diff --git a/stdlib/source/test/lux/data/color/rgb.lux b/stdlib/source/test/lux/data/color/rgb.lux index 4325eb72b..2723d5529 100644 --- a/stdlib/source/test/lux/data/color/rgb.lux +++ b/stdlib/source/test/lux/data/color/rgb.lux @@ -5,8 +5,9 @@ [monad (.only do)] [\\specification ["[0]S" equivalence] - ["[0]S" hash] - ["[0]S" monoid]]] + ["[0]S" hash]] + ["[0]" monoid + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] @@ -107,9 +108,9 @@ (_.for [/.hash] (hashS.spec /.hash ..random)) (_.for [/.addition] - (monoidS.spec /.equivalence /.addition ..random)) + (monoidT.spec /.equivalence /.addition ..random)) (_.for [/.subtraction] - (monoidS.spec /.equivalence /.subtraction ..random)) + (monoidT.spec /.equivalence /.subtraction ..random)) (_.coverage [/.rgb] (let [it (/.rgb expected_red expected_green expected_blue)] diff --git a/stdlib/source/test/lux/data/color/scheme.lux b/stdlib/source/test/lux/data/color/scheme.lux index 0a66b7fc8..2d9ccaf3f 100644 --- a/stdlib/source/test/lux/data/color/scheme.lux +++ b/stdlib/source/test/lux/data/color/scheme.lux @@ -5,8 +5,7 @@ [monad (.only do)] [\\specification ["$[0]" equivalence] - ["$[0]" hash] - ["$[0]" monoid]]] + ["$[0]" hash]]] [data [collection ["[0]" list]]] diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 60140bae6..0442d17bc 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -7,8 +7,9 @@ ["[0]" equivalence (.only Equivalence) ["[0]/[1]" \\polytypic]] [\\specification - ["$[0]" equivalence] - ["$[0]" codec]]] + ["$[0]" equivalence]] + ["[0]" codec + ["[1]T" \\test]]] [control ["<>" parser] ["[0]" pipe] @@ -263,7 +264,7 @@ (<| (_.covering \\polytypic._) (_.for [\\polytypic.codec] (for @.old (_.test "PLACEHOLDER" true) - ($codec.spec ..equivalence ..codec ..gen_record))))) + (codecT.spec ..equivalence ..codec ..gen_record))))) (def .public random (Random /.JSON) @@ -343,7 +344,7 @@ ($equivalence.spec /.equivalence ..random)) (_.for [/.codec] (all _.and - ($codec.spec /.equivalence /.codec ..random) + (codecT.spec /.equivalence /.codec ..random) (do random.monad [key (random.alphabetic 1) [expected escaped] any_string] diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index 644064c47..337ab10b7 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -4,8 +4,9 @@ [abstract [monad (.only do)] [\\specification - ["$[0]" equivalence] - ["$[0]" codec]]] + ["$[0]" equivalence]] + ["[0]" codec + ["[1]T" \\test]]] [control ["<>" parser (.use "[1]#[0]" monad)] ["[0]" maybe] @@ -233,7 +234,7 @@ (_.for [/.equivalence] ($equivalence.spec /.equivalence ..random)) (_.for [/.codec] - ($codec.spec /.equivalence /.codec ..random)) + (codecT.spec /.equivalence /.codec ..random)) (do [! random.monad] [(^.let symbol [namespace name]) ..symbol] diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index 6dadb8aa6..e7bd6ac8b 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -6,11 +6,14 @@ [equivalence (.only Equivalence)] [\\specification ["$[0]" equivalence] - ["$[0]" hash] - ["$[0]" order] - ["$[0]" monoid] - [functor - ["$[0]" contravariant]]]] + ["$[0]" hash]] + [functor + ["[0]" contravariant + ["[1]T" \\test]]] + ["[0]" order + ["[1]T" \\test]] + ["[0]" monoid + ["[1]T" \\test]]] [control ["<>" parser] ["[0]" pipe] @@ -157,7 +160,7 @@ (do random.monad [[format random] ..random_contravariant example random] - ($contravariant.spec (..equivalence example) + (contravariantT.spec (..equivalence example) format \\format.functor))) @@ -864,9 +867,9 @@ (_.for [/.hash] ($hash.spec /.hash (random.ascii 1))) (_.for [/.order] - ($order.spec /.order (random.ascii 2))) + (orderT.spec /.order (random.ascii 2))) (_.for [/.monoid] - ($monoid.spec /.equivalence /.monoid (random.ascii 2))) + (monoidT.spec /.equivalence /.monoid (random.ascii 2))) ..size ..affix diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index e573de1d3..d6c30f981 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -2,9 +2,7 @@ [library [lux (.except) [abstract - [monad (.only do)] - [\\specification - ["$[0]" codec]]] + [monad (.only do)]] [control ["[0]" maybe] ["[0]" try]] diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux index 38e57a1b0..9b187eca6 100644 --- a/stdlib/source/test/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -2,8 +2,8 @@ [library [lux (.except) [abstract - [\\specification - ["$[0]" codec]]] + ["[0]" codec + ["[1]T" \\test]]] [data ["[0]" text]] [math @@ -17,4 +17,4 @@ Test (<| (_.covering /._) (_.for [/.codec] - ($codec.spec text.equivalence /.codec (random.unicode 5))))) + (codecT.spec text.equivalence /.codec (random.unicode 5))))) diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index 6ea3e3493..370740c9a 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -5,8 +5,9 @@ [monad (.only do)] [\\specification ["$[0]" equivalence] - ["$[0]" hash] - ["$[0]" monoid]]] + ["$[0]" hash]] + ["[0]" monoid + ["[1]T" \\test]]] [data ["[0]" text] [collection @@ -190,7 +191,7 @@ (_.for [/.hash] ($hash.spec /.hash ..random)) (_.for [/.monoid] - ($monoid.spec /.equivalence /.monoid ..random)) + (monoidT.spec /.equivalence /.monoid ..random)) (_.for [/.block] (all _.and |