aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/lux/abstract
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/lux/abstract')
-rw-r--r--stdlib/source/specification/lux/abstract/apply.lux10
-rw-r--r--stdlib/source/specification/lux/abstract/comonad.lux18
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux10
-rw-r--r--stdlib/source/specification/lux/abstract/monad.lux18
4 files changed, 28 insertions, 28 deletions
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index fcb51c926..8d0fe390e 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -19,7 +19,7 @@
(def: (identity injection comparison (open "/#[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do [! random.monad]
- [sample (# ! each injection random.nat)]
+ [sample (at ! each injection random.nat)]
(_.property "Identity."
((comparison n.=)
(/#on sample (injection function.identity))
@@ -29,7 +29,7 @@
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do [! random.monad]
[sample random.nat
- increase (# ! each n.+ random.nat)]
+ increase (at ! each n.+ random.nat)]
(_.property "Homomorphism."
((comparison n.=)
(/#on (injection sample) (injection increase))
@@ -39,7 +39,7 @@
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do [! random.monad]
[sample random.nat
- increase (# ! each n.+ random.nat)]
+ increase (at ! each n.+ random.nat)]
(_.property "Interchange."
((comparison n.=)
(/#on (injection sample) (injection increase))
@@ -52,9 +52,9 @@
(do [! random.monad]
[sample random.nat
increase (is (Random :$/1:)
- (# ! each n.+ random.nat))
+ (at ! each n.+ random.nat))
decrease (is (Random :$/1:)
- (# ! each n.- random.nat))]
+ (at ! each n.- random.nat))]
(_.property "Composition."
((comparison n.=)
(|> (injection (is (-> :$/1: :$/1: :$/1:)
diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux
index 6486cecd8..c9a03c6d3 100644
--- a/stdlib/source/specification/lux/abstract/comonad.lux
+++ b/stdlib/source/specification/lux/abstract/comonad.lux
@@ -17,9 +17,9 @@
(All (_ f) (-> (Injection f) (CoMonad f) Test))
(do [! random.monad]
[sample random.nat
- morphism (# ! each (function (_ diff)
- (|>> _//out (n.+ diff)))
- random.nat)
+ morphism (at ! each (function (_ diff)
+ (|>> _//out (n.+ diff)))
+ random.nat)
.let [start (injection sample)]]
(_.property "Left identity."
(n.= (morphism start)
@@ -39,12 +39,12 @@
(All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test))
(do [! random.monad]
[sample random.nat
- increase (# ! each (function (_ diff)
- (|>> _//out (n.+ diff)))
- random.nat)
- decrease (# ! each (function (_ diff)
- (|>> _//out(n.- diff)))
- random.nat)
+ increase (at ! each (function (_ diff)
+ (|>> _//out (n.+ diff)))
+ random.nat)
+ decrease (at ! each (function (_ diff)
+ (|>> _//out(n.- diff)))
+ random.nat)
.let [start (injection sample)
== (comparison n.=)]]
(_.property "Associativity."
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index cc53413ca..8ac207e97 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -25,7 +25,7 @@
(def: (identity injection comparison (open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
- [sample (# ! each injection random.nat)]
+ [sample (at ! each injection random.nat)]
(_.property "Identity."
((comparison n.=)
(@//each function.identity sample)
@@ -35,7 +35,7 @@
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
[sample random.nat
- increase (# ! each n.+ random.nat)]
+ increase (at ! each n.+ random.nat)]
(_.property "Homomorphism."
((comparison n.=)
(@//each increase (injection sample))
@@ -44,9 +44,9 @@
(def: (composition injection comparison (open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
- [sample (# ! each injection random.nat)
- increase (# ! each n.+ random.nat)
- decrease (# ! each n.- random.nat)]
+ [sample (at ! each injection random.nat)
+ increase (at ! each n.+ random.nat)
+ decrease (at ! each n.- random.nat)]
(_.property "Composition."
((comparison n.=)
(|> sample (@//each increase) (@//each decrease))
diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux
index 70911488b..25a2f3e4f 100644
--- a/stdlib/source/specification/lux/abstract/monad.lux
+++ b/stdlib/source/specification/lux/abstract/monad.lux
@@ -15,9 +15,9 @@
(All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
(do [! random.monad]
[sample random.nat
- morphism (# ! each (function (_ diff)
- (|>> (n.+ diff) _//in))
- random.nat)]
+ morphism (at ! each (function (_ diff)
+ (|>> (n.+ diff) _//in))
+ random.nat)]
(_.property "Left identity."
((comparison n.=)
(|> (injection sample) (_//each morphism) _//conjoint)
@@ -36,12 +36,12 @@
(All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
(do [! random.monad]
[sample random.nat
- increase (# ! each (function (_ diff)
- (|>> (n.+ diff) _//in))
- random.nat)
- decrease (# ! each (function (_ diff)
- (|>> (n.- diff) _//in))
- random.nat)]
+ increase (at ! each (function (_ diff)
+ (|>> (n.+ diff) _//in))
+ random.nat)
+ decrease (at ! each (function (_ diff)
+ (|>> (n.- diff) _//in))
+ random.nat)]
(_.property "Associativity."
((comparison n.=)
(|> (injection sample) (_//each increase) _//conjoint (_//each decrease) _//conjoint)
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 00:08:39 +0000