Idris2Doc : System.Directory

System.Directory

DirPtr : Type
Totality: total
dataDirectory : Type
Totality: total
Constructor: 
MkDir : DirPtr -> Directory
changeDir : HasIOio => String -> ioBool
Totality: total
closeDir : HasIOio => Directory -> io ()
Totality: total
createDir : HasIOio => String -> io (EitherFileError ())
Totality: total
currentDir : HasIOio => io (MaybeString)
Totality: total
dirEntry : HasIOio => Directory -> io (EitherFileErrorString)
Totality: total
listDir : HasIOio => String -> io (EitherFileError (ListString))
Totality: total
nextDirEntry : HasIOio => Directory -> io (EitherFileError (MaybeString))
Totality: total
openDir : HasIOio => String -> io (EitherFileErrorDirectory)
Totality: total
removeDir : HasIOio => String -> io ()
Totality: total