aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/compositor.lux2
-rw-r--r--stdlib/source/specification/compositor/common.lux4
-rw-r--r--stdlib/source/specification/lux/abstract/apply.lux10
-rw-r--r--stdlib/source/specification/lux/abstract/codec.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/comonad.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/enum.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/equivalence.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux12
-rw-r--r--stdlib/source/specification/lux/abstract/functor/contravariant.lux4
-rw-r--r--stdlib/source/specification/lux/abstract/hash.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/interval.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/mix.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/monad.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/monoid.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/order.lux4
15 files changed, 33 insertions, 33 deletions
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index 70c314997..619ba5fa9 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -42,7 +42,7 @@
))
(def: .public (spec platform bundle expander program)
- (All [anchor expression directive]
+ (All (_ anchor expression directive)
(-> (IO (Platform IO anchor expression directive))
(Bundle anchor expression directive)
Expander
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index f663de359..72a27804d 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -26,7 +26,7 @@
(-> Name Synthesis (Try Any)))
(type: .public (Instancer what)
- (All [anchor expression directive]
+ (All (_ anchor expression directive)
(-> (Platform IO anchor expression directive)
(generation.State+ anchor expression directive)
what)))
@@ -60,7 +60,7 @@
(def: .public (executors target expander platform
analysis_bundle generation_bundle directive_bundle
program extender)
- (All [anchor expression directive]
+ (All (_ anchor expression directive)
(-> Text Expander (Platform IO anchor expression directive)
analysis.Bundle
(generation.Bundle anchor expression directive)
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index 1e2c7b676..007e4800a 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -16,7 +16,7 @@
[functor (#+ Injection Comparison)]])
(def: (identity injection comparison (^open "\."))
- (All [f] (-> (Injection f) (Comparison f) (Apply f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do {! random.monad}
[sample (\ ! each injection random.nat)]
(_.test "Identity."
@@ -25,7 +25,7 @@
sample))))
(def: (homomorphism injection comparison (^open "\."))
- (All [f] (-> (Injection f) (Comparison f) (Apply f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do {! random.monad}
[sample random.nat
increase (\ ! each n.+ random.nat)]
@@ -35,7 +35,7 @@
(injection (increase sample))))))
(def: (interchange injection comparison (^open "\."))
- (All [f] (-> (Injection f) (Comparison f) (Apply f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do {! random.monad}
[sample random.nat
increase (\ ! each n.+ random.nat)]
@@ -46,7 +46,7 @@
(function (_ f) (f sample)))))))))
(def: (composition injection comparison (^open "\."))
- (All [f] (-> (Injection f) (Comparison f) (Apply f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do {! random.monad}
[sample random.nat
increase (\ ! each n.+ random.nat)
@@ -62,7 +62,7 @@
(injection decrease))))))
(def: .public (spec injection comparison apply)
- (All [f] (-> (Injection f) (Comparison f) (Apply f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(_.for [/.Apply]
($_ _.and
(..identity injection comparison apply)
diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux
index 1725bbc92..bc256f66f 100644
--- a/stdlib/source/specification/lux/abstract/codec.lux
+++ b/stdlib/source/specification/lux/abstract/codec.lux
@@ -14,7 +14,7 @@
[equivalence (#+ Equivalence)]]]])
(def: .public (spec (^open "@//.") (^open "@//.") generator)
- (All [m a] (-> (Equivalence a) (/.Codec m a) (Random a) Test))
+ (All (_ m a) (-> (Equivalence a) (/.Codec m a) (Random a) Test))
(do random.monad
[expected generator]
(_.for [/.Codec]
diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux
index 785cc06fd..abcda6f0f 100644
--- a/stdlib/source/specification/lux/abstract/comonad.lux
+++ b/stdlib/source/specification/lux/abstract/comonad.lux
@@ -14,7 +14,7 @@
[functor (#+ Injection Comparison)]])
(def: (left_identity injection (^open "_//."))
- (All [f] (-> (Injection f) (CoMonad f) Test))
+ (All (_ f) (-> (Injection f) (CoMonad f) Test))
(do {! random.monad}
[sample random.nat
morphism (\ ! each (function (_ diff)
@@ -26,7 +26,7 @@
(|> start _//disjoint (_//each morphism) _//out)))))
(def: (right_identity injection comparison (^open "_//."))
- (All [f] (-> (Injection f) (Comparison f) (CoMonad f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test))
(do random.monad
[sample random.nat
.let [start (injection sample)
@@ -36,7 +36,7 @@
(|> start _//disjoint (_//each _//out))))))
(def: (associativity injection comparison (^open "_//."))
- (All [f] (-> (Injection f) (Comparison f) (CoMonad f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test))
(do {! random.monad}
[sample random.nat
increase (\ ! each (function (_ diff)
@@ -52,7 +52,7 @@
(|> start _//disjoint (_//each increase) _//disjoint (_//each decrease))))))
(def: .public (spec injection comparison subject)
- (All [f] (-> (Injection f) (Comparison f) (CoMonad f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test))
(<| (_.for [/.CoMonad])
($_ _.and
(..left_identity injection subject)
diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux
index f68ba1203..a5118918a 100644
--- a/stdlib/source/specification/lux/abstract/enum.lux
+++ b/stdlib/source/specification/lux/abstract/enum.lux
@@ -10,7 +10,7 @@
["." /]])
(def: .public (spec (^open "\.") gen_sample)
- (All [a] (-> (/.Enum a) (Random a) Test))
+ (All (_ a) (-> (/.Enum a) (Random a) Test))
(do random.monad
[sample gen_sample]
(<| (_.for [/.Enum])
diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux
index e6ef85b11..9a7e3c096 100644
--- a/stdlib/source/specification/lux/abstract/equivalence.lux
+++ b/stdlib/source/specification/lux/abstract/equivalence.lux
@@ -10,7 +10,7 @@
["." / (#+ Equivalence)]])
(def: .public (spec (^open "_//.") random)
- (All [a] (-> (Equivalence a) (Random a) Test))
+ (All (_ a) (-> (Equivalence a) (Random a) Test))
(do random.monad
[left random
right random]
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index 33c6506c5..7d280e610 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -15,15 +15,15 @@
["." / (#+ Functor)]])
(type: .public (Injection f)
- (All [a] (-> a (f a))))
+ (All (_ a) (-> a (f a))))
(type: .public (Comparison f)
- (All [a]
+ (All (_ a)
(-> (Equivalence a)
(Equivalence (f a)))))
(def: (identity injection comparison (^open "@//."))
- (All [f] (-> (Injection f) (Comparison f) (Functor f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do {! random.monad}
[sample (\ ! each injection random.nat)]
(_.test "Identity."
@@ -32,7 +32,7 @@
sample))))
(def: (homomorphism injection comparison (^open "@//."))
- (All [f] (-> (Injection f) (Comparison f) (Functor f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do {! random.monad}
[sample random.nat
increase (\ ! each n.+ random.nat)]
@@ -42,7 +42,7 @@
(injection (increase sample))))))
(def: (composition injection comparison (^open "@//."))
- (All [f] (-> (Injection f) (Comparison f) (Functor f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do {! random.monad}
[sample (\ ! each injection random.nat)
increase (\ ! each n.+ random.nat)
@@ -53,7 +53,7 @@
(|> sample (@//each (|>> increase decrease)))))))
(def: .public (spec injection comparison functor)
- (All [f] (-> (Injection f) (Comparison f) (Functor f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(<| (_.for [/.Functor])
($_ _.and
(..identity injection comparison functor)
diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
index 9e50001c5..a2edebd54 100644
--- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
@@ -15,14 +15,14 @@
["." / (#+ Functor)]])
(def: (identity equivalence value (^open "@//."))
- (All [f a] (-> (Equivalence (f a)) (f a) (Functor f) Test))
+ (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test))
(_.test "Law of identity."
(equivalence
(@//each function.identity value)
value)))
(def: .public (spec equivalence value functor)
- (All [f a] (-> (Equivalence (f a)) (f a) (Functor f) Test))
+ (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test))
(do random.monad
[sample random.nat]
(<| (_.for [/.Functor])
diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux
index 4437a42a5..2f246bdab 100644
--- a/stdlib/source/specification/lux/abstract/hash.lux
+++ b/stdlib/source/specification/lux/abstract/hash.lux
@@ -12,7 +12,7 @@
["." /]])
(def: .public (spec (^open "\.") random)
- (All [a] (-> (/.Hash a) (Random a) Test))
+ (All (_ a) (-> (/.Hash a) (Random a) Test))
(do random.monad
[parameter random
subject random]
diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux
index 68b2204b0..eeea4a1de 100644
--- a/stdlib/source/specification/lux/abstract/interval.lux
+++ b/stdlib/source/specification/lux/abstract/interval.lux
@@ -11,7 +11,7 @@
["." /]])
(def: .public (spec (^open "@//.") gen_sample)
- (All [a] (-> (/.Interval a) (Random a) Test))
+ (All (_ a) (-> (/.Interval a) (Random a) Test))
(<| (_.for [/.Interval])
(do random.monad
[sample gen_sample]
diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux
index 1097ac37f..d8960947f 100644
--- a/stdlib/source/specification/lux/abstract/mix.lux
+++ b/stdlib/source/specification/lux/abstract/mix.lux
@@ -14,7 +14,7 @@
["." /]])
(def: .public (spec injection comparison (^open "@//."))
- (All [f] (-> (Injection f) (Comparison f) (/.Mix f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (/.Mix f) Test))
(do random.monad
[subject random.nat
parameter random.nat]
diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux
index 2e538db50..daded437a 100644
--- a/stdlib/source/specification/lux/abstract/monad.lux
+++ b/stdlib/source/specification/lux/abstract/monad.lux
@@ -12,7 +12,7 @@
[functor (#+ Injection Comparison)]])
(def: (left_identity injection comparison (^open "_//."))
- (All [f] (-> (Injection f) (Comparison f) (/.Monad f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
(do {! random.monad}
[sample random.nat
morphism (\ ! each (function (_ diff)
@@ -24,7 +24,7 @@
(morphism sample)))))
(def: (right_identity injection comparison (^open "_//."))
- (All [f] (-> (Injection f) (Comparison f) (/.Monad f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
(do random.monad
[sample random.nat]
(_.test "Right identity."
@@ -33,7 +33,7 @@
(injection sample)))))
(def: (associativity injection comparison (^open "_//."))
- (All [f] (-> (Injection f) (Comparison f) (/.Monad f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
(do {! random.monad}
[sample random.nat
increase (\ ! each (function (_ diff)
@@ -48,7 +48,7 @@
(|> (injection sample) (_//each (|>> increase (_//each decrease) _//conjoint)) _//conjoint)))))
(def: .public (spec injection comparison monad)
- (All [f] (-> (Injection f) (Comparison f) (/.Monad f) Test))
+ (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
(<| (_.for [/.Monad])
($_ _.and
(..left_identity injection comparison monad)
diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux
index a9ce67fd2..b11c348ce 100644
--- a/stdlib/source/specification/lux/abstract/monoid.lux
+++ b/stdlib/source/specification/lux/abstract/monoid.lux
@@ -12,7 +12,7 @@
[equivalence (#+ Equivalence)]]]])
(def: .public (spec (^open "\.") (^open "\.") gen_sample)
- (All [a] (-> (Equivalence a) (/.Monoid a) (Random a) Test))
+ (All (_ a) (-> (Equivalence a) (/.Monoid a) (Random a) Test))
(do random.monad
[sample gen_sample
left gen_sample
diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux
index 94bf6712a..2a8510721 100644
--- a/stdlib/source/specification/lux/abstract/order.lux
+++ b/stdlib/source/specification/lux/abstract/order.lux
@@ -10,13 +10,13 @@
["." /]])
(def: .public (spec (^open "@//.") generator)
- (All [a] (-> (/.Order a) (Random a) Test))
+ (All (_ a) (-> (/.Order a) (Random a) Test))
(<| (_.for [/.Order])
($_ _.and
(do random.monad
[parameter generator
subject generator]
- (_.test "Values are either ordered, or they are equal. All options are mutually exclusive."
+ (_.test "Values are either ordered, or they are equal. All options(_ are mutually exclusive."
(cond (@//< parameter subject)
(not (or (@//< subject parameter)
(@//= parameter subject)))