Given a java.nio.channels.AsynchronousFileChannel
, will create a Pull
which allows asynchronous operations against the underlying file.
Given a java.nio.channels.AsynchronousFileChannel
, will create a Pull
which allows asynchronous operations against the underlying file.
The Pull
closes the provided java.nio.channels.AsynchronousFileChannel
when it is done.
Given a java.nio.channels.FileChannel
, will create a Pull
which allows synchronous operations against the underlying file.
Given a java.nio.channels.FileChannel
, will create a Pull
which allows synchronous operations against the underlying file.
The Pull
closes the provided java.nio.channels.FileChannel
when it is done.
Creates a Pull
which allows synchronous file operations against the file at the specified java.nio.file.Path
.
Creates a Pull
which allows synchronous file operations against the file at the specified java.nio.file.Path
.
The Pull
closes the acquired java.nio.channels.FileChannel
when it is done.
Creates a Pull
which allows asynchronous file operations against the file at the specified java.nio.file.Path
.
Creates a Pull
which allows asynchronous file operations against the file at the specified java.nio.file.Path
.
The Pull
closes the acquired java.nio.channels.AsynchronousFileChannel
when it is done.
Given a FileHandle[F]
, creates a Pull
which reads all data from the associated file.
Given a Stream[F, Byte]
and FileHandle[F]
, writes all data from the stream to the file.
Provides various
Pull
s for working with files.