Idris2Doc : Data.Buffer

Data.Buffer

data Buffer : Type
  Totality: total
bufferData : HasIO io => Buffer -> io (List Int)
  
concatBuffers : HasIO io => List Buffer -> io (Maybe Buffer)
  Create a buffer containing the concatenated content from a
  list of buffers.

  Totality: total
copyData : HasIO io => Buffer -> Int -> Int -> Buffer -> Int -> io ()
  Totality: total
getBits16 : HasIO io => Buffer -> Int -> io Bits16
  Totality: total
getBits32 : HasIO io => Buffer -> Int -> io Bits32
  Totality: total
getBits64 : HasIO io => Buffer -> Int -> io Bits64
  Totality: total
getBits8 : HasIO io => Buffer -> Int -> io Bits8
  Totality: total
getByte : HasIO io => Buffer -> Int -> io Int
  Totality: total
getDouble : HasIO io => Buffer -> Int -> io Double
  Totality: total
getInt : HasIO io => Buffer -> Int -> io Int
  Totality: total
getInt32 : HasIO io => Buffer -> Int -> io Int
  Totality: total
getString : HasIO io => Buffer -> Int -> Int -> io String
  Totality: total
newBuffer : HasIO io => Int -> io (Maybe Buffer)
  Totality: total
rawSize : HasIO io => Buffer -> io Int
  Totality: total
resizeBuffer : HasIO io => Buffer -> Int -> io (Maybe Buffer)
  Totality: total
setBits16 : HasIO io => Buffer -> Int -> Bits16 -> io ()
  Totality: total
setBits32 : HasIO io => Buffer -> Int -> Bits32 -> io ()
  Totality: total
setBits64 : HasIO io => Buffer -> Int -> Bits64 -> io ()
  Totality: total
setBits8 : HasIO io => Buffer -> Int -> Bits8 -> io ()
  Totality: total
setByte : HasIO io => Buffer -> Int -> Int -> io ()
  Totality: total
setDouble : HasIO io => Buffer -> Int -> Double -> io ()
  Totality: total
setInt : HasIO io => Buffer -> Int -> Int -> io ()
  Totality: total
setInt32 : HasIO io => Buffer -> Int -> Int -> io ()
  Totality: total
setString : HasIO io => Buffer -> Int -> String -> io ()
  Totality: total
splitBuffer : HasIO io => Buffer -> Int -> io (Maybe (Buffer, Buffer))
  Split a buffer into two at a position.

  Totality: total
stringByteLength : String -> Int