language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 22:09:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Format

Browse source
This commit is contained in:
Ayaz Hafiz 2022-09-07 18:07:39 -05:00
parent 31b894d027
commit b453bc9d31
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
examples/interactive/cli-platform/Arg.roc
View file

@ -29,8 +29,8 @@ Config : {
OptConfig : { OptConfig : {
long : Str, long : Str,
short ? OptionStr, short ?OptionStr,
help ? OptionStr, help ?OptionStr,
} }
succeed : a -> Parser a succeed : a -> Parser a
@ -178,7 +178,7 @@ parse = \@Parser parser, args ->
parse parser2 args parse parser2 args
bool : _ -> Parser Bool # TODO: panics if OptConfig annotated bool : _ -> Parser Bool # TODO: panics if OptConfig annotated
bool = \{long, short ? NotProvided, help ? NotProvided} -> bool = \{ long, short ? NotProvided, help ? NotProvided } ->
fn = \args -> fn = \args ->
when findOneArg long short args is when findOneArg long short args is
Err NotFound -> Err NotFound Err NotFound -> Err NotFound
@ -186,16 +186,16 @@ bool = \{long, short ? NotProvided, help ? NotProvided} ->
Ok "false" -> Ok False Ok "false" -> Ok False
Ok _ -> Err WrongType Ok _ -> Err WrongType
@Parser (Arg {long, short, help} fn) @Parser (Arg { long, short, help } fn)
str : _ -> Parser Str # TODO: panics if OptConfig annotated str : _ -> Parser Str # TODO: panics if OptConfig annotated
str = \{long, short ? NotProvided, help ? NotProvided} -> str = \{ long, short ? NotProvided, help ? NotProvided } ->
fn = \args -> fn = \args ->
when findOneArg long short args is when findOneArg long short args is
Err NotFound -> Err NotFound Err NotFound -> Err NotFound
Ok foundArg -> Ok foundArg Ok foundArg -> Ok foundArg
@Parser (Arg {long, short, help} fn) @Parser (Arg { long, short, help } fn)
apply = \arg1, arg2 -> andMap arg2 arg1 apply = \arg1, arg2 -> andMap arg2 arg1