diff options
author | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
commit | b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 (patch) | |
tree | 26db4a468c2f75c64ba16e8b7dbf20f135d369fc /stdlib/source/program/aedifex/artifact/time | |
parent | bc36487224f670c23002cc4575c0dba3e5dc1be1 (diff) |
Leaner syntax for library/lux/control/exception.report
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/time')
-rw-r--r-- | stdlib/source/program/aedifex/artifact/time/date.lux | 52 |
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 |