diff options
Diffstat (limited to 'stdlib/source/specification')
27 files changed, 33 insertions, 33 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux index 059a467e4..9f29b2b4c 100644 --- a/stdlib/source/specification/aedifex/repository.lux +++ b/stdlib/source/specification/aedifex/repository.lux @@ -23,7 +23,7 @@ ["_." // #_ ["#." artifact]]]) -(def: #export (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 8cc92ff33..7c7d620f1 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -41,7 +41,7 @@ (/generation/common.spec runner) )) -(def: #export (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 5a34eae36..6e3c4dba7 100644 --- a/stdlib/source/specification/compositor/analysis/type.lux +++ b/stdlib/source/specification/compositor/analysis/type.lux @@ -50,7 +50,7 @@ [(r.ascii/upper_alpha 5) (0 #0 "#Text" (0 #0)) code.text] ))))) -(def: #export (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 fdd930ec8..2c83cbd9e 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -19,13 +19,13 @@ [default ["." platform (#+ Platform)]]]]]) -(type: #export Runner +(type: .public Runner (-> Text Synthesis (Try Any))) -(type: #export Definer +(type: .public Definer (-> Name Synthesis (Try Any))) -(type: #export (Instancer what) +(type: .public (Instancer what) (All [anchor expression directive] (-> (Platform IO anchor expression directive) (generation.State+ anchor expression directive) @@ -57,7 +57,7 @@ (phase (synthesis.constant lux_name))))] (\ host evaluate! "definer" definitionG)))) -(def: #export (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 0ef6fc025..c3dbd1835 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -38,7 +38,7 @@ (-> Nat Nat Bit) (n.= (dec size) idx)) -(def: #export (verify expected) +(def: .public (verify expected) (-> Frac (Try Any) Bit) (|>> (case> (#try.Success actual) (f.= expected (:as Frac actual)) @@ -278,7 +278,7 @@ false))) )) -(def: #export (spec run) +(def: .public (spec run) (-> Runner Test) ($_ _.and (..special_spec run) diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index e17692b30..1e3d6bb9e 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -332,7 +332,7 @@ false))) ))) -(def: #export (spec runner) +(def: .public (spec runner) (-> Runner Test) ($_ _.and (..bit runner) diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux index 3589cdf28..a9845081b 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -47,7 +47,7 @@ #synthesis.arity arity #synthesis.body (synthesis.variable/local local)})]))) -(def: #export (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 2ddb9a02e..ec00f935f 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -26,7 +26,7 @@ (and (f.not_a_number? reference) (f.not_a_number? subject)))) -(def: #export (spec run) +(def: .public (spec run) (-> Runner Test) (`` ($_ _.and (~~ (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 d5c3cfd34..02338e915 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -53,7 +53,7 @@ (#try.Failure _) false))))) -(def: #export (spec runner definer) +(def: .public (spec runner definer) (-> Runner Definer Test) ($_ _.and (..definition definer) diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index 46c25c8a3..4feea793f 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -81,7 +81,7 @@ (#try.Failure _) false))))) -(def: #export (spec runner) +(def: .public (spec runner) (-> Runner Test) ($_ _.and (..variant runner) diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index 691e8c01c..9aaa00eac 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -62,7 +62,7 @@ (injection decrease) (injection sample)))))) -(def: #export (spec injection comparison apply) +(def: .public (spec injection comparison apply) (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) (_.for [/.Apply] ($_ _.and diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux index f58f6ce91..3cbb712d2 100644 --- a/stdlib/source/specification/lux/abstract/codec.lux +++ b/stdlib/source/specification/lux/abstract/codec.lux @@ -13,7 +13,7 @@ [// [equivalence (#+ Equivalence)]]]]) -(def: #export (spec (^open "@//.") (^open "@//.") generator) +(def: .public (spec (^open "@//.") (^open "@//.") 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 0f5f18965..b1fca7ab7 100644 --- a/stdlib/source/specification/lux/abstract/comonad.lux +++ b/stdlib/source/specification/lux/abstract/comonad.lux @@ -51,7 +51,7 @@ (== (|> start _//split (_//map (|>> _//split (_//map increase) decrease))) (|> start _//split (_//map increase) _//split (_//map decrease)))))) -(def: #export (spec injection comparison subject) +(def: .public (spec injection comparison subject) (All [f] (-> (Injection f) (Comparison f) (CoMonad f) Test)) (<| (_.for [/.CoMonad]) ($_ _.and diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux index 6375b4829..f68ba1203 100644 --- a/stdlib/source/specification/lux/abstract/enum.lux +++ b/stdlib/source/specification/lux/abstract/enum.lux @@ -9,7 +9,7 @@ [\\library ["." /]]) -(def: #export (spec (^open "\.") gen_sample) +(def: .public (spec (^open "\.") 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 4d6d0900a..e6ef85b11 100644 --- a/stdlib/source/specification/lux/abstract/equivalence.lux +++ b/stdlib/source/specification/lux/abstract/equivalence.lux @@ -9,7 +9,7 @@ [\\library ["." / (#+ Equivalence)]]) -(def: #export (spec (^open "_//.") random) +(def: .public (spec (^open "_//.") random) (All [a] (-> (Equivalence a) (Random a) Test)) (do random.monad [left random diff --git a/stdlib/source/specification/lux/abstract/fold.lux b/stdlib/source/specification/lux/abstract/fold.lux index 2b4a7617f..6d3ad1f7e 100644 --- a/stdlib/source/specification/lux/abstract/fold.lux +++ b/stdlib/source/specification/lux/abstract/fold.lux @@ -13,7 +13,7 @@ [\\library ["." /]]) -(def: #export (spec injection comparison (^open "@//.")) +(def: .public (spec injection comparison (^open "@//.")) (All [f] (-> (Injection f) (Comparison f) (/.Fold f) Test)) (do random.monad [subject random.nat diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index cfa6cc2ff..d60555ae0 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -14,10 +14,10 @@ [\\library ["." / (#+ Functor)]]) -(type: #export (Injection f) +(type: .public (Injection f) (All [a] (-> a (f a)))) -(type: #export (Comparison f) +(type: .public (Comparison f) (All [a] (-> (Equivalence a) (Equivalence (f a))))) @@ -52,7 +52,7 @@ (|> sample (@//map increase) (@//map decrease)) (|> sample (@//map (|>> increase decrease))))))) -(def: #export (spec injection comparison functor) +(def: .public (spec injection comparison functor) (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) (<| (_.for [/.Functor]) ($_ _.and diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux index cba839e94..719398e71 100644 --- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux @@ -21,7 +21,7 @@ (@//map function.identity value) value))) -(def: #export (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 e55c8b549..4437a42a5 100644 --- a/stdlib/source/specification/lux/abstract/hash.lux +++ b/stdlib/source/specification/lux/abstract/hash.lux @@ -11,7 +11,7 @@ [\\library ["." /]]) -(def: #export (spec (^open "\.") random) +(def: .public (spec (^open "\.") 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 c5d89aab3..68b2204b0 100644 --- a/stdlib/source/specification/lux/abstract/interval.lux +++ b/stdlib/source/specification/lux/abstract/interval.lux @@ -10,7 +10,7 @@ [\\library ["." /]]) -(def: #export (spec (^open "@//.") gen_sample) +(def: .public (spec (^open "@//.") gen_sample) (All [a] (-> (/.Interval a) (Random a) Test)) (<| (_.for [/.Interval]) (do random.monad diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux index 1a602b292..01395330f 100644 --- a/stdlib/source/specification/lux/abstract/monad.lux +++ b/stdlib/source/specification/lux/abstract/monad.lux @@ -47,7 +47,7 @@ (|> (injection sample) (_//map increase) _//join (_//map decrease) _//join) (|> (injection sample) (_//map (|>> increase (_//map decrease) _//join)) _//join))))) -(def: #export (spec injection comparison monad) +(def: .public (spec injection comparison monad) (All [f] (-> (Injection f) (Comparison f) (/.Monad f) Test)) (<| (_.for [/.Monad]) ($_ _.and diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux index 592b98bb4..c8e4e4e6e 100644 --- a/stdlib/source/specification/lux/abstract/monoid.lux +++ b/stdlib/source/specification/lux/abstract/monoid.lux @@ -11,7 +11,7 @@ [// [equivalence (#+ Equivalence)]]]]) -(def: #export (spec (^open "\.") (^open "\.") gen_sample) +(def: .public (spec (^open "\.") (^open "\.") 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 8d4844b2a..e8a022686 100644 --- a/stdlib/source/specification/lux/abstract/order.lux +++ b/stdlib/source/specification/lux/abstract/order.lux @@ -9,7 +9,7 @@ [\\library ["." /]]) -(def: #export (spec (^open "@//.") generator) +(def: .public (spec (^open "@//.") generator) (All [a] (-> (/.Order a) (Random a) Test)) (<| (_.for [/.Order]) ($_ _.and diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux index 154f8faca..ee4e47db6 100644 --- a/stdlib/source/specification/lux/world/console.lux +++ b/stdlib/source/specification/lux/world/console.lux @@ -17,7 +17,7 @@ [\\library ["." /]]) -(def: #export (spec console) +(def: .public (spec console) (-> (IO (/.Console Async)) Test) (do random.monad [message (random.ascii/alpha 10)] diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index 83bfc2465..b74a83fd6 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -323,7 +323,7 @@ post_dir/0 post_dir/1)))) -(def: #export (spec fs) +(def: .public (spec fs) (-> (IO (/.System Async)) Test) ($_ _.and (..for_path fs) diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux index 091f41c2c..db3ffc36f 100644 --- a/stdlib/source/specification/lux/world/program.lux +++ b/stdlib/source/specification/lux/world/program.lux @@ -18,7 +18,7 @@ [\\library ["." /]]) -(def: #export (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 16e0b6db8..6817d14be 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -66,7 +66,7 @@ true))))) (with_expansions [<shell_coverage> (as_is [/.Command /.Argument])] - (def: #export (spec shell) + (def: .public (spec shell) (-> (/.Shell Async) Test) (<| (_.for [/.Shell /.Process]) (do {! random.monad} |