def planned

cli@0.2.0.0 · run.bend:131

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

131# §7.2: the whole main of an app whose action is a pure plan: Cli.invoke's
132# run on the host and argv, written out, so a law on Cli.invoke states what
133# the app prints and exits with.
134def planned(~A: Type, ~decode: @+m: Cli.Matches -> Cli.Dec(A),
135    ~plan: @+t: Cli.Term -> A -> Cli.Ran, +c: Cli.Cmd) -> IO(Unit):
136  do IO<Unit>:
137    args : List<List<&2, U32>> <- IO.args_bytes()
138    h : Cli.Host <- host(c)
139    wrote(Cli.invoke(~A, ~decode, ~plan, c, h, argv_of(args)))