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.lux9
-rw-r--r--stdlib/source/test/lux/data/bit.lux14
-rw-r--r--stdlib/source/test/lux/data/collection/array.lux12
-rw-r--r--stdlib/source/test/lux/data/collection/list.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/list/property.lux7
-rw-r--r--stdlib/source/test/lux/data/collection/sequence.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/set.lux7
-rw-r--r--stdlib/source/test/lux/data/color/rgb.lux9
-rw-r--r--stdlib/source/test/lux/data/color/scheme.lux3
-rw-r--r--stdlib/source/test/lux/data/format/json.lux9
-rw-r--r--stdlib/source/test/lux/data/format/xml.lux7
-rw-r--r--stdlib/source/test/lux/data/text.lux19
-rw-r--r--stdlib/source/test/lux/data/text/encoding.lux4
-rw-r--r--stdlib/source/test/lux/data/text/encoding/utf8.lux6
-rw-r--r--stdlib/source/test/lux/data/text/unicode/block.lux7
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-22 15:49:19 +0000