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.lux18
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/lux/time/instant.lux b/stdlib/source/lux/time/instant.lux
index 381820058..334b05115 100644
--- a/stdlib/source/lux/time/instant.lux
+++ b/stdlib/source/lux/time/instant.lux
@@ -24,37 +24,37 @@
(def: #export from-millis
(-> Int Instant)
- (|>> @abstract))
+ (|>> @abstraction))
(def: #export to-millis
(-> Instant Int)
- (|>> @repr))
+ (|>> @representation))
(def: #export (span from to)
(-> Instant Instant duration.Duration)
- (duration.from-millis (i/- (@repr from) (@repr to))))
+ (duration.from-millis (i/- (@representation from) (@representation to))))
(def: #export (shift duration instant)
(-> duration.Duration Instant Instant)
- (@abstract (i/+ (duration.to-millis duration) (@repr instant))))
+ (@abstraction (i/+ (duration.to-millis duration) (@representation instant))))
(def: #export (relative instant)
(-> Instant duration.Duration)
- (|> instant @repr duration.from-millis))
+ (|> instant @representation duration.from-millis))
(def: #export (absolute offset)
(-> duration.Duration Instant)
- (|> offset duration.to-millis @abstract))
+ (|> offset duration.to-millis @abstraction))
(struct: #export _ (Eq Instant)
(def: (= param subject)
- (:: number.Eq<Int> = (@repr param) (@repr subject))))
+ (:: number.Eq<Int> = (@representation param) (@representation subject))))
(struct: #export _ (Order Instant)
(def: eq Eq<Instant>)
(do-template [<name>]
[(def: (<name> param subject)
- (:: number.Order<Int> <name> (@repr param) (@repr subject)))]
+ (:: number.Order<Int> <name> (@representation param) (@representation subject)))]
[<] [<=] [>] [>=]
))
@@ -63,7 +63,7 @@
(def: order Order<Instant>)
(do-template [<name>]
[(def: <name>
- (|>> @repr (:: number.Enum<Int> <name>) @abstract))]
+ (|>> @representation (:: number.Enum<Int> <name>) @abstraction))]
[succ] [pred]
))