aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/parser/xml.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/control/parser/xml.lux16
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/control/parser/xml.lux b/stdlib/source/library/lux/control/parser/xml.lux
index 05680953a..16802de51 100644
--- a/stdlib/source/library/lux/control/parser/xml.lux
+++ b/stdlib/source/library/lux/control/parser/xml.lux
@@ -40,7 +40,7 @@
(exception.report
"Inputs" (exception.listing (at /.codec encoded) inputs)))
-(def: (result' parser attrs documents)
+(def (result' parser attrs documents)
(All (_ a) (-> (Parser a) Attrs (List XML) (Try a)))
(case (//.result parser [attrs documents])
{try.#Success [[attrs' remaining] output]}
@@ -51,11 +51,11 @@
{try.#Failure error}
{try.#Failure error}))
-(def: .public (result parser documents)
+(def .public (result parser documents)
(All (_ a) (-> (Parser a) (List XML) (Try a)))
(..result' parser /.attributes documents))
-(def: .public text
+(def .public text
(Parser Text)
(function (_ [attrs documents])
(case documents
@@ -70,7 +70,7 @@
{/.#Node _}
(exception.except ..unexpected_input [])))))
-(def: .public tag
+(def .public tag
(Parser Tag)
(function (_ [attrs documents])
(case documents
@@ -85,7 +85,7 @@
{/.#Node tag _ _}
{try.#Success [[attrs documents] tag]}))))
-(def: .public (attribute name)
+(def .public (attribute name)
(-> Attribute (Parser Text))
(function (_ [attrs documents])
(case (dictionary.value name attrs)
@@ -95,7 +95,7 @@
{.#Some value}
{try.#Success [[attrs documents] value]})))
-(def: .public (node expected parser)
+(def .public (node expected parser)
(All (_ a) (-> Tag (Parser a) (Parser a)))
(function (_ [attrs documents])
(case documents
@@ -114,7 +114,7 @@
(try#each (|>> [[attrs tail]])))
(exception.except ..wrong_tag [expected actual]))))))
-(def: .public any
+(def .public any
(Parser XML)
(function (_ [attrs documents])
(case documents
@@ -126,7 +126,7 @@
(exception: .public nowhere)
-(def: .public (somewhere parser)
+(def .public (somewhere parser)
(All (_ a) (-> (Parser a) (Parser a)))
(function (again [attrs input])
(case (//.result parser [attrs input])