aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
authorEduardo Julian2021-08-08 17:56:15 -0400
committerEduardo Julian2021-08-08 17:56:15 -0400
commitf621a133e6e0a516c0586270fea8eaffb4829d82 (patch)
tree399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/specification
parent17e7566be51df5e428a6b10e6469201a8a9468da (diff)
No more #export magic syntax.
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/aedifex/repository.lux2
-rw-r--r--stdlib/source/specification/compositor.lux2
-rw-r--r--stdlib/source/specification/compositor/analysis/type.lux2
-rw-r--r--stdlib/source/specification/compositor/common.lux8
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux4
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/function.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/primitive.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/reference.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/apply.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/codec.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/comonad.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/enum.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/equivalence.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/fold.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/functor/contravariant.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/hash.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/interval.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/monad.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/monoid.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/order.lux2
-rw-r--r--stdlib/source/specification/lux/world/console.lux2
-rw-r--r--stdlib/source/specification/lux/world/file.lux2
-rw-r--r--stdlib/source/specification/lux/world/program.lux2
-rw-r--r--stdlib/source/specification/lux/world/shell.lux2
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}