diff options
Diffstat (limited to 'stdlib/source/specification')
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))) |