Data.Vector.Fixed.Unboxed

Unboxed vectors with fixed length.

Immutable

data family Vec (n :: Nat) a

Instances

Unbox n a => VectorN Vec n a

Unbox n a => Vector (Vec n) a

Methods

construct :: Fun (Peano (Dim (Vec n))) a (Vec n a)

inspect :: Vec n a -> Fun (Peano (Dim (Vec n))) a b -> b

basicIndex :: 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)

(Unbox n a, Eq a) => Eq (Vec n a)

Methods

(==) :: Vec n a -> Vec n a -> Bool

(/=) :: Vec n a -> Vec n a -> Bool

(Typeable Nat n, Unbox n a, Data a) => Data (Vec n a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Vec n a -> c (Vec n a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Vec n a)

toConstr :: Vec n a -> Constr

dataTypeOf :: Vec n a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Vec n a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Vec n a))

gmapT :: (forall b. Data b => b -> b) -> Vec n a -> Vec n a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Vec n a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Vec n a -> r

gmapQ :: (forall d. Data d => d -> u) -> Vec n a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Vec n a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Vec n a -> m (Vec n a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Vec n a -> m (Vec n a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Vec n a -> m (Vec n a)

(Unbox n a, Ord a) => Ord (Vec n a)

Methods

compare :: Vec n a -> Vec n a -> Ordering

(<) :: Vec n a -> Vec n a -> Bool

(<=) :: Vec n a -> Vec n a -> Bool

(>) :: Vec n a -> Vec n a -> Bool

(>=) :: Vec n a -> Vec n a -> Bool

max :: Vec n a -> Vec n a -> Vec n a

min :: Vec n a -> Vec n a -> Vec n a

(Arity n, Show a, Unbox n a) => Show (Vec n a)

Methods

showsPrec :: Int -> Vec n a -> ShowS

show :: Vec n a -> String

showList :: [Vec n a] -> ShowS

(Unbox n a, Semigroup a) => Semigroup (Vec n a)

Methods

(<>) :: Vec n a -> Vec n a -> Vec n a

sconcat :: NonEmpty (Vec n a) -> Vec n a

stimes :: Integral b => b -> Vec n a -> Vec n a

(Unbox n a, Monoid a) => Monoid (Vec n a)

Methods

mempty :: Vec n a

mappend :: Vec n a -> Vec n a -> Vec n a

mconcat :: [Vec n a] -> Vec n a

(Storable a, Unbox n a) => Storable (Vec n a)

Methods

sizeOf :: Vec n a -> Int

alignment :: Vec n a -> Int

peekElemOff :: Ptr (Vec n a) -> Int -> IO (Vec n a)

pokeElemOff :: Ptr (Vec n a) -> Int -> Vec n a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Vec n a)

pokeByteOff :: Ptr b -> Int -> Vec n a -> IO ()

peek :: Ptr (Vec n a) -> IO (Vec n a)

poke :: Ptr (Vec n a) -> Vec n a -> IO ()

(Arity n, Unbox n a, NFData a) => NFData (Vec n a)

Methods

rnf :: Vec n a -> ()

data Vec n All

data Vec n All = V_All (Vec n Bool)

data Vec n Any

data Vec n Any = V_Any (Vec n Bool)

data Vec n Double

data Vec n Double = V_Double (Vec n Double)

data Vec n Float

data Vec n Float = V_Float (Vec n Float)

data Vec n Char

data Vec n Char = V_Char (Vec n Char)

data Vec n Word64

data Vec n Word64 = V_Word64 (Vec n Word64)

data Vec n Word32

data Vec n Word32 = V_Word32 (Vec n Word32)

data Vec n Word16

data Vec n Word16 = V_Word16 (Vec n Word16)

data Vec n Word8

data Vec n Word8 = V_Word8 (Vec n Word8)

data Vec n Word

data Vec n Word = V_Word (Vec n Word)

data Vec n Int64

data Vec n Int64 = V_Int64 (Vec n Int64)

data Vec n Int32

data Vec n Int32 = V_Int32 (Vec n Int32)

data Vec n Int16

data Vec n Int16 = V_Int16 (Vec n Int16)

data Vec n Int8

data Vec n Int8 = V_Int8 (Vec n Int8)

data Vec n Int

data Vec n Int = V_Int (Vec n Int)

data Vec n Bool

data Vec n Bool = V_Bool (Vec n Word8)

data Vec n ()

data Vec n () = V_Unit

data Vec n (Product a)

data Vec n (Product a) = V_Product (Vec n a)

data Vec n (Sum a)

data Vec n (Sum a) = V_Sum (Vec n a)

data Vec n (Dual a)

data Vec n (Dual a) = V_Dual (Vec n a)

data Vec n (Down a)

data Vec n (Down a) = V_Down (Vec n a)

data Vec n (Identity a)

data Vec n (Identity a) = V_Identity (Vec n a)

data Vec n (Complex a)

data Vec n (Complex a) = V_Complex (Vec n (a, a))

data Vec n (a, b)

data Vec n (a, b) = V_2 !(Vec n a) !(Vec n b)

data Vec n (Const k a b)

data Vec n (Const k a b) = V_Const (Vec n a)

data Vec n (a, b, c)

data Vec n (a, b, c) = V_3 !(Vec n a) !(Vec n b) !(Vec n c)

type Dim (Vec n)

type Dim (Vec n) = n

type Mutable (Vec n)

type Mutable (Vec n) = MVec n

type Vec1 = Vec 1

type Vec2 = Vec 2

type Vec3 = Vec 3

type Vec4 = Vec 4

type Vec5 = Vec 5

Mutable

data family MVec (n :: Nat) s a

Instances

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

data MVec n s All

data MVec n s All = MV_All (MVec n s Bool)

data MVec n s Any

data MVec n s Any = MV_Any (MVec n s Bool)

data MVec n s Double

data MVec n s Double = MV_Double (MVec n s Double)

data MVec n s Float

data MVec n s Float = MV_Float (MVec n s Float)

data MVec n s Char

data MVec n s Char = MV_Char (MVec n s Char)

data MVec n s Word64

data MVec n s Word64 = MV_Word64 (MVec n s Word64)

data MVec n s Word32

data MVec n s Word32 = MV_Word32 (MVec n s Word32)

data MVec n s Word16

data MVec n s Word16 = MV_Word16 (MVec n s Word16)

data MVec n s Word8

data MVec n s Word8 = MV_Word8 (MVec n s Word8)

data MVec n s Word

data MVec n s Word = MV_Word (MVec n s Word)

data MVec n s Int64

data MVec n s Int64 = MV_Int64 (MVec n s Int64)

data MVec n s Int32

data MVec n s Int32 = MV_Int32 (MVec n s Int32)

data MVec n s Int16

data MVec n s Int16 = MV_Int16 (MVec n s Int16)

data MVec n s Int8

data MVec n s Int8 = MV_Int8 (MVec n s Int8)

data MVec n s Int

data MVec n s Int = MV_Int (MVec n s Int)

data MVec n s Bool

data MVec n s Bool = MV_Bool (MVec n s Word8)

data MVec n s ()

data MVec n s () = MV_Unit

data MVec n s (Product a)

data MVec n s (Product a) = MV_Product (MVec n s a)

data MVec n s (Sum a)

data MVec n s (Sum a) = MV_Sum (MVec n s a)

data MVec n s (Dual a)

data MVec n s (Dual a) = MV_Dual (MVec n s a)

data MVec n s (Down a)

data MVec n s (Down a) = MV_Down (MVec n s a)

data MVec n s (Identity a)

data MVec n s (Identity a) = MV_Identity (MVec n s a)

data MVec n s (Complex a)

data MVec n s (Complex a) = MV_Complex (MVec n s (a, a))

data MVec n s (a, b)

data MVec n s (a, b) = MV_2 !(MVec n s a) !(MVec n s b)

data MVec n s (Const k a b)

data MVec n s (Const k a b) = MV_Const (MVec n s a)

data MVec n s (a, b, c)

data MVec n s (a, b, c) = MV_3 !(MVec n s a) !(MVec n s b) !(MVec n s c)

type DimM (MVec n)

type DimM (MVec n) = n

Type classes

class (Arity n, IVector (Vec n) a, MVector (MVec n) a) => Unbox n a

Instances

Arity n => Unbox n All

Arity n => Unbox n Any

Arity n => Unbox n Double

Arity n => Unbox n Float

Arity n => Unbox n Char

Arity n => Unbox n Word64

Arity n => Unbox n Word32

Arity n => Unbox n Word16

Arity n => Unbox n Word8

Arity n => Unbox n Word

Arity n => Unbox n Int64

Arity n => Unbox n Int32

Arity n => Unbox n Int16

Arity n => Unbox n Int8

Arity n => Unbox n Int

Arity n => Unbox n Bool

Arity n => Unbox n ()

Unbox n a => Unbox n (Product a)

Unbox n a => Unbox n (Sum a)

Unbox n a => Unbox n (Dual a)

Unbox n a => Unbox n (Down a)

Unbox n a => Unbox n (Identity a)

Unbox n a => Unbox n (Complex a)

(Unbox n a, Unbox n b) => Unbox n (a, b)

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

(Unbox n a, Unbox n b, Unbox n c) => Unbox n (a, b, c)