def after_read

cswap-bend-cli@0.1.0.0 · server.bend:48

import cswap-bend-cli@0.1.0.0/server.bend as Server

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

48def after_read(r: File & Fs.Res(String), buf: String) -> SP:
49  (f, res) = r
50  s_read(res, f, buf)

Uses (7)

Used by (1)

cswap-bend-cli@0.1.0.0/server:stdin_pump