diff options
| author | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
| commit | 3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 (patch) | |
| tree | 9dde4f6cb8f16829b2fa43fbccffaa1b3e2659bd /stdlib/source/program/aedifex/artifact/snapshot | |
| parent | 0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (diff) | |
Extensible import syntax [Part 4]
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/snapshot')
3 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux index 8e2a68db8..315aa037d 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux @@ -5,14 +5,14 @@ [equivalence (.only Equivalence)] [monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" xml (.only Parser)] ["<[0]>" text]]] [data ["[0]" product] [format ["[0]" xml (.only XML)]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" time (.only Time)] ["[1][0]" build (.only Build)]]) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux index 3fd81d69d..9f306f1d7 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux @@ -6,7 +6,7 @@ [monad (.only do)]] [control ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" text] ["<[0]>" xml (.only Parser)]]] [data @@ -16,7 +16,7 @@ ["[0]" xml (.only XML)]]] [time ["[0]" instant (.only Instant)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" time ["[1]/[0]" date] ["[1]/[0]" time]]]) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux index d027bf8e8..a1afbd888 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux @@ -5,7 +5,7 @@ [equivalence (.only Equivalence)] [monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" xml (.only Parser)] ["<[0]>" text]]] [data @@ -13,7 +13,7 @@ ["[0]" text] [format ["[0]" xml (.only XML)]]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" type (.only Type)] ["[1][0]" time (.only Time)]]) |