def read_vars

cli@0.2.0.0 · run.bend:71

import Base
import cli@0.2.0.0/cli.bend as Cli

71# Each set variable among names, in order.
72def read_vars(names: List<&2, String>) -> IO(List<&2, Cli.Var>):
73  match names:
74    case Nil{}: IO.pure(List<&2, Cli.Var>, [])
75    case +name <> tail:
76      do IO<List<&2, Cli.Var>>:
77        got : Result<&1, &1, U32 & String, String> <- IO.get_env(name)
78        rest : List<&2, Cli.Var> <- read_vars(tail)
79        return List.append(&2, Cli.Var, var_found(name, got), rest)