Data.MockIO.FileSystem

A fake filesystem for testing.

Documentation

data FileSystem a

A mapping from "handles" of type a to lists of lines.

Constructors

FileSystem [File a]

Instances

Eq a => Eq (FileSystem a)

Methods

(==) :: FileSystem a -> FileSystem a -> Bool

(/=) :: FileSystem a -> FileSystem a -> Bool

Show a => Show (FileSystem a)

Methods

showsPrec :: Int -> FileSystem a -> ShowS

show :: FileSystem a -> String

showList :: [FileSystem a] -> ShowS

(Eq a, Arbitrary a) => Arbitrary (FileSystem a)

Methods

arbitrary :: Gen (FileSystem a)

shrink :: FileSystem a -> [FileSystem a]

data File a

Abstraction of a text file consisting of a "handle" and a list of lines.

Constructors

File

Fields

• _fileHandle :: a

  File "handle"

• _fileContents :: [String]

  List of lines

Instances

Eq a => Eq (File a)

Methods

(==) :: File a -> File a -> Bool

(/=) :: File a -> File a -> Bool

Show a => Show (File a)

Methods

showsPrec :: Int -> File a -> ShowS

show :: File a -> String

showList :: [File a] -> ShowS

emptyFileSystem :: FileSystem a

No files; populate with writeLines or appendLines.

fileExists

Arguments

:: Eq a

=> a

File handle

-> FileSystem a

-> Bool

Detect whether a file with the given handle exists.

hasFile

Arguments

:: Eq a

=> a

Handle

-> [String]

Contents

-> FileSystem a

-> Bool

Detect whether a file with the given handle exists and has given contents.

deleteFile

Arguments

:: Eq a

=> a

Handle

-> FileSystem a

-> FileSystem a

Delete a file; if no such file exists, has no effect.

getLines

Arguments

:: Eq a

=> a

Handle

-> FileSystem a

-> Maybe [String]

Retrieve the contents of a file, or nothing if the file does not exist.

writeLines

Arguments

:: Eq a

=> a

Handle

-> [String]

Contents

-> FileSystem a

-> FileSystem a

Overwrite the contents of a file.

appendLines

Arguments

:: Eq a

=> a

Handle

-> [String]

Contents

-> FileSystem a

-> FileSystem a

Append to a file.

readLine

Arguments

:: Eq a

=> e

Handle not found error

-> e

EOF error

-> a

Handle

-> FileSystem a

-> Either e (String, FileSystem a)

Read the first line of a file.