diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/artifact/time.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/artifact/time/date.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/artifact/time/time.lux | 4 |
3 files changed, 6 insertions, 6 deletions
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]) |