From 061fd8a209bbcaffc2bfb850ac6046752a567d50 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 27 Jul 2021 03:51:10 -0400 Subject: Re-named wrap => in && unwrap => out. --- stdlib/source/program/aedifex/artifact/snapshot.lux | 2 +- stdlib/source/program/aedifex/artifact/snapshot/build.lux | 2 +- stdlib/source/program/aedifex/artifact/snapshot/stamp.lux | 2 +- stdlib/source/program/aedifex/artifact/snapshot/time.lux | 2 +- stdlib/source/program/aedifex/artifact/snapshot/version.lux | 4 ++-- stdlib/source/program/aedifex/artifact/time.lux | 6 +++--- stdlib/source/program/aedifex/artifact/time/date.lux | 4 ++-- stdlib/source/program/aedifex/artifact/versioning.lux | 2 +- 8 files changed, 12 insertions(+), 12 deletions(-) (limited to 'stdlib/source/program/aedifex/artifact') diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux index b377c1b38..6a5849f43 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot.lux @@ -51,7 +51,7 @@ (def: local_copy_parser (Parser Any) (<| (.node ..) - (.embed (.this ..local_copy_value)) + (.then (.this ..local_copy_value)) .text)) (def: #export (format snapshot) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux index 0e8692054..37bb3ca2d 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux @@ -38,5 +38,5 @@ (def: #export parser (Parser Build) (<| (.node ..tag) - (.embed (<>.codec nat.decimal (.many .decimal))) + (.then (<>.codec nat.decimal (.many .decimal))) .text)) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux index 147369711..0e9cba494 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux @@ -46,7 +46,7 @@ (def: time_parser (Parser Time) (<| (.node ) - (.embed //time.parser) + (.then //time.parser) .text)) (def: #export parser diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux index 46c9b149e..08f8b8035 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux @@ -43,4 +43,4 @@ [date ///time/date.parser _ (.this ..separator) time ///time/time.parser] - (wrap [date time]))) + (in [date time]))) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux index 89af452e2..c1341cf98 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux @@ -62,6 +62,6 @@ ($_ <>.and (.somewhere (..text ..)) (.somewhere (..text ..)) - (.somewhere (.embed ///time.parser - (..text ..))) + (.somewhere (.then ///time.parser + (..text ..))) ))) 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 (.exactly 2 .decimal)) date (<>.lift (date.date year month day_of_month))] - (wrap (:abstraction date))))) + (in (:abstraction date))))) diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux index 9c9805571..37adedea1 100644 --- a/stdlib/source/program/aedifex/artifact/versioning.lux +++ b/stdlib/source/program/aedifex/artifact/versioning.lux @@ -77,7 +77,7 @@ (def: last_updated_parser (Parser //time.Time) - (<| (.embed //time.parser) + (<| (.then //time.parser) (..text ..))) (def: #export parser -- cgit v1.2.3