aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact/time.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-06-16 00:48:19 -0400
committerEduardo Julian2022-06-16 00:48:19 -0400
commit9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch)
tree115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/program/aedifex/artifact/time.lux
parentf92c806ee8da63f04bbefbf558f6249bacdb47ea (diff)
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/time.lux')
-rw-r--r--stdlib/source/program/aedifex/artifact/time.lux12
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux
index d7be974fd..9e52e52ca 100644
--- a/stdlib/source/program/aedifex/artifact/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time.lux
@@ -22,34 +22,34 @@
(type: .public Time
[/date.Date /time.Time])
-(def: .public epoch
+(def .public epoch
Time
[/date.epoch time.midnight])
-(def: .public (instant time)
+(def .public (instant time)
(-> Time Instant)
(let [[date time] time]
(instant.of_date_time (/date.value date)
time)))
-(def: .public (of_instant instant)
+(def .public (of_instant instant)
(-> Instant (Try Time))
(do try.monad
[date (/date.date (instant.date instant))]
(in [date
(instant.time instant)])))
-(def: .public equivalence
+(def .public equivalence
(Equivalence Time)
(product.equivalence /date.equivalence
time.equivalence))
-(def: .public (format [date time])
+(def .public (format [date time])
(Format Time)
(%.format (/date.format date)
(/time.format time)))
-(def: .public parser
+(def .public parser
(Parser Time)
(do <>.monad
[date /date.parser