diff options
author | Eduardo Julian | 2021-07-13 02:41:45 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-07-13 02:41:45 -0400 |
commit | 2431e767a09894c2f685911ba7f1ba0b7de2a165 (patch) | |
tree | f5c79fb04af80b8418e9de0a5e668f29403dd7fd /stdlib/source/program/aedifex/metadata/snapshot.lux | |
parent | 86bcfadb774618defaa27bbb9361a93d288fb985 (diff) |
Improved the XML parsing library.
Diffstat (limited to 'stdlib/source/program/aedifex/metadata/snapshot.lux')
-rw-r--r-- | stdlib/source/program/aedifex/metadata/snapshot.lux | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux index 518e0404a..41a0d9986 100644 --- a/stdlib/source/program/aedifex/metadata/snapshot.lux +++ b/stdlib/source/program/aedifex/metadata/snapshot.lux @@ -77,19 +77,14 @@ (..format_version version) (///artifact/versioning.format versioning))))) -(def: (sub tag parser) - (All [a] (-> xml.Tag (Parser a) (Parser a))) - (do <>.monad - [_ (<xml>.node tag)] - (<xml>.children parser))) - (def: (text tag) (-> xml.Tag (Parser Text)) - (..sub tag <xml>.text)) + (<| (<xml>.node tag) + <xml>.text)) (def: #export parser (Parser Metadata) - (<| (..sub ..<metadata>) + (<| (<xml>.node ..<metadata>) (do {! <>.monad} [group (<xml>.somewhere (..text ..<group>)) name (<xml>.somewhere (..text ..<name>)) |