Data.Vector.Fixed.Mutable

Type classes for vectors which are implemented on top of the arrays and support in-place mutation. API is similar to one used in the vector package.

Mutable vectors

type Arity n = (ArityPeano (Peano n), KnownNat n, Peano (n + 1) ~ S (Peano n))

Type class for type level number for which we can defined operations over N-ary functions.

arity :: KnownNat n => proxy n -> Int

Arity of function.

type family Mutable (v :: * -> *) :: * -> * -> *

Mutable counterpart of fixed-length vector.

Instances

type Mutable (Vec n)

type Mutable (Vec n) = MVec n

type Mutable (Vec n)

type Mutable (Vec n) = MVec n

type Mutable (Vec n)

type Mutable (Vec n) = MVec n

type Mutable (Vec n)

type Mutable (Vec n) = MVec n

type family DimM (v :: * -> * -> *) :: Nat

Dimension for mutable vector.

Instances

type DimM (MVec n)

type DimM (MVec n) = n

type DimM (MVec n)

type DimM (MVec n) = n

type DimM (MVec n)

type DimM (MVec n) = n

type DimM (MVec n)

type DimM (MVec n) = n

class Arity (DimM v) => MVector v a where

Type class for mutable vectors.

Minimal complete definition

copy, move, new, unsafeRead, unsafeWrite

Methods

copy :: PrimMonad m => v (PrimState m) a -> v (PrimState m) a -> m ()

Copy vector. The two vectors may not overlap. Since vectors' length is encoded in the type there is no need in runtime checks.

move :: PrimMonad m => v (PrimState m) a -> v (PrimState m) a -> m ()

Copy vector. The two vectors may overlap. Since vectors' length is encoded in the type there is no need in runtime checks.

new :: PrimMonad m => m (v (PrimState m) a)

Allocate new vector

unsafeRead :: PrimMonad m => v (PrimState m) a -> Int -> m a

Read value at index without bound checks.

unsafeWrite :: PrimMonad m => v (PrimState m) a -> Int -> a -> m ()

Write value at index without bound checks.

Instances

Arity n => MVector (MVec n) a

Methods

copy :: PrimMonad m => MVec n (PrimState m) a -> MVec n (PrimState m) a -> m ()

move :: PrimMonad m => MVec n (PrimState m) a -> MVec n (PrimState m) a -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) a)

unsafeRead :: PrimMonad m => MVec n (PrimState m) a -> Int -> m a

unsafeWrite :: PrimMonad m => MVec n (PrimState m) a -> Int -> a -> m ()

(Arity n, Prim a) => MVector (MVec n) a

Methods

copy :: PrimMonad m => MVec n (PrimState m) a -> MVec n (PrimState m) a -> m ()

move :: PrimMonad m => MVec n (PrimState m) a -> MVec n (PrimState m) a -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) a)

unsafeRead :: PrimMonad m => MVec n (PrimState m) a -> Int -> m a

unsafeWrite :: PrimMonad m => MVec n (PrimState m) a -> Int -> a -> m ()

(Arity n, Storable a) => MVector (MVec n) a

Methods

copy :: PrimMonad m => MVec n (PrimState m) a -> MVec n (PrimState m) a -> m ()

move :: PrimMonad m => MVec n (PrimState m) a -> MVec n (PrimState m) a -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) a)

unsafeRead :: PrimMonad m => MVec n (PrimState m) a -> Int -> m a

unsafeWrite :: PrimMonad m => MVec n (PrimState m) a -> Int -> a -> m ()

Arity n => MVector (MVec n) All

Methods

copy :: PrimMonad m => MVec n (PrimState m) All -> MVec n (PrimState m) All -> m ()

move :: PrimMonad m => MVec n (PrimState m) All -> MVec n (PrimState m) All -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) All)

unsafeRead :: PrimMonad m => MVec n (PrimState m) All -> Int -> m All

unsafeWrite :: PrimMonad m => MVec n (PrimState m) All -> Int -> All -> m ()

Arity n => MVector (MVec n) Any

Methods

copy :: PrimMonad m => MVec n (PrimState m) Any -> MVec n (PrimState m) Any -> m ()

move :: PrimMonad m => MVec n (PrimState m) Any -> MVec n (PrimState m) Any -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Any)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Any -> Int -> m Any

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Any -> Int -> Any -> m ()

