aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/abstract
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/abstract/apply.lux4
-rw-r--r--stdlib/source/test/lux/abstract/codec.lux4
-rw-r--r--stdlib/source/test/lux/abstract/enum.lux4
-rw-r--r--stdlib/source/test/lux/abstract/equivalence.lux4
-rw-r--r--stdlib/source/test/lux/abstract/fold.lux4
-rw-r--r--stdlib/source/test/lux/abstract/functor.lux4
-rw-r--r--stdlib/source/test/lux/abstract/interval.lux6
-rw-r--r--stdlib/source/test/lux/abstract/monad.lux4
-rw-r--r--stdlib/source/test/lux/abstract/monoid.lux4
-rw-r--r--stdlib/source/test/lux/abstract/number.lux4
-rw-r--r--stdlib/source/test/lux/abstract/order.lux4
11 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux
index 6b3ea631f..b2d67d3e9 100644
--- a/stdlib/source/test/lux/abstract/apply.lux
+++ b/stdlib/source/test/lux/abstract/apply.lux
@@ -3,7 +3,7 @@
[abstract/monad (#+ do)]
[data
[text
- format]]
+ ["%" format (#+ format)]]]
[control
["." function]]
[math
@@ -63,7 +63,7 @@
(def: #export (spec injection comparison apply)
(All [f] (-> (Injection f) (Comparison f) (Apply f) Test))
- (_.context (%name (name-of /.Apply))
+ (_.context (%.name (name-of /.Apply))
($_ _.and
(..identity injection comparison apply)
(..homomorphism injection comparison apply)
diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux
index 80203c237..99afe290f 100644
--- a/stdlib/source/test/lux/abstract/codec.lux
+++ b/stdlib/source/test/lux/abstract/codec.lux
@@ -3,7 +3,7 @@
["_" test (#+ Test)]
[abstract/monad (#+ do)]
[data
- text/format
+ ["%" text/format (#+ format)]
["." error]]
[math
["r" random (#+ Random)]]]
@@ -16,7 +16,7 @@
(All [m a] (-> (Equivalence a) (Codec m a) (Random a) Test))
(do r.monad
[expected generator]
- (<| (_.context (%name (name-of /.Codec)))
+ (<| (_.context (%.name (name-of /.Codec)))
(_.test "Isomorphism."
(case (|> expected /@encode /@decode)
(#error.Success actual)
diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux
index b0498dc09..926230ce1 100644
--- a/stdlib/source/test/lux/abstract/enum.lux
+++ b/stdlib/source/test/lux/abstract/enum.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[control
["." function]]
@@ -14,7 +14,7 @@
(All [a] (-> (Enum a) (Random a) Test))
(do r.monad
[sample gen-sample]
- (<| (_.context (%name (name-of /.Order)))
+ (<| (_.context (%.name (name-of /.Order)))
($_ _.and
(_.test "Successor and predecessor are inverse functions."
(and (/@= (|> sample /@succ /@pred)
diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux
index d9e61131f..ac0084e82 100644
--- a/stdlib/source/test/lux/abstract/equivalence.lux
+++ b/stdlib/source/test/lux/abstract/equivalence.lux
@@ -4,7 +4,7 @@
[abstract/monad (#+ do)]
[data
[text
- format]]
+ ["%" format (#+ format)]]]
[math
["r" random (#+ Random)]]]
{1
@@ -15,7 +15,7 @@
(do r.monad
[left generator
right generator]
- (<| (_.context (%name (name-of /.Equivalence)))
+ (<| (_.context (%.name (name-of /.Equivalence)))
($_ _.and
(_.test "Reflexivity."
(_@= left left))
diff --git a/stdlib/source/test/lux/abstract/fold.lux b/stdlib/source/test/lux/abstract/fold.lux
index 8dfe7fc4c..99ac25c5b 100644
--- a/stdlib/source/test/lux/abstract/fold.lux
+++ b/stdlib/source/test/lux/abstract/fold.lux
@@ -1,7 +1,7 @@
(.module:
[lux #*
["_" test (#+ Test)]
- data/text/format
+ ["%" data/text/format (#+ format)]
["r" math/random]
[abstract/monad (#+ do)]]
[//
@@ -11,7 +11,7 @@
(def: #export (spec injection comparison (^open "/@."))
(All [f] (-> (Injection f) (Comparison f) (Fold f) Test))
- (_.context (%name (name-of /.Fold))
+ (_.context (%.name (name-of /.Fold))
(do r.monad
[subject r.nat
parameter r.nat]
diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux
index 77a07233b..4c7c87c63 100644
--- a/stdlib/source/test/lux/abstract/functor.lux
+++ b/stdlib/source/test/lux/abstract/functor.lux
@@ -1,7 +1,7 @@
(.module:
[lux #*
["_" test (#+ Test)]
- data/text/format
+ ["%" data/text/format (#+ format)]
["r" math/random]
[abstract
[equivalence (#+ Equivalence)]
@@ -51,7 +51,7 @@
(def: #export (spec injection comparison functor)
(All [f] (-> (Injection f) (Comparison f) (Functor f) Test))
- (_.context (%name (name-of /.Functor))
+ (_.context (%.name (name-of /.Functor))
($_ _.and
(..identity injection comparison functor)
(..homomorphism injection comparison functor)
diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux
index 62b56a5fb..e4a489822 100644
--- a/stdlib/source/test/lux/abstract/interval.lux
+++ b/stdlib/source/test/lux/abstract/interval.lux
@@ -13,7 +13,7 @@
[number
["." nat]]
[text
- format]
+ ["%" format (#+ format)]]
[collection
["." set]
["." list]]]
@@ -217,7 +217,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.Interval)))
+ (<| (_.context (%.name (name-of /.Interval)))
($_ _.and
($equivalence.spec /.equivalence ..interval)
(<| (_.context "Boundaries.")
@@ -238,7 +238,7 @@
(def: #export (spec (^open ",@.") gen-sample)
(All [a] (-> (Interval a) (Random a) Test))
- (<| (_.context (%name (name-of /.Interval)))
+ (<| (_.context (%.name (name-of /.Interval)))
(do r.monad
[sample gen-sample]
($_ _.and
diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux
index 827a1e509..c420d6416 100644
--- a/stdlib/source/test/lux/abstract/monad.lux
+++ b/stdlib/source/test/lux/abstract/monad.lux
@@ -2,7 +2,7 @@
[lux #*
[data
[text
- format]]
+ ["%" format (#+ format)]]]
[control
["." function]]
[math
@@ -51,7 +51,7 @@
(def: #export (spec injection comparison monad)
(All [f] (-> (Injection f) (Comparison f) (Monad f) Test))
- (_.context (%name (name-of /.Monad))
+ (_.context (%.name (name-of /.Monad))
($_ _.and
(..left-identity injection comparison monad)
(..right-identity injection comparison monad)
diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux
index 3600795ff..b0f89abc7 100644
--- a/stdlib/source/test/lux/abstract/monoid.lux
+++ b/stdlib/source/test/lux/abstract/monoid.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract/monad (#+ do)]
[math
@@ -16,7 +16,7 @@
(All [a] (-> (Equivalence a) (Monoid a) (Random a) Test))
(do r.monad
[sample gen-sample]
- (<| (_.context (%name (name-of /.Monoid)))
+ (<| (_.context (%.name (name-of /.Monoid)))
($_ _.and
(_.test "Left identity."
(/@= sample (/@compose /@identity sample)))
diff --git a/stdlib/source/test/lux/abstract/number.lux b/stdlib/source/test/lux/abstract/number.lux
index 363621791..e04ad3124 100644
--- a/stdlib/source/test/lux/abstract/number.lux
+++ b/stdlib/source/test/lux/abstract/number.lux
@@ -4,7 +4,7 @@
[abstract/monad (#+ do)]
[data
[text
- format]]
+ ["%" format (#+ format)]]]
[math
["r" random (#+ Random)]]]
{1
@@ -20,7 +20,7 @@
gen-sample)]
parameter non-zero
subject non-zero]
- (<| (_.context (%name (name-of /.Number)))
+ (<| (_.context (%.name (name-of /.Number)))
($_ _.and
(_.test "Addition and subtraction are inverse functions."
(|> subject (/@+ parameter) (/@- parameter) (/@= subject)))
diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux
index 5406a490c..c31ab31e1 100644
--- a/stdlib/source/test/lux/abstract/order.lux
+++ b/stdlib/source/test/lux/abstract/order.lux
@@ -4,7 +4,7 @@
[abstract/monad (#+ do)]
[data
[text
- format]]
+ ["%" format (#+ format)]]]
[math
["r" random (#+ Random)]]]
{1
@@ -15,7 +15,7 @@
(do r.monad
[parameter generator
subject generator]
- (<| (_.context (%name (name-of /.Order)))
+ (<| (_.context (%.name (name-of /.Order)))
($_ _.and
(_.test "Values are either ordered, or they are equal. All options are mutually exclusive."
(cond (,@< parameter subject)
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-13 13:00:17 +0000