aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/parser
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/parser')
-rw-r--r--stdlib/source/parser/lux/data/binary.lux4
-rw-r--r--stdlib/source/parser/lux/data/format/json.lux4
-rw-r--r--stdlib/source/parser/lux/data/format/xml.lux2
-rw-r--r--stdlib/source/parser/lux/data/text.lux6
-rw-r--r--stdlib/source/parser/lux/meta/code.lux6
-rw-r--r--stdlib/source/parser/lux/meta/compiler/language/lux/analysis.lux2
-rw-r--r--stdlib/source/parser/lux/meta/compiler/language/lux/synthesis.lux2
-rw-r--r--stdlib/source/parser/lux/meta/type.lux2
-rw-r--r--stdlib/source/parser/lux/world/environment.lux2
9 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/parser/lux/data/binary.lux b/stdlib/source/parser/lux/data/binary.lux
index 2aad65ba1..90b521d6a 100644
--- a/stdlib/source/parser/lux/data/binary.lux
+++ b/stdlib/source/parser/lux/data/binary.lux
@@ -139,7 +139,7 @@
(with_expansions [<case>+' (template.spliced <case>+)]
(when flag
(^.with_template [<number> <tag> <parser>]
- [<number> (`` (at ! each (|>> {(,, (template.spliced <tag>))}) <parser>))])
+ [<number> (`` (of ! each (|>> {(,, (template.spliced <tag>))}) <parser>))])
(<case>+')
_ (//.of_try (exception.except ..invalid_tag [(template.amount [<case>+]) flag])))))]))
@@ -206,7 +206,7 @@
(Parser Text)
(do //.monad
[utf8 <binary>]
- (//.of_try (at utf8.codec decoded utf8)))))]
+ (//.of_try (of utf8.codec decoded utf8)))))]
[08 utf8_8 ..binary_8]
[16 utf8_16 ..binary_16]
diff --git a/stdlib/source/parser/lux/data/format/json.lux b/stdlib/source/parser/lux/data/format/json.lux
index aff96d9b7..a4c0fb532 100644
--- a/stdlib/source/parser/lux/data/format/json.lux
+++ b/stdlib/source/parser/lux/data/format/json.lux
@@ -92,7 +92,7 @@
[head ..any]
(when head
{<tag> value}
- (in (at <equivalence> = test value))
+ (in (of <equivalence> = test value))
_
(//.failure (exception.error ..unexpected_value [head])))))
@@ -103,7 +103,7 @@
[head ..any]
(when head
{<tag> value}
- (if (at <equivalence> = test value)
+ (if (of <equivalence> = test value)
(in [])
(//.failure (exception.error ..value_mismatch [{<tag> test} {<tag> value}])))
diff --git a/stdlib/source/parser/lux/data/format/xml.lux b/stdlib/source/parser/lux/data/format/xml.lux
index 603cfe6c5..4c64d8dab 100644
--- a/stdlib/source/parser/lux/data/format/xml.lux
+++ b/stdlib/source/parser/lux/data/format/xml.lux
@@ -39,7 +39,7 @@
(exception.def .public (unconsumed_inputs inputs)
(Exception (List XML))
(exception.report
- (list ["Inputs" (exception.listing (at /.codec encoded) inputs)])))
+ (list ["Inputs" (exception.listing (of /.codec encoded) inputs)])))
(def (result' parser attrs documents)
(All (_ a) (-> (Parser a) Attrs (List XML) (Try a)))
diff --git a/stdlib/source/parser/lux/data/text.lux b/stdlib/source/parser/lux/data/text.lux
index 0fe1fb3ec..6deb892f6 100644
--- a/stdlib/source/parser/lux/data/text.lux
+++ b/stdlib/source/parser/lux/data/text.lux
@@ -335,7 +335,7 @@
(with_template [<name> <base> <doc_modifier>]
[(def .public (<name> parser)
(-> (Parser Text) (Parser Text))
- (|> parser <base> (at //.monad each /.together)))]
+ (|> parser <base> (of //.monad each /.together)))]
[some //.some "some"]
[many //.many "many"]
@@ -355,7 +355,7 @@
(-> Nat (Parser Text) (Parser Text))
(|> parser
(<base> amount)
- (at //.monad each /.together)))]
+ (of //.monad each /.together)))]
[exactly //.exactly "exactly"]
[at_most //.at_most "at most"]
@@ -377,7 +377,7 @@
(-> Nat Nat (Parser Text) (Parser Text))
(|> parser
(//.between minimum additional)
- (at //.monad each /.together)))
+ (of //.monad each /.together)))
(def .public (between! minimum additional parser)
(-> Nat Nat (Parser Slice) (Parser Slice))
diff --git a/stdlib/source/parser/lux/meta/code.lux b/stdlib/source/parser/lux/meta/code.lux
index b0a23eb8c..3ca27bb84 100644
--- a/stdlib/source/parser/lux/meta/code.lux
+++ b/stdlib/source/parser/lux/meta/code.lux
@@ -76,7 +76,7 @@
(function (_ tokens)
(when tokens
{.#Item [[_ {<tag> actual}] tokens']}
- (if (at <eq> = expected actual)
+ (if (of <eq> = expected actual)
{try.#Success [tokens' []]}
<failure>)
@@ -121,7 +121,7 @@
(function (_ tokens)
(when tokens
{.#Item [[_ {.#Symbol ["" actual]}] tokens']}
- (if (at text.equivalence = expected actual)
+ (if (of text.equivalence = expected actual)
{try.#Success [tokens' []]}
<failure>)
@@ -150,7 +150,7 @@
<failure>
{.#Item [[_ {.#Symbol it}] tokens']}
- (if (at symbol.equivalence = expected it)
+ (if (of symbol.equivalence = expected it)
{try.#Success [tokens' []]}
<failure>)
diff --git a/stdlib/source/parser/lux/meta/compiler/language/lux/analysis.lux b/stdlib/source/parser/lux/meta/compiler/language/lux/analysis.lux
index dec8032ed..566ec7c58 100644
--- a/stdlib/source/parser/lux/meta/compiler/language/lux/analysis.lux
+++ b/stdlib/source/parser/lux/meta/compiler/language/lux/analysis.lux
@@ -106,7 +106,7 @@
(function (_ input)
(when input
(list.partial (<tag> @ actual) input')
- (if (at <eq> = expected actual)
+ (if (of <eq> = expected actual)
{try.#Success [input' []]}
(exception.except ..cannot_parse input))
diff --git a/stdlib/source/parser/lux/meta/compiler/language/lux/synthesis.lux b/stdlib/source/parser/lux/meta/compiler/language/lux/synthesis.lux
index e1d740d92..1ea72a289 100644
--- a/stdlib/source/parser/lux/meta/compiler/language/lux/synthesis.lux
+++ b/stdlib/source/parser/lux/meta/compiler/language/lux/synthesis.lux
@@ -104,7 +104,7 @@
(.function (_ input)
(when input
(list.partial (<tag> @ actual) input')
- (if (at <eq> = expected actual)
+ (if (of <eq> = expected actual)
{try.#Success [input' []]}
(exception.except ..cannot_parse input))
diff --git a/stdlib/source/parser/lux/meta/type.lux b/stdlib/source/parser/lux/meta/type.lux
index f84ab2452..55eea02ea 100644
--- a/stdlib/source/parser/lux/meta/type.lux
+++ b/stdlib/source/parser/lux/meta/type.lux
@@ -185,7 +185,7 @@
(All (_ a) (-> (Parser a) (Parser [Code (List Code) a])))
(do [! //.monad]
[headT any
- funcI (at ! each dictionary.size ..env)
+ funcI (of ! each dictionary.size ..env)
[num_args non_poly] (local (list headT) ..polymorphic')
env ..env
.let [funcL (label funcI)
diff --git a/stdlib/source/parser/lux/world/environment.lux b/stdlib/source/parser/lux/world/environment.lux
index 3b8a3049b..59bc6f254 100644
--- a/stdlib/source/parser/lux/world/environment.lux
+++ b/stdlib/source/parser/lux/world/environment.lux
@@ -42,4 +42,4 @@
(def .public (result parser environment)
(All (_ a) (-> (Parser a) Environment (Try a)))
- (at try.monad each product.right (parser environment)))
+ (of try.monad each product.right (parser environment)))
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 23:17:20 +0000