Idris2Doc : System.File.Buffer

System.File.Buffer

createBufferFromFile : HasIOio => String -> io (EitherFileErrorBuffer)
Totality: total
readBufferData : HasIOio => File -> Buffer -> Int -> Int -> io (EitherFileError ())
Totality: total
writeBufferData : HasIOio => File -> Buffer -> Int -> Int -> io (EitherFileError ())
Totality: total
writeBufferToFile : HasIOio => String -> Buffer -> Int -> io (EitherFileError ())
Totality: total