diff options
| author | Eduardo Julian | 2021-07-27 03:51:10 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-27 03:51:10 -0400 |
| commit | 061fd8a209bbcaffc2bfb850ac6046752a567d50 (patch) | |
| tree | 8cd83ad7d0bc06ded7976eb5420467e485733ae8 /stdlib/source/program/aedifex/artifact/time | |
| parent | e64b6d0114c26a455e19a416b5f02a4d19dd711f (diff) | |
Re-named wrap => in && unwrap => out.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time/date.lux | 4 |
2 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux index 524b68bb1..c8452a477 100644 --- a/stdlib/source/program/aedifex/artifact/time.lux +++ b/stdlib/source/program/aedifex/artifact/time.lux @@ -36,8 +36,8 @@ (-> Instant (Try Time)) (do try.monad [date (/date.date (instant.date instant))] - (wrap [date - (instant.time instant)]))) + (in [date + (instant.time instant)]))) (def: #export equivalence (Equivalence Time) @@ -54,4 +54,4 @@ (do <>.monad [date /date.parser time /time.parser] - (wrap [date time]))) + (in [date time]))) diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux index f6b8ae5a9..b392a5569 100644 --- a/stdlib/source/program/aedifex/artifact/time/date.lux +++ b/stdlib/source/program/aedifex/artifact/time/date.lux @@ -51,7 +51,7 @@ (if (and (i.>= ..min_year year) (i.<= ..max_year year)) (#try.Success (:abstraction raw)) - (exception.throw ..year_is_out_of_range [(date.year raw)])))) + (exception.except ..year_is_out_of_range [(date.year raw)])))) (def: #export value (-> Date date.Date) @@ -79,4 +79,4 @@ month (<>.lift (month.by_number month)) day_of_month (<>.codec n.decimal (<text>.exactly 2 <text>.decimal)) date (<>.lift (date.date year month day_of_month))] - (wrap (:abstraction date))))) + (in (:abstraction date))))) |