vector-buffer-0.3: A buffer compatible with Data.Vector.Storable
Data.Vector.Unboxed.Buffer
Description
A buffer that can be used as a vector
Synopsis
data Buffer a Source
newBufferSource
Arguments
Size
create a new buffer
pushNextElement :: Unbox a => Buffer a -> a -> IO ()Source
add the next element to the buffer
toVector :: Unbox a => Buffer a -> IO (Vector a)Source
convert to a vector
mapBufferM :: (Unbox a, Unbox b) => (a -> IO b) -> Buffer a -> IO (Vector b)Source
monadic map over a buffer
mapBufferM_ :: Unbox a => (a -> IO b) -> Buffer a -> IO ()Source