flix

0.78.0
Prelude / Fs / ReadBytes

ReadBytes

Effect for reading the bytes of a file, and its functions.

eff ReadBytesSource

Effect for reading the bytes of a file.

Use the ReadBytes.runWithFileRead handler.

Operations

def readBytes(f: String): Result[IoError, Vector[Int8]] \ ReadBytes§ Source

Returns a vector of all the bytes in the given file f.

Definitions

def runWithFileRead(f: Unit -> a \ ef): a \ (ef - ReadBytes) + FileRead§ Source

Handles the ReadBytes effect of the given function f using the FileRead effect.