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)

Defined in Data.Vector.Fixed.Boxed

type Mutable (Vec n) = MVec n

type Mutable (Vec n)

Defined in Data.Vector.Fixed.Primitive

type Mutable (Vec n) = MVec n

type Mutable (Vec n)

Defined in Data.Vector.Fixed.Storable

type Mutable (Vec n) = MVec n

type Mutable (Vec n)

Defined in Data.Vector.Fixed.Unboxed

type Mutable (Vec n) = MVec n

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

Dimension for mutable vector.

Instances

type DimM (MVec n)

Defined in Data.Vector.Fixed.Boxed

type DimM (MVec n) = n

type DimM (MVec n)

Defined in Data.Vector.Fixed.Primitive

type DimM (MVec n) = n

type DimM (MVec n)

Defined in Data.Vector.Fixed.Storable

type DimM (MVec n) = n

type DimM (MVec n)

Defined in Data.Vector.Fixed.Unboxed

type DimM (MVec n) = n

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

Type class for mutable vectors.

Methods

copy

Arguments

:: PrimMonad m

=> v (PrimState m) a

Target

-> v (PrimState m) a

Source

-> 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

Arguments

:: PrimMonad m

=> v (PrimState m) a

Target

-> v (PrimState m) a

Source

-> 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

Defined in Data.Vector.Fixed.Boxed

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

Defined in Data.Vector.Fixed.Primitive

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

Defined in Data.Vector.Fixed.Storable

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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) ()

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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 a b)

Defined in Data.Vector.Fixed.Unboxed

Methods

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

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

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

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

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

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

Defined in Data.Vector.Fixed.Unboxed

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.

Examples:

>>> import Control.Monad.ST (runST)
>>> import Data.Vector.Fixed (mk3)
>>> import Data.Vector.Fixed.Boxed (Vec3)
>>> import qualified Data.Vector.Fixed.Mutable as M
>>> let x = runST (do { v <- M.replicate 100; v' <- clone v; M.write v' 0 2; M.unsafeFreeze v' }) :: Vec3 Int
>>> x
fromList [2,100,100]

Creation

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

Create new vector with all elements set to given value.

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

Create new vector with all elements are generated by provided monadic action.

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

Create new vector with using function from index to value.

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

Create new vector with using monadic function from index to value.

Loops

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

Loop which calls function for each index

Immutable vectors

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

Type class for immutable vectors

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)

O(1) Unsafely convert immutable vector to mutable without copying. Note that this is a very dangerous function and generally it's only safe to read from the resulting vector. In this case, the immutable vector could be used safely as well.

Problems with mutation happen because GHC has a lot of freedom to introduce sharing. As a result mutable vectors produced by unsafeThaw may or may not share the same underlying buffer. For example:

foo = do
  let vec = F.generate 10 id
  mvec <- M.unsafeThaw vec
  do_something mvec

Here GHC could lift vec outside of foo which means that all calls to do_something will use same buffer with possibly disastrous results. Whether such aliasing happens or not depends on the program in question, optimization levels, and GHC flags.

All in all, attempts to modify a vector produced by unsafeThaw fall out of domain of software engineering and into realm of black magic, dark rituals, and unspeakable horrors. The only advice that could be given is: "Don't attempt to mutate a vector produced by unsafeThaw unless you know how to prevent GHC from aliasing buffers accidentally. We don't."

unsafeIndex :: v a -> Int -> a

Get element at specified index without bounds check.

Instances

Arity n => IVector (Vec n) a

Defined in Data.Vector.Fixed.Boxed

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

Defined in Data.Vector.Fixed.Primitive

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

Defined in Data.Vector.Fixed.Storable

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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

Defined in Data.Vector.Fixed.Unboxed

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) ()

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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)

Defined in Data.Vector.Fixed.Unboxed

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 a b)

Defined in Data.Vector.Fixed.Unboxed

Methods

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

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

unsafeIndex :: Vec n (Const a b) -> Int -> Const 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)

Defined in Data.Vector.Fixed.Unboxed

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.