Idris2Doc : System.File.Buffer

System.File.Buffer

createBufferFromFile : HasIO io => String -> io (Either FileError Buffer)
  Totality: total
readBufferData : HasIO io => File -> Buffer -> Int -> Int -> io (Either FileError ())
  Totality: total
writeBufferData : HasIO io => File -> Buffer -> Int -> Int -> io (Either FileError ())
  Totality: total
writeBufferToFile : HasIO io => String -> Buffer -> Int -> io (Either FileError ())
  Totality: total