aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/parser/xml.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/control/parser/xml.lux')
-rw-r--r--stdlib/source/library/lux/control/parser/xml.lux46
1 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/library/lux/control/parser/xml.lux b/stdlib/source/library/lux/control/parser/xml.lux
index 7e93ef8ae..45c6cf178 100644
--- a/stdlib/source/library/lux/control/parser/xml.lux
+++ b/stdlib/source/library/lux/control/parser/xml.lux
@@ -1,22 +1,22 @@
(.using
- [library
- [lux "*"
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" try {"+" Try} ("[1]#[0]" functor)]
- ["[0]" exception {"+" exception:}]]
- [data
- ["[0]" text
- ["%" format {"+" format}]]
- [collection
- ["[0]" list]
- ["[0]" dictionary]]
- [format
- ["/" xml {"+" Attribute Attrs Tag XML}]]]
- [meta
- ["[0]" symbol ("[1]#[0]" equivalence codec)]]]]
- ["[0]" //])
+ [library
+ [lux "*"
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" try {"+" Try} ("[1]#[0]" functor)]
+ ["[0]" exception {"+" exception:}]]
+ [data
+ ["[0]" text
+ ["%" format {"+" format}]]
+ [collection
+ ["[0]" list]
+ ["[0]" dictionary]]
+ [format
+ ["/" xml {"+" Attribute Attrs Tag XML}]]]
+ [meta
+ ["[0]" symbol ("[1]#[0]" equivalence codec)]]]]
+ ["[0]" //])
(type: .public (Parser a)
(//.Parser [Attrs (List XML)] a))
@@ -27,18 +27,18 @@
(exception: .public (wrong_tag [expected Tag
actual Tag])
(exception.report
- ["Expected" (%.text (/.tag expected))]
- ["Actual" (%.text (/.tag actual))]))
+ "Expected" (%.text (/.tag expected))
+ "Actual" (%.text (/.tag actual))))
(exception: .public (unknown_attribute [expected Attribute
available (List Attribute)])
(exception.report
- ["Expected" (%.text (/.attribute expected))]
- ["Available" (exception.listing (|>> /.attribute %.text) available)]))
+ "Expected" (%.text (/.attribute expected))
+ "Available" (exception.listing (|>> /.attribute %.text) available)))
(exception: .public (unconsumed_inputs [inputs (List XML)])
(exception.report
- ["Inputs" (exception.listing (# /.codec encoded) inputs)]))
+ "Inputs" (exception.listing (# /.codec encoded) inputs)))
(def: (result' parser attrs documents)
(All (_ a) (-> (Parser a) Attrs (List XML) (Try a)))