diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
41 files changed, 57 insertions, 57 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 7b5f5fab0..3326d0055 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -31,7 +31,7 @@ (#try.Success output) output)) -(def: #export (random size) +(def: .public (random size) (-> Nat (Random Binary)) (let [output (/.create size)] (loop [idx 0] @@ -75,7 +75,7 @@ (#.Item head tail)) (list))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (do {! random.monad} diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index bffa5b808..58fe69ca7 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -16,7 +16,7 @@ [\\library ["." /]]) -(def: #export test +(def: .public test Test (<| (_.covering /._) (do random.monad diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux index b30d8181f..0c1e1932f 100644 --- a/stdlib/source/test/lux/data/collection.lux +++ b/stdlib/source/test/lux/data/collection.lux @@ -52,7 +52,7 @@ /tree/zipper.test )) -(def: #export test +(def: .public test Test ($_ _.and /array.test diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index dc8527fdc..9925fccec 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -88,7 +88,7 @@ (/.any? n.even? the_array))) ))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Array]) diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index 402f52379..da4a759e5 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -19,7 +19,7 @@ (|> random.nat (\ random.monad map (|>> (n.% (inc max)) (n.max min))))) -(def: #export random +(def: .public random (Random Bits) (do {! random.monad} [size (\ ! map (n.% 1,000) random.nat)] @@ -29,7 +29,7 @@ [idx (|> random.nat (\ ! map (n.% size)))] (in (/.set idx /.empty)))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Bits]) diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index fe04241a1..aafa848b4 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -248,7 +248,7 @@ (maybe.assume (/.get non_key rebound))))))) ))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Dictionary]) diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index fb57cd70e..13971ad88 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -22,7 +22,7 @@ [\\library ["." /]]) -(def: #export (dictionary order gen_key gen_value size) +(def: .public (dictionary order gen_key gen_value size) (All [k v] (-> (Order k) (Random k) (Random v) Nat (Random (/.Dictionary k v)))) (case size @@ -37,7 +37,7 @@ value gen_value] (in (/.put key value partial))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Dictionary]) diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index 316d7c7ce..fdbcccc06 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -20,7 +20,7 @@ [\\library ["." /]]) -(def: #export (random size gen_key gen_value) +(def: .public (random size gen_key gen_value) (All [v] (-> Nat (Random Text) (Random v) (Random (/.PList v)))) (do random.monad @@ -28,7 +28,7 @@ values (random.list size gen_value)] (in (list.zipped/2 (set.list keys) values)))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.PList]) diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index a0c6fc685..ee6b9e7cb 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -389,7 +389,7 @@ (not (/.any? n.even? sample)))) )))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [.List]) diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index 36f6ef9a4..33ec7d9ba 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -23,7 +23,7 @@ (Injection /.Queue) (|>> list /.of_list)) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Queue]) diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index 07eff44ac..42ec9677e 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -14,7 +14,7 @@ [\\library ["." / (#+ Queue)]]) -(def: #export (random size) +(def: .public (random size) (-> Nat (Random (Queue Nat))) (do {! random.monad} [inputs (random.list size random.nat)] @@ -25,7 +25,7 @@ /.empty inputs))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Queue]) diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux index 343442e91..c57711e8e 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -129,7 +129,7 @@ )) ))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Row]) diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index a5ba1f1bc..c94b19ac6 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -29,7 +29,7 @@ (/.take 100 reference) (/.take 100 subject)))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Sequence]) diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index df0c653b9..18e0a03f0 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -25,7 +25,7 @@ (\ random.monad map (n.% 100) random.nat)) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Set]) diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 37645cbed..888ea2623 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -25,7 +25,7 @@ (Random Nat) (\ random.monad map (|>> (n.% 10) inc) random.nat)) -(def: #export (random size hash count element) +(def: .public (random size hash count element) (All [a] (-> Nat (Hash a) (Random Nat) (Random a) (Random (/.Set a)))) (do {! random.monad} [elements (random.set hash size element) @@ -108,7 +108,7 @@ common_changes!))) )))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Set]) diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 620a63289..260d6ee39 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -23,7 +23,7 @@ (random.Random Nat) (\ random.monad map (n.% 100) random.nat)) -(def: #export (random size &order gen_value) +(def: .public (random size &order gen_value) (All [a] (-> Nat (Order a) (Random a) (Random (Set a)))) (case size 0 @@ -36,7 +36,7 @@ gen_value)] (in (/.add value partial))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Set]) diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index 6340c6fbd..082609904 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -21,7 +21,7 @@ (Injection /.Stack) (/.push value /.empty)) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Stack]) diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index ea58f8f72..986ef566e 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -19,7 +19,7 @@ [\\library ["." / (#+ Tree)]]) -(def: #export (tree gen_value) +(def: .public (tree gen_value) (All [a] (-> (Random a) (Random [Nat (Tree a)]))) (do {! random.monad} [value gen_value @@ -31,7 +31,7 @@ {#/.value value #/.children (list\map product.right children)}]))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Tree]) diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index be46b8249..79140887d 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -27,7 +27,7 @@ @)) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Tree]) diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index 756318c0b..60c18d514 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -151,7 +151,7 @@ (maybe.else false)))) ))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Zipper]) diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index 990eb6aea..a4fc0911e 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -23,7 +23,7 @@ [\\library ["." /]]) -(def: #export random +(def: .public random (Random /.Color) (|> ($_ random.and random.nat random.nat random.nat) (\ random.monad map /.of_rgb))) @@ -176,7 +176,7 @@ [/.tetradic])) ))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Color]) diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux index 11c699932..7f8c959b9 100644 --- a/stdlib/source/test/lux/data/color/named.lux +++ b/stdlib/source/test/lux/data/color/named.lux @@ -224,7 +224,7 @@ <colors>) - (def: #export test + (def: .public test Test (<| (_.covering /._) (`` ($_ _.and diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux index 547f90f63..107d95714 100644 --- a/stdlib/source/test/lux/data/format/binary.lux +++ b/stdlib/source/test/lux/data/format/binary.lux @@ -25,7 +25,7 @@ (Random /.Specification) (\ random.monad map /.nat random.nat)) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Mutation /.Specification /.Writer]) diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 1c4469df2..6ff253a73 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -31,7 +31,7 @@ [\\library ["." / (#+ JSON) ("\." equivalence)]]) -(def: #export random +(def: .public random (Random /.JSON) (random.rec (function (_ recur) @@ -61,7 +61,7 @@ [value (macro.gensym "string")] (in (list (code.text (%.code value)))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.JSON]) diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index 34618433b..4ccec923b 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -391,7 +391,7 @@ (try.else false))) )))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Tar]) diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index 1fec8a797..3ec5618a3 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -55,7 +55,7 @@ (random.and (..text 0 10) (..text 1 10))) -(def: #export random +(def: .public random (Random XML) (random.rec (function (_ random) (random.or (..text 1 10) @@ -66,7 +66,7 @@ (random.dictionary name.hash size ..identifier (..text 0 10)) (random.list size random))))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.XML]) diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux index 030d441b1..f9a4e3a76 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -21,7 +21,7 @@ (function (_ ==) ==)) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Identity]) diff --git a/stdlib/source/test/lux/data/lazy.lux b/stdlib/source/test/lux/data/lazy.lux index c30fd3692..c9de9cb25 100644 --- a/stdlib/source/test/lux/data/lazy.lux +++ b/stdlib/source/test/lux/data/lazy.lux @@ -27,11 +27,11 @@ (function (_ ==) (\ (/.equivalence ==) =))) -(def: #export lazy +(def: .public lazy (All [a] (-> (Random a) (Random (Lazy a)))) (\ random.functor map (|>> /.lazy))) -(def: #export test +(def: .public test Test (with_expansions [<eager> (: [Nat Nat] [(n.+ left right) diff --git a/stdlib/source/test/lux/data/maybe.lux b/stdlib/source/test/lux/data/maybe.lux index 65d405473..dd32c20db 100644 --- a/stdlib/source/test/lux/data/maybe.lux +++ b/stdlib/source/test/lux/data/maybe.lux @@ -25,7 +25,7 @@ [\\library ["." / ("#\." monoid monad)]]) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [.Maybe]) diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux index e6f8b46c0..01d5131c8 100644 --- a/stdlib/source/test/lux/data/name.lux +++ b/stdlib/source/test/lux/data/name.lux @@ -20,12 +20,12 @@ [\\library ["." /]]) -(def: #export (random module_size short_size) +(def: .public (random module_size short_size) (-> Nat Nat (Random Name)) (random.and (random.ascii/alpha module_size) (random.ascii/alpha short_size))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (do {! random.monad} diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index 2f781972d..3b846940f 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -14,7 +14,7 @@ [\\library ["." /]]) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [.Tuple .And]) diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index 73765d85f..ddb924273 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -20,7 +20,7 @@ [\\library ["." /]]) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [.Variant .Or]) diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index 5d02dbfcf..ca7f2f69f 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -258,7 +258,7 @@ inverse!))) ))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [.Text]) diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index 0f6e73d35..393a20779 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -20,7 +20,7 @@ [size (\ ! map (|>> (n.% 10) inc) random.nat)] (random.ascii/alpha size))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Buffer]) diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index 4cdf461b7..662643d3c 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -210,14 +210,14 @@ <encodings>) - (def: #export random + (def: .public random (Random /.Encoding) (let [options (list.size ..all_encodings)] (do {! random.monad} [choice (\ ! map (n.% options) random.nat)] (in (maybe.assume (list.item choice ..all_encodings)))))) - (def: #export test + (def: .public test Test (<| (_.covering /._) (_.for [/.Encoding]) diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux index a537a0277..ef75a174a 100644 --- a/stdlib/source/test/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -12,7 +12,7 @@ [\\library ["." /]]) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.codec] diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index 21266b277..3b320fd90 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -79,7 +79,7 @@ (syntax: (static_escape {un_escaped <code>.text}) (in (list (code.text (/.escape un_escaped))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) ($_ _.and diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index e8cdb1e67..e612dc9b6 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -117,7 +117,7 @@ )) ))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Format]) diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 95f82e502..263c6cb50 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -278,7 +278,7 @@ (#try.Failure error) false)))]))) -(def: #export test +(def: .public test Test (<| (_.covering /._) ($_ _.and diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index e2a415abd..4f92f8db9 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -22,7 +22,7 @@ [\\library ["." /]]) -(def: #export random +(def: .public random (Random /.Block) (do {! random.monad} [start (\ ! map (n.% 1,000,000) random.nat) @@ -165,7 +165,7 @@ <blocks> ) - (def: #export test + (def: .public test Test (<| (_.covering /._) (_.for [/.Block]) diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index 0f50a1dd7..6efe6cb14 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -23,14 +23,14 @@ [// ["." block]]]]) -(def: #export random +(def: .public random (Random /.Set) (do {! random.monad} [left //block.random right //block.random] (in (/.set [left (list right)])))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Set]) |