Idris2Doc : System.Directory

System.Directory

DirPtr : Type

Totality: total

data Directory : Type

Totality: total
Constructor:

changeDir : HasIO io => String -> io Bool

Totality: total

closeDir : HasIO io => Directory -> io ()

Totality: total

createDir : HasIO io => String -> io (Either FileError ())

Totality: total

currentDir : HasIO io => io (Maybe String)

Totality: total

dirEntry : HasIO io => Directory -> io (Either FileError String)

Totality: total

listDir : HasIO io => String -> io (Either FileError (List String))

Totality: total

nextDirEntry : HasIO io => Directory -> io (Either FileError (Maybe String))

Totality: total

openDir : HasIO io => String -> io (Either FileError Directory)

Totality: total

removeDir : HasIO io => String -> io ()

Totality: total