ToySolver.Data.Vec

Vec type

data GenericVec a e

type Vec e

type UVec e

type Index

Constructors

new

clone

Operators

getSize

read

write

unsafeRead

unsafeWrite

resize

growTo

push

clear

getElems

Low-level operators

getArray

getCapacity

resizeCapacity