Copy a block from is
to os
using naked buffer buf
, which will be clobbered.
Copy the contents of file
to a os
in blocks of size bufSize
.
Copy the remainder of is
into os
using naked buffer buf
, which will be clobbered.
Copy the remainder of is
to file
in blocks of size bufSize
.
Flush os
.
Print to Console.out
Print to Console.out
Perform an operation with a FileInputStream
, which will be closed afterward.
Perform an operation with a FileOutputStream
, which will be closed afterward.
Constructor for a module of IO operations in some effectful monad. This is by no means complete; contributions welcome. The construtors here expose naked lifetime-managed objects and should be used with caution; they are mostly intended for library authors who wish to integrate vendor- specific behavior that relies on JDK IO.