Idris2Doc : System.Directory

System.Directory

DirPtr : Type
Directory : Type
Totality: total
Constructor: 
MkDir : DirPtr -> Directory
changeDir : HasIOio => String -> ioBool
closeDir : HasIOio => Directory -> ioUnit
createDir : HasIOio => String -> io (EitherFileErrorUnit)
currentDir : HasIOio => io (Maybe String)
dirEntry : HasIOio => Directory -> io (EitherFileError String)
openDir : HasIOio => String -> io (EitherFileErrorDirectory)
removeDir : HasIOio => String -> ioUnit