Idris2Doc : System.File.Error

System.File.Error

data FileError : Type
  Totality: total
  Constructors:
  
GenericFileError : Int -> FileError
  
FileReadError : FileError
  
FileWriteError : FileError
  
FileNotFound : FileError
  
PermissionDenied : FileError
  
FileExists : FileError
fileError : HasIO io => File -> io Bool
  Totality: total
returnError : HasIO io => io (Either FileError a)
  Totality: total