Idris2Doc : System.Utils

System.Utils

(source)

Definitions

emptyBuffer : Buffer
  Allocate an empty buffer

Visibility: export
readFileToBuffer : HasIOio=>File->io (EitherFileErrorBuffer)
  Read a file a place its content in a buffer

Visibility: export
readFileToBuffer' : HasIOio=>File->ioBuffer
  Read a file a place its content in a buffer

Visibility: export
bufferToString : HasIOio=>Buffer->ioString
  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 : HasIOio=>File->io (EitherFileErrorString)
Visibility: export
readFileToString' : HasIOio=>File->ioString
Visibility: export
readSTDINBuffer : HasIOio=>io (EitherFileErrorBuffer)
Visibility: export
readSTDINBuffer' : HasIOio=>ioBuffer
Visibility: export
readSTDIN : HasIOio=>io (EitherFileErrorString)
Visibility: export
readSTDIN' : HasIOio=>ioString
Visibility: export