def eval_with

cli@0.2.0.0 · cli.bend:7758

import cli@0.2.0.0/cli.bend as Cli

import Base

7758# eval with the decoder as a value, so a law can quantify over decoders.
7759def eval_with(-A: Type, decode: @+m: Matches -> Dec(A), c: Cmd, +h: Host,
7760    +argv: List<&2, String>) -> Step<A>:
7761  eval_step(A, decode, outcome(c, h, argv), h, argv)

Uses (9)

Used by (1)

cli@0.2.0.0/cli:eval