diff options
Diffstat (limited to 'stdlib/source/specification')
27 files changed, 92 insertions, 92 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux index d71b95e75..777040e35 100644 --- a/stdlib/source/specification/aedifex/repository.lux +++ b/stdlib/source/specification/aedifex/repository.lux @@ -23,7 +23,7 @@ ["_[0]" // ["[1][0]" artifact]]]) -(def: .public (spec valid_artifact invalid_artifact subject) +(def .public (spec valid_artifact invalid_artifact subject) (-> Artifact Artifact (/.Repository Async) Test) (do random.monad [expected (_binary.random 100)] diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux index 99d991c0f..ad95c3c6f 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -29,7 +29,7 @@ ["[1][0]" function] ["[1][0]" common]]]) -(def: (test runner definer state expander) +(def (test runner definer state expander) (-> Runner Definer analysis.State+ Expander Test) (all _.and (/analysis/type.spec expander state) @@ -41,7 +41,7 @@ (/generation/common.spec runner) )) -(def: .public (spec platform bundle expander program) +(def .public (spec platform bundle expander program) (All (_ anchor expression directive) (-> (IO (Platform IO anchor expression directive)) (Bundle anchor expression directive) diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux index d1115fbfa..8aae58f13 100644 --- a/stdlib/source/specification/compositor/analysis/type.lux +++ b/stdlib/source/specification/compositor/analysis/type.lux @@ -20,7 +20,7 @@ ["[1]/[0]" scope] ["[1]/[0]" type]]]]]]) -(def: (check_success+ expander state extension params output_type) +(def (check_success+ expander state extension params output_type) (-> Expander State+ Text (List Code) Type Bit) (|> (analysis/scope.with_scope "" (analysis/type.with_type output_type @@ -33,7 +33,7 @@ {try.#Failure _} false))) -(def: check +(def check (Random [Code Type Code]) (`` (all r.either (~~ (with_template [<random> <type> <code>] @@ -51,7 +51,7 @@ [(r.upper_case_alpha 5) {0 #0 "#Text" {0 #0}} code.text] ))))) -(def: .public (spec expander state) +(def .public (spec expander state) (-> Expander State+ Test) (do r.monad [[typeC exprT exprC] ..check diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index 947131032..50383371b 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -31,7 +31,7 @@ (generation.State+ anchor expression directive) what))) -(def: (runner (open "[0]") state) +(def (runner (open "[0]") state) (Instancer Runner) (function (_ evaluation_name expressionS) (do try.monad @@ -42,7 +42,7 @@ (phase expressionS)))] (at host evaluate! evaluation_name expressionG)))) -(def: (definer (open "[0]") state) +(def (definer (open "[0]") state) (Instancer Definer) (function (_ lux_name expressionS) (do try.monad @@ -56,7 +56,7 @@ (phase (synthesis.constant lux_name))))] (at host evaluate! "definer" definitionG)))) -(def: .public (executors target expander platform +(def .public (executors target expander platform analysis_bundle generation_bundle directive_bundle program extender) (All (_ anchor expression directive) diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index c76cd5037..e1603a517 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -28,17 +28,17 @@ [/// [common (.only Runner)]]) -(def: limit Nat 10) +(def limit Nat 10) -(def: size +(def size (Random Nat) (|> r.nat (at r.monad each (|>> (n.% ..limit) (n.max 2))))) -(def: (tail? size idx) +(def (tail? size idx) (-> Nat Nat Bit) (n.= (-- size) idx)) -(def: .public (verify expected) +(def .public (verify expected) (-> Frac (Try Any) Bit) (|>> (pipe.case {try.#Success actual} @@ -47,7 +47,7 @@ {try.#Failure _} false))) -(def: case +(def case (Random [Synthesis Path]) (<| r.rec (function (_ case)) (`` (all r.either @@ -97,7 +97,7 @@ (in [caseS caseP])) )))) -(def: (let_spec run) +(def (let_spec run) (-> Runner Test) (do r.monad [value r.safe_frac] @@ -108,7 +108,7 @@ (run "let_spec") (verify value))))) -(def: (if_spec run) +(def (if_spec run) (-> Runner Test) (do r.monad [on_true r.safe_frac @@ -121,7 +121,7 @@ (run "if_spec") (verify (if verdict on_true on_false)))))) -(def: (case_spec run) +(def (case_spec run) (-> Runner Test) (do r.monad [[inputS pathS] ..case @@ -138,7 +138,7 @@ (run "case_spec") (verify on_success))))) -(def: special_input +(def special_input Synthesis (let [_cursor_ (is Synthesis (synthesis.tuple (list (synthesis.text .prelude) @@ -182,7 +182,7 @@ (_item_ (__tuple__ (list (__symbol__ ["" "tail"])))) )))) -(def: special_path +(def special_path Path (let [_end_ (synthesis.path/side {.#Left 0}) _item_ (synthesis.path/side {.#Right 0}) @@ -208,7 +208,7 @@ ... THEN (synthesis.path/then (synthesis.bit #0)))))) -(def: special_pattern +(def special_pattern analysis.Pattern (let [... [_ {#Tuple {#Item arg args'}}] head (<| analysis.pattern/tuple (list (analysis.pattern/bind 2)) @@ -225,7 +225,7 @@ (<| analysis.pattern/variant [0 #1] (analysis.pattern/tuple (list head tail))))) -(def: special_pattern_path +(def special_pattern_path Path (all synthesis.path/alt (<| try.trusted @@ -240,7 +240,7 @@ (synthesis.path/then (synthesis.bit #0))))) ... TODO: Get rid of this ASAP -(def: (special_spec run) +(def (special_spec run) (-> Runner Test) (all _.and (_.property "===" @@ -278,7 +278,7 @@ false))) )) -(def: .public (spec run) +(def .public (spec run) (-> Runner Test) (all _.and (..special_spec run) diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index 85ea2a496..fabd44907 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -30,11 +30,11 @@ [// [common (.only Runner)]]]) -(def: safe +(def safe (-> Text Text) (text.replaced " " "_")) -(def: (bit run) +(def (bit run) (-> Runner Test) (do r.monad [param r.i64 @@ -76,7 +76,7 @@ (let [param (n.% 64 param)]))) )))) -(def: (i64 run) +(def (i64 run) (-> Runner Test) (do r.monad [param (|> r.i64 (r.only (|>> ("lux i64 =" 0) not))) @@ -122,11 +122,11 @@ )) )))) -(def: simple_frac +(def simple_frac (Random Frac) (|> r.nat (at r.monad each (|>> (n.% 1000) .int i.frac)))) -(def: (f64 run) +(def (f64 run) (-> Runner Test) (do r.monad [param (|> ..simple_frac (r.only (|>> (f.= +0.0) not))) @@ -179,7 +179,7 @@ (//case.verify subject))) )))) -(def: (text run) +(def (text run) (-> Runner Test) (do [! r.monad] [sample_size (|> r.nat (at ! each (|>> (n.% 10) (n.max 1)))) @@ -300,7 +300,7 @@ false))) ))) -(def: (io run) +(def (io run) (-> Runner Test) (do r.monad [message (r.alphabetic 5)] @@ -358,7 +358,7 @@ false))) ))) -(def: .public (spec runner) +(def .public (spec runner) (-> Runner Test) (all _.and (..bit runner) diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux index 86c495c3b..a7cb2de43 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -23,19 +23,19 @@ [// [common (.only Runner)]]]) -(def: max_arity +(def max_arity Arity 10) -(def: arity +(def arity (Random Arity) (|> r.nat (r#each (|>> (n.% max_arity) (n.max 1))))) -(def: (local arity) +(def (local arity) (-> Arity (Random Register)) (|> r.nat (r#each (|>> (n.% arity) ++)))) -(def: function +(def function (Random [Arity Register Synthesis]) (do r.monad [arity ..arity @@ -46,7 +46,7 @@ synthesis.#arity arity synthesis.#body (synthesis.variable/local local)])]))) -(def: .public (spec run) +(def .public (spec run) (-> Runner Test) (do [! r.monad] [[arity local functionS] ..function diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index 540fc289b..f927d5dd2 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -20,13 +20,13 @@ [/// [common (.only Runner)]]) -(def: (f/=' reference subject) +(def (f/=' reference subject) (-> Frac Frac Bit) (or (f.= reference subject) (and (f.not_a_number? reference) (f.not_a_number? subject)))) -(def: .public (spec run) +(def .public (spec run) (-> Runner Test) (`` (all _.and (~~ (with_template [<evaluation_name> <synthesis> <gen> <test>] diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux index f8f68c51e..c7ba5c2bf 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -19,12 +19,12 @@ [/// [common (.only Runner Definer)]]) -(def: symbol +(def symbol (Random Symbol) (let [symbol_part (r.upper_case_alpha 5)] [(r.and symbol_part symbol_part)])) -(def: (definition define) +(def (definition define) (-> Definer Test) (do r.monad [name ..symbol @@ -38,7 +38,7 @@ {try.#Failure _} false))))) -(def: (variable run) +(def (variable run) (-> Runner Test) (do [! r.monad] [register (|> r.nat (at ! each (n.% 100))) @@ -55,7 +55,7 @@ {try.#Failure _} false))))) -(def: .public (spec runner definer) +(def .public (spec runner definer) (-> Runner Definer Test) (all _.and (..definition definer) diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index 3d6b482ad..bfc6621b9 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -28,7 +28,7 @@ (import java/lang/Integer) -(def: (variant run) +(def (variant run) (-> Runner Test) (do [! r.monad] [num_tags (|> r.nat (at ! each (|>> (n.% 10) (n.max 2)))) @@ -64,7 +64,7 @@ {try.#Failure _} false))))) -(def: (tuple run) +(def (tuple run) (-> Runner Test) (do [! r.monad] [size (|> r.nat (at ! each (|>> (n.% 10) (n.max 2)))) @@ -83,7 +83,7 @@ {try.#Failure _} false))))) -(def: .public (spec runner) +(def .public (spec runner) (-> Runner Test) (all _.and (..variant runner) diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index 8d0fe390e..385cbfb2d 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -16,7 +16,7 @@ [// [functor (.only Injection Comparison)]]) -(def: (identity injection comparison (open "/#[0]")) +(def (identity injection comparison (open "/#[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample (at ! each injection random.nat)] @@ -25,7 +25,7 @@ (/#on sample (injection function.identity)) sample)))) -(def: (homomorphism injection comparison (open "/#[0]")) +(def (homomorphism injection comparison (open "/#[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample random.nat @@ -35,7 +35,7 @@ (/#on (injection sample) (injection increase)) (injection (increase sample)))))) -(def: (interchange injection comparison (open "/#[0]")) +(def (interchange injection comparison (open "/#[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample random.nat @@ -46,7 +46,7 @@ (/#on (injection increase) (injection (is (-> (-> Nat Nat) Nat) (function (_ f) (f sample))))))))) -(def: (composition injection comparison (open "/#[0]")) +(def (composition injection comparison (open "/#[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (type.let [:$/1: (-> Nat Nat)] (do [! random.monad] @@ -66,7 +66,7 @@ (injection increase)) (injection decrease))))))) -(def: .public (spec injection comparison apply) +(def .public (spec injection comparison apply) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (_.for [/.Apply] (all _.and diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux index 59d8b5104..9c91c18e9 100644 --- a/stdlib/source/specification/lux/abstract/codec.lux +++ b/stdlib/source/specification/lux/abstract/codec.lux @@ -13,7 +13,7 @@ [// [equivalence (.only Equivalence)]]]]) -(def: .public (spec (open "@//[0]") (open "@//[0]") generator) +(def .public (spec (open "@//[0]") (open "@//[0]") generator) (All (_ m a) (-> (Equivalence a) (/.Codec m a) (Random a) Test)) (do random.monad [expected generator] diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux index c9a03c6d3..4050d2660 100644 --- a/stdlib/source/specification/lux/abstract/comonad.lux +++ b/stdlib/source/specification/lux/abstract/comonad.lux @@ -13,7 +13,7 @@ [// [functor (.only Injection Comparison)]]) -(def: (left_identity injection (open "_//[0]")) +(def (left_identity injection (open "_//[0]")) (All (_ f) (-> (Injection f) (CoMonad f) Test)) (do [! random.monad] [sample random.nat @@ -25,7 +25,7 @@ (n.= (morphism start) (|> start _//disjoint (_//each morphism) _//out))))) -(def: (right_identity injection comparison (open "_//[0]")) +(def (right_identity injection comparison (open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test)) (do random.monad [sample random.nat @@ -35,7 +35,7 @@ (== start (|> start _//disjoint (_//each _//out)))))) -(def: (associativity injection comparison (open "_//[0]")) +(def (associativity injection comparison (open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test)) (do [! random.monad] [sample random.nat @@ -51,7 +51,7 @@ (== (|> start _//disjoint (_//each (|>> _//disjoint (_//each increase) decrease))) (|> start _//disjoint (_//each increase) _//disjoint (_//each decrease)))))) -(def: .public (spec injection comparison subject) +(def .public (spec injection comparison subject) (All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test)) (<| (_.for [/.CoMonad]) (all _.and diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux index 6e48b6521..021d6ba96 100644 --- a/stdlib/source/specification/lux/abstract/enum.lux +++ b/stdlib/source/specification/lux/abstract/enum.lux @@ -9,7 +9,7 @@ [\\library ["[0]" /]]) -(def: .public (spec (open "_#[0]") gen_sample) +(def .public (spec (open "_#[0]") gen_sample) (All (_ a) (-> (/.Enum a) (Random a) Test)) (do random.monad [sample gen_sample] diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux index eaa2a9b5b..d7ebc8895 100644 --- a/stdlib/source/specification/lux/abstract/equivalence.lux +++ b/stdlib/source/specification/lux/abstract/equivalence.lux @@ -11,7 +11,7 @@ [\\library ["[0]" / (.only Equivalence)]]) -(def: .public (spec (open "/#[0]") random) +(def .public (spec (open "/#[0]") random) (All (_ a) (-> (Equivalence a) (Random a) Test)) (do random.monad [left random diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index 8ac207e97..5551e5a6f 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -22,7 +22,7 @@ (-> (Equivalence a) (Equivalence (f a))))) -(def: (identity injection comparison (open "@//[0]")) +(def (identity injection comparison (open "@//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) (do [! random.monad] [sample (at ! each injection random.nat)] @@ -31,7 +31,7 @@ (@//each function.identity sample) sample)))) -(def: (homomorphism injection comparison (open "@//[0]")) +(def (homomorphism injection comparison (open "@//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) (do [! random.monad] [sample random.nat @@ -41,7 +41,7 @@ (@//each increase (injection sample)) (injection (increase sample)))))) -(def: (composition injection comparison (open "@//[0]")) +(def (composition injection comparison (open "@//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) (do [! random.monad] [sample (at ! each injection random.nat) @@ -52,7 +52,7 @@ (|> sample (@//each increase) (@//each decrease)) (|> sample (@//each (|>> increase decrease))))))) -(def: .public (spec injection comparison functor) +(def .public (spec injection comparison functor) (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) (<| (_.for [/.Functor]) (all _.and diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux index b89e6cd6a..5cb3b75ee 100644 --- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux @@ -14,14 +14,14 @@ [\\library ["[0]" / (.only Functor)]]) -(def: (identity equivalence value (open "@//[0]")) +(def (identity equivalence value (open "@//[0]")) (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test)) (_.property "Law of identity." (equivalence (@//each function.identity value) value))) -(def: .public (spec equivalence value functor) +(def .public (spec equivalence value functor) (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test)) (do random.monad [sample random.nat] diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux index a1c4d4880..d8294015c 100644 --- a/stdlib/source/specification/lux/abstract/hash.lux +++ b/stdlib/source/specification/lux/abstract/hash.lux @@ -11,7 +11,7 @@ [\\library ["[0]" /]]) -(def: .public (spec (open "_#[0]") random) +(def .public (spec (open "_#[0]") random) (All (_ a) (-> (/.Hash a) (Random a) Test)) (do random.monad [parameter random diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux index 567ac7cbb..2ccb4da32 100644 --- a/stdlib/source/specification/lux/abstract/interval.lux +++ b/stdlib/source/specification/lux/abstract/interval.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(def: .public (spec (open "@//[0]") gen_sample) +(def .public (spec (open "@//[0]") gen_sample) (All (_ a) (-> (/.Interval a) (Random a) Test)) (<| (_.for [/.Interval]) (do random.monad diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux index 519f1249e..5d3ed3994 100644 --- a/stdlib/source/specification/lux/abstract/mix.lux +++ b/stdlib/source/specification/lux/abstract/mix.lux @@ -13,7 +13,7 @@ [\\library ["[0]" /]]) -(def: .public (spec injection comparison (open "@//[0]")) +(def .public (spec injection comparison (open "@//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (/.Mix f) Test)) (do random.monad [subject random.nat diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux index 25a2f3e4f..b4b3f7029 100644 --- a/stdlib/source/specification/lux/abstract/monad.lux +++ b/stdlib/source/specification/lux/abstract/monad.lux @@ -11,7 +11,7 @@ [// [functor (.only Injection Comparison)]]) -(def: (left_identity injection comparison (open "_//[0]")) +(def (left_identity injection comparison (open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test)) (do [! random.monad] [sample random.nat @@ -23,7 +23,7 @@ (|> (injection sample) (_//each morphism) _//conjoint) (morphism sample))))) -(def: (right_identity injection comparison (open "_//[0]")) +(def (right_identity injection comparison (open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test)) (do random.monad [sample random.nat] @@ -32,7 +32,7 @@ (|> (injection sample) (_//each _//in) _//conjoint) (injection sample))))) -(def: (associativity injection comparison (open "_//[0]")) +(def (associativity injection comparison (open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test)) (do [! random.monad] [sample random.nat @@ -47,7 +47,7 @@ (|> (injection sample) (_//each increase) _//conjoint (_//each decrease) _//conjoint) (|> (injection sample) (_//each (|>> increase (_//each decrease) _//conjoint)) _//conjoint))))) -(def: .public (spec injection comparison monad) +(def .public (spec injection comparison monad) (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test)) (<| (_.for [/.Monad]) (all _.and diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux index 1786919f4..8cc42c232 100644 --- a/stdlib/source/specification/lux/abstract/monoid.lux +++ b/stdlib/source/specification/lux/abstract/monoid.lux @@ -11,7 +11,7 @@ [// [equivalence (.only Equivalence)]]]]) -(def: .public (spec (open "_#[0]") (open "_#[0]") gen_sample) +(def .public (spec (open "_#[0]") (open "_#[0]") gen_sample) (All (_ a) (-> (Equivalence a) (/.Monoid a) (Random a) Test)) (do random.monad [sample gen_sample diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux index 365164c19..7e6c7a0d2 100644 --- a/stdlib/source/specification/lux/abstract/order.lux +++ b/stdlib/source/specification/lux/abstract/order.lux @@ -9,7 +9,7 @@ [\\library ["[0]" /]]) -(def: .public (spec (open "@//[0]") generator) +(def .public (spec (open "@//[0]") generator) (All (_ a) (-> (/.Order a) (Random a) Test)) (<| (_.for [/.Order]) (all _.and diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux index 1aa2f06bb..e3ab5391e 100644 --- a/stdlib/source/specification/lux/world/console.lux +++ b/stdlib/source/specification/lux/world/console.lux @@ -17,7 +17,7 @@ [\\library ["[0]" /]]) -(def: .public (spec console) +(def .public (spec console) (-> (IO (/.Console Async)) Test) (do random.monad [message (random.alphabetic 10)] diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index 7b4512970..1b31a1e4c 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -30,7 +30,7 @@ [\\library ["[0]" /]]) -(def: (for_path fs) +(def (for_path fs) (-> (IO (/.System Async)) Test) (<| (_.for [/.Path]) (do [! random.monad] @@ -55,7 +55,7 @@ (text#= child))) )))) -(def: (directory?&make_directory fs parent) +(def (directory?&make_directory fs parent) (-> (/.System Async) /.Path (Async Bit)) (do async.monad [directory_pre! (at fs directory? parent) @@ -67,7 +67,7 @@ {try.#Failure _} false) directory_post!)))) -(def: (file?&write fs content path) +(def (file?&write fs content path) (-> (/.System Async) Binary /.Path (Async Bit)) (do async.monad [file_pre! (at fs file? path) @@ -79,7 +79,7 @@ {try.#Failure _} false) file_post!)))) -(def: (file_size&read&append fs expected_file_size content appendix path) +(def (file_size&read&append fs expected_file_size content appendix path) (-> (/.System Async) Nat Binary Binary /.Path (Async Bit)) (do async.monad [pre_file_size (at fs file_size path) @@ -107,7 +107,7 @@ post_file_size! post_content!))))))) -(def: (modified?&last_modified fs expected_time path) +(def (modified?&last_modified fs expected_time path) (-> (/.System Async) Instant /.Path (Async Bit)) (do async.monad [modified? (at fs modify path expected_time) @@ -117,7 +117,7 @@ [_ modified?] (at ! each (instant#= expected_time) last_modified)))))) -(def: (directory_files&sub_directories fs parent sub_dir child) +(def (directory_files&sub_directories fs parent sub_dir child) (-> (/.System Async) /.Path /.Path /.Path (Async Bit)) (let [sub_dir (/.rooted fs parent sub_dir) child (/.rooted fs parent child)] @@ -136,7 +136,7 @@ (try#each (list#= (list sub_dir))) (try.else false)))))))))) -(def: (move&delete fs parent child alternate_child) +(def (move&delete fs parent child alternate_child) (-> (/.System Async) /.Path Text Text (Async Bit)) (let [origin (/.rooted fs parent child) destination (/.rooted fs parent alternate_child)] @@ -154,7 +154,7 @@ (in (and lost? found?)))))))) -(def: (for_system fs) +(def (for_system fs) (-> (IO (/.System Async)) Test) (<| (do [! random.monad] [parent (random.numeric 2) @@ -205,7 +205,7 @@ directory_files&sub_directories move&delete)))) -(def: (make_directories&cannot_make_directory fs) +(def (make_directories&cannot_make_directory fs) (-> (IO (/.System Async)) Test) (<| (do [! random.monad] [dir/0 (random.numeric 2) @@ -252,7 +252,7 @@ (exception.match? /.cannot_make_directory error)))) ))) -(def: (make_file&cannot_make_file fs) +(def (make_file&cannot_make_file fs) (-> (IO (/.System Async)) Test) (<| (do [! random.monad] [file/0 (random.numeric 3)]) @@ -275,14 +275,14 @@ (exception.match? /.cannot_make_file error))) ))) -(def: (for_utilities fs) +(def (for_utilities fs) (-> (IO (/.System Async)) Test) (all _.and (..make_directories&cannot_make_directory fs) (..make_file&cannot_make_file fs) )) -(def: (exists? fs) +(def (exists? fs) (-> (IO (/.System Async)) Test) (<| (do [! random.monad] [file (random.numeric 2) @@ -322,7 +322,7 @@ post_dir/0 post_dir/1)))) -(def: .public (spec fs) +(def .public (spec fs) (-> (IO (/.System Async)) Test) (all _.and (..for_path fs) diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux index 3830dfb2a..8bfacf0c8 100644 --- a/stdlib/source/specification/lux/world/program.lux +++ b/stdlib/source/specification/lux/world/program.lux @@ -18,7 +18,7 @@ [\\library ["[0]" /]]) -(def: .public (spec subject) +(def .public (spec subject) (-> (/.Program Async) Test) (do random.monad [exit random.int] diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux index 9ff673a05..fbd952add 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -25,7 +25,7 @@ [file (.only Path)]]]]) (with_template [<name> <command> <type> <prep>] - [(def: <name> + [(def <name> (-> <type> [Environment Path /.Command (List /.Argument)]) (|>> <prep> list [environment.empty "~" <command>]))] @@ -33,7 +33,7 @@ [sleep! "sleep" Nat %.nat] ) -(def: (can_wait! process) +(def (can_wait! process) (-> (/.Process Async) _.Assertion) (|> (at process await []) (async#each (|>> (try#each (i.= /.normal)) @@ -41,13 +41,13 @@ (_.coverage' [/.Exit /.normal]))) async#conjoint)) -(def: (can_read! expected process) +(def (can_read! expected process) (-> Text (/.Process Async) (Async Bit)) (|> (at process read []) (async#each (|>> (try#each (text#= expected)) (try.else false))))) -(def: (can_destroy! process) +(def (can_destroy! process) (-> (/.Process Async) (Async Bit)) (do async.monad [?destroy (at process destroy []) @@ -66,7 +66,7 @@ true))))) (with_expansions [<shell_coverage> (these [/.Command /.Argument])] - (def: .public (spec shell) + (def .public (spec shell) (-> (/.Shell Async) Test) (<| (_.for [/.Shell /.Process]) (do [! random.monad] |