FileRead
eff FileReadSourceAn effect used to read from the file system.
All operations on this effect are infallible. If an operation fails the handler must deal with it.
Operations
def accessTime(f: String): Int64 \ FileRead
SourceReturns the last access time of the given file f in milliseconds since the epoch.
def creationTime(f: String): Int64 \ FileRead
SourceReturns the creation time of the given file f in milliseconds since the epoch.
def exists(f: String): Bool \ FileRead
SourceReturns true if the given file f exists.
def isDirectory(f: String): Bool \ FileRead
SourceReturns true is the given file f is a directory.
def isExecutable(f: String): Bool \ FileRead
SourceReturns true if the given file f is executable.
def isReadable(f: String): Bool \ FileRead
SourceReturns true if the given file f is readable.
def isRegularFile(f: String): Bool \ FileRead
SourceReturns true if the given file f is a regular file.
def isSymbolicLink(f: String): Bool \ FileRead
SourceReturns true if the given file f is a symbolic link.
def isWritable(f: String): Bool \ FileRead
SourceReturns true if the given file f is writable.
def list(f: String): List[String] \ FileRead
SourceReturns a list with the names of all files and directories in the given directory d.
def modificationTime(f: String): Int64 \ FileRead
SourceReturns the last-modified timestamp of the given file f in milliseconds since the epoch.
def read(f: String): String \ FileRead
SourceReturns a string of all lines in the given file f.
def readBytes(f: String): Vector[Int8] \ FileRead
SourceReturns a vector of all the bytes in the given file f.
def readLines(f: String): List[String] \ FileRead
SourceReturns a list of all lines in the given file f.
def size(f: String): Int64 \ FileRead
SourceReturns the size of the given file f in bytes.
Definitions
def handle(f: a -> b \ ef): a -> Result[IoError, b] \ (ef - FileRead) + IO
SourceHandles the FileRead effect of the given function f.
In other words, re-interprets the FileRead effect using the IO effect.
def runWithIO(f: Unit -> a \ ef): Result[IoError, a] \ (ef - FileRead) + IO
SourceRuns the FileRead effect of the given function f.
In other words, re-interprets the FileRead effect using the IO effect.