Arity n => MVector (MVec n) Double

Methods

copy :: PrimMonad m => MVec n (PrimState m) Double -> MVec n (PrimState m) Double -> m ()

move :: PrimMonad m => MVec n (PrimState m) Double -> MVec n (PrimState m) Double -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Double)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Double -> Int -> m Double

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Double -> Int -> Double -> m ()

Arity n => MVector (MVec n) Float

Methods

copy :: PrimMonad m => MVec n (PrimState m) Float -> MVec n (PrimState m) Float -> m ()

move :: PrimMonad m => MVec n (PrimState m) Float -> MVec n (PrimState m) Float -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Float)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Float -> Int -> m Float

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Float -> Int -> Float -> m ()

Arity n => MVector (MVec n) Char

Methods

copy :: PrimMonad m => MVec n (PrimState m) Char -> MVec n (PrimState m) Char -> m ()

move :: PrimMonad m => MVec n (PrimState m) Char -> MVec n (PrimState m) Char -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Char)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Char -> Int -> m Char

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Char -> Int -> Char -> m ()

Arity n => MVector (MVec n) Word64

Methods

copy :: PrimMonad m => MVec n (PrimState m) Word64 -> MVec n (PrimState m) Word64 -> m ()

move :: PrimMonad m => MVec n (PrimState m) Word64 -> MVec n (PrimState m) Word64 -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Word64)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Word64 -> Int -> m Word64

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Word64 -> Int -> Word64 -> m ()

Arity n => MVector (MVec n) Word32

Methods

copy :: PrimMonad m => MVec n (PrimState m) Word32 -> MVec n (PrimState m) Word32 -> m ()

move :: PrimMonad m => MVec n (PrimState m) Word32 -> MVec n (PrimState m) Word32 -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Word32)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Word32 -> Int -> m Word32

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Word32 -> Int -> Word32 -> m ()

Arity n => MVector (MVec n) Word16

Methods

copy :: PrimMonad m => MVec n (PrimState m) Word16 -> MVec n (PrimState m) Word16 -> m ()

move :: PrimMonad m => MVec n (PrimState m) Word16 -> MVec n (PrimState m) Word16 -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Word16)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Word16 -> Int -> m Word16

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Word16 -> Int -> Word16 -> m ()

Arity n => MVector (MVec n) Word8

Methods

copy :: PrimMonad m => MVec n (PrimState m) Word8 -> MVec n (PrimState m) Word8 -> m ()

move :: PrimMonad m => MVec n (PrimState m) Word8 -> MVec n (PrimState m) Word8 -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Word8)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Word8 -> Int -> m Word8

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Word8 -> Int -> Word8 -> m ()

Arity n => MVector (MVec n) Word

Methods

copy :: PrimMonad m => MVec n (PrimState m) Word -> MVec n (PrimState m) Word -> m ()

move :: PrimMonad m => MVec n (PrimState m) Word -> MVec n (PrimState m) Word -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Word)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Word -> Int -> m Word

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Word -> Int -> Word -> m ()

Arity n => MVector (MVec n) Int64

Methods

copy :: PrimMonad m => MVec n (PrimState m) Int64 -> MVec n (PrimState m) Int64 -> m ()

move :: PrimMonad m => MVec n (PrimState m) Int64 -> MVec n (PrimState m) Int64 -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Int64)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Int64 -> Int -> m Int64

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Int64 -> Int -> Int64 -> m ()

Arity n => MVector (MVec n) Int32

Methods

copy :: PrimMonad m => MVec n (PrimState m) Int32 -> MVec n (PrimState m) Int32 -> m ()

move :: PrimMonad m => MVec n (PrimState m) Int32 -> MVec n (PrimState m) Int32 -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Int32)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Int32 -> Int -> m Int32

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Int32 -> Int -> Int32 -> m ()

Arity n => MVector (MVec n) Int16

Methods

copy :: PrimMonad m => MVec n (PrimState m) Int16 -> MVec n (PrimState m) Int16 -> m ()

move :: PrimMonad m => MVec n (PrimState m) Int16 -> MVec n (PrimState m) Int16 -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Int16)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Int16 -> Int -> m Int16

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Int16 -> Int -> Int16 -> m ()

