Idris2Doc : Data.Buffer

Data.Buffer

Definitions

dataBuffer : Type
Totality: total
Visibility: export
rawSize : HasIOio=>Buffer->ioInt
Totality: total
Visibility: export
newBuffer : HasIOio=>Int->io (MaybeBuffer)
Totality: total
Visibility: export
setByte : HasIOio=>Buffer->Int->Int->io ()
Totality: total
Visibility: export
setBits8 : HasIOio=>Buffer->Int->Bits8->io ()
Totality: total
Visibility: export
getByte : HasIOio=>Buffer->Int->ioInt
Totality: total
Visibility: export
getBits8 : HasIOio=>Buffer->Int->ioBits8
Totality: total
Visibility: export
setBits16 : HasIOio=>Buffer->Int->Bits16->io ()
Totality: total
Visibility: export
getBits16 : HasIOio=>Buffer->Int->ioBits16
Totality: total
Visibility: export
setBits32 : HasIOio=>Buffer->Int->Bits32->io ()
Totality: total
Visibility: export
getBits32 : HasIOio=>Buffer->Int->ioBits32
Totality: total
Visibility: export
setBits64 : HasIOio=>Buffer->Int->Bits64->io ()
Totality: total
Visibility: export
getBits64 : HasIOio=>Buffer->Int->ioBits64
Totality: total
Visibility: export
setInt32 : HasIOio=>Buffer->Int->Int->io ()
Totality: total
Visibility: export
getInt32 : HasIOio=>Buffer->Int->ioInt
Totality: total
Visibility: export
setInt : HasIOio=>Buffer->Int->Int->io ()
Totality: total
Visibility: export
getInt : HasIOio=>Buffer->Int->ioInt
Totality: total
Visibility: export
setDouble : HasIOio=>Buffer->Int->Double->io ()
Totality: total
Visibility: export
getDouble : HasIOio=>Buffer->Int->ioDouble
Totality: total
Visibility: export
stringByteLength : String->Int
setString : HasIOio=>Buffer->Int->String->io ()
Totality: total
Visibility: export
getString : HasIOio=>Buffer->Int->Int->ioString
Totality: total
Visibility: export
bufferData : HasIOio=>Buffer->io (ListInt)
Visibility: export
copyData : HasIOio=>Buffer->Int->Int->Buffer->Int->io ()
Totality: total
Visibility: export
resizeBuffer : HasIOio=>Buffer->Int->io (MaybeBuffer)
Totality: total
Visibility: export
concatBuffers : HasIOio=>ListBuffer->io (MaybeBuffer)
  Create a buffer containing the concatenated content from a
list of buffers.

Totality: total
Visibility: export
splitBuffer : HasIOio=>Buffer->Int->io (Maybe (Buffer, Buffer))
  Split a buffer into two at a position.

Totality: total
Visibility: export