def run.with

snap@1.4.0.0 · src/argv.bend:69

import Base

69# a step performed by an effect that waits: a refused argv answers as a
70# program that could not be started, and the effect is never called
71def run.with(eff: String -> IO(String), step: Step) -> IO(String):
72  match step:
73    case Refused{}:
74      IO.pure(String, "127\n")
75    case Run{w}:
76      eff(w)