aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/time/date.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/time/date.lux40
1 files changed, 20 insertions, 20 deletions
diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux
index d89ccccc8..2aee2dcb0 100644
--- a/stdlib/source/test/lux/time/date.lux
+++ b/stdlib/source/test/lux/time/date.lux
@@ -6,7 +6,7 @@
[data
["." error]]
[math
- ["r" random ("random/." monad)]]
+ ["r" random ("#/." monad)]]
[time
["@." instant]
["@" date]]]
@@ -16,18 +16,18 @@
(def: month
(r.Random @.Month)
- (r.either (r.either (r.either (random/wrap #@.January)
- (r.either (random/wrap #@.February)
- (random/wrap #@.March)))
- (r.either (random/wrap #@.April)
- (r.either (random/wrap #@.May)
- (random/wrap #@.June))))
- (r.either (r.either (random/wrap #@.July)
- (r.either (random/wrap #@.August)
- (random/wrap #@.September)))
- (r.either (random/wrap #@.October)
- (r.either (random/wrap #@.November)
- (random/wrap #@.December))))))
+ (r.either (r.either (r.either (r/wrap #@.January)
+ (r.either (r/wrap #@.February)
+ (r/wrap #@.March)))
+ (r.either (r/wrap #@.April)
+ (r.either (r/wrap #@.May)
+ (r/wrap #@.June))))
+ (r.either (r.either (r/wrap #@.July)
+ (r.either (r/wrap #@.August)
+ (r/wrap #@.September)))
+ (r.either (r/wrap #@.October)
+ (r.either (r/wrap #@.November)
+ (r/wrap #@.December))))))
(context: "(Month) Equivalence."
(<| (times 100)
@@ -64,13 +64,13 @@
(def: day
(r.Random @.Day)
- (r.either (r.either (r.either (random/wrap #@.Sunday)
- (random/wrap #@.Monday))
- (r.either (random/wrap #@.Tuesday)
- (random/wrap #@.Wednesday)))
- (r.either (r.either (random/wrap #@.Thursday)
- (random/wrap #@.Friday))
- (random/wrap #@.Saturday))))
+ (r.either (r.either (r.either (r/wrap #@.Sunday)
+ (r/wrap #@.Monday))
+ (r.either (r/wrap #@.Tuesday)
+ (r/wrap #@.Wednesday)))
+ (r.either (r.either (r/wrap #@.Thursday)
+ (r/wrap #@.Friday))
+ (r/wrap #@.Saturday))))
(context: "(Day) Equivalence."
(<| (times 100)