def read_stdin

cswap-bend-cli@0.1.0.0 · fs.bend:170

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

import Base

170# What is on standard input, up to 1 MiB, in one read: "" at end of file. The
171# CLI reads stdin once (a token, a confirmation), so one read is enough.
172def read_stdin() -> IO(Res(String)):
173  IO.bind(Res(File), Res(String), File.open("/dev/stdin", "r"), read.stdin)

Uses (7)

Used by (3)