aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/control/parser
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/control/parser.lux16
-rw-r--r--stdlib/source/lux/control/parser/analysis.lux2
-rw-r--r--stdlib/source/lux/control/parser/binary.lux2
-rw-r--r--stdlib/source/lux/control/parser/cli.lux2
-rw-r--r--stdlib/source/lux/control/parser/code.lux4
-rw-r--r--stdlib/source/lux/control/parser/environment.lux2
-rw-r--r--stdlib/source/lux/control/parser/json.lux4
-rw-r--r--stdlib/source/lux/control/parser/synthesis.lux2
-rw-r--r--stdlib/source/lux/control/parser/text.lux6
-rw-r--r--stdlib/source/lux/control/parser/type.lux2
-rw-r--r--stdlib/source/lux/control/parser/xml.lux2
11 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/lux/control/parser.lux b/stdlib/source/lux/control/parser.lux
index 7397d03e0..1cb4e2298 100644
--- a/stdlib/source/lux/control/parser.lux
+++ b/stdlib/source/lux/control/parser.lux
@@ -102,8 +102,8 @@
(#try.Success [input (list)])
(#try.Success [input' head])
- (run (:: ..monad map (|>> (list& head))
- (some parser))
+ (run (\ ..monad map (|>> (list& head))
+ (some parser))
input'))))
(def: #export (many parser)
@@ -112,8 +112,8 @@
(-> (Parser s a) (Parser s (List a))))
(do {! ..monad}
[head parser]
- (:: ! map (|>> (list& head))
- (some parser))))
+ (\ ! map (|>> (list& head))
+ (some parser))))
(def: #export (and p1 p2)
{#.doc "Sequencing combinator."}
@@ -161,7 +161,7 @@
[x p
xs (exactly (dec n) p)]
(wrap (#.Cons x xs)))
- (:: ..monad wrap (list))))
+ (\ ..monad wrap (list))))
(def: #export (at-least n p)
{#.doc "Parse at least N times."}
@@ -186,7 +186,7 @@
(wrap (#.Cons x xs)))
input')
))
- (:: ..monad wrap (list))))
+ (\ ..monad wrap (list))))
(def: #export (between from to p)
{#.doc "Parse between N and M times."}
@@ -194,7 +194,7 @@
(do ..monad
[min-xs (exactly from p)
max-xs (at-most (n.- from to) p)]
- (wrap (:: list.monad join (list min-xs max-xs)))))
+ (wrap (\ list.monad join (list min-xs max-xs)))))
(def: #export (sep-by sep p)
{#.doc "Parsers instances of 'p' that are separated by instances of 'sep'."}
@@ -316,7 +316,7 @@
(#try.Failure error)
(#try.Success [input' to-decode])
- (case (:: codec decode to-decode)
+ (case (\ codec decode to-decode)
(#try.Failure error)
(#try.Failure error)
diff --git a/stdlib/source/lux/control/parser/analysis.lux b/stdlib/source/lux/control/parser/analysis.lux
index 6105b5f5a..9b4a14d86 100644
--- a/stdlib/source/lux/control/parser/analysis.lux
+++ b/stdlib/source/lux/control/parser/analysis.lux
@@ -102,7 +102,7 @@
(function (_ input)
(case input
(^ (list& (<tag> actual) input'))
- (if (:: <eq> = expected actual)
+ (if (\ <eq> = expected actual)
(#try.Success [input' []])
(exception.throw ..cannot-parse input))
diff --git a/stdlib/source/lux/control/parser/binary.lux b/stdlib/source/lux/control/parser/binary.lux
index 3d1d30564..6f262f9d2 100644
--- a/stdlib/source/lux/control/parser/binary.lux
+++ b/stdlib/source/lux/control/parser/binary.lux
@@ -107,7 +107,7 @@
..bits/8)]
(`` (case flag
(^template [<number> <tag> <parser>]
- [<number> (:: ! map (|>> <tag>) <parser>)])
+ [<number> (\ ! map (|>> <tag>) <parser>)])
((~~ (template.splice <case>+)))
_ (//.lift (exception.throw ..invalid-tag [(~~ (template.count <case>+)) flag]))))))
diff --git a/stdlib/source/lux/control/parser/cli.lux b/stdlib/source/lux/control/parser/cli.lux
index e89b77a16..de654eb24 100644
--- a/stdlib/source/lux/control/parser/cli.lux
+++ b/stdlib/source/lux/control/parser/cli.lux
@@ -133,7 +133,7 @@
(wrap [])))
(program: [name]
- (io (log! (:: text.monoid compose "Hello, " name))))
+ (io (log! (\ text.monoid compose "Hello, " name))))
(program: [{config config^}]
(do io.monad
diff --git a/stdlib/source/lux/control/parser/code.lux b/stdlib/source/lux/control/parser/code.lux
index 2df442a8f..9dc99e49a 100644
--- a/stdlib/source/lux/control/parser/code.lux
+++ b/stdlib/source/lux/control/parser/code.lux
@@ -63,7 +63,7 @@
(function (_ tokens)
(case tokens
(#.Cons [[_ (<tag> actual)] tokens'])
- (if (:: <eq> = expected actual)
+ (if (\ <eq> = expected actual)
(#try.Success [tokens' []])
<failure>)
@@ -112,7 +112,7 @@
(function (_ tokens)
(case tokens
(#.Cons [[_ (<tag> ["" actual])] tokens'])
- (if (:: <eq> = expected actual)
+ (if (\ <eq> = expected actual)
(#try.Success [tokens' []])
<failure>)
diff --git a/stdlib/source/lux/control/parser/environment.lux b/stdlib/source/lux/control/parser/environment.lux
index 7f3630dd1..fbe256c24 100644
--- a/stdlib/source/lux/control/parser/environment.lux
+++ b/stdlib/source/lux/control/parser/environment.lux
@@ -36,4 +36,4 @@
(def: #export (run parser environment)
(All [a] (-> (Parser a) /.Environment (Try a)))
- (:: try.monad map product.right (parser environment)))
+ (\ try.monad map product.right (parser environment)))
diff --git a/stdlib/source/lux/control/parser/json.lux b/stdlib/source/lux/control/parser/json.lux
index fe82104d0..a7cf8fa9f 100644
--- a/stdlib/source/lux/control/parser/json.lux
+++ b/stdlib/source/lux/control/parser/json.lux
@@ -91,7 +91,7 @@
[head ..any]
(case head
(<tag> value)
- (wrap (:: <equivalence> = test value))
+ (wrap (\ <equivalence> = test value))
_
(//.fail (exception.construct ..unexpected-value [head])))))
@@ -103,7 +103,7 @@
[head ..any]
(case head
(<tag> value)
- (if (:: <equivalence> = test value)
+ (if (\ <equivalence> = test value)
(wrap [])
(//.fail (exception.construct ..value-mismatch [(<tag> test) (<tag> value)])))
diff --git a/stdlib/source/lux/control/parser/synthesis.lux b/stdlib/source/lux/control/parser/synthesis.lux
index cdca47d1c..be67d76d8 100644
--- a/stdlib/source/lux/control/parser/synthesis.lux
+++ b/stdlib/source/lux/control/parser/synthesis.lux
@@ -106,7 +106,7 @@
(.function (_ input)
(case input
(^ (list& (<tag> actual) input'))
- (if (:: <eq> = expected actual)
+ (if (\ <eq> = expected actual)
(#try.Success [input' []])
(exception.throw ..cannot-parse input))
diff --git a/stdlib/source/lux/control/parser/text.lux b/stdlib/source/lux/control/parser/text.lux
index aede52006..ebcf3c53a 100644
--- a/stdlib/source/lux/control/parser/text.lux
+++ b/stdlib/source/lux/control/parser/text.lux
@@ -288,7 +288,7 @@
[(def: #export (<name> parser)
{#.doc (code.text ($_ /\compose "Lex " <doc-modifier> " characters as a single continuous text."))}
(-> (Parser Text) (Parser Text))
- (|> parser <base> (:: //.monad map /.concat)))]
+ (|> parser <base> (\ //.monad map /.concat)))]
[some //.some "some"]
[many //.many "many"]
@@ -308,7 +308,7 @@
[(def: #export (<name> amount parser)
{#.doc (code.text ($_ /\compose "Lex " <doc-modifier> " N characters."))}
(-> Nat (Parser Text) (Parser Text))
- (|> parser (<base> amount) (:: //.monad map /.concat)))]
+ (|> parser (<base> amount) (\ //.monad map /.concat)))]
[exactly //.exactly "exactly"]
[at-most //.at-most "at most"]
@@ -329,7 +329,7 @@
(def: #export (between from to parser)
{#.doc "Lex between N and M characters."}
(-> Nat Nat (Parser Text) (Parser Text))
- (|> parser (//.between from to) (:: //.monad map /.concat)))
+ (|> parser (//.between from to) (\ //.monad map /.concat)))
(def: #export (between! from to parser)
{#.doc "Lex between N and M characters."}
diff --git a/stdlib/source/lux/control/parser/type.lux b/stdlib/source/lux/control/parser/type.lux
index c9b8a5c96..3ac8f657d 100644
--- a/stdlib/source/lux/control/parser/type.lux
+++ b/stdlib/source/lux/control/parser/type.lux
@@ -173,7 +173,7 @@
(All [a] (-> (Parser a) (Parser [Code (List Code) a])))
(do {! //.monad}
[headT any
- funcI (:: ! map dictionary.size ..env)
+ funcI (\ ! map dictionary.size ..env)
[num-args non-poly] (local (list headT) polymorphic')
env ..env
#let [funcL (label funcI)
diff --git a/stdlib/source/lux/control/parser/xml.lux b/stdlib/source/lux/control/parser/xml.lux
index c3d3136c7..bec2b80fe 100644
--- a/stdlib/source/lux/control/parser/xml.lux
+++ b/stdlib/source/lux/control/parser/xml.lux
@@ -33,7 +33,7 @@
(exception: #export (unconsumed-inputs {inputs (List XML)})
(exception.report
- ["Inputs" (exception.enumerate (:: /.codec encode) inputs)]))
+ ["Inputs" (exception.enumerate (\ /.codec encode) inputs)]))
(def: #export text
(Parser Text)
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-01 02:21:45 +0000