aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/metadata/snapshot.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex/metadata/snapshot.lux50
1 files changed, 25 insertions, 25 deletions
diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux
index 6f8ceb41c..53f5faee0 100644
--- a/stdlib/source/program/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/program/aedifex/metadata/snapshot.lux
@@ -6,44 +6,44 @@
[equivalence {"+" [Equivalence]}]]
[control
[pipe {"+" [do> case>]}]
- ["." try {"+" [Try]}]
- ["." exception {"+" [exception:]}]
+ ["[0]" try {"+" [Try]}]
+ ["[0]" exception {"+" [exception:]}]
["<>" parser
- ["<.>" xml {"+" [Parser]}]
- ["<.>" text]]
+ ["<[0]>" xml {"+" [Parser]}]
+ ["<[0]>" text]]
[concurrency
- ["." async {"+" [Async]}]]]
+ ["[0]" async {"+" [Async]}]]]
[data
- ["." product]
- ["." text
+ ["[0]" product]
+ ["[0]" text
["%" format]
[encoding
- ["." utf8]]]
+ ["[0]" utf8]]]
[format
- ["." xml {"+" [XML]}]]
+ ["[0]" xml {"+" [XML]}]]
[collection
- ["." list ("#\." functor)]]]
+ ["[0]" list ("[1]\[0]" functor)]]]
[math
[number
["n" nat]]]
- ["." time {"+" [Time]}
- ["." instant {"+" [Instant]}]
- ["." date {"+" [Date]}]
- ["." year]
- ["." month]]
+ ["[0]" time {"+" [Time]}
+ ["[0]" instant {"+" [Instant]}]
+ ["[0]" date {"+" [Date]}]
+ ["[0]" year]
+ ["[0]" month]]
[world
[net
- ["." uri {"+" [URI]}]]]]]
- ["." //
- ["/#" // "_"
+ ["[0]" uri {"+" [URI]}]]]]]
+ ["[0]" //
+ ["/[1]" // "_"
[repository {"+" [Repository]}]
- ["#." artifact {"+" [Group Name Version Artifact]}
- ["#/." time]
- ["#/." type {"+" [Type]}]
- ["#/." versioning {"+" [Versioning]}]
- ["#/." snapshot
- ["#/." version]
- ["#/." stamp]]]]])
+ ["[1][0]" artifact {"+" [Group Name Version Artifact]}
+ ["[1]/[0]" time]
+ ["[1]/[0]" type {"+" [Type]}]
+ ["[1]/[0]" versioning {"+" [Versioning]}]
+ ["[1]/[0]" snapshot
+ ["[1]/[0]" version]
+ ["[1]/[0]" stamp]]]]])
(type: .public Metadata
(Record