def line_or_stop

cswap-bend-cli@0.1.0.0 · cliops.bend:150

import cswap-bend-cli@0.1.0.0/cliops.bend as Cliops
import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/clibase.bend as Clibase

150# The token: the argument, one line of stdin for `-`, or a prompt line.
151def line_or_stop(noin: Bool) -> Act.of(String):
152  match noin:
153    case True{}:
154      Act.fail(String, 2, "the token must be on the command line (standard input is not available)")
155    case False{}:
156      Clibase.read_line()

Uses (5)

Used by (2)