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

=DEPRECATED=

setByte : HasIO io => Buffer -> Int -> Int -> io ()

  Use `setBits8` instead, as its value is correctly limited.

Totality: total
Visibility: export

setBits8 : HasIO io => Buffer -> Int -> Bits8 -> io ()

Totality: total
Visibility: export

=DEPRECATED=

getByte : HasIO io => Buffer -> Int -> io Int

  Use `getBits8` instead, as its value is correctly limited.

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

setInt8 : HasIO io => Buffer -> Int -> Int8 -> io ()

Totality: total
Visibility: export

getInt8 : HasIO io => Buffer -> Int -> io Int8

Totality: total
Visibility: export

setInt16 : HasIO io => Buffer -> Int -> Int16 -> io ()

Totality: total
Visibility: export

getInt16 : HasIO io => Buffer -> Int -> io Int16

Totality: total
Visibility: export

setInt32 : HasIO io => Buffer -> Int -> Int32 -> io ()

Totality: total
Visibility: export

getInt32 : HasIO io => Buffer -> Int -> io Int32

Totality: total
Visibility: export

setInt64 : HasIO io => Buffer -> Int -> Int64 -> io ()

Totality: total
Visibility: export

getInt64 : HasIO io => Buffer -> Int -> io Int64

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

setBool : HasIO io => Buffer -> Int -> Bool -> io ()

Totality: total
Visibility: export

getBool : HasIO io => Buffer -> Int -> io Bool

Totality: total
Visibility: export

setNat : HasIO io => Buffer -> Int -> Nat -> io Int

  setNat returns the end offset

Totality: total
Visibility: export

getNat : HasIO io => Buffer -> Int -> io (Int, Nat)

  getNat returns the end offset

Totality: total
Visibility: export

setInteger : HasIO io => Buffer -> Int -> Integer -> io Int

  setInteger returns the end offset

Totality: total
Visibility: export

getInteger : HasIO io => Buffer -> Int -> io (Int, Integer)

  getInteger returns the end offset

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

=DEPRECATED=

bufferData : HasIO io => Buffer -> io (List Int)

  Use `bufferData'` instead, as its value is correctly limited.

Visibility: export

bufferData' : HasIO io => Buffer -> io (List Bits8)

  This function performs the same task as `bufferData` but it
  returns `List Bits8` which is more correct than `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