Arity n => MVector (MVec n) Int8

Methods

copy :: PrimMonad m => MVec n (PrimState m) Int8 -> MVec n (PrimState m) Int8 -> m ()

move :: PrimMonad m => MVec n (PrimState m) Int8 -> MVec n (PrimState m) Int8 -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Int8)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Int8 -> Int -> m Int8

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Int8 -> Int -> Int8 -> m ()

Arity n => MVector (MVec n) Int

Methods

copy :: PrimMonad m => MVec n (PrimState m) Int -> MVec n (PrimState m) Int -> m ()

move :: PrimMonad m => MVec n (PrimState m) Int -> MVec n (PrimState m) Int -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Int)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Int -> Int -> m Int

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Int -> Int -> Int -> m ()

Arity n => MVector (MVec n) Bool

Methods

copy :: PrimMonad m => MVec n (PrimState m) Bool -> MVec n (PrimState m) Bool -> m ()

move :: PrimMonad m => MVec n (PrimState m) Bool -> MVec n (PrimState m) Bool -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) Bool)

unsafeRead :: PrimMonad m => MVec n (PrimState m) Bool -> Int -> m Bool

unsafeWrite :: PrimMonad m => MVec n (PrimState m) Bool -> Int -> Bool -> m ()

Arity n => MVector (MVec n) ()

Methods

copy :: PrimMonad m => MVec n (PrimState m) () -> MVec n (PrimState m) () -> m ()

move :: PrimMonad m => MVec n (PrimState m) () -> MVec n (PrimState m) () -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) ())

unsafeRead :: PrimMonad m => MVec n (PrimState m) () -> Int -> m ()

unsafeWrite :: PrimMonad m => MVec n (PrimState m) () -> Int -> () -> m ()

Unbox n a => MVector (MVec n) (Product a)

Methods

copy :: PrimMonad m => MVec n (PrimState m) (Product a) -> MVec n (PrimState m) (Product a) -> m ()

move :: PrimMonad m => MVec n (PrimState m) (Product a) -> MVec n (PrimState m) (Product a) -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) (Product a))

unsafeRead :: PrimMonad m => MVec n (PrimState m) (Product a) -> Int -> m (Product a)

unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Product a) -> Int -> Product a -> m ()

Unbox n a => MVector (MVec n) (Sum a)

Methods

copy :: PrimMonad m => MVec n (PrimState m) (Sum a) -> MVec n (PrimState m) (Sum a) -> m ()

move :: PrimMonad m => MVec n (PrimState m) (Sum a) -> MVec n (PrimState m) (Sum a) -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) (Sum a))

unsafeRead :: PrimMonad m => MVec n (PrimState m) (Sum a) -> Int -> m (Sum a)

unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Sum a) -> Int -> Sum a -> m ()

Unbox n a => MVector (MVec n) (Dual a)

Methods

copy :: PrimMonad m => MVec n (PrimState m) (Dual a) -> MVec n (PrimState m) (Dual a) -> m ()

move :: PrimMonad m => MVec n (PrimState m) (Dual a) -> MVec n (PrimState m) (Dual a) -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) (Dual a))

unsafeRead :: PrimMonad m => MVec n (PrimState m) (Dual a) -> Int -> m (Dual a)

unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Dual a) -> Int -> Dual a -> m ()

Unbox n a => MVector (MVec n) (Down a)

Methods

copy :: PrimMonad m => MVec n (PrimState m) (Down a) -> MVec n (PrimState m) (Down a) -> m ()

move :: PrimMonad m => MVec n (PrimState m) (Down a) -> MVec n (PrimState m) (Down a) -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) (Down a))

unsafeRead :: PrimMonad m => MVec n (PrimState m) (Down a) -> Int -> m (Down a)

unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Down a) -> Int -> Down a -> m ()

Unbox n a => MVector (MVec n) (Identity a)

Methods

copy :: PrimMonad m => MVec n (PrimState m) (Identity a) -> MVec n (PrimState m) (Identity a) -> m ()

move :: PrimMonad m => MVec n (PrimState m) (Identity a) -> MVec n (PrimState m) (Identity a) -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) (Identity a))

