From 7853d890ac72cd96851caedadd8525404705286c Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 1 Jul 2020 22:28:36 -0400 Subject: Moved all spec(ifications) from under "test/" to under "spec/". --- commands.md | 24 ++++++- lux-jvm/project.clj | 2 +- stdlib/source/spec/lux/abstract/apply.lux | 73 ++++++++++++++++++++++ stdlib/source/spec/lux/abstract/codec.lux | 26 ++++++++ stdlib/source/spec/lux/abstract/enum.lux | 26 ++++++++ stdlib/source/spec/lux/abstract/equivalence.lux | 23 +++++++ stdlib/source/spec/lux/abstract/fold.lux | 22 +++++++ stdlib/source/spec/lux/abstract/functor.lux | 62 ++++++++++++++++++ stdlib/source/spec/lux/abstract/interval.lux | 22 +++++++ stdlib/source/spec/lux/abstract/monad.lux | 57 +++++++++++++++++ stdlib/source/spec/lux/abstract/monoid.lux | 31 +++++++++ stdlib/source/spec/lux/abstract/order.lux | 27 ++++++++ stdlib/source/test/lux/abstract/apply.lux | 66 +------------------ stdlib/source/test/lux/abstract/codec.lux | 16 +---- stdlib/source/test/lux/abstract/enum.lux | 30 +++------ stdlib/source/test/lux/abstract/equivalence.lux | 18 +----- stdlib/source/test/lux/abstract/fold.lux | 13 ---- stdlib/source/test/lux/abstract/functor.lux | 50 --------------- stdlib/source/test/lux/abstract/interval.lux | 16 +---- stdlib/source/test/lux/abstract/monad.lux | 49 +-------------- stdlib/source/test/lux/abstract/monad/free.lux | 2 +- stdlib/source/test/lux/abstract/monoid.lux | 22 ------- stdlib/source/test/lux/abstract/order.lux | 26 ++------ stdlib/source/test/lux/abstract/predicate.lux | 11 ++-- stdlib/source/test/lux/control/concurrency/frp.lux | 2 +- .../test/lux/control/concurrency/promise.lux | 2 +- stdlib/source/test/lux/control/concurrency/stm.lux | 2 +- stdlib/source/test/lux/control/continuation.lux | 2 +- stdlib/source/test/lux/control/function.lux | 10 +-- stdlib/source/test/lux/control/function/mixin.lux | 2 +- stdlib/source/test/lux/control/io.lux | 2 +- stdlib/source/test/lux/control/parser.lux | 2 +- stdlib/source/test/lux/control/reader.lux | 2 +- stdlib/source/test/lux/control/region.lux | 2 +- stdlib/source/test/lux/control/security/policy.lux | 2 +- stdlib/source/test/lux/control/state.lux | 2 +- stdlib/source/test/lux/control/thread.lux | 2 +- stdlib/source/test/lux/control/try.lux | 2 +- stdlib/source/test/lux/control/writer.lux | 2 +- stdlib/source/test/lux/data/binary.lux | 2 +- stdlib/source/test/lux/data/bit.lux | 2 +- stdlib/source/test/lux/data/collection/array.lux | 2 +- stdlib/source/test/lux/data/collection/bits.lux | 2 +- .../source/test/lux/data/collection/dictionary.lux | 2 +- .../lux/data/collection/dictionary/ordered.lux | 2 +- stdlib/source/test/lux/data/collection/list.lux | 2 +- stdlib/source/test/lux/data/collection/queue.lux | 2 +- stdlib/source/test/lux/data/collection/row.lux | 2 +- stdlib/source/test/lux/data/collection/set.lux | 2 +- .../test/lux/data/collection/set/ordered.lux | 2 +- stdlib/source/test/lux/data/collection/stack.lux | 2 +- stdlib/source/test/lux/data/collection/tree.lux | 2 +- stdlib/source/test/lux/data/color.lux | 2 +- stdlib/source/test/lux/data/format/json.lux | 2 +- stdlib/source/test/lux/data/format/xml.lux | 2 +- stdlib/source/test/lux/data/identity.lux | 2 +- stdlib/source/test/lux/data/lazy.lux | 2 +- stdlib/source/test/lux/data/maybe.lux | 2 +- stdlib/source/test/lux/data/name.lux | 2 +- stdlib/source/test/lux/data/number/complex.lux | 2 +- stdlib/source/test/lux/data/number/frac.lux | 2 +- stdlib/source/test/lux/data/number/i16.lux | 2 +- stdlib/source/test/lux/data/number/i32.lux | 2 +- stdlib/source/test/lux/data/number/i64.lux | 2 +- stdlib/source/test/lux/data/number/i8.lux | 2 +- stdlib/source/test/lux/data/number/int.lux | 2 +- stdlib/source/test/lux/data/number/nat.lux | 2 +- stdlib/source/test/lux/data/number/ratio.lux | 2 +- stdlib/source/test/lux/data/number/rev.lux | 2 +- stdlib/source/test/lux/data/text.lux | 2 +- stdlib/source/test/lux/macro/poly/json.lux | 2 +- stdlib/source/test/lux/time/date.lux | 2 +- stdlib/source/test/lux/time/day.lux | 2 +- stdlib/source/test/lux/time/duration.lux | 2 +- stdlib/source/test/lux/time/instant.lux | 2 +- stdlib/source/test/lux/time/month.lux | 2 +- 76 files changed, 474 insertions(+), 352 deletions(-) create mode 100644 stdlib/source/spec/lux/abstract/apply.lux create mode 100644 stdlib/source/spec/lux/abstract/codec.lux create mode 100644 stdlib/source/spec/lux/abstract/enum.lux create mode 100644 stdlib/source/spec/lux/abstract/equivalence.lux create mode 100644 stdlib/source/spec/lux/abstract/fold.lux create mode 100644 stdlib/source/spec/lux/abstract/functor.lux create mode 100644 stdlib/source/spec/lux/abstract/interval.lux create mode 100644 stdlib/source/spec/lux/abstract/monad.lux create mode 100644 stdlib/source/spec/lux/abstract/monoid.lux create mode 100644 stdlib/source/spec/lux/abstract/order.lux diff --git a/commands.md b/commands.md index bdcd22d38..7068c73d6 100644 --- a/commands.md +++ b/commands.md @@ -11,14 +11,15 @@ cd ~/lux/ && find . -name '*.lux' | xargs wc -l ``` cd ~/lux/luxc/ && lein clean && \ cd ~/lux/stdlib/ && lein clean && \ -cd ~/lux/new-luxc/ && lein clean && \ +cd ~/lux/lux-jvm/ && lein clean && \ cd ~/lux/lux-js/ && lein clean && \ cd ~/lux/lux-python/ && lein clean && \ cd ~/lux/lux-lua/ && lein clean && \ cd ~/lux/lux-ruby/ && lein clean && \ cd ~/lux/lux-php/ && lein clean && \ cd ~/lux/lux-cl/ && lein clean && \ -cd ~/lux/lux-scheme/ && lein clean +cd ~/lux/lux-scheme/ && lein clean && \ +cd ~/lux/lux-r/ && lein clean ``` --- @@ -70,7 +71,16 @@ cd ~/lux/stdlib/ && lein with-profile bibliotheca lux auto test ``` cd ~/lux/stdlib/ && lein install + cd ~/lux/stdlib/ && mvn install:install-file -Dfile=target/library.tar -DgroupId=com.github.luxlang -DartifactId=stdlib -Dversion=0.6.0-SNAPSHOT -Dpackaging=tar + +cd ~/lux/stdlib/ && mvn deploy:deploy-file \ +-Durl=https://:@oss.sonatype.org/content/repositories/snapshots/ \ +-Dfile=target/library.tar \ +-DgroupId=com.github.luxlang \ +-DartifactId=stdlib \ +-Dversion=0.6.0-SNAPSHOT \ +-Dpackaging=tar ``` ## Generate documentation @@ -340,7 +350,15 @@ cd ~/lux/stdlib/target/ && java -jar program.jar ## Deploy ``` -mvn install:install-file -Dfile=target/program.jar -DgroupId=com.github.luxlang -DartifactId=lux-jvm -Dversion=0.6.0-SNAPSHOT -Dpackaging=jar +cd ~/lux/lux-jvm/ && mvn install:install-file -Dfile=target/program.jar -DgroupId=com.github.luxlang -DartifactId=lux-jvm -Dversion=0.6.0-SNAPSHOT -Dpackaging=jar + +cd ~/lux/lux-jvm/ && mvn deploy:deploy-file \ +-Durl=https://:@oss.sonatype.org/content/repositories/snapshots/ \ +-Dfile=target/program.jar \ +-DgroupId=com.github.luxlang \ +-DartifactId=lux-jvm \ +-Dversion=0.6.0-SNAPSHOT \ +-Dpackaging=jar ``` # Compiler trial diff --git a/lux-jvm/project.clj b/lux-jvm/project.clj index dbff84a85..301740923 100644 --- a/lux-jvm/project.clj +++ b/lux-jvm/project.clj @@ -22,7 +22,7 @@ :dependencies [[com.github.luxlang/luxc-jvm ~version] [com.github.luxlang/stdlib ~version] - ;; JVM Bytecode + ;; JVM Bytecode (TODO: Remove ASAP) [org.ow2.asm/asm-all "5.0.3"]] :manifest {"lux" ~version} diff --git a/stdlib/source/spec/lux/abstract/apply.lux b/stdlib/source/spec/lux/abstract/apply.lux new file mode 100644 index 000000000..4220de34c --- /dev/null +++ b/stdlib/source/spec/lux/abstract/apply.lux @@ -0,0 +1,73 @@ +(.module: + [lux #* + [abstract + [monad (#+ do)]] + [data + [number + ["n" nat]]] + [control + ["." function]] + [math + ["." random]] + ["_" test (#+ Test)]] + {1 + ["." / (#+ Apply)]} + [// + [functor (#+ Injection Comparison)]]) + +(def: (identity injection comparison (^open "_@.")) + (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) + (do {@ random.monad} + [sample (:: @ map injection random.nat)] + (_.test "Identity." + ((comparison n.=) + (_@apply (injection function.identity) sample) + sample)))) + +(def: (homomorphism injection comparison (^open "_@.")) + (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) + (do {@ random.monad} + [sample random.nat + increase (:: @ map n.+ random.nat)] + (_.test "Homomorphism." + ((comparison n.=) + (_@apply (injection increase) (injection sample)) + (injection (increase sample)))))) + +(def: (interchange injection comparison (^open "_@.")) + (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) + (do {@ random.monad} + [sample random.nat + increase (:: @ map n.+ random.nat)] + (_.test "Interchange." + ((comparison n.=) + (_@apply (injection increase) (injection sample)) + (_@apply (injection (function (_ f) (f sample))) (injection increase)))))) + +(def: (composition injection comparison (^open "_@.")) + (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) + (do {@ random.monad} + [sample random.nat + increase (:: @ map n.+ random.nat) + decrease (:: @ map n.- random.nat)] + (_.test "Composition." + ((comparison n.=) + (_$ _@apply + (injection function.compose) + (injection increase) + (injection decrease) + (injection sample)) + ($_ _@apply + (injection increase) + (injection decrease) + (injection sample)))))) + +(def: #export (spec injection comparison apply) + (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) + (_.with-cover [/.Apply] + ($_ _.and + (..identity injection comparison apply) + (..homomorphism injection comparison apply) + (..interchange injection comparison apply) + (..composition injection comparison apply) + ))) diff --git a/stdlib/source/spec/lux/abstract/codec.lux b/stdlib/source/spec/lux/abstract/codec.lux new file mode 100644 index 000000000..ece213c31 --- /dev/null +++ b/stdlib/source/spec/lux/abstract/codec.lux @@ -0,0 +1,26 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try]] + [math + ["." random (#+ Random)]]] + {1 + ["." / + [// + [equivalence (#+ Equivalence)]]]}) + +(def: #export (spec (^open "/@.") (^open "/@.") generator) + (All [m a] (-> (Equivalence a) (/.Codec m a) (Random a) Test)) + (do random.monad + [expected generator] + (_.with-cover [/.Codec] + (_.test "Isomorphism." + (case (|> expected /@encode /@decode) + (#try.Success actual) + (/@= expected actual) + + (#try.Failure _) + false))))) diff --git a/stdlib/source/spec/lux/abstract/enum.lux b/stdlib/source/spec/lux/abstract/enum.lux new file mode 100644 index 000000000..198d3da50 --- /dev/null +++ b/stdlib/source/spec/lux/abstract/enum.lux @@ -0,0 +1,26 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [math + ["." random (#+ Random)]]] + {1 + ["." /]}) + +(def: #export (spec (^open "/@.") gen-sample) + (All [a] (-> (/.Enum a) (Random a) Test)) + (do random.monad + [sample gen-sample] + (<| (_.with-cover [/.Enum]) + ($_ _.and + (_.test "Successor and predecessor are inverse functions." + (and (/@= (|> sample /@succ /@pred) + sample) + (/@= (|> sample /@pred /@succ) + sample) + (not (/@= (/@succ sample) + sample)) + (not (/@= (/@pred sample) + sample)))) + )))) diff --git a/stdlib/source/spec/lux/abstract/equivalence.lux b/stdlib/source/spec/lux/abstract/equivalence.lux new file mode 100644 index 000000000..b511ba176 --- /dev/null +++ b/stdlib/source/spec/lux/abstract/equivalence.lux @@ -0,0 +1,23 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [math + ["." random (#+ Random)]]] + {1 + ["." / (#+ Equivalence)]}) + +(def: #export (spec (^open "_@.") generator) + (All [a] (-> (Equivalence a) (Random a) Test)) + (do random.monad + [left generator + right generator] + (<| (_.with-cover [/.Equivalence]) + ($_ _.and + (_.test "Reflexivity." + (_@= left left)) + (_.test "Symmetry." + (if (_@= left right) + (_@= right left) + (not (_@= right left)))))))) diff --git a/stdlib/source/spec/lux/abstract/fold.lux b/stdlib/source/spec/lux/abstract/fold.lux new file mode 100644 index 000000000..71377f991 --- /dev/null +++ b/stdlib/source/spec/lux/abstract/fold.lux @@ -0,0 +1,22 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [data + [number + ["n" nat]]] + [math + ["." random]]] + [// + [functor (#+ Injection Comparison)]] + {1 ["." /]}) + +(def: #export (spec injection comparison (^open "/@.")) + (All [f] (-> (Injection f) (Comparison f) (/.Fold f) Test)) + (do random.monad + [subject random.nat + parameter random.nat] + (_.cover [/.Fold] + (n.= (/@fold n.+ parameter (injection subject)) + (n.+ parameter subject))))) diff --git a/stdlib/source/spec/lux/abstract/functor.lux b/stdlib/source/spec/lux/abstract/functor.lux new file mode 100644 index 000000000..2cb086b7a --- /dev/null +++ b/stdlib/source/spec/lux/abstract/functor.lux @@ -0,0 +1,62 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [equivalence (#+ Equivalence)] + [monad (#+ do)]] + [control + ["." function]] + [data + [number + ["n" nat]]] + [math + ["." random]]] + {1 + ["." / (#+ Functor)]}) + +(type: #export (Injection f) + (All [a] (-> a (f a)))) + +(type: #export (Comparison f) + (All [a] + (-> (Equivalence a) + (Equivalence (f a))))) + +(def: (identity injection comparison (^open "/@.")) + (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) + (do {@ random.monad} + [sample (:: @ map injection random.nat)] + (_.test "Identity." + ((comparison n.=) + (/@map function.identity sample) + sample)))) + +(def: (homomorphism injection comparison (^open "/@.")) + (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) + (do {@ random.monad} + [sample random.nat + increase (:: @ map n.+ random.nat)] + (_.test "Homomorphism." + ((comparison n.=) + (/@map increase (injection sample)) + (injection (increase sample)))))) + +(def: (composition injection comparison (^open "/@.")) + (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) + (do {@ random.monad} + [sample (:: @ map injection random.nat) + increase (:: @ map n.+ random.nat) + decrease (:: @ map n.- random.nat)] + (_.test "Composition." + ((comparison n.=) + (|> sample (/@map increase) (/@map decrease)) + (|> sample (/@map (|>> increase decrease))))))) + +(def: #export (spec injection comparison functor) + (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) + (<| (_.with-cover [/.Functor]) + ($_ _.and + (..identity injection comparison functor) + (..homomorphism injection comparison functor) + (..composition injection comparison functor) + ))) diff --git a/stdlib/source/spec/lux/abstract/interval.lux b/stdlib/source/spec/lux/abstract/interval.lux new file mode 100644 index 000000000..1541f1cee --- /dev/null +++ b/stdlib/source/spec/lux/abstract/interval.lux @@ -0,0 +1,22 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + ["." order]] + [math + ["." random (#+ Random)]]] + {1 + ["." /]}) + +(def: #export (spec (^open "/@.") gen-sample) + (All [a] (-> (/.Interval a) (Random a) Test)) + (<| (_.with-cover [/.Interval]) + (do random.monad + [sample gen-sample] + ($_ _.and + (_.test "No value is bigger than the top." + (/@< /@top sample)) + (_.test "No value is smaller than the bottom." + (order.> /@&order /@bottom sample)) + )))) diff --git a/stdlib/source/spec/lux/abstract/monad.lux b/stdlib/source/spec/lux/abstract/monad.lux new file mode 100644 index 000000000..d2eac535f --- /dev/null +++ b/stdlib/source/spec/lux/abstract/monad.lux @@ -0,0 +1,57 @@ +(.module: + [lux #* + [data + [number + ["n" nat]]] + [math + ["." random]] + ["_" test (#+ Test)]] + {1 + ["." / (#+ Monad do)]} + [// + [functor (#+ Injection Comparison)]]) + +(def: (left-identity injection comparison (^open "_@.")) + (All [f] (-> (Injection f) (Comparison f) (Monad f) Test)) + (do {@ random.monad} + [sample random.nat + morphism (:: @ map (function (_ diff) + (|>> (n.+ diff) _@wrap)) + random.nat)] + (_.test "Left identity." + ((comparison n.=) + (|> (injection sample) (_@map morphism) _@join) + (morphism sample))))) + +(def: (right-identity injection comparison (^open "_@.")) + (All [f] (-> (Injection f) (Comparison f) (Monad f) Test)) + (do random.monad + [sample random.nat] + (_.test "Right identity." + ((comparison n.=) + (|> (injection sample) (_@map _@wrap) _@join) + (injection sample))))) + +(def: (associativity injection comparison (^open "_@.")) + (All [f] (-> (Injection f) (Comparison f) (Monad f) Test)) + (do {@ random.monad} + [sample random.nat + increase (:: @ map (function (_ diff) + (|>> (n.+ diff) _@wrap)) + random.nat) + decrease (:: @ map (function (_ diff) + (|>> (n.- diff) _@wrap)) + random.nat)] + (_.test "Associativity." + ((comparison n.=) + (|> (injection sample) (_@map increase) _@join (_@map decrease) _@join) + (|> (injection sample) (_@map (|>> increase (_@map decrease) _@join)) _@join))))) + +(def: #export (spec injection comparison monad) + (All [f] (-> (Injection f) (Comparison f) (Monad f) Test)) + (<| (_.with-cover [/.Monad]) + ($_ _.and + (..left-identity injection comparison monad) + (..right-identity injection comparison monad) + (..associativity injection comparison monad) + ))) diff --git a/stdlib/source/spec/lux/abstract/monoid.lux b/stdlib/source/spec/lux/abstract/monoid.lux new file mode 100644 index 000000000..eca057360 --- /dev/null +++ b/stdlib/source/spec/lux/abstract/monoid.lux @@ -0,0 +1,31 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [math + ["." random (#+ Random)]]] + {1 + ["." / + [// + [equivalence (#+ Equivalence)]]]}) + +(def: #export (spec (^open "/@.") (^open "/@.") gen-sample) + (All [a] (-> (Equivalence a) (/.Monoid a) (Random a) Test)) + (do random.monad + [sample gen-sample + left gen-sample + mid gen-sample + right gen-sample] + (<| (_.with-cover [/.Monoid]) + ($_ _.and + (_.test "Left identity." + (/@= sample + (/@compose /@identity sample))) + (_.test "Right identity." + (/@= sample + (/@compose sample /@identity))) + (_.test "Associativity." + (/@= (/@compose left (/@compose mid right)) + (/@compose (/@compose left mid) right))) + )))) diff --git a/stdlib/source/spec/lux/abstract/order.lux b/stdlib/source/spec/lux/abstract/order.lux new file mode 100644 index 000000000..4cdb5689a --- /dev/null +++ b/stdlib/source/spec/lux/abstract/order.lux @@ -0,0 +1,27 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [math + ["." random (#+ Random)]]] + {1 + ["." /]}) + +(def: #export (spec (^open "/@.") generator) + (All [a] (-> (/.Order a) (Random a) Test)) + (<| (_.with-cover [/.Order]) + (do random.monad + [parameter generator + subject generator]) + ($_ _.and + (_.test "Values are either ordered, or they are equal. All options are mutually exclusive." + (cond (/@< parameter subject) + (not (or (/@< subject parameter) + (/@= parameter subject))) + + (/@< subject parameter) + (not (/@= parameter subject)) + + ## else + (/@= parameter subject)))))) diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux index eb8fd4e52..998c0b91c 100644 --- a/stdlib/source/test/lux/abstract/apply.lux +++ b/stdlib/source/test/lux/abstract/apply.lux @@ -1,78 +1,18 @@ (.module: [lux #* - [abstract/monad (#+ do)] + [abstract + [monad (#+ do)]] [data ["." maybe] [number ["n" nat]] [collection ["." list]]] - [control - ["." function]] [math ["." random]] ["_" test (#+ Test)]] {1 - ["." / (#+ Apply)]} - [// - [functor (#+ Injection Comparison)]]) - -(def: (identity injection comparison (^open "_@.")) - (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) - (do {@ random.monad} - [sample (:: @ map injection random.nat)] - (_.test "Identity." - ((comparison n.=) - (_@apply (injection function.identity) sample) - sample)))) - -(def: (homomorphism injection comparison (^open "_@.")) - (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) - (do {@ random.monad} - [sample random.nat - increase (:: @ map n.+ random.nat)] - (_.test "Homomorphism." - ((comparison n.=) - (_@apply (injection increase) (injection sample)) - (injection (increase sample)))))) - -(def: (interchange injection comparison (^open "_@.")) - (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) - (do {@ random.monad} - [sample random.nat - increase (:: @ map n.+ random.nat)] - (_.test "Interchange." - ((comparison n.=) - (_@apply (injection increase) (injection sample)) - (_@apply (injection (function (_ f) (f sample))) (injection increase)))))) - -(def: (composition injection comparison (^open "_@.")) - (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) - (do {@ random.monad} - [sample random.nat - increase (:: @ map n.+ random.nat) - decrease (:: @ map n.- random.nat)] - (_.test "Composition." - ((comparison n.=) - (_$ _@apply - (injection function.compose) - (injection increase) - (injection decrease) - (injection sample)) - ($_ _@apply - (injection increase) - (injection decrease) - (injection sample)))))) - -(def: #export (spec injection comparison apply) - (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) - (_.with-cover [/.Apply] - ($_ _.and - (..identity injection comparison apply) - (..homomorphism injection comparison apply) - (..interchange injection comparison apply) - (..composition injection comparison apply) - ))) + ["." / (#+ Apply)]}) (def: #export test Test diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux index 3bb35f659..3d7a22bc6 100644 --- a/stdlib/source/test/lux/abstract/codec.lux +++ b/stdlib/source/test/lux/abstract/codec.lux @@ -1,7 +1,8 @@ (.module: [lux #* ["_" test (#+ Test)] - [abstract/monad (#+ do)] + [abstract + [monad (#+ do)]] [control ["." try]] [data @@ -43,16 +44,3 @@ (#try.Failure error) false))))) - -(def: #export (spec (^open "/@.") (^open "/@.") generator) - (All [m a] (-> (Equivalence a) (Codec m a) (Random a) Test)) - (do random.monad - [expected generator] - (_.with-cover [/.Codec] - (_.test "Isomorphism." - (case (|> expected /@encode /@decode) - (#try.Success actual) - (/@= expected actual) - - (#try.Failure _) - false))))) diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux index b6a490358..c020ec211 100644 --- a/stdlib/source/test/lux/abstract/enum.lux +++ b/stdlib/source/test/lux/abstract/enum.lux @@ -1,5 +1,8 @@ (.module: [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] [data ["." product] ["." maybe ("#@." functor)] @@ -7,18 +10,16 @@ ["n" nat]] [collection ["." list ("#@." fold)]]] - ["_" test (#+ Test)] - [abstract/monad (#+ do)] [math - ["r" random (#+ Random)]]] + ["." random (#+ Random)]]] {1 - ["." / (#+ Enum)]}) + ["." /]}) (def: #export test Test (let [limit (: (Random Nat) - (:: r.monad map (n.% 20) r.nat))] - (do r.monad + (:: random.monad map (n.% 20) random.nat))] + (do random.monad [start limit end limit #let [[start end] (if (n.< end start) @@ -48,20 +49,3 @@ expected-end? every-element-is-a-successor?))) ))))) - -(def: #export (spec (^open "/@.") gen-sample) - (All [a] (-> (Enum a) (Random a) Test)) - (do r.monad - [sample gen-sample] - (<| (_.with-cover [/.Enum]) - ($_ _.and - (_.test "Successor and predecessor are inverse functions." - (and (/@= (|> sample /@succ /@pred) - sample) - (/@= (|> sample /@pred /@succ) - sample) - (not (/@= (/@succ sample) - sample)) - (not (/@= (/@pred sample) - sample)))) - )))) diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index d79803e31..ee097034f 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -6,7 +6,7 @@ {[0 #spec] [/ [functor - ["." contravariant]]]}] + ["$." contravariant]]]}] [data ["." bit ("#@." equivalence)] [number @@ -38,7 +38,7 @@ (<| (_.covering /._) ($_ _.and (_.with-cover [/.functor] - (contravariant.spec equivalence n.equivalence /.functor)) + ($contravariant.spec equivalence n.equivalence /.functor)) (_.cover [/.sum] (let [equivalence (/.sum n.equivalence i.equivalence)] (and (bit@= (:: n.equivalence = leftN leftN) @@ -76,17 +76,3 @@ (not (:: equivalence = (list sample sample) (list sample))) (not (:: equivalence = (list sample sample) (list different different)))))) )))) - -(def: #export (spec (^open "_@.") generator) - (All [a] (-> (Equivalence a) (Random a) Test)) - (do random.monad - [left generator - right generator] - (<| (_.with-cover [/.Equivalence]) - ($_ _.and - (_.test "Reflexivity." - (_@= left left)) - (_.test "Symmetry." - (if (_@= left right) - (_@= right left) - (not (_@= right left)))))))) diff --git a/stdlib/source/test/lux/abstract/fold.lux b/stdlib/source/test/lux/abstract/fold.lux index e954a0a38..b2939f8c7 100644 --- a/stdlib/source/test/lux/abstract/fold.lux +++ b/stdlib/source/test/lux/abstract/fold.lux @@ -6,26 +6,13 @@ [data [number ["n" nat]] - [text - ["%" format (#+ format)]] [collection ["." list]]] [math ["." random]]] - [// - [functor (#+ Injection Comparison)]] {1 ["." / (#+ Fold)]}) -(def: #export (spec injection comparison (^open "/@.")) - (All [f] (-> (Injection f) (Comparison f) (Fold f) Test)) - (do random.monad - [subject random.nat - parameter random.nat] - (_.cover [/.Fold] - (n.= (/@fold n.+ parameter (injection subject)) - (n.+ parameter subject))))) - (def: #export test Test (do random.monad diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux index faef439c6..a900f9fd9 100644 --- a/stdlib/source/test/lux/abstract/functor.lux +++ b/stdlib/source/test/lux/abstract/functor.lux @@ -2,10 +2,7 @@ [lux #* ["_" test (#+ Test)] [abstract - [equivalence (#+ Equivalence)] [monad (#+ do)]] - [control - ["." function]] [data ["." maybe] [number @@ -17,53 +14,6 @@ {1 ["." / (#+ Functor)]}) -(type: #export (Injection f) - (All [a] (-> a (f a)))) - -(type: #export (Comparison f) - (All [a] - (-> (Equivalence a) - (Equivalence (f a))))) - -(def: (identity injection comparison (^open "/@.")) - (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) - (do {@ random.monad} - [sample (:: @ map injection random.nat)] - (_.test "Identity." - ((comparison n.=) - (/@map function.identity sample) - sample)))) - -(def: (homomorphism injection comparison (^open "/@.")) - (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) - (do {@ random.monad} - [sample random.nat - increase (:: @ map n.+ random.nat)] - (_.test "Homomorphism." - ((comparison n.=) - (/@map increase (injection sample)) - (injection (increase sample)))))) - -(def: (composition injection comparison (^open "/@.")) - (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) - (do {@ random.monad} - [sample (:: @ map injection random.nat) - increase (:: @ map n.+ random.nat) - decrease (:: @ map n.- random.nat)] - (_.test "Composition." - ((comparison n.=) - (|> sample (/@map increase) (/@map decrease)) - (|> sample (/@map (|>> increase decrease))))))) - -(def: #export (spec injection comparison functor) - (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) - (<| (_.with-cover [/.Functor]) - ($_ _.and - (..identity injection comparison functor) - (..homomorphism injection comparison functor) - (..composition injection comparison functor) - ))) - (def: #export test Test (do random.monad diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux index d57dfb5d2..dcfa85e73 100644 --- a/stdlib/source/test/lux/abstract/interval.lux +++ b/stdlib/source/test/lux/abstract/interval.lux @@ -1,10 +1,10 @@ (.module: [lux #* ["_" test (#+ Test)] - [abstract/monad (#+ do)] [abstract + [monad (#+ do)] ["." order] - {[0 #test] + {[0 #spec] [/ ["$." equivalence]]}] [control @@ -266,15 +266,3 @@ (_.with-cover [/.overlaps?] ..overlap) ))) - -(def: #export (spec (^open "/@.") gen-sample) - (All [a] (-> (Interval a) (Random a) Test)) - (<| (_.with-cover [/.Interval]) - (do random.monad - [sample gen-sample] - ($_ _.and - (_.test "No value is bigger than the top." - (/@< /@top sample)) - (_.test "No value is smaller than the bottom." - (order.> /@&order /@bottom sample)) - )))) diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index cc504777c..61ee28f0e 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -10,54 +10,7 @@ ["." random]] ["_" test (#+ Test)]] {1 - ["." / (#+ Monad do)]} - [// - [functor (#+ Injection Comparison)]]) - -(def: (left-identity injection comparison (^open "_@.")) - (All [f] (-> (Injection f) (Comparison f) (Monad f) Test)) - (do {@ random.monad} - [sample random.nat - morphism (:: @ map (function (_ diff) - (|>> (n.+ diff) _@wrap)) - random.nat)] - (_.test "Left identity." - ((comparison n.=) - (|> (injection sample) (_@map morphism) _@join) - (morphism sample))))) - -(def: (right-identity injection comparison (^open "_@.")) - (All [f] (-> (Injection f) (Comparison f) (Monad f) Test)) - (do random.monad - [sample random.nat] - (_.test "Right identity." - ((comparison n.=) - (|> (injection sample) (_@map _@wrap) _@join) - (injection sample))))) - -(def: (associativity injection comparison (^open "_@.")) - (All [f] (-> (Injection f) (Comparison f) (Monad f) Test)) - (do {@ random.monad} - [sample random.nat - increase (:: @ map (function (_ diff) - (|>> (n.+ diff) _@wrap)) - random.nat) - decrease (:: @ map (function (_ diff) - (|>> (n.- diff) _@wrap)) - random.nat)] - (_.test "Associativity." - ((comparison n.=) - (|> (injection sample) (_@map increase) _@join (_@map decrease) _@join) - (|> (injection sample) (_@map (|>> increase (_@map decrease) _@join)) _@join))))) - -(def: #export (spec injection comparison monad) - (All [f] (-> (Injection f) (Comparison f) (Monad f) Test)) - (<| (_.with-cover [/.Monad]) - ($_ _.and - (..left-identity injection comparison monad) - (..right-identity injection comparison monad) - (..associativity injection comparison monad) - ))) + ["." / (#+ Monad do)]}) (def: #export test Test diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux index 7241dc8b9..366948cdb 100644 --- a/stdlib/source/test/lux/abstract/monad/free.lux +++ b/stdlib/source/test/lux/abstract/monad/free.lux @@ -5,7 +5,7 @@ [functor (#+ Functor)] [apply (#+ Apply)] [monad (#+ Monad do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux index e1271ed2f..e987e8fb3 100644 --- a/stdlib/source/test/lux/abstract/monoid.lux +++ b/stdlib/source/test/lux/abstract/monoid.lux @@ -3,8 +3,6 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)]] - [control - ["." function]] [data [number ["." nat] @@ -16,26 +14,6 @@ [// [equivalence (#+ Equivalence)]]]}) -(def: #export (spec (^open "/@.") (^open "/@.") gen-sample) - (All [a] (-> (Equivalence a) (/.Monoid a) (Random a) Test)) - (do random.monad - [sample gen-sample - left gen-sample - mid gen-sample - right gen-sample] - (<| (_.with-cover [/.Monoid]) - ($_ _.and - (_.test "Left identity." - (/@= sample - (/@compose /@identity sample))) - (_.test "Right identity." - (/@= sample - (/@compose sample /@identity))) - (_.test "Associativity." - (/@= (/@compose left (/@compose mid right)) - (/@compose (/@compose left mid) right))) - )))) - (def: #export test Test (do random.monad diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index dff849034..d0bbab29b 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -6,7 +6,7 @@ {[0 #spec] [/ [functor - ["." contravariant]]]}] + ["$." contravariant]]]}] [data ["." bit ("#@." equivalence)] [number @@ -14,7 +14,7 @@ [math ["." random (#+ Random)]]] {1 - ["." / (#+ Order) + ["." / [// [equivalence (#+ Equivalence)]]]}) @@ -24,7 +24,7 @@ (do random.monad [left random.nat right (|> random.nat (random.filter (|>> (n.= left) not))) - #let [equivalence (: (Equivalence (Order Nat)) + #let [equivalence (: (Equivalence (/.Order Nat)) (structure (def: (= leftO rightO) (and (bit@= (:: leftO < left left) @@ -35,7 +35,7 @@ (:: rightO < left right))))))]]) ($_ _.and (_.with-cover [/.functor] - (contravariant.spec equivalence n.order /.functor)) + ($contravariant.spec equivalence n.order /.functor)) (_.cover [/.Choice /.min /.max] (n.< (/.max n.order left right) (/.min n.order left right))) @@ -53,21 +53,3 @@ (bit@= (/.> n.order left right) (/.>= n.order left right)))) ))) - -(def: #export (spec (^open "/@.") generator) - (All [a] (-> (Order a) (Random a) Test)) - (<| (_.with-cover [/.Order]) - (do random.monad - [parameter generator - subject generator]) - ($_ _.and - (_.test "Values are either ordered, or they are equal. All options are mutually exclusive." - (cond (/@< parameter subject) - (not (or (/@< subject parameter) - (/@= parameter subject))) - - (/@< subject parameter) - (not (/@= parameter subject)) - - ## else - (/@= parameter subject)))))) diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index 1a0d457db..ab101ea76 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -6,8 +6,9 @@ [monad (#+ do)] {[0 #spec] [/ + ["$." monoid] [functor - ["." contravariant]]]}] + ["$." contravariant]]]}] [control ["." function]] [data @@ -18,8 +19,6 @@ ["." list]]] [math ["." random (#+ Random)]]] - ["." // #_ - ["#." monoid]] {1 ["." /]}) @@ -43,16 +42,16 @@ (_.with-cover [/.Predicate]) ($_ _.and (_.with-cover [/.functor] - (contravariant.spec equivalence (multiple? 2) /.functor)) + ($contravariant.spec equivalence (multiple? 2) /.functor)) (let [generator (: (Random (/.Predicate Nat)) (|> random.nat (random.filter (|>> (n.= 0) not)) (:: @ map multiple?)))] ($_ _.and (_.with-cover [/.union] - (//monoid.spec equivalence /.union generator)) + ($monoid.spec equivalence /.union generator)) (_.with-cover [/.intersection] - (//monoid.spec equivalence /.intersection generator)))) + ($monoid.spec equivalence /.intersection generator)))) (_.cover [/.none] (bit@= false (/.none sample))) diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux index 77c024d33..776d84ae5 100644 --- a/stdlib/source/test/lux/control/concurrency/frp.lux +++ b/stdlib/source/test/lux/control/concurrency/frp.lux @@ -3,7 +3,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/control/concurrency/promise.lux b/stdlib/source/test/lux/control/concurrency/promise.lux index 2eb43c596..2495223b5 100644 --- a/stdlib/source/test/lux/control/concurrency/promise.lux +++ b/stdlib/source/test/lux/control/concurrency/promise.lux @@ -3,7 +3,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux index 628aedfaf..040d97924 100644 --- a/stdlib/source/test/lux/control/concurrency/stm.lux +++ b/stdlib/source/test/lux/control/concurrency/stm.lux @@ -3,7 +3,7 @@ ["_" test (#+ Test)] [abstract ["." monad (#+ Monad do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/control/continuation.lux b/stdlib/source/test/lux/control/continuation.lux index 95aa5ec7a..0b0538745 100644 --- a/stdlib/source/test/lux/control/continuation.lux +++ b/stdlib/source/test/lux/control/continuation.lux @@ -3,7 +3,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/control/function.lux b/stdlib/source/test/lux/control/function.lux index 5244ad60b..145e466c0 100644 --- a/stdlib/source/test/lux/control/function.lux +++ b/stdlib/source/test/lux/control/function.lux @@ -2,7 +2,10 @@ [lux #* [abstract [equivalence (#+ Equivalence)] - [monad (#+ do)]] + [monad (#+ do)] + {[0 #spec] + [/ + ["$." monoid]]}] [data ["." name] [number @@ -12,9 +15,6 @@ [math ["." random (#+ Random)]] ["_" test (#+ Test)]] - ["." /// #_ - [abstract - ["#." monoid]]] {1 ["." /]}) @@ -35,7 +35,7 @@ (right extra))))) generator (: (Random (-> Nat Nat)) (:: @ map n.- random.nat))] - (///monoid.spec equivalence /.monoid generator)) + ($monoid.spec equivalence /.monoid generator)) (_.test (%.name (name-of /.identity)) (n.= expected diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux index b9f2e766f..23704362d 100644 --- a/stdlib/source/test/lux/control/function/mixin.lux +++ b/stdlib/source/test/lux/control/function/mixin.lux @@ -5,7 +5,7 @@ [equivalence (#+ Equivalence)] [predicate (#+ Predicate)] [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." monoid]]}] [control diff --git a/stdlib/source/test/lux/control/io.lux b/stdlib/source/test/lux/control/io.lux index a0e5f7d4b..32bf5f4fc 100644 --- a/stdlib/source/test/lux/control/io.lux +++ b/stdlib/source/test/lux/control/io.lux @@ -5,7 +5,7 @@ ["r" math/random] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux index 3c6501afe..701d49741 100644 --- a/stdlib/source/test/lux/control/parser.lux +++ b/stdlib/source/test/lux/control/parser.lux @@ -4,7 +4,7 @@ [abstract [monad (#+ do)] [equivalence (#+ Equivalence)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/control/reader.lux b/stdlib/source/test/lux/control/reader.lux index 4ad1e2a45..29a21d045 100644 --- a/stdlib/source/test/lux/control/reader.lux +++ b/stdlib/source/test/lux/control/reader.lux @@ -3,7 +3,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/control/region.lux b/stdlib/source/test/lux/control/region.lux index b65590437..d0c9eef40 100644 --- a/stdlib/source/test/lux/control/region.lux +++ b/stdlib/source/test/lux/control/region.lux @@ -6,7 +6,7 @@ [functor (#+ Functor)] [apply (#+ Apply)] ["." monad (#+ Monad do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index 6aebf504b..d193cc159 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -5,7 +5,7 @@ [equivalence (#+)] [hash (#+ Hash)] [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/control/state.lux b/stdlib/source/test/lux/control/state.lux index 2475692ff..b2a4fba96 100644 --- a/stdlib/source/test/lux/control/state.lux +++ b/stdlib/source/test/lux/control/state.lux @@ -3,7 +3,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/control/thread.lux b/stdlib/source/test/lux/control/thread.lux index 49e397d21..aac2059f8 100644 --- a/stdlib/source/test/lux/control/thread.lux +++ b/stdlib/source/test/lux/control/thread.lux @@ -3,7 +3,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux index 997a810ba..246beeeab 100644 --- a/stdlib/source/test/lux/control/try.lux +++ b/stdlib/source/test/lux/control/try.lux @@ -3,7 +3,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do Monad)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux index 09dd2aef5..30150dc43 100644 --- a/stdlib/source/test/lux/control/writer.lux +++ b/stdlib/source/test/lux/control/writer.lux @@ -5,7 +5,7 @@ [equivalence (#+ Equivalence)] [monoid (#+ Monoid)] [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 915260f35..508a2c1af 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -5,7 +5,7 @@ ["_" test (#+ Test)] [abstract ["." monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence]]}] [control diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index 7dda82016..6f281818d 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -5,7 +5,7 @@ ["r" math/random] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." monoid] diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 5ba6f453f..63366a81d 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do Monad)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." monoid] diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index 60b939645..59d7e3443 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -5,7 +5,7 @@ [abstract [monad (#+ do)] ["." predicate] - {[0 #test] + {[0 #spec] [/ ["$." equivalence]]}] [data diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index 55b569a31..fca670802 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -5,7 +5,7 @@ [abstract [monad (#+ do)] ["eq" equivalence] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." functor (#+ Injection)]]}] diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index f0d7c8222..32d73290f 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -6,7 +6,7 @@ [monad (#+ do)] [equivalence (#+ Equivalence)] [order (#+ Order)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence]]}] [data diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index faa3dfda3..a49a71e38 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." monoid] diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index a636e7164..9605a50b1 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." functor (#+ Injection)]]}] diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux index 1c7a5878a..1a9cfd383 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." monoid] diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index d742352ec..993082e79 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." monoid]]}] diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 45f73fd27..867fa4308 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -5,7 +5,7 @@ [abstract [monad (#+ do)] [order (#+ Order)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence]]}] [data diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index a71b128a8..a8a2ceeeb 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." functor (#+ Injection)]]}] diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index 862c5a973..37dd216b2 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." fold] diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index 79e771ce9..a7b5c0088 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -3,7 +3,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence]]}] [data diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index ded118074..548dbebdd 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -6,7 +6,7 @@ codec [monad (#+ do Monad)] [equivalence (#+ Equivalence)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." codec]]}] diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index 47c16f72d..4c86781c0 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ Monad do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." codec]]}] diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux index cd9f480fa..65d7d1a48 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -6,7 +6,7 @@ [functor (#+)] comonad [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/data/lazy.lux b/stdlib/source/test/lux/data/lazy.lux index a52326bef..b31953a9f 100644 --- a/stdlib/source/test/lux/data/lazy.lux +++ b/stdlib/source/test/lux/data/lazy.lux @@ -3,7 +3,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." functor (#+ Injection Comparison)] ["$." apply] diff --git a/stdlib/source/test/lux/data/maybe.lux b/stdlib/source/test/lux/data/maybe.lux index 18d2f4248..a10e0154e 100644 --- a/stdlib/source/test/lux/data/maybe.lux +++ b/stdlib/source/test/lux/data/maybe.lux @@ -3,7 +3,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." functor] diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux index 57eed0237..f2741c7d0 100644 --- a/stdlib/source/test/lux/data/name.lux +++ b/stdlib/source/test/lux/data/name.lux @@ -3,7 +3,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." codec]]}] diff --git a/stdlib/source/test/lux/data/number/complex.lux b/stdlib/source/test/lux/data/number/complex.lux index c7131575d..330361792 100644 --- a/stdlib/source/test/lux/data/number/complex.lux +++ b/stdlib/source/test/lux/data/number/complex.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." order] diff --git a/stdlib/source/test/lux/data/number/frac.lux b/stdlib/source/test/lux/data/number/frac.lux index 7afefb76d..ab6ceaa52 100644 --- a/stdlib/source/test/lux/data/number/frac.lux +++ b/stdlib/source/test/lux/data/number/frac.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." order] diff --git a/stdlib/source/test/lux/data/number/i16.lux b/stdlib/source/test/lux/data/number/i16.lux index c90b17dc3..a00a26e9e 100644 --- a/stdlib/source/test/lux/data/number/i16.lux +++ b/stdlib/source/test/lux/data/number/i16.lux @@ -6,7 +6,7 @@ ["%" text/format (#+ format)]] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence]]}] [math diff --git a/stdlib/source/test/lux/data/number/i32.lux b/stdlib/source/test/lux/data/number/i32.lux index eb643c9d3..d126e5b03 100644 --- a/stdlib/source/test/lux/data/number/i32.lux +++ b/stdlib/source/test/lux/data/number/i32.lux @@ -6,7 +6,7 @@ ["%" text/format (#+ format)]] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence]]}] [math diff --git a/stdlib/source/test/lux/data/number/i64.lux b/stdlib/source/test/lux/data/number/i64.lux index 4305bf461..390861169 100644 --- a/stdlib/source/test/lux/data/number/i64.lux +++ b/stdlib/source/test/lux/data/number/i64.lux @@ -8,7 +8,7 @@ ["i" int]]] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." monoid]]}] diff --git a/stdlib/source/test/lux/data/number/i8.lux b/stdlib/source/test/lux/data/number/i8.lux index 7cd4a5149..aac5f063a 100644 --- a/stdlib/source/test/lux/data/number/i8.lux +++ b/stdlib/source/test/lux/data/number/i8.lux @@ -6,7 +6,7 @@ ["%" text/format (#+ format)]] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence]]}] [math diff --git a/stdlib/source/test/lux/data/number/int.lux b/stdlib/source/test/lux/data/number/int.lux index c9491c913..680def4f5 100644 --- a/stdlib/source/test/lux/data/number/int.lux +++ b/stdlib/source/test/lux/data/number/int.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." order] diff --git a/stdlib/source/test/lux/data/number/nat.lux b/stdlib/source/test/lux/data/number/nat.lux index 2a96ef9d5..e07f584b1 100644 --- a/stdlib/source/test/lux/data/number/nat.lux +++ b/stdlib/source/test/lux/data/number/nat.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." order] diff --git a/stdlib/source/test/lux/data/number/ratio.lux b/stdlib/source/test/lux/data/number/ratio.lux index fa3d6a01e..788638fcf 100644 --- a/stdlib/source/test/lux/data/number/ratio.lux +++ b/stdlib/source/test/lux/data/number/ratio.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." order] diff --git a/stdlib/source/test/lux/data/number/rev.lux b/stdlib/source/test/lux/data/number/rev.lux index b84943a14..dfb484fc8 100644 --- a/stdlib/source/test/lux/data/number/rev.lux +++ b/stdlib/source/test/lux/data/number/rev.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." order] diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index c10d7a67e..a1a0ec7b1 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do Monad)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." order]]}] diff --git a/stdlib/source/test/lux/macro/poly/json.lux b/stdlib/source/test/lux/macro/poly/json.lux index ae7c62655..5e0bcfbd4 100644 --- a/stdlib/source/test/lux/macro/poly/json.lux +++ b/stdlib/source/test/lux/macro/poly/json.lux @@ -8,7 +8,7 @@ [equivalence (#+ Equivalence) {[0 #poly] ["poly/equivalence" /]}] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." codec]]}] diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux index 325a5f3f3..6ca543cf9 100644 --- a/stdlib/source/test/lux/time/date.lux +++ b/stdlib/source/test/lux/time/date.lux @@ -5,7 +5,7 @@ ["_" test (#+ Test)] [abstract ["." monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." order] diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux index ce57fc282..a654b069c 100644 --- a/stdlib/source/test/lux/time/day.lux +++ b/stdlib/source/test/lux/time/day.lux @@ -3,7 +3,7 @@ ["%" data/text/format (#+ format)] ["_" test (#+ Test)] [abstract - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." order] diff --git a/stdlib/source/test/lux/time/duration.lux b/stdlib/source/test/lux/time/duration.lux index 12c4b41ba..a08019366 100644 --- a/stdlib/source/test/lux/time/duration.lux +++ b/stdlib/source/test/lux/time/duration.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." order] diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux index 484aecb5a..f2e44cead 100644 --- a/stdlib/source/test/lux/time/instant.lux +++ b/stdlib/source/test/lux/time/instant.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do Monad)] - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." order] diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux index 2c4c1c34f..180bdb604 100644 --- a/stdlib/source/test/lux/time/month.lux +++ b/stdlib/source/test/lux/time/month.lux @@ -3,7 +3,7 @@ ["%" data/text/format (#+ format)] ["_" test (#+ Test)] [abstract - {[0 #test] + {[0 #spec] [/ ["$." equivalence] ["$." order] -- cgit v1.2.3