diff options
author | Eduardo Julian | 2022-03-16 08:37:23 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-03-16 08:37:23 -0400 |
commit | bf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 (patch) | |
tree | 49683a62ae8e110c62b42a9a6386bb2ddb3c47c6 /stdlib/source/program/aedifex/artifact | |
parent | d710d9f4fc098e7c243c8a5f23cd42683f13e07f (diff) |
De-sigil-ification: prefix :
Diffstat (limited to 'stdlib/source/program/aedifex/artifact')
-rw-r--r-- | stdlib/source/program/aedifex/artifact/time/date.lux | 20 |
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))))) |