unsafeRead :: PrimMonad m => MVec n (PrimState m) (Identity a) -> Int -> m (Identity a)

unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Identity a) -> Int -> Identity a -> m ()

(Arity n, MVector (MVec n) a) => MVector (MVec n) (Complex a)

Methods

copy :: PrimMonad m => MVec n (PrimState m) (Complex a) -> MVec n (PrimState m) (Complex a) -> m ()

move :: PrimMonad m => MVec n (PrimState m) (Complex a) -> MVec n (PrimState m) (Complex a) -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) (Complex a))

unsafeRead :: PrimMonad m => MVec n (PrimState m) (Complex a) -> Int -> m (Complex a)

unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Complex a) -> Int -> Complex a -> m ()

(Arity n, MVector (MVec n) a, MVector (MVec n) b) => MVector (MVec n) (a, b)

Methods

copy :: PrimMonad m => MVec n (PrimState m) (a, b) -> MVec n (PrimState m) (a, b) -> m ()

move :: PrimMonad m => MVec n (PrimState m) (a, b) -> MVec n (PrimState m) (a, b) -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) (a, b))

unsafeRead :: PrimMonad m => MVec n (PrimState m) (a, b) -> Int -> m (a, b)

unsafeWrite :: PrimMonad m => MVec n (PrimState m) (a, b) -> Int -> (a, b) -> m ()

Unbox n a => MVector (MVec n) (Const k a b)

Methods

copy :: PrimMonad m => MVec n (PrimState m) (Const k a b) -> MVec n (PrimState m) (Const k a b) -> m ()

move :: PrimMonad m => MVec n (PrimState m) (Const k a b) -> MVec n (PrimState m) (Const k a b) -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) (Const k a b))

unsafeRead :: PrimMonad m => MVec n (PrimState m) (Const k a b) -> Int -> m (Const k a b)

unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Const k a b) -> Int -> Const k a b -> m ()

(Arity n, MVector (MVec n) a, MVector (MVec n) b, MVector (MVec n) c) => MVector (MVec n) (a, b, c)

Methods

copy :: PrimMonad m => MVec n (PrimState m) (a, b, c) -> MVec n (PrimState m) (a, b, c) -> m ()

move :: PrimMonad m => MVec n (PrimState m) (a, b, c) -> MVec n (PrimState m) (a, b, c) -> m ()

new :: PrimMonad m => m (MVec n (PrimState m) (a, b, c))

unsafeRead :: PrimMonad m => MVec n (PrimState m) (a, b, c) -> Int -> m (a, b, c)

unsafeWrite :: PrimMonad m => MVec n (PrimState m) (a, b, c) -> Int -> (a, b, c) -> m ()

lengthM :: forall v s a. Arity (DimM v) => v s a -> Int

Length of mutable vector. Function doesn't evaluate its argument.

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

Read value at index with bound checks.

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

Write value at index with bound checks.

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

Create copy of vector.

Immutable vectors

class (Dim v ~ DimM (Mutable v), MVector (Mutable v) a) => IVector v a where

Type class for immutable vectors

Minimal complete definition

unsafeFreeze, unsafeThaw, unsafeIndex

Methods

unsafeFreeze :: PrimMonad m => Mutable v (PrimState m) a -> m (v a)

Convert vector to immutable state. Mutable vector must not be modified afterwards.

unsafeThaw :: PrimMonad m => v a -> m (Mutable v (PrimState m) a)

Convert immutable vector to mutable. Immutable vector must not be used afterwards.

unsafeIndex :: v a -> Int -> a

Get element at specified index without bounds check.

Instances

Arity n => IVector (Vec n) a

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) a -> m (Vec n a)

unsafeThaw :: PrimMonad m => Vec n a -> m (Mutable (Vec n) (PrimState m) a)

unsafeIndex :: Vec n a -> Int -> a

(Arity n, Prim a) => IVector (Vec n) a

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) a -> m (Vec n a)

unsafeThaw :: PrimMonad m => Vec n a -> m (Mutable (Vec n) (PrimState m) a)

unsafeIndex :: Vec n a -> Int -> a

(Arity n, Storable a) => IVector (Vec n) a

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) a -> m (Vec n a)

unsafeThaw :: PrimMonad m => Vec n a -> m (Mutable (Vec n) (PrimState m) a)

