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