1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
-- |
-- Extensions to the standard mutable Vector API.
module VectorBuilder.MVector where
import Data.Vector.Generic.Mutable
import qualified VectorBuilder.Core.Builder as A
import qualified VectorBuilder.Core.Update as C
import VectorBuilder.Prelude
-- |
-- Construct a mutable vector from a builder.
--
-- Supports all kinds of vectors: boxed, unboxed, primitive, storable.
{-# INLINEABLE build #-}
build :: (MVector vector element) => A.Builder element -> ST s (vector s element)
build (A.Builder size (C.Update update)) =
do
vector <- unsafeNew size
update vector 0
return vector
|
