Idris2Doc : Data.Buffer

Data.Buffer

Buffer : Type
Totality: total
bufferData : HasIOio => Buffer -> io (List Int)
concatBuffers : HasIOio => ListBuffer -> io (MaybeBuffer)
Create a buffer containing the concatenated content from a
list of buffers.
copyData : HasIOio => Buffer -> Int -> Int -> Buffer -> Int -> ioUnit
createBufferFromFile : HasIOio => String -> io (EitherFileErrorBuffer)
freeBuffer : HasIOio => Buffer -> ioUnit
getBits16 : HasIOio => Buffer -> Int -> io Bits16
getBits32 : HasIOio => Buffer -> Int -> io Bits32
getBits64 : HasIOio => Buffer -> Int -> io Bits64
getBits8 : HasIOio => Buffer -> Int -> io Bits8
getByte : HasIOio => Buffer -> Int -> io Int
getDouble : HasIOio => Buffer -> Int -> io Double
getInt : HasIOio => Buffer -> Int -> io Int
getInt32 : HasIOio => Buffer -> Int -> io Int
getString : HasIOio => Buffer -> Int -> Int -> io String
newBuffer : HasIOio => Int -> io (MaybeBuffer)
rawSize : HasIOio => Buffer -> io Int
readBufferData : HasIOio => File -> Buffer -> Int -> Int -> io (EitherFileErrorUnit)
resizeBuffer : HasIOio => Buffer -> Int -> io (MaybeBuffer)
setBits16 : HasIOio => Buffer -> Int -> Bits16 -> ioUnit
setBits32 : HasIOio => Buffer -> Int -> Bits32 -> ioUnit
setBits64 : HasIOio => Buffer -> Int -> Bits64 -> ioUnit
setBits8 : HasIOio => Buffer -> Int -> Bits8 -> ioUnit
setByte : HasIOio => Buffer -> Int -> Int -> ioUnit
setDouble : HasIOio => Buffer -> Int -> Double -> ioUnit
setInt : HasIOio => Buffer -> Int -> Int -> ioUnit
setInt32 : HasIOio => Buffer -> Int -> Int -> ioUnit
setString : HasIOio => Buffer -> Int -> String -> ioUnit
splitBuffer : HasIOio => Buffer -> Int -> io (Maybe (Buffer, Buffer))
Split a buffer into two at a position.
stringByteLength : String -> Int
writeBufferData : HasIOio => File -> Buffer -> Int -> Int -> io (EitherFileErrorUnit)
writeBufferToFile : HasIOio => String -> Buffer -> Int -> io (EitherFileErrorUnit)