basic-cli/examples/args.roc at main · kili-ilo/basic-cli · GitHub

21 lines (15 loc) · 656 Bytes

app [main!] {

pf: platform "../platform/main.roc",

}

# To run this example: check the README.md in this folder

import pf.Stdout

import pf.Arg exposing [Arg]

main! : List Arg => Result {} _

main! = |raw_args|

args = List.map(raw_args, Arg.display)

# get the second argument, the first is the executable's path

when List.get(args, 1) |> Result.map_err(|_| ZeroArgsGiven) is

Err(ZeroArgsGiven) ->

Err(Exit(1, "Error ZeroArgsGiven:\n\tI expected one argument, but I got none.\n\tRun the app like this: `roc main.roc -- input.txt`"))

Ok(first_arg) ->

Stdout.line!("received argument: ${first_arg}")

Expand file tree