Idris2Doc : System.Utils

System.Utils

(source)

Definitions

emptyBuffer : Buffer
  Allocate an empty buffer

Visibility: export
bufferSize : Buffer -> Int
  Buffer size as a pure function ignoring the side effect

Visibility: export
readFileToBuffer : HasIO io => File -> io (Either FileError Buffer)
  Read a file a place its content in a buffer

Visibility: export
readFileToBuffer' : HasIO io => File -> io Buffer
  Read a file a place its content in a buffer

Visibility: export
bufferToString : HasIO io => Buffer -> io String
  Convert a buffer to a string interpreting its bytes as ascii

Visibility: export
bufferToStringUnsafe : Buffer -> String
  Convert a buffer to a string interpreting its bytes as ascii

Visibility: export
readFileToString : HasIO io => File -> io (Either FileError String)
Visibility: export
readFileToString' : HasIO io => File -> io String
Visibility: export
readSTDINBuffer : HasIO io => io (Either FileError Buffer)
Visibility: export
readSTDINBuffer' : HasIO io => io Buffer
Visibility: export
readSTDIN : HasIO io => io (Either FileError String)
Visibility: export
readSTDIN' : HasIO io => io String
Visibility: export