diff options
Diffstat (limited to 'stdlib/source/test/aedifex/artifact')
12 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux index 132293d4f..93355ea60 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -18,7 +18,7 @@ ["/#" // #_ ["#" type]]]]) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Extension] diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index d8ececcd4..f196586ac 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -20,12 +20,12 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Snapshot) (random.or (random\in []) $/stamp.random)) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Snapshot] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 55bdc0a42..e613c2f92 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -15,11 +15,11 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Build) random.nat) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Build] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index deea0e954..2a2c19e4f 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -20,14 +20,14 @@ ["#." time] ["#." build]]) -(def: #export random +(def: .public random (Random /.Stamp) ($_ random.and $//time.random $//build.random )) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Stamp]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index 05e575e64..a658d3e29 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -17,11 +17,11 @@ ["$." /// #_ ["#." time]]) -(def: #export random +(def: .public random (Random /.Time) $///time.random) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Time]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index c63dc4f51..c5ec63398 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -20,7 +20,7 @@ ["#." type] ["#." time]]) -(def: #export random +(def: .public random (Random /.Version) ($_ random.and $///type.random @@ -28,7 +28,7 @@ $///time.random )) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Version]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index cfd8a7f17..ada815059 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -28,7 +28,7 @@ ["#." stamp] ["#." time]]]]) -(def: #export random +(def: .public random (Random /.Value) ($_ random.and (random.ascii/alpha 5) @@ -36,7 +36,7 @@ $///stamp.random) )) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Value]) diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index 982d2b0f7..ed60f6389 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -22,14 +22,14 @@ ["#." date] ["#." time]]) -(def: #export random +(def: .public random (Random /.Time) (do random.monad [date /date.random time /time.random] (in [date time]))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Time]) diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index 5dd7156fc..e58ed00f9 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -22,7 +22,7 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Date) (random.one (function (_ raw) (try.maybe @@ -34,7 +34,7 @@ (/.date raw)))) random.date)) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Date]) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index 904e34aec..9358e7bab 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -17,12 +17,12 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Time) (random.one (|>> time.clock (set@ #time.milli_second 0) time.time) random.time)) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Time]) diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index b34db299c..be1fdfc80 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -16,7 +16,7 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Type) ($_ random.either ($_ random.either @@ -28,7 +28,7 @@ (random\in /.sha-1)) )) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Type] diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index 79d063123..5a0b2df20 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -19,7 +19,7 @@ ["#." snapshot ["#/." version]]]) -(def: #export random +(def: .public random (Random /.Versioning) ($_ random.and $//snapshot.random @@ -27,7 +27,7 @@ (random.list 5 $//snapshot/version.random) )) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Versioning]) |