Idris2Doc : Control.App.FileIO

Control.App.FileIO

FileIO : ListError -> Type
Parameters: e
Constraints: Has (Exception IOError :: Nil) e
Methods:
withFile : String -> Mode -> (onError : (IOError -> Appea)) -> (onOpen : (File -> Appea)) -> Appea
fGetStr : File -> Appe String
fGetChars : File -> Int -> Appe String
fGetChar : File -> Appe Char
fPutStr : File -> String -> Appe _
fPutStrLn : File -> String -> Appe _
fflush : File -> Appe _
fEOF : File -> AppeBool

Implementation: 
Has [PrimIO, ExceptionIOError] e => FileIOe
fEOF : FileIOe => File -> AppeBool
fGetChar : FileIOe => File -> Appe Char
fGetChars : FileIOe => File -> Int -> Appe String
fGetStr : FileIOe => File -> Appe String
fPutStr : FileIOe => File -> String -> AppeUnit
fPutStrLn : FileIOe => File -> String -> AppeUnit
fflush : FileIOe => File -> AppeUnit
readFile : FileIOe => String -> Appe String
withFile : FileIOe => String -> Mode -> (IOError -> Appea) -> (File -> Appea) -> Appea
withFileIO : Has [PrimIO] e => App (IOError::e) a -> (a -> Appeb) -> (IOError -> Appeb) -> Appeb