diff options
Diffstat (limited to 'stdlib/source/test/lux/world/time/instant.lux')
-rw-r--r-- | stdlib/source/test/lux/world/time/instant.lux | 29 |
1 files changed, 20 insertions, 9 deletions
diff --git a/stdlib/source/test/lux/world/time/instant.lux b/stdlib/source/test/lux/world/time/instant.lux index d81a5ad27..ef6773eac 100644 --- a/stdlib/source/test/lux/world/time/instant.lux +++ b/stdlib/source/test/lux/world/time/instant.lux @@ -45,33 +45,44 @@ ($codec.spec /.equivalence /.codec random.instant)) (do random.monad - [.let [(open "#[0]") /.equivalence] + [.let [(open "/#[0]") /.equivalence] expected random.instant] (all _.and (_.coverage [/.millis /.of_millis] - (|> expected /.millis /.of_millis (#= expected))) + (|> expected /.millis /.of_millis (/#= expected))) (_.coverage [/.relative /.absolute] - (|> expected /.relative /.absolute (#= expected))) + (|> expected /.relative /.absolute (/#= expected))) (_.coverage [/.date /.time /.of_date_time] - (#= expected - (/.of_date_time (/.date expected) - (/.time expected)))) + (/#= expected + (/.of_date_time (/.date expected) + (/.time expected)))) )) (do random.monad - [.let [(open "#[0]") /.equivalence + [.let [(open "/#[0]") /.equivalence (open "duration#[0]") duration.equivalence] from random.instant to random.instant] (all _.and (_.coverage [/.span] (|> from (/.span from) (duration#= duration.empty))) + (_.coverage [/.before] + (|> from (/.before (/.span to from)) (/#= to))) (_.coverage [/.after] - (|> from (/.after (/.span from to)) (#= to))) + (|> from (/.after (/.span from to)) (/#= to))) (_.coverage [/.epoch] (duration#= (/.relative to) (/.span /.epoch to))) )) (do random.monad + [.let [(open "/#[0]") /.order] + it random.instant] + (all _.and + (_.coverage [/.earliest] + (not (/#< /.earliest it))) + (_.coverage [/.latest] + (not (/#< it /.latest))) + )) + (do random.monad [instant random.instant .let [d0 (/.day_of_week instant)]] (_.coverage [/.day_of_week] @@ -115,6 +126,6 @@ (|> expected /.format (?text.result /.parser) - (try#each (at /.equivalence = expected)) + (try#each (of /.equivalence = expected)) (try.else false)))) ))) |