aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact/time/date.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-03-15 22:45:49 -0400
committerEduardo Julian2022-03-15 22:45:49 -0400
commitb0093a3849baaeb5e12692b2cf6ac65ba74bbd54 (patch)
tree26db4a468c2f75c64ba16e8b7dbf20f135d369fc /stdlib/source/program/aedifex/artifact/time/date.lux
parentbc36487224f670c23002cc4575c0dba3e5dc1be1 (diff)
Leaner syntax for library/lux/control/exception.report
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/time/date.lux')
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux52
1 files changed, 26 insertions, 26 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index acb108a35..8189c6978 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -1,27 +1,27 @@
(.using
- [library
- [lux "*"
- [abstract
- [monad {"+" do}]
- [equivalence {"+" Equivalence}]]
- [control
- ["[0]" try {"+" Try}]
- ["[0]" exception {"+" exception:}]
- ["<>" parser
- ["<[0]>" text {"+" Parser}]]]
- [data
- [text
- ["%" format]]]
- [math
- [number
- ["n" nat]
- ["i" int]]]
- [time
- ["[0]" date ("[1]#[0]" equivalence)]
- ["[0]" year]
- ["[0]" month]]
- [type
- abstract]]])
+ [library
+ [lux "*"
+ [abstract
+ [monad {"+" do}]
+ [equivalence {"+" Equivalence}]]
+ [control
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]
+ ["<>" parser
+ ["<[0]>" text {"+" Parser}]]]
+ [data
+ [text
+ ["%" format]]]
+ [math
+ [number
+ ["n" nat]
+ ["i" int]]]
+ [time
+ ["[0]" date ("[1]#[0]" equivalence)]
+ ["[0]" year]
+ ["[0]" month]]
+ [type
+ abstract]]])
(def: .public (pad value)
(-> Nat Text)
@@ -34,9 +34,9 @@
(exception: .public (year_is_out_of_range [year year.Year])
(exception.report
- ["Minimum" (%.int ..min_year)]
- ["Maximum" (%.int ..max_year)]
- ["Year" (%.int (year.value year))]))
+ "Minimum" (%.int ..min_year)
+ "Maximum" (%.int ..max_year)
+ "Year" (%.int (year.value year))))
(abstract: .public Date
date.Date