def start.with

snap@1.4.0.0 · src/argv.bend:78

import Base

78# a step performed by an effect that does not wait: a refused argv answers
79# as a program that could not be started, and the effect is never called
80def start.with(eff: String -> IO(String), step: Step) -> IO(String):
81  match step:
82    case Refused{}:
83      IO.pure(String, "0")
84    case Run{w}:
85      eff(w)