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.lux9
1 files changed, 0 insertions, 9 deletions
diff --git a/stdlib/source/library/lux/control/parser/xml.lux b/stdlib/source/library/lux/control/parser/xml.lux
index 5785ecba8..2b0332544 100644
--- a/stdlib/source/library/lux/control/parser/xml.lux
+++ b/stdlib/source/library/lux/control/parser/xml.lux
@@ -18,7 +18,6 @@
["." //])
(type: .public (Parser a)
- {#.doc (example "A parser of XML-encoded data.")}
(//.Parser [Attrs (List XML)] a))
(exception: .public empty_input)
@@ -50,13 +49,10 @@
(#try.Failure error)))
(def: .public (result parser documents)
- {#.doc (example "Applies a parser against a stream of XML documents."
- "Verifies that all of the inputs are consumed by the parser.")}
(All [a] (-> (Parser a) (List XML) (Try a)))
(..result' parser /.attributes documents))
(def: .public text
- {#.doc (example "Yields text from a text node.")}
(Parser Text)
(function (_ [attrs documents])
(case documents
@@ -72,7 +68,6 @@
(exception.except ..unexpected_input [])))))
(def: .public tag
- {#.doc (example "Yields the tag from the next node.")}
(Parser Tag)
(function (_ [attrs documents])
(case documents
@@ -88,7 +83,6 @@
(#try.Success [[attrs documents] tag])))))
(def: .public (attribute name)
- {#.doc (example "Yields the value of an attribute in the current node.")}
(-> Attribute (Parser Text))
(function (_ [attrs documents])
(case (dictionary.value name attrs)
@@ -99,7 +93,6 @@
(#try.Success [[attrs documents] value]))))
(def: .public (node expected parser)
- {#.doc (example "Parses the contents of the next node if the tag matches.")}
(All [a] (-> Tag (Parser a) (Parser a)))
(function (_ [attrs documents])
(case documents
@@ -119,7 +112,6 @@
(exception.except ..wrong_tag [expected actual]))))))
(def: .public any
- {#.doc (example "Yields the next node.")}
(Parser XML)
(function (_ [attrs documents])
(case documents
@@ -132,7 +124,6 @@
(exception: .public nowhere)
(def: .public (somewhere parser)
- {#.doc (example "Applies the parser somewhere among the remaining inputs; instead of demanding that the parser succeeds against the immediate inputs.")}
(All [a] (-> (Parser a) (Parser a)))
(function (recur [attrs input])
(case (//.result parser [attrs input])