def stepped

cli@0.2.0.0 · run.bend:110

import cli@0.2.0.0/run.bend as Run

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

110def stepped(~A: Type, ~act: @+t: Cli.Term -> A -> IO(U32),
111    s: Cli.Step<A>) -> IO(Unit):
112  match s:
113    case Cli.Quit{code, out, err}: finish(code, out, err)
114    case Cli.Go{a, t}:
115      do IO<Unit>:
116        n : U32 <- act(t, a)
117        ended(Cli.act_exit(n))

Uses (9)

Used by (1)

cli@0.2.0.0/run:main