flix

0.69.3

Fs.InMemoryFs

Definitions

def accessTime(path: String, o: InMemoryFs[r]): Result[IoError, Int64] \ r Source
def append(path: String, data: String, o: InMemoryFs[r]): Result[IoError, Unit] \ r + Clock Source
def appendBytes(path: String, data: Vector[Int8], o: InMemoryFs[r]): Result[IoError, Unit] \ r + Clock Source
def appendLines(path: String, lines: List[String], o: InMemoryFs[r]): Result[IoError, Unit] \ r + Clock Source
def copy(src: String, dst: String, opts: Set[CopyOption], o: InMemoryFs[r]): Result[IoError, Unit] \ r + Clock Source
def creationTime(path: String, o: InMemoryFs[r]): Result[IoError, Int64] \ r Source
def delete(path: String, o: InMemoryFs[r]): Result[IoError, Unit] \ r Source
def exists(path: String, o: InMemoryFs[r]): Result[IoError, Bool] \ r Source
def fresh(rc: Region[r]): InMemoryFs[r] \ r Source

Creates a fresh, empty in-memory filesystem in region rc.

def glob(base: String, pattern: String, o: InMemoryFs[r]): Result[IoError, List[String]] \ r Source
def isDirectory(path: String, o: InMemoryFs[r]): Result[IoError, Bool] \ r Source
def isExecutable(path: String, o: InMemoryFs[r]): Result[IoError, Bool] \ r Source
def isReadable(path: String, o: InMemoryFs[r]): Result[IoError, Bool] \ r Source
def isRegularFile(path: String, o: InMemoryFs[r]): Result[IoError, Bool] \ r Source
def isWritable(path: String, o: InMemoryFs[r]): Result[IoError, Bool] \ r Source
def list(dir: String, o: InMemoryFs[r]): Result[IoError, List[String]] \ r Source
def mkDir(path: String, o: InMemoryFs[r]): Result[IoError, Unit] \ r + Clock Source
def mkDirs(path: String, o: InMemoryFs[r]): Result[IoError, Unit] \ r + Clock Source
def mkTempDir(prefix: String, o: InMemoryFs[r]): Result[IoError, String] \ r + Clock Source
def modificationTime(path: String, o: InMemoryFs[r]): Result[IoError, Int64] \ r Source
def move(src: String, dst: String, opts: Set[MoveOption], o: InMemoryFs[r]): Result[IoError, Unit] \ r Source
def read(path: String, o: InMemoryFs[r]): Result[IoError, String] \ r + Clock Source
def readBytes(path: String, o: InMemoryFs[r]): Result[IoError, Vector[Int8]] \ r + Clock Source
def readLines(path: String, o: InMemoryFs[r]): Result[IoError, List[String]] \ r + Clock Source
def size(path: String, o: InMemoryFs[r]): Result[IoError, Size] \ r Source
def truncate(path: String, o: InMemoryFs[r]): Result[IoError, Unit] \ r + Clock Source
def write(path: String, data: String, o: InMemoryFs[r]): Result[IoError, Unit] \ r + Clock Source
def writeBytes(path: String, data: Vector[Int8], o: InMemoryFs[r]): Result[IoError, Unit] \ r + Clock Source
def writeLines(path: String, lines: List[String], o: InMemoryFs[r]): Result[IoError, Unit] \ r + Clock Source