aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/metadata
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/metadata')
-rw-r--r--stdlib/source/program/aedifex/metadata/artifact.lux36
-rw-r--r--stdlib/source/program/aedifex/metadata/snapshot.lux8
2 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index b5aef41de..285e1c980 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -145,27 +145,27 @@
(def: .public parser
(Parser Metadata)
(<| (<xml>.node ..<metadata>)
- ($_ <>.and
- (<xml>.somewhere (..text ..<group>))
- (<xml>.somewhere (..text ..<name>))
- (<| (<xml>.node ..<versioning>)
- ... Handle any ignorable tag.
- (<>.before (<>.some <xml>.any))
- ($_ <>.and
- (<| <xml>.somewhere
- (<xml>.node ..<versions>)
- (<>.many (..text ..<version>)))
- (<xml>.somewhere ..last_updated_parser)
- )))))
+ (all <>.and
+ (<xml>.somewhere (..text ..<group>))
+ (<xml>.somewhere (..text ..<name>))
+ (<| (<xml>.node ..<versioning>)
+ ... Handle any ignorable tag.
+ (<>.before (<>.some <xml>.any))
+ (all <>.and
+ (<| <xml>.somewhere
+ (<xml>.node ..<versions>)
+ (<>.many (..text ..<version>)))
+ (<xml>.somewhere ..last_updated_parser)
+ )))))
(def: .public equivalence
(Equivalence Metadata)
- ($_ product.equivalence
- text.equivalence
- text.equivalence
- (list.equivalence text.equivalence)
- instant.equivalence
- ))
+ (all product.equivalence
+ text.equivalence
+ text.equivalence
+ (list.equivalence text.equivalence)
+ instant.equivalence
+ ))
(def: .public uri
(-> Artifact URI)
diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux
index a6552ee00..1a4c73059 100644
--- a/stdlib/source/program/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/program/aedifex/metadata/snapshot.lux
@@ -115,10 +115,10 @@
(def: .public equivalence
(Equivalence Metadata)
- ($_ product.equivalence
- ///artifact.equivalence
- ///artifact/versioning.equivalence
- ))
+ (all product.equivalence
+ ///artifact.equivalence
+ ///artifact/versioning.equivalence
+ ))
(def: .public uri
(-> Artifact URI)