unsafeIndex :: Vec n a -> Int -> a

Arity n => IVector (Vec n) All

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) All -> m (Vec n All)

unsafeThaw :: PrimMonad m => Vec n All -> m (Mutable (Vec n) (PrimState m) All)

unsafeIndex :: Vec n All -> Int -> All

Arity n => IVector (Vec n) Any

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Any -> m (Vec n Any)

unsafeThaw :: PrimMonad m => Vec n Any -> m (Mutable (Vec n) (PrimState m) Any)

unsafeIndex :: Vec n Any -> Int -> Any

Arity n => IVector (Vec n) Double

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Double -> m (Vec n Double)

unsafeThaw :: PrimMonad m => Vec n Double -> m (Mutable (Vec n) (PrimState m) Double)

unsafeIndex :: Vec n Double -> Int -> Double

Arity n => IVector (Vec n) Float

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Float -> m (Vec n Float)

unsafeThaw :: PrimMonad m => Vec n Float -> m (Mutable (Vec n) (PrimState m) Float)

unsafeIndex :: Vec n Float -> Int -> Float

Arity n => IVector (Vec n) Char

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Char -> m (Vec n Char)

unsafeThaw :: PrimMonad m => Vec n Char -> m (Mutable (Vec n) (PrimState m) Char)

unsafeIndex :: Vec n Char -> Int -> Char

Arity n => IVector (Vec n) Word64

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Word64 -> m (Vec n Word64)

unsafeThaw :: PrimMonad m => Vec n Word64 -> m (Mutable (Vec n) (PrimState m) Word64)

unsafeIndex :: Vec n Word64 -> Int -> Word64

Arity n => IVector (Vec n) Word32

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Word32 -> m (Vec n Word32)

unsafeThaw :: PrimMonad m => Vec n Word32 -> m (Mutable (Vec n) (PrimState m) Word32)

unsafeIndex :: Vec n Word32 -> Int -> Word32

Arity n => IVector (Vec n) Word16

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Word16 -> m (Vec n Word16)

unsafeThaw :: PrimMonad m => Vec n Word16 -> m (Mutable (Vec n) (PrimState m) Word16)

unsafeIndex :: Vec n Word16 -> Int -> Word16

Arity n => IVector (Vec n) Word8

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Word8 -> m (Vec n Word8)

unsafeThaw :: PrimMonad m => Vec n Word8 -> m (Mutable (Vec n) (PrimState m) Word8)

unsafeIndex :: Vec n Word8 -> Int -> Word8

Arity n => IVector (Vec n) Word

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Word -> m (Vec n Word)

unsafeThaw :: PrimMonad m => Vec n Word -> m (Mutable (Vec n) (PrimState m) Word)

unsafeIndex :: Vec n Word -> Int -> Word

Arity n => IVector (Vec n) Int64

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Int64 -> m (Vec n Int64)

unsafeThaw :: PrimMonad m => Vec n Int64 -> m (Mutable (Vec n) (PrimState m) Int64)

unsafeIndex :: Vec n Int64 -> Int -> Int64

Arity n => IVector (Vec n) Int32

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Int32 -> m (Vec n Int32)

unsafeThaw :: PrimMonad m => Vec n Int32 -> m (Mutable (Vec n) (PrimState m) Int32)

unsafeIndex :: Vec n Int32 -> Int -> Int32

Arity n => IVector (Vec n) Int16

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Int16 -> m (Vec n Int16)

unsafeThaw :: PrimMonad m => Vec n Int16 -> m (Mutable (Vec n) (PrimState m) Int16)

unsafeIndex :: Vec n Int16 -> Int -> Int16

Arity n => IVector (Vec n) Int8

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Int8 -> m (Vec n Int8)

unsafeThaw :: PrimMonad m => Vec n Int8 -> m (Mutable (Vec n) (PrimState m) Int8)

unsafeIndex :: Vec n Int8 -> Int -> Int8

Arity n => IVector (Vec n) Int

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Int -> m (Vec n Int)

unsafeThaw :: PrimMonad m => Vec n Int -> m (Mutable (Vec n) (PrimState m) Int)

unsafeIndex :: Vec n Int -> Int -> Int

Arity n => IVector (Vec n) Bool

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Bool -> m (Vec n Bool)

