Idris2Doc : Data.Buffer

Data.Buffer

dataBuffer : Type
Totality: total
bufferData : HasIOio => Buffer -> io (ListInt)
concatBuffers : HasIOio => ListBuffer -> io (MaybeBuffer)
  Create a buffer containing the concatenated content from a
list of buffers.

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

Totality: total
stringByteLength : String -> Int