ToySolver.Internal.Data.Vec

Vec type

data GenericVec a e

type Vec e

type UVec e

type Index

Constructors

new

clone

Operators

getSize

read

write

modify

modify'

unsafeRead

unsafeWrite

unsafeModify

unsafeModify'

resize

growTo

push

pop

popMaybe

unsafePop

peek

unsafePeek

clear

getElems

Low-level operators

getArray

getCapacity

resizeCapacity