unsafeThaw :: PrimMonad m => Vec n Bool -> m (Mutable (Vec n) (PrimState m) Bool)

unsafeIndex :: Vec n Bool -> Int -> Bool

Arity n => IVector (Vec n) ()

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) () -> m (Vec n ())

unsafeThaw :: PrimMonad m => Vec n () -> m (Mutable (Vec n) (PrimState m) ())

unsafeIndex :: Vec n () -> Int -> ()

Unbox n a => IVector (Vec n) (Product a)

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Product a) -> m (Vec n (Product a))

unsafeThaw :: PrimMonad m => Vec n (Product a) -> m (Mutable (Vec n) (PrimState m) (Product a))

unsafeIndex :: Vec n (Product a) -> Int -> Product a

Unbox n a => IVector (Vec n) (Sum a)

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Sum a) -> m (Vec n (Sum a))

unsafeThaw :: PrimMonad m => Vec n (Sum a) -> m (Mutable (Vec n) (PrimState m) (Sum a))

unsafeIndex :: Vec n (Sum a) -> Int -> Sum a

Unbox n a => IVector (Vec n) (Dual a)

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Dual a) -> m (Vec n (Dual a))

unsafeThaw :: PrimMonad m => Vec n (Dual a) -> m (Mutable (Vec n) (PrimState m) (Dual a))

unsafeIndex :: Vec n (Dual a) -> Int -> Dual a

Unbox n a => IVector (Vec n) (Down a)

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Down a) -> m (Vec n (Down a))

unsafeThaw :: PrimMonad m => Vec n (Down a) -> m (Mutable (Vec n) (PrimState m) (Down a))

unsafeIndex :: Vec n (Down a) -> Int -> Down a

Unbox n a => IVector (Vec n) (Identity a)

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Identity a) -> m (Vec n (Identity a))

unsafeThaw :: PrimMonad m => Vec n (Identity a) -> m (Mutable (Vec n) (PrimState m) (Identity a))

unsafeIndex :: Vec n (Identity a) -> Int -> Identity a

(Arity n, IVector (Vec n) a) => IVector (Vec n) (Complex a)

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Complex a) -> m (Vec n (Complex a))

unsafeThaw :: PrimMonad m => Vec n (Complex a) -> m (Mutable (Vec n) (PrimState m) (Complex a))

unsafeIndex :: Vec n (Complex a) -> Int -> Complex a

(Arity n, IVector (Vec n) a, IVector (Vec n) b) => IVector (Vec n) (a, b)

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (a, b) -> m (Vec n (a, b))

unsafeThaw :: PrimMonad m => Vec n (a, b) -> m (Mutable (Vec n) (PrimState m) (a, b))

unsafeIndex :: Vec n (a, b) -> Int -> (a, b)

Unbox n a => IVector (Vec n) (Const k a b)

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Const k a b) -> m (Vec n (Const k a b))

unsafeThaw :: PrimMonad m => Vec n (Const k a b) -> m (Mutable (Vec n) (PrimState m) (Const k a b))

unsafeIndex :: Vec n (Const k a b) -> Int -> Const k a b

(Arity n, Vector (Vec n) a, Vector (Vec n) b, Vector (Vec n) c, IVector (Vec n) a, IVector (Vec n) b, IVector (Vec n) c) => IVector (Vec n) (a, b, c)

Methods

unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (a, b, c) -> m (Vec n (a, b, c))

unsafeThaw :: PrimMonad m => Vec n (a, b, c) -> m (Mutable (Vec n) (PrimState m) (a, b, c))

unsafeIndex :: Vec n (a, b, c) -> Int -> (a, b, c)

index :: IVector v a => v a -> Int -> a

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

Safely convert mutable vector to immutable.

thaw :: (PrimMonad m, IVector v a) => v a -> m (Mutable v (PrimState m) a)

Safely convert immutable vector to mutable.

Vector API

constructVec :: forall v a. (Arity (Dim v), IVector v a) => Fun (Peano (Dim v)) a (v a)

Generic construct implementation for array-based vectors.

inspectVec :: forall v a b. (Arity (Dim v), IVector v a) => v a -> Fun (Peano (Dim v)) a b -> b

Generic inspect implementation for array-based vectors.