Idris2Doc : Data.Buffer

Data.Buffer

Definitions

data Buffer : Type
Totality: total
Visibility: export
rawSize : HasIO io => Buffer -> io Int
Totality: total
Visibility: export
newBuffer : HasIO io => Int -> io (Maybe Buffer)
Totality: total
Visibility: export
setByte : HasIO io => Buffer -> Int -> Int -> io ()
Totality: total
Visibility: export
setBits8 : HasIO io => Buffer -> Int -> Bits8 -> io ()
Totality: total
Visibility: export
getByte : HasIO io => Buffer -> Int -> io Int
Totality: total
Visibility: export
getBits8 : HasIO io => Buffer -> Int -> io Bits8
Totality: total
Visibility: export
setBits16 : HasIO io => Buffer -> Int -> Bits16 -> io ()
Totality: total
Visibility: export
getBits16 : HasIO io => Buffer -> Int -> io Bits16
Totality: total
Visibility: export
setBits32 : HasIO io => Buffer -> Int -> Bits32 -> io ()
Totality: total
Visibility: export
getBits32 : HasIO io => Buffer -> Int -> io Bits32
Totality: total
Visibility: export
setBits64 : HasIO io => Buffer -> Int -> Bits64 -> io ()
Totality: total
Visibility: export
getBits64 : HasIO io => Buffer -> Int -> io Bits64
Totality: total
Visibility: export
setInt32 : HasIO io => Buffer -> Int -> Int -> io ()
Totality: total
Visibility: export
getInt32 : HasIO io => Buffer -> Int -> io Int
Totality: total
Visibility: export
setInt : HasIO io => Buffer -> Int -> Int -> io ()
Totality: total
Visibility: export
getInt : HasIO io => Buffer -> Int -> io Int
Totality: total
Visibility: export
setDouble : HasIO io => Buffer -> Int -> Double -> io ()
Totality: total
Visibility: export
getDouble : HasIO io => Buffer -> Int -> io Double
Totality: total
Visibility: export
stringByteLength : String -> Int
setString : HasIO io => Buffer -> Int -> String -> io ()
Totality: total
Visibility: export
getString : HasIO io => Buffer -> Int -> Int -> io String
Totality: total
Visibility: export
bufferData : HasIO io => Buffer -> io (List Int)
Visibility: export
copyData : HasIO io => Buffer -> Int -> Int -> Buffer -> Int -> io ()
Totality: total
Visibility: export
resizeBuffer : HasIO io => Buffer -> Int -> io (Maybe Buffer)
Totality: total
Visibility: export
concatBuffers : HasIO io => List Buffer -> io (Maybe Buffer)
  Create a buffer containing the concatenated content from a
list of buffers.

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

Totality: total
Visibility: export