def read.stdin

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

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

import Base

163def read.stdin(r: Res(File)) -> IO(Res(String)):
164  match r:
165    case Fail{e}:
166      IO.pure(Res(String), Fail{e})
167    case Done{f}:
168      IO.bind(File & Res(String), Res(String), File.read(f, 1048576), read.done)

Uses (10)

Used by (1)

cswap-bend-cli@0.1.0.0/fs:read_stdin