aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/time/instant.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/time/instant.lux')
-rw-r--r--stdlib/source/lux/time/instant.lux16
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux/time/instant.lux b/stdlib/source/lux/time/instant.lux
index 0dd2c030b..7c63b7d31 100644
--- a/stdlib/source/lux/time/instant.lux
+++ b/stdlib/source/lux/time/instant.lux
@@ -61,14 +61,14 @@
(Equivalence Instant)
(def: (= param subject)
- (:: i.equivalence = (:representation param) (:representation subject))))
+ (\ i.equivalence = (:representation param) (:representation subject))))
(structure: #export order
(Order Instant)
(def: &equivalence ..equivalence)
(def: (< param subject)
- (:: i.order < (:representation param) (:representation subject))))
+ (\ i.order < (:representation param) (:representation subject))))
(`` (structure: #export enum
(Enum Instant)
@@ -76,7 +76,7 @@
(def: &order ..order)
(~~ (template [<name>]
[(def: <name>
- (|>> :representation (:: i.enum <name>) :abstraction))]
+ (|>> :representation (\ i.enum <name>) :abstraction))]
[succ] [pred]
))))
@@ -112,7 +112,7 @@
(def: (clock-time duration)
(-> Duration Time)
- (let [time (if (:: duration.order < duration.empty duration)
+ (let [time (if (\ duration.order < duration.empty duration)
(duration.merge duration.day duration)
duration)]
(|> time duration.to-millis .nat //.from-millis try.assume)))
@@ -122,15 +122,15 @@
(let [[date time] (..date-time instant)
time (..clock-time time)]
($_ text\compose
- (:: date.codec encode date) ..date-suffix
- (:: //.codec encode time) ..time-suffix)))
+ (\ date.codec encode date) ..date-suffix
+ (\ //.codec encode time) ..time-suffix)))
(def: parser
(Parser Instant)
(do {! <>.monad}
- [days (:: ! map date.days date.parser)
+ [days (\ ! map date.days date.parser)
_ (<t>.this ..date-suffix)
- time (:: ! map //.to-millis //.parser)
+ time (\ ! map //.to-millis //.parser)
_ (<t>.this ..time-suffix)]
(wrap (|> (if (i.< +0 days)
(|> duration.day