ToySolver.Internal.Data.Vec

Simple 1-dimentional resizable array

Vec type

data GenericVec a e

Instances

Eq (GenericVec a e)

Methods

(==) :: GenericVec a e -> GenericVec a e -> Bool

(/=) :: GenericVec a e -> GenericVec a e -> Bool

type Vec e = GenericVec IOArray e

type UVec e = GenericVec IOUArray e

type Index = Int

Constructors

new :: MArray a e IO => IO (GenericVec a e)

clone :: MArray a e IO => GenericVec a e -> IO (GenericVec a e)

Operators

getSize :: MArray a e IO => GenericVec a e -> IO Int

Get the internal representation array

read :: MArray a e IO => GenericVec a e -> Int -> IO e

write :: MArray a e IO => GenericVec a e -> Int -> e -> IO ()

modify :: MArray a e IO => GenericVec a e -> Int -> (e -> e) -> IO ()

modify' :: MArray a e IO => GenericVec a e -> Int -> (e -> e) -> IO ()

unsafeRead :: MArray a e IO => GenericVec a e -> Int -> IO e

unsafeWrite :: MArray a e IO => GenericVec a e -> Int -> e -> IO ()

unsafeModify :: MArray a e IO => GenericVec a e -> Int -> (e -> e) -> IO ()

unsafeModify' :: MArray a e IO => GenericVec a e -> Int -> (e -> e) -> IO ()

resize :: MArray a e IO => GenericVec a e -> Int -> IO ()

growTo :: MArray a e IO => GenericVec a e -> Int -> IO ()

push :: MArray a e IO => GenericVec a e -> e -> IO ()

pop :: MArray a e IO => GenericVec a e -> IO e

popMaybe :: MArray a e IO => GenericVec a e -> IO (Maybe e)

unsafePop :: MArray a e IO => GenericVec a e -> IO e

peek :: MArray a e IO => GenericVec a e -> IO e

unsafePeek :: MArray a e IO => GenericVec a e -> IO e

clear :: MArray a e IO => GenericVec a e -> IO ()

getElems :: MArray a e IO => GenericVec a e -> IO [e]

Low-level operators

getArray :: GenericVec a e -> IO (a Index e)

Get the internal representation array

getCapacity :: MArray a e IO => GenericVec a e -> IO Int

Get the internal representation array

resizeCapacity :: MArray a e IO => GenericVec a e -> Int -> IO ()

Pre-allocate internal buffer for n elements.