flix

0.69.3

Fs.ReadBytes

eff ReadBytesSource

An effect used to read 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.