Control.App.FileIO

Definitions

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

withFile : FileIO e => String -> Mode -> (IOError -> App e a) -> (File -> App e a) -> App e a

Visibility: public export

fGetStr : FileIO e => File -> App e String

Visibility: public export

fGetChars : FileIO e => File -> Int -> App e String

Visibility: public export

fGetChar : FileIO e => File -> App e Char

Visibility: public export

fPutStr : FileIO e => File -> String -> App e ()

Visibility: public export

fPutStrLn : FileIO e => File -> String -> App e ()

Visibility: public export

fflush : FileIO e => File -> App e ()

Visibility: public export

fEOF : FileIO e => File -> App e Bool

Visibility: public export

readFile : FileIO e => String -> App e String

Visibility: export

withFileIO : Has [PrimIO] e => App (IOError :: e) a -> (a -> App e b) -> (IOError -> App e b) -> App e b

Visibility: export