Data.ArrayList.Generic

Documentation

data ArrayList v s a

Constructors

ArrayList

Fields

• arrayListSize :: !(MutVar s Int)
• arrayListVector :: !(MutVar s (v s a))

new :: (PrimMonad m, MVector v a) => Int -> m (ArrayList v (PrimState m) a)

push :: (PrimMonad m, MVector v a) => ArrayList v (PrimState m) a -> a -> m ()

Append an element to the end of the ArrayList.

freeze :: (PrimMonad m, Vector v a) => ArrayList (Mutable v) (PrimState m) a -> m (v a)