Data.Vector.Unboxed.Buffer

A buffer that can be used as a vector

Documentation

data Buffer a

newBuffer

Arguments

:: Unbox a

=> Int

Size

-> IO (Buffer a)

create a new buffer

pushNextElement :: Unbox a => Buffer a -> a -> IO ()

add the next element to the buffer

toVector :: Unbox a => Buffer a -> IO (Vector a)

convert to a vector

mapBufferM :: (Unbox a, Unbox b) => (a -> IO b) -> Buffer a -> IO (Vector b)

monadic map over a buffer

mapBufferM_ :: Unbox a => (a -> IO b) -> Buffer a -> IO ()

monadic map over a buffer