Idris2Doc : System.File.Error

System.File.Error

dataFileError : Type
Totality: total
Constructors:
GenericFileError : Int -> FileError
FileReadError : FileError
FileWriteError : FileError
FileNotFound : FileError
PermissionDenied : FileError
FileExists : FileError
fileError : HasIOio => File -> ioBool
Totality: total
returnError : HasIOio => io (EitherFileErrora)
Totality: total