Idris2Doc : Control.App.FileIO

Control.App.FileIO

interface FileIO : List Error -> Type
  Parameters: e
Constraints: Has (Exception IOError :: Nil) e
Methods:
  
withFile : String -> Mode -> (IOError -> App e a) -> (File -> App e a) -> App e a
  
fGetStr : File -> App e String
  
fGetChars : File -> Int -> App e String
  
fGetChar : File -> App e Char
  
fPutStr : File -> String -> App e ()
  
fPutStrLn : File -> String -> App e ()
  
fflush : File -> App e ()
  
fEOF : File -> App e Bool

Implementation: 
Has [PrimIO, Exception IOError] e => FileIO e
fEOF : FileIO e => File -> App e Bool
  
fGetChar : FileIO e => File -> App e Char
  
fGetChars : FileIO e => File -> Int -> App e String
  
fGetStr : FileIO e => File -> App e String
  
fPutStr : FileIO e => File -> String -> App e ()
  
fPutStrLn : FileIO e => File -> String -> App e ()
  
fflush : FileIO e => File -> App e ()
  
readFile : FileIO e => String -> App e String
  
withFile : FileIO e => String -> Mode -> (IOError -> App e a) -> (File -> App e a) -> App e a
  
withFileIO : Has [PrimIO] e => App (IOError :: e) a -> (a -> App e b) -> (IOError -> App e b) -> App e b