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 | |
parent | 0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (diff) |
Extensible import syntax [Part 4]
Diffstat (limited to 'stdlib/source/program/aedifex/artifact')
8 files changed, 17 insertions, 17 deletions
diff --git a/stdlib/source/program/aedifex/artifact/extension.lux b/stdlib/source/program/aedifex/artifact/extension.lux index 7a308a1bf..744731370 100644 --- a/stdlib/source/program/aedifex/artifact/extension.lux +++ b/stdlib/source/program/aedifex/artifact/extension.lux @@ -2,11 +2,11 @@ [library [lux (.except type) [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]]] [macro ["[0]" template]]]] - ["[0]" // "_" + ["[0]" // ["[1]" type]]) (type: .public Extension diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux index 49e689a72..b8c0f8db4 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot.lux @@ -5,14 +5,14 @@ [equivalence (.only Equivalence)] [monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" xml (.only Parser)] ["<[0]>" text]]] [data ["[0]" sum] [format ["[0]" xml (.only XML)]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" stamp (.only Stamp)]]) (type: .public Snapshot 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)]]) diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux index 1afab48ba..a35084d6e 100644 --- a/stdlib/source/program/aedifex/artifact/time.lux +++ b/stdlib/source/program/aedifex/artifact/time.lux @@ -7,7 +7,7 @@ [monad (.only do)]] [control ["[0]" try (.only Try)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" text (.only Parser)]]] [data ["[0]" product] @@ -15,7 +15,7 @@ ["%" format (.only Format)]]] [time ["[0]" instant (.only Instant)]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" date] ["[1][0]" time]]) diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux index cf4bb0761..a957c6a15 100644 --- a/stdlib/source/program/aedifex/artifact/time/time.lux +++ b/stdlib/source/program/aedifex/artifact/time/time.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" text (.only Parser)]]] [data [text @@ -13,7 +13,7 @@ [math [number ["n" nat]]]]] - ["[0]" // "_" + ["[0]" // ["[1]" date]]) (type: .public Time diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux index 66ac3c146..fd4563b10 100644 --- a/stdlib/source/program/aedifex/artifact/versioning.lux +++ b/stdlib/source/program/aedifex/artifact/versioning.lux @@ -6,12 +6,12 @@ [monad (.only do)]] [control ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" xml (.only Parser)] ["<[0]>" text]]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format]] [format ["[0]" xml (.only XML)]] @@ -24,7 +24,7 @@ ["[0]" date (.only Date)] ["[0]" year] ["[0]" month]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" time] ["[1][0]" snapshot (.only Snapshot) ["[1]/[0]" version (.only Version)]]]) |