aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/artifact')
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux20
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 8189c6978..862eeec23 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -21,7 +21,7 @@
["[0]" year]
["[0]" month]]
[type
- abstract]]])
+ [abstract {"-" pattern}]]]])
(def: .public (pad value)
(-> Nat Text)
@@ -43,7 +43,7 @@
(def: .public epoch
Date
- (:abstraction date.epoch))
+ (abstraction date.epoch))
(def: .public (date raw)
(-> date.Date (Try Date))
@@ -51,24 +51,24 @@
(if (or (i.< ..min_year year)
(i.> ..max_year year))
(exception.except ..year_is_out_of_range [(date.year raw)])
- {try.#Success (:abstraction raw)})))
+ {try.#Success (abstraction raw)})))
(def: .public value
(-> Date date.Date)
- (|>> :representation))
+ (|>> representation))
(implementation: .public equivalence
(Equivalence Date)
(def: (= reference subject)
- (date#= (:representation reference)
- (:representation subject))))
+ (date#= (representation reference)
+ (representation subject))))
(def: .public (format value)
(%.Format Date)
- (%.format (|> value :representation date.year year.value .nat %.nat)
- (|> value :representation date.month month.number ..pad)
- (|> value :representation date.day_of_month ..pad)))
+ (%.format (|> value representation date.year year.value .nat %.nat)
+ (|> value representation date.month month.number ..pad)
+ (|> value representation date.day_of_month ..pad)))
(def: .public parser
(Parser Date)
@@ -79,4 +79,4 @@
month (<>.lifted (month.by_number month))
day_of_month (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))
date (<>.lifted (date.date year month day_of_month))]
- (in (:abstraction date)))))
+ (in (abstraction date)))))