diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
30 files changed, 103 insertions, 110 deletions
diff --git a/stdlib/source/test/lux/data/any.lux b/stdlib/source/test/lux/data/any.lux index 1a8c31c44..da1b7dc55 100644 --- a/stdlib/source/test/lux/data/any.lux +++ b/stdlib/source/test/lux/data/any.lux @@ -3,8 +3,9 @@ [lux (.except) [abstract [monad (.only do)] + ["[0]" equivalence + ["[1]T" \\test]] [\\specification - ["[0]S" equivalence] ["[0]S" hash]]] [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)]] @@ -24,7 +25,7 @@ []) (all _.and (_.for [/.equivalence] - (equivalenceS.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] (hashS.spec /.hash ..random)) diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 95d26678f..ae70dcf97 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -6,8 +6,8 @@ [equivalence (.only Equivalence)] ["[0]" monad (.only do)] ["[0]" enum] - [\\specification - ["$[0]" equivalence]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" monoid ["[1]T" \\test]]] [control @@ -489,7 +489,7 @@ length (of ! each (n.% (n.- offset size)) random.nat)] (`` (all _.and (_.for [!.=] - ($equivalence.spec (function (_ left right) + (equivalenceT.spec (function (_ left right) (!.= left right)) (..random size))) (_.coverage [!.empty] @@ -553,7 +553,7 @@ length (of ! each (n.% (n.- offset size)) random.nat)] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence (..random size))) + (equivalenceT.spec /.equivalence (..random size))) (_.for [/.monoid] (monoidT.spec /.equivalence /.monoid (..random size))) (_.coverage [/.mix] diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index 176b3114a..5b2ec3b02 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -4,8 +4,9 @@ [abstract [monad (.only do)] [\\specification - ["$[0]" equivalence] ["$[0]" hash]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" codec ["[1]T" \\test]] ["[0]" monoid @@ -26,7 +27,7 @@ [value random.bit] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence random.bit)) + (equivalenceT.spec /.equivalence random.bit)) (_.for [/.hash] ($hash.spec /.hash random.bit)) (_.for [/.disjunction] diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 35b85392a..cad11b974 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -10,8 +10,8 @@ ["[1]T" \\test]] ["[0]" monoid ["[1]T" \\test]] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" maybe (.use "[1]#[0]" functor)]] [data @@ -45,7 +45,7 @@ [size ..bounded_size] (all _.and (_.for [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence) (random.array size random.nat))) + (equivalenceT.spec (/.equivalence n.equivalence) (random.array size random.nat))) (_.for [/.monoid] (monoidT.spec (/.equivalence n.equivalence) /.monoid (random.array size random.nat))) (_.for [/.functor] @@ -130,7 +130,7 @@ evens (random.array size (random.only n.even? random.nat))] (`` (all _.and (_.for [!.=] - ($equivalence.spec (function (_ left right) + (equivalenceT.spec (function (_ left right) (!.= n.equivalence left right)) (random.array size random.nat))) (_.for [!.composite] diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index 965ad8e5a..88c63c8cd 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control [function ["[0]" predicate]]] @@ -38,7 +38,7 @@ (_.for [/.Bits]) (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [sample ..random] diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index e0757bc7a..a72c0b582 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -6,8 +6,8 @@ [monad (.only do)] ["[0]" functor ["[1]T" \\test (.only Injection)]] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" maybe (.use "[1]#[0]" functor)] ["[0]" try] @@ -264,7 +264,7 @@ random.nat)] (all _.and (_.for [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence) + (equivalenceT.spec (/.equivalence n.equivalence) (random.dictionary n.hash size random.nat random.nat))) (_.for [/.functor] diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 410580860..9b50f037c 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -5,8 +5,8 @@ [monad (.only do)] [equivalence (.only Equivalence)] [order (.only Order)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" maybe (.use "[1]#[0]" monad)]] [data @@ -66,7 +66,7 @@ (open "/#[0]") (/.equivalence n.equivalence)]] (all _.and (_.for [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence) (..dictionary n.order random.nat random.nat size))) + (equivalenceT.spec (/.equivalence n.equivalence) (..dictionary n.order random.nat random.nat size))) (_.coverage [/.size] (n.= size (/.size sample))) diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 460565e5f..c9131d41a 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -13,8 +13,9 @@ ["[1]T" \\test]] ["[0]" mix ["[1]T" \\test]] + ["[0]" equivalence + ["[1]T" \\test]] [\\specification - ["$[0]" equivalence] ["$[0]" hash]]] [control ["[0]" pipe] @@ -54,7 +55,7 @@ Test (all _.and (_.for [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence) ..random)) + (equivalenceT.spec (/.equivalence n.equivalence) ..random)) (_.for [/.hash] (|> random.nat (of random.monad each (|>> list)) diff --git a/stdlib/source/test/lux/data/collection/list/property.lux b/stdlib/source/test/lux/data/collection/list/property.lux index 06d0141a2..c051e4b5c 100644 --- a/stdlib/source/test/lux/data/collection/list/property.lux +++ b/stdlib/source/test/lux/data/collection/list/property.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" monoid ["[1]T" \\test]]] [control @@ -48,7 +48,7 @@ shift random.nat] (all _.and (_.for [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence) + (equivalenceT.spec (/.equivalence n.equivalence) (..random size gen_key random.nat))) (_.for [/.monoid] (monoidT.spec (/.equivalence n.equivalence) diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index 56656e44a..3a388badc 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" functor ["[1]T" \\test (.only Injection)]] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [data ["[0]" bit (.use "[1]#[0]" equivalence)] [collection @@ -39,7 +39,7 @@ sample (/.of_list members)]] (all _.and (_.for [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence) (random.queue size random.nat))) + (equivalenceT.spec (/.equivalence n.equivalence) (random.queue size random.nat))) (_.for [/.functor] (functorT.spec ..injection /.equivalence /.functor)) diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index 80f6d06fe..dd392c9e0 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -12,8 +12,8 @@ ["[1]T" \\test]] ["[0]" mix ["[1]T" \\test]] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try (.only Try)] ["[0]" exception]] @@ -38,7 +38,7 @@ [size (of ! each (n.% 100) random.nat)] (all _.and (_.for [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence) (random.sequence size random.nat))) + (equivalenceT.spec (/.equivalence n.equivalence) (random.sequence size random.nat))) (_.for [/.monoid] (monoidT.spec (/.equivalence n.equivalence) /.monoid (random.sequence size random.nat))) (_.for [/.mix] diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index efa67edac..19b44b8bf 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -4,8 +4,9 @@ [abstract [hash (.only Hash)] [monad (.only do)] + ["[0]" equivalence + ["[1]T" \\test]] [\\specification - ["$[0]" equivalence] ["$[0]" hash]] ["[0]" monoid ["[1]T" \\test]]] @@ -35,7 +36,7 @@ [size ..gen_nat] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence (random.set n.hash size random.nat))) + (equivalenceT.spec /.equivalence (random.set n.hash size random.nat))) (_.for [/.hash] (|> random.nat (of random.monad each (|>> list (/.of_list n.hash))) diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index f22c4c455..981de69d6 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -4,8 +4,9 @@ [abstract [hash (.only Hash)] [monad (.only do)] + ["[0]" equivalence + ["[1]T" \\test]] [\\specification - ["$[0]" equivalence] ["$[0]" hash]]] [control [function @@ -45,7 +46,7 @@ [diversity (of ! each (n.% 10) random.nat)] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence (..random diversity n.hash ..count random.nat))) + (equivalenceT.spec /.equivalence (..random diversity n.hash ..count random.nat))) (_.for [/.hash] (|> random.nat (of random.monad each (function (_ single) diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 45c8a9a9e..6579bfffd 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -4,8 +4,8 @@ [abstract [monad (.only do)] [order (.only Order)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [data ["[0]" bit (.use "[1]#[0]" equivalence)] [collection @@ -55,7 +55,7 @@ empty (/.empty n.order)]] (`` (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence (..random sizeL n.order random.nat))) + (equivalenceT.spec /.equivalence (..random sizeL n.order random.nat))) (_.coverage [/.size] (n.= sizeL (/.size setL))) diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index e18c44196..eb3d7cee8 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" functor ["[1]T" \\test (.only Injection)]] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" maybe]] [data @@ -34,7 +34,7 @@ expected_top random.nat] (all _.and (_.for [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence) (random.stack size random.nat))) + (equivalenceT.spec (/.equivalence n.equivalence) (random.stack size random.nat))) (_.for [/.functor] (functorT.spec ..injection /.equivalence /.functor)) diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index ee6d5a83d..f8d45e7ec 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -7,8 +7,8 @@ ["[1]T" \\test (.only Injection Comparison)]] ["[0]" mix ["[1]T" \\test]] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["//" parser] ["[0]" try] @@ -208,7 +208,7 @@ (_.for [/.equivalence] (|> (..tree random.nat) (of random.monad each product.right) - ($equivalence.spec (/.equivalence n.equivalence)))) + (equivalenceT.spec (/.equivalence n.equivalence)))) (_.for [/.mix] (mixT.spec /.leaf /.equivalence /.mix)) (_.for [/.functor] diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index 77d9209d8..c8b91e2c1 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -7,8 +7,8 @@ ["[1]T" \\test (.only Injection Comparison)]] ["[0]" comonad ["[1]T" \\test]] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" pipe] ["[0]" maybe (.use "[1]#[0]" functor)]] @@ -167,7 +167,7 @@ (open "list#[0]") (list.equivalence n.equivalence)]] (all _.and (_.for [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence) (of ! each (|>> product.right /.zipper) (//.tree random.nat)))) + (equivalenceT.spec (/.equivalence n.equivalence) (of ! each (|>> product.right /.zipper) (//.tree random.nat)))) (_.for [/.functor] (functorT.spec (|>> tree.leaf /.zipper) /.equivalence /.functor)) (_.for [/.comonad] diff --git a/stdlib/source/test/lux/data/color/cmyk.lux b/stdlib/source/test/lux/data/color/cmyk.lux index 2eda4d6a8..9ee4b6e1d 100644 --- a/stdlib/source/test/lux/data/color/cmyk.lux +++ b/stdlib/source/test/lux/data/color/cmyk.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["[0]S" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] @@ -78,16 +78,12 @@ /.#cyan /.#magenta /.#yellow /.#key] (all _.and (_.for [/.equivalence] - (equivalenceS.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) - (_.coverage [/.cmyk /.rgb] - (and (|> expected_rgb - /.cmyk - /.rgb - (of rgb.equivalence = expected_rgb)) - (|> expected_cmyk - /.rgb - /.cmyk - (of /.equivalence = expected_cmyk)))) + (_.coverage [/.of_rgb /.rgb] + (|> expected_rgb + /.of_rgb + /.rgb + (of rgb.equivalence = expected_rgb))) )) ))) diff --git a/stdlib/source/test/lux/data/color/hsb.lux b/stdlib/source/test/lux/data/color/hsb.lux index ee8d5f18a..2a3d1c69c 100644 --- a/stdlib/source/test/lux/data/color/hsb.lux +++ b/stdlib/source/test/lux/data/color/hsb.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["[0]S" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number @@ -70,20 +70,16 @@ (_.for [/.HSB] (all _.and (_.for [/.equivalence] - (equivalenceS.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.coverage [/.hsb /.hue /.saturation /.brightness] (|> (/.hsb (/.hue expected_hsb) (/.saturation expected_hsb) (/.brightness expected_hsb)) (of /.equivalence = expected_hsb))) (_.coverage [/.of_rgb /.rgb] - (and (|> expected_rgb - /.of_rgb - /.rgb - (of rgb.equivalence = expected_rgb)) - (|> expected_hsb - /.rgb - /.of_rgb - (of /.equivalence = expected_hsb)))) + (|> expected_rgb + /.of_rgb + /.rgb + (of rgb.equivalence = expected_rgb))) )) ))) diff --git a/stdlib/source/test/lux/data/color/hsl.lux b/stdlib/source/test/lux/data/color/hsl.lux index bbfd8f8da..1de637d08 100644 --- a/stdlib/source/test/lux/data/color/hsl.lux +++ b/stdlib/source/test/lux/data/color/hsl.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["[0]S" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number @@ -82,7 +82,7 @@ /.#hue /.#saturation /.#luminance] (`` (all _.and (_.for [/.equivalence] - (equivalenceS.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.coverage [/.hsl] (|> (/.hsl (the /.#hue expected_hsl) @@ -90,14 +90,10 @@ (the /.#luminance expected_hsl)) (of /.equivalence = expected_hsl))) (_.coverage [/.of_rgb /.rgb] - (and (|> expected_rgb - /.of_rgb - /.rgb - (of rgb.equivalence = expected_rgb)) - (|> expected_hsl - /.rgb - /.of_rgb - (of /.equivalence = expected_hsl)))) + (|> expected_rgb + /.of_rgb + /.rgb + (of rgb.equivalence = expected_rgb))) (_.coverage [/.saturated] (f.> (the /.#saturation mediocre) diff --git a/stdlib/source/test/lux/data/color/rgb.lux b/stdlib/source/test/lux/data/color/rgb.lux index 2723d5529..089759e56 100644 --- a/stdlib/source/test/lux/data/color/rgb.lux +++ b/stdlib/source/test/lux/data/color/rgb.lux @@ -3,8 +3,9 @@ [lux (.except) [abstract [monad (.only do)] + ["[0]" equivalence + ["[1]T" \\test]] [\\specification - ["[0]S" equivalence] ["[0]S" hash]] ["[0]" monoid ["[1]T" \\test]]] @@ -104,7 +105,7 @@ /.#red /.#green /.#blue] (all _.and (_.for [/.equivalence] - (equivalenceS.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] (hashS.spec /.hash ..random)) (_.for [/.addition] diff --git a/stdlib/source/test/lux/data/color/scheme.lux b/stdlib/source/test/lux/data/color/scheme.lux index 2d9ccaf3f..be18c52cc 100644 --- a/stdlib/source/test/lux/data/color/scheme.lux +++ b/stdlib/source/test/lux/data/color/scheme.lux @@ -2,10 +2,7 @@ [library [lux (.except) [abstract - [monad (.only do)] - [\\specification - ["$[0]" equivalence] - ["$[0]" hash]]] + [monad (.only do)]] [data [collection ["[0]" list]]] diff --git a/stdlib/source/test/lux/data/color/terminal.lux b/stdlib/source/test/lux/data/color/terminal.lux index bcc080a1c..2a3b1c3e9 100644 --- a/stdlib/source/test/lux/data/color/terminal.lux +++ b/stdlib/source/test/lux/data/color/terminal.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["[0]S" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [data ["[0]" text (.use "[1]#[0]" equivalence)] [collection @@ -74,7 +74,7 @@ (_.for [/.Command]) (all _.and (_.for [/.equivalence] - (equivalenceS.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.coverage [/.with] (let [it (/.with command diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 0442d17bc..b97cb1afe 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -5,9 +5,8 @@ [codec (.except)] [monad (.only do)] ["[0]" equivalence (.only Equivalence) - ["[0]/[1]" \\polytypic]] - [\\specification - ["$[0]" equivalence]] + ["[0]/[1]" \\polytypic] + ["[1]T" \\test]] ["[0]" codec ["[1]T" \\test]]] [control @@ -341,7 +340,7 @@ (_.for [/.JSON]) (`` (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.codec] (all _.and (codecT.spec /.equivalence /.codec ..random) diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index 337ab10b7..73612963a 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -3,8 +3,8 @@ [lux (.except char symbol) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" codec ["[1]T" \\test]]] [control @@ -232,7 +232,7 @@ (_.for [/.XML /.#Text /.#Node]) (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.codec] (codecT.spec /.equivalence /.codec ..random)) diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index 458264a0f..510c4aadf 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [math ["[0]" random] [number @@ -26,7 +26,7 @@ random.nat)] (all _.and (_.for [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence i.equivalence) + (equivalenceT.spec (/.equivalence n.equivalence i.equivalence) (random.and random.nat random.int))) (do random.monad [left random.int diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index ead537253..97699e4a7 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -3,8 +3,9 @@ [lux (.except) [abstract [monad (.only do)] + ["[0]" equivalence + ["[1]T" \\test]] [\\specification - ["$[0]" equivalence] ["$[0]" hash]]] [control ["[0]" pipe]] @@ -31,7 +32,7 @@ shift random.nat] (all _.and (_.for [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence n.equivalence) + (equivalenceT.spec (/.equivalence n.equivalence n.equivalence) (random.or random.nat random.nat))) (_.for [/.hash] ($hash.spec (/.hash n.hash n.hash) diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index e7bd6ac8b..23d12ebe1 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -5,11 +5,12 @@ [monad (.only do)] [equivalence (.only Equivalence)] [\\specification - ["$[0]" equivalence] ["$[0]" hash]] [functor ["[0]" contravariant ["[1]T" \\test]]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" order ["[1]T" \\test]] ["[0]" monoid @@ -863,7 +864,7 @@ (_.for [.Text]) (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence (random.ascii 2))) + (equivalenceT.spec /.equivalence (random.ascii 2))) (_.for [/.hash] ($hash.spec /.hash (random.ascii 1))) (_.for [/.order] diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index 370740c9a..88261f69a 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -3,8 +3,9 @@ [lux (.except) [abstract [monad (.only do)] + ["[0]" equivalence + ["[1]T" \\test]] [\\specification - ["$[0]" equivalence] ["$[0]" hash]] ["[0]" monoid ["[1]T" \\test]]] @@ -187,7 +188,7 @@ random.nat)] (`` (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] ($hash.spec /.hash ..random)) (_.for [/.monoid] diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index 1c62d0eda..21c56d628 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [data ["[0]" product] ["[0]" bit (.use "[1]#[0]" equivalence)] @@ -47,7 +47,7 @@ n.equivalence)]] (`` (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.coverage [/.set] (and (n.= (block.start left) |