diff options
Diffstat (limited to 'stdlib/source/library/lux/control/parser.lux')
-rw-r--r-- | stdlib/source/library/lux/control/parser.lux | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/library/lux/control/parser.lux b/stdlib/source/library/lux/control/parser.lux index 2b189b912..4b9735560 100644 --- a/stdlib/source/library/lux/control/parser.lux +++ b/stdlib/source/library/lux/control/parser.lux @@ -1,20 +1,20 @@ (.using - [library - [lux {"-" or and not} - [abstract - [functor {"+" Functor}] - [apply {"+" Apply}] - [monad {"+" Monad do}] - [codec {"+" Codec}]] - [control - ["[0]" try {"+" Try}]] - [data - ["[0]" product] - [collection - ["[0]" list ("[1]#[0]" functor monoid)]]] - [math - [number - ["n" nat]]]]]) + [library + [lux {"-" or and not} + [abstract + [functor {"+" Functor}] + [apply {"+" Apply}] + [monad {"+" Monad do}] + [codec {"+" Codec}]] + [control + ["[0]" try {"+" Try}]] + [data + ["[0]" product] + [collection + ["[0]" list ("[1]#[0]" functor monoid)]]] + [math + [number + ["n" nat]]]]]) (type: .public (Parser s a) (-> s (Try [s a]))) @@ -34,7 +34,7 @@ (implementation: .public apply (All (_ s) (Apply (Parser s))) - (def: &functor ..functor) + (def: functor ..functor) (def: (on fa ff) (function (_ input) @@ -53,7 +53,7 @@ (implementation: .public monad (All (_ s) (Monad (Parser s))) - (def: &functor ..functor) + (def: functor ..functor) (def: (in x) (function (_ input) @@ -134,7 +134,7 @@ {try.#Success [input (list)]} {try.#Success [input' head]} - (..result (# ..monad each (|>> (list& head)) + (..result (# ..monad each (|>> (partial_list head)) (some parser)) input')))) |