def read_line

cswap-bend-cli@0.1.0.0 · clibase.bend:68

import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import cswap-bend-cli@0.1.0.0/act.bend as Act

68# One line from standard input ("" at end of input).
69def read_line() -> Act.of(String):
70  IO.bind(Fs.Res(String), Fs.Res(String), Fs.read_stdin(), r => IO.pure(Fs.Res(String), stdin_line2(r)))