Idris2Doc : Control.App.FileIO

Control.App.FileIO

interfaceFileIO : ListError -> Type
Parameters: e
Constraints: Has (Exception IOError :: Nil) e
Methods:
withFile : String -> Mode -> (IOError -> Appea) -> (File -> Appea) -> Appea
fGetStr : File -> AppeString
fGetChars : File -> Int -> AppeString
fGetChar : File -> AppeChar
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 -> AppeChar
fGetChars : FileIOe => File -> Int -> AppeString
fGetStr : FileIOe => File -> AppeString
fPutStr : FileIOe => File -> String -> Appe ()
fPutStrLn : FileIOe => File -> String -> Appe ()
fflush : FileIOe => File -> Appe ()
readFile : FileIOe => String -> AppeString
withFile : FileIOe => String -> Mode -> (IOError -> Appea) -> (File -> Appea) -> Appea
withFileIO : Has [PrimIO] e => App (IOError::e) a -> (a -> Appeb) -> (IOError -> Appeb) -> Appeb