aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/time/instant.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/time/instant.lux')
-rw-r--r--stdlib/source/test/lux/time/instant.lux58
1 files changed, 29 insertions, 29 deletions
diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux
index aba4914bf..8c5d5f8d7 100644
--- a/stdlib/source/test/lux/time/instant.lux
+++ b/stdlib/source/test/lux/time/instant.lux
@@ -15,12 +15,12 @@
["[0]" io]]
[data
[collection
- ["[0]" list ("[1]\[0]" mix)]]]
+ ["[0]" list ("[1]#[0]" mix)]]]
[math
["[0]" random]]
[time
["[0]" duration {"+" [Duration]}]
- ["[0]" day {"+" [Day]} ("[1]\[0]" enum)]]]]
+ ["[0]" day {"+" [Day]} ("[1]#[0]" enum)]]]]
[\\library
["[0]" /]])
@@ -39,30 +39,30 @@
($codec.spec /.equivalence /.codec random.instant))
(do random.monad
- [.let [(^open "\[0]") /.equivalence]
+ [.let [(^open "#[0]") /.equivalence]
expected random.instant]
($_ _.and
(_.cover [/.millis /.of_millis]
- (|> expected /.millis /.of_millis (\= expected)))
+ (|> expected /.millis /.of_millis (#= expected)))
(_.cover [/.relative /.absolute]
- (|> expected /.relative /.absolute (\= expected)))
+ (|> expected /.relative /.absolute (#= expected)))
(_.cover [/.date /.time /.of_date_time]
- (\= expected
+ (#= expected
(/.of_date_time (/.date expected)
(/.time expected))))
))
(do random.monad
- [.let [(^open "\[0]") /.equivalence
- (^open "duration\[0]") duration.equivalence]
+ [.let [(^open "#[0]") /.equivalence
+ (^open "duration#[0]") duration.equivalence]
from random.instant
to random.instant]
($_ _.and
(_.cover [/.span]
- (|> from (/.span from) (duration\= duration.empty)))
+ (|> from (/.span from) (duration#= duration.empty)))
(_.cover [/.after]
- (|> from (/.after (/.span from to)) (\= to)))
+ (|> from (/.after (/.span from to)) (#= to)))
(_.cover [/.epoch]
- (duration\= (/.relative to)
+ (duration#= (/.relative to)
(/.span /.epoch to)))
))
(do random.monad
@@ -71,31 +71,31 @@
(_.cover [/.day_of_week]
(let [apply (: (-> (-> Duration Duration) (-> Day Day) Nat Bit)
(function (_ polarity move steps)
- (let [day_shift (list\mix (function.constant move)
+ (let [day_shift (list#mix (function.constant move)
d0
(list.repeated steps []))
instant_shift (|> instant
(/.after (polarity (duration.up steps duration.day)))
/.day_of_week)]
- (day\= day_shift
+ (day#= day_shift
instant_shift))))]
- (and (apply function.identity day\succ 0)
- (apply function.identity day\succ 1)
- (apply function.identity day\succ 2)
- (apply function.identity day\succ 3)
- (apply function.identity day\succ 4)
- (apply function.identity day\succ 5)
- (apply function.identity day\succ 6)
- (apply function.identity day\succ 7)
+ (and (apply function.identity day#succ 0)
+ (apply function.identity day#succ 1)
+ (apply function.identity day#succ 2)
+ (apply function.identity day#succ 3)
+ (apply function.identity day#succ 4)
+ (apply function.identity day#succ 5)
+ (apply function.identity day#succ 6)
+ (apply function.identity day#succ 7)
- (apply duration.inverse day\pred 0)
- (apply duration.inverse day\pred 1)
- (apply duration.inverse day\pred 2)
- (apply duration.inverse day\pred 3)
- (apply duration.inverse day\pred 4)
- (apply duration.inverse day\pred 5)
- (apply duration.inverse day\pred 6)
- (apply duration.inverse day\pred 7)))))
+ (apply duration.inverse day#pred 0)
+ (apply duration.inverse day#pred 1)
+ (apply duration.inverse day#pred 2)
+ (apply duration.inverse day#pred 3)
+ (apply duration.inverse day#pred 4)
+ (apply duration.inverse day#pred 5)
+ (apply duration.inverse day#pred 6)
+ (apply duration.inverse day#pred 7)))))
(_.cover [/.now]
(case (try (io.run! /.now))
{try.#Success _}