diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/time/instant.lux | 58 |
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 _} |