aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/parser/cli.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/control/parser/cli.lux38
1 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/library/lux/control/parser/cli.lux b/stdlib/source/library/lux/control/parser/cli.lux
index aca4512fb..f68605f14 100644
--- a/stdlib/source/library/lux/control/parser/cli.lux
+++ b/stdlib/source/library/lux/control/parser/cli.lux
@@ -16,26 +16,26 @@
(def: .public (result parser inputs)
(All (_ a) (-> (Parser a) (List Text) (Try a)))
(case (//.result parser inputs)
- {#try.Success [remaining output]}
+ {try.#Success [remaining output]}
(case remaining
- #.End
- {#try.Success output}
+ {.#End}
+ {try.#Success output}
_
- {#try.Failure (format "Remaining CLI inputs: " (text.interposed " " remaining))})
+ {try.#Failure (format "Remaining CLI inputs: " (text.interposed " " remaining))})
- {#try.Failure try}
- {#try.Failure try}))
+ {try.#Failure try}
+ {try.#Failure try}))
(def: .public any
(Parser Text)
(function (_ inputs)
(case inputs
- {#.Item arg inputs'}
- {#try.Success [inputs' arg]}
+ {.#Item arg inputs'}
+ {try.#Success [inputs' arg]}
_
- {#try.Failure "Cannot parse empty arguments."})))
+ {try.#Failure "Cannot parse empty arguments."})))
(def: .public (parse parser)
(All (_ a) (-> (-> Text (Try a)) (Parser a)))
@@ -52,33 +52,33 @@
[[remaining raw] (any inputs)]
(if (text\= reference raw)
(in [remaining []])
- {#try.Failure (format "Missing token: '" reference "'")}))))
+ {try.#Failure (format "Missing token: '" reference "'")}))))
(def: .public (somewhere cli)
(All (_ a) (-> (Parser a) (Parser a)))
(function (_ inputs)
(loop [immediate inputs]
(case (//.result cli immediate)
- {#try.Success [remaining output]}
- {#try.Success [remaining output]}
+ {try.#Success [remaining output]}
+ {try.#Success [remaining output]}
- {#try.Failure try}
+ {try.#Failure try}
(case immediate
- #.End
- {#try.Failure try}
+ {.#End}
+ {try.#Failure try}
- {#.Item to_omit immediate'}
+ {.#Item to_omit immediate'}
(do try.monad
[[remaining output] (recur immediate')]
- (in [{#.Item to_omit remaining}
+ (in [{.#Item to_omit remaining}
output])))))))
(def: .public end
(Parser Any)
(function (_ inputs)
(case inputs
- #.End {#try.Success [inputs []]}
- _ {#try.Failure (format "Unknown parameters: " (text.interposed " " inputs))})))
+ {.#End} {try.#Success [inputs []]}
+ _ {try.#Failure (format "Unknown parameters: " (text.interposed " " inputs))})))
(def: .public (named name value)
(All (_ a) (-> Text (Parser a) (Parser a)))