diff options
Diffstat (limited to 'stdlib/source/library/lux/control/parser/xml.lux')
-rw-r--r-- | stdlib/source/library/lux/control/parser/xml.lux | 46 |
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))) |