Control.RIO.Mock.File

Definitions

record Ctxt : Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkCtxt : SnocList (k, v) -> k -> List (k, v) -> Ctxt k v

Projections:

.end : Ctxt k v -> List (k, v)

.key : Ctxt k v -> k

.start : Ctxt k v -> SnocList (k, v)

.start : Ctxt k v -> SnocList (k, v)

Totality: total
Visibility: public export

start : Ctxt k v -> SnocList (k, v)

Totality: total
Visibility: public export

.key : Ctxt k v -> k

Totality: total
Visibility: public export

key : Ctxt k v -> k

Totality: total
Visibility: public export

.end : Ctxt k v -> List (k, v)

Totality: total
Visibility: public export

end : Ctxt k v -> List (k, v)

Totality: total
Visibility: public export

unFocus : Ctxt k v -> v -> List (k, v)

Totality: total
Visibility: export

focus : Eq k => k -> List (k, v) -> Maybe (Ctxt k v, v)

Totality: total
Visibility: export

data MockFile : Type

  File or directory in a mock file system.

Totality: total
Visibility: public export
Constructors:

Regular : String -> MockFile

Stream : Stream String -> MockFile

record MockDir : Type

Totality: total
Visibility: public export
Constructor: 

MkMD : List (Body, Either MockFile MockDir) -> MockDir

Projection: 

.content : MockDir -> List (Body, Either MockFile MockDir)

.content : MockDir -> List (Body, Either MockFile MockDir)

Totality: total
Visibility: public export

content : MockDir -> List (Body, Either MockFile MockDir)

Totality: total
Visibility: public export

0 AFile : Type

Totality: total
Visibility: public export

data Focus : Type

Totality: total
Visibility: public export
Constructors:

FileF : MockFile -> Ctxt Body AFile -> SnocList (Ctxt Body AFile) -> Focus

DirF : MockDir -> SnocList (Ctxt Body AFile) -> Focus

data PCFocus : Type

Totality: total
Visibility: public export
Constructors:

Parent : Body -> MockDir -> SnocList (Ctxt Body AFile) -> PCFocus

Exists : Focus -> PCFocus

mkdirFocus : MockDir -> Path Abs -> Maybe Focus

Totality: total
Visibility: export

dirFocus : MockDir -> Path Abs -> Maybe Focus

Totality: total
Visibility: export

unDirFocus : Focus -> MockDir

Totality: total
Visibility: export

record MockFS : Type

  A mock file system used for running simulations.

Totality: total
Visibility: public export
Constructor: 

MkMockFS : MockDir -> Path Abs -> MockFS

Projections:

.curDir : MockFS -> Path Abs

.root : MockFS -> MockDir

.root : MockFS -> MockDir

Totality: total
Visibility: public export

root : MockFS -> MockDir

Totality: total
Visibility: public export

.curDir : MockFS -> Path Abs

Totality: total
Visibility: public export

curDir : MockFS -> Path Abs

Totality: total
Visibility: public export

fsFocus : MockFS -> Path t -> Maybe Focus

Totality: total
Visibility: export

exists : Path t -> MockFS -> Bool

Totality: total
Visibility: export

mkDir : Path t -> MockFS -> Either FileErr MockFS

Totality: total
Visibility: export

mkDirP : Path t -> MockFS -> Either FileErr MockFS

Totality: total
Visibility: export

write : File t -> String -> MockFS -> Either FileErr MockFS

Totality: total
Visibility: export

append : File t -> String -> MockFS -> Either FileErr MockFS

Totality: total
Visibility: export

removeFile : File t -> MockFS -> Either FileErr MockFS

Totality: total
Visibility: export

removeDir : Path t -> MockFS -> Either FileErr MockFS

Totality: total
Visibility: export

read : File t -> Bits32 -> MockFS -> Either FileErr String

Totality: total
Visibility: export

changeDir : Path t -> MockFS -> Either FileErr MockFS

Totality: total
Visibility: export

listDir : Path t -> MockFS -> Either FileErr (List Body)

Totality: total
Visibility: export

fs : IORef MockFS -> FS

  A mock file system

Totality: total
Visibility: export