diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/control/parser.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/library/lux/control/parser.lux b/stdlib/source/library/lux/control/parser.lux index d017e9dd4..f473208a9 100644 --- a/stdlib/source/library/lux/control/parser.lux +++ b/stdlib/source/library/lux/control/parser.lux @@ -56,7 +56,7 @@ (def: &functor ..functor) - (def: (wrap x) + (def: (in x) (function (_ input) (#try.Success [input x]))) @@ -157,7 +157,7 @@ {#.doc "Parse exactly N times."} (All [s a] (-> Nat (Parser s a) (Parser s (List a)))) (case amount - 0 (\ ..monad wrap (list)) + 0 (\ ..monad in (list)) _ (do {! ..monad} [x parser] (|> parser @@ -175,7 +175,7 @@ {#.doc "Parse at most N times."} (All [s a] (-> Nat (Parser s a) (Parser s (List a)))) (case amount - 0 (\ ..monad wrap (list)) + 0 (\ ..monad in (list)) _ (function (_ input) (case (parser input) (#try.Failure msg) @@ -194,7 +194,7 @@ (if (n.< to from) (\ ! map (list\compose minimum) (..at_most (n.- from to) parser)) - (wrap minimum)))) + (in minimum)))) (def: #export (separated_by separator parser) {#.doc "Parsers instances of 'parser' that are separated by instances of 'separator'."} @@ -203,7 +203,7 @@ [?x (..maybe parser)] (case ?x #.None - (wrap #.Nil) + (in #.Nil) (#.Some x) (|> parser @@ -269,14 +269,14 @@ (do ..monad [output subject _ param] - (wrap output))) + (in output))) (def: #export (only test parser) (All [s a] (-> (-> a Bit) (Parser s a) (Parser s a))) (do ..monad [output parser _ (..assert "Constraint failed." (test output))] - (wrap output))) + (in output))) (def: #export (parses? parser) (All [s a] (-> (Parser s a) (Parser s Bit))) |