def parse.take_opt

shake@0.7.0.0 · src/cli.bend:672

import Base

672# an option: glued value now, or the next token
673def parse.take_opt(
674  val: Maybe<&2, String>,
675  +name: String,
676  +args: List<&2, Arg>,
677  +up: List<&2, Level>,
678  +subs: List<&2, Sub>,
679  +path: List<&2, String>,
680  +binds: List<&2, Bind>,
681  +pos: List<&2, Arg>,
682  +raw: Bool,
683  +seen: Bool
684) -> St:
685  match val:
686    case None{}:
687      St{Need{name}, args, up, subs, path, binds, pos, raw, seen}
688    case Some{v}:
689      parse.take_opt_val(name, v, args, up, subs, path, binds, pos, raw, seen)