Data.Primitive.Indexed.PrimArray

Contents

• Types
• Primops
• Array Interop

Synopsis

• data PrimVector n a
• data MutablePrimVector n s a
• new :: (PrimMonad m, Prim a) => Length n -> m (MutablePrimVector n (PrimState m) a)
• index :: Prim a => PrimVector n a -> Index n -> a
• read :: (PrimMonad m, Prim a) => MutablePrimVector n (PrimState m) a -> Index n -> m a
• write :: (PrimMonad m, Prim a) => MutablePrimVector n (PrimState m) a -> Index n -> a -> m ()
• length :: Prim a => PrimVector n a -> Length n
• size :: Prim a => MutablePrimVector n s a -> Length n
• unsafeFreeze :: PrimMonad m => MutablePrimVector n (PrimState m) a -> m (PrimVector n a)
• forget :: PrimVector n a -> PrimArray a
• with :: PrimArray a -> (forall n. PrimVector n a -> b) -> b

Types

Primops

Array Interop