Safe Haskell	None
Language	Haskell2010

Data.Vector.Fixed.Unboxed

Contents

Immutable
Mutable
Type classes

Description

Unboxed vectors with fixed length.

Synopsis

data family Vec (n :: Nat) a
type Vec1 = Vec 1
type Vec2 = Vec 2
type Vec3 = Vec 3
type Vec4 = Vec 4
type Vec5 = Vec 5
data family MVec (n :: Nat) s a
class (Arity n, IVector (Vec n) a, MVector (MVec n) a) => Unbox n a

Immutable

data family Vec (n :: Nat) a Source #

Instances

Instances details

Unbox n a => VectorN Vec n a Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Unbox n a => Vector (Vec n) a Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods construct :: Fun (Peano (Dim (Vec n))) a (Vec n a) Source # inspect :: Vec n a -> Fun (Peano (Dim (Vec n))) a b -> b Source # basicIndex :: Vec n a -> Int -> a Source #
Arity n => IVector (Vec n) All Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) All -> m (Vec n All) Source # unsafeThaw :: PrimMonad m => Vec n All -> m (Mutable (Vec n) (PrimState m) All) Source # unsafeIndex :: Vec n All -> Int -> All Source #
Arity n => IVector (Vec n) Any Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Any -> m (Vec n Any) Source # unsafeThaw :: PrimMonad m => Vec n Any -> m (Mutable (Vec n) (PrimState m) Any) Source # unsafeIndex :: Vec n Any -> Int -> Any Source #
Arity n => IVector (Vec n) Double Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Double -> m (Vec n Double) Source # unsafeThaw :: PrimMonad m => Vec n Double -> m (Mutable (Vec n) (PrimState m) Double) Source # unsafeIndex :: Vec n Double -> Int -> Double Source #
Arity n => IVector (Vec n) Float Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Float -> m (Vec n Float) Source # unsafeThaw :: PrimMonad m => Vec n Float -> m (Mutable (Vec n) (PrimState m) Float) Source # unsafeIndex :: Vec n Float -> Int -> Float Source #
Arity n => IVector (Vec n) Char Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Char -> m (Vec n Char) Source # unsafeThaw :: PrimMonad m => Vec n Char -> m (Mutable (Vec n) (PrimState m) Char) Source # unsafeIndex :: Vec n Char -> Int -> Char Source #
Arity n => IVector (Vec n) Word64 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Word64 -> m (Vec n Word64) Source # unsafeThaw :: PrimMonad m => Vec n Word64 -> m (Mutable (Vec n) (PrimState m) Word64) Source # unsafeIndex :: Vec n Word64 -> Int -> Word64 Source #
Arity n => IVector (Vec n) Word32 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Word32 -> m (Vec n Word32) Source # unsafeThaw :: PrimMonad m => Vec n Word32 -> m (Mutable (Vec n) (PrimState m) Word32) Source # unsafeIndex :: Vec n Word32 -> Int -> Word32 Source #
Arity n => IVector (Vec n) Word16 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Word16 -> m (Vec n Word16) Source # unsafeThaw :: PrimMonad m => Vec n Word16 -> m (Mutable (Vec n) (PrimState m) Word16) Source # unsafeIndex :: Vec n Word16 -> Int -> Word16 Source #
Arity n => IVector (Vec n) Word8 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Word8 -> m (Vec n Word8) Source # unsafeThaw :: PrimMonad m => Vec n Word8 -> m (Mutable (Vec n) (PrimState m) Word8) Source # unsafeIndex :: Vec n Word8 -> Int -> Word8 Source #
Arity n => IVector (Vec n) Word Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Word -> m (Vec n Word) Source # unsafeThaw :: PrimMonad m => Vec n Word -> m (Mutable (Vec n) (PrimState m) Word) Source # unsafeIndex :: Vec n Word -> Int -> Word Source #
Arity n => IVector (Vec n) Int64 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Int64 -> m (Vec n Int64) Source # unsafeThaw :: PrimMonad m => Vec n Int64 -> m (Mutable (Vec n) (PrimState m) Int64) Source # unsafeIndex :: Vec n Int64 -> Int -> Int64 Source #
Arity n => IVector (Vec n) Int32 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Int32 -> m (Vec n Int32) Source # unsafeThaw :: PrimMonad m => Vec n Int32 -> m (Mutable (Vec n) (PrimState m) Int32) Source # unsafeIndex :: Vec n Int32 -> Int -> Int32 Source #
Arity n => IVector (Vec n) Int16 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Int16 -> m (Vec n Int16) Source # unsafeThaw :: PrimMonad m => Vec n Int16 -> m (Mutable (Vec n) (PrimState m) Int16) Source # unsafeIndex :: Vec n Int16 -> Int -> Int16 Source #
Arity n => IVector (Vec n) Int8 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Int8 -> m (Vec n Int8) Source # unsafeThaw :: PrimMonad m => Vec n Int8 -> m (Mutable (Vec n) (PrimState m) Int8) Source # unsafeIndex :: Vec n Int8 -> Int -> Int8 Source #
Arity n => IVector (Vec n) Int Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Int -> m (Vec n Int) Source # unsafeThaw :: PrimMonad m => Vec n Int -> m (Mutable (Vec n) (PrimState m) Int) Source # unsafeIndex :: Vec n Int -> Int -> Int Source #
Arity n => IVector (Vec n) Bool Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) Bool -> m (Vec n Bool) Source # unsafeThaw :: PrimMonad m => Vec n Bool -> m (Mutable (Vec n) (PrimState m) Bool) Source # unsafeIndex :: Vec n Bool -> Int -> Bool Source #
Arity n => IVector (Vec n) () Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) () -> m (Vec n ()) Source # unsafeThaw :: PrimMonad m => Vec n () -> m (Mutable (Vec n) (PrimState m) ()) Source # unsafeIndex :: Vec n () -> Int -> () Source #
Unbox n a => IVector (Vec n) (Product a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Product a) -> m (Vec n (Product a)) Source # unsafeThaw :: PrimMonad m => Vec n (Product a) -> m (Mutable (Vec n) (PrimState m) (Product a)) Source # unsafeIndex :: Vec n (Product a) -> Int -> Product a Source #
Unbox n a => IVector (Vec n) (Sum a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Sum a) -> m (Vec n (Sum a)) Source # unsafeThaw :: PrimMonad m => Vec n (Sum a) -> m (Mutable (Vec n) (PrimState m) (Sum a)) Source # unsafeIndex :: Vec n (Sum a) -> Int -> Sum a Source #
Unbox n a => IVector (Vec n) (Dual a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Dual a) -> m (Vec n (Dual a)) Source # unsafeThaw :: PrimMonad m => Vec n (Dual a) -> m (Mutable (Vec n) (PrimState m) (Dual a)) Source # unsafeIndex :: Vec n (Dual a) -> Int -> Dual a Source #
Unbox n a => IVector (Vec n) (Down a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Down a) -> m (Vec n (Down a)) Source # unsafeThaw :: PrimMonad m => Vec n (Down a) -> m (Mutable (Vec n) (PrimState m) (Down a)) Source # unsafeIndex :: Vec n (Down a) -> Int -> Down a Source #
Unbox n a => IVector (Vec n) (Identity a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Identity a) -> m (Vec n (Identity a)) Source # unsafeThaw :: PrimMonad m => Vec n (Identity a) -> m (Mutable (Vec n) (PrimState m) (Identity a)) Source # unsafeIndex :: Vec n (Identity a) -> Int -> Identity a Source #
(Arity n, IVector (Vec n) a) => IVector (Vec n) (Complex a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Complex a) -> m (Vec n (Complex a)) Source # unsafeThaw :: PrimMonad m => Vec n (Complex a) -> m (Mutable (Vec n) (PrimState m) (Complex a)) Source # unsafeIndex :: Vec n (Complex a) -> Int -> Complex a Source #
(Arity n, IVector (Vec n) a, IVector (Vec n) b) => IVector (Vec n) (a, b) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (a, b) -> m (Vec n (a, b)) Source # unsafeThaw :: PrimMonad m => Vec n (a, b) -> m (Mutable (Vec n) (PrimState m) (a, b)) Source # unsafeIndex :: Vec n (a, b) -> Int -> (a, b) Source #
Unbox n a => IVector (Vec n) (Const a b) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (Const a b) -> m (Vec n (Const a b)) Source # unsafeThaw :: PrimMonad m => Vec n (Const a b) -> m (Mutable (Vec n) (PrimState m) (Const a b)) Source # unsafeIndex :: Vec n (Const a b) -> Int -> Const a b Source #
(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) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods unsafeFreeze :: PrimMonad m => Mutable (Vec n) (PrimState m) (a, b, c) -> m (Vec n (a, b, c)) Source # unsafeThaw :: PrimMonad m => Vec n (a, b, c) -> m (Mutable (Vec n) (PrimState m) (a, b, c)) Source # unsafeIndex :: Vec n (a, b, c) -> Int -> (a, b, c) Source #
(Unbox n a, Eq a) => Eq (Vec n a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods (==) :: Vec n a -> Vec n a -> Bool # (/=) :: Vec n a -> Vec n a -> Bool #
(Typeable n, Unbox n a, Data a) => Data (Vec n a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed 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 :: forall r r'. (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) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed 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) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed 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) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed 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) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed 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) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed 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) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods rnf :: Vec n a -> () #
newtype Vec n All Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n All = V_All (Vec n Bool)
newtype Vec n Any Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Any = V_Any (Vec n Bool)
newtype Vec n Double Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Double = V_Double (Vec n Double)
newtype Vec n Float Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Float = V_Float (Vec n Float)
newtype Vec n Char Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Char = V_Char (Vec n Char)
newtype Vec n Word64 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Word64 = V_Word64 (Vec n Word64)
newtype Vec n Word32 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Word32 = V_Word32 (Vec n Word32)
newtype Vec n Word16 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Word16 = V_Word16 (Vec n Word16)
newtype Vec n Word8 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Word8 = V_Word8 (Vec n Word8)
newtype Vec n Word Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Word = V_Word (Vec n Word)
newtype Vec n Int64 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Int64 = V_Int64 (Vec n Int64)
newtype Vec n Int32 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Int32 = V_Int32 (Vec n Int32)
newtype Vec n Int16 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Int16 = V_Int16 (Vec n Int16)
newtype Vec n Int8 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Int8 = V_Int8 (Vec n Int8)
newtype Vec n Int Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Int = V_Int (Vec n Int)
newtype Vec n Bool Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n Bool = V_Bool (Vec n Word8)
data Vec n () Source #
Instance details Defined in Data.Vector.Fixed.Unboxed data Vec n () = V_Unit
newtype Vec n (Product a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n (Product a) = V_Product (Vec n a)
newtype Vec n (Sum a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n (Sum a) = V_Sum (Vec n a)
newtype Vec n (Dual a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n (Dual a) = V_Dual (Vec n a)
newtype Vec n (Down a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n (Down a) = V_Down (Vec n a)
newtype Vec n (Identity a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n (Identity a) = V_Identity (Vec n a)
newtype Vec n (Complex a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n (Complex a) = V_Complex (Vec n (a, a))
data Vec n (a, b) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed data Vec n (a, b) = V_2 !(Vec n a) !(Vec n b)
newtype Vec n (Const a b) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype Vec n (Const a b) = V_Const (Vec n a)
data Vec n (a, b, c) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed data Vec n (a, b, c) = V_3 !(Vec n a) !(Vec n b) !(Vec n c)
type Dim (Vec n) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed type Dim (Vec n) = n
type Mutable (Vec n) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed type Mutable (Vec n) = MVec n

type Vec1 = Vec 1 Source #

type Vec2 = Vec 2 Source #

type Vec3 = Vec 3 Source #

type Vec4 = Vec 4 Source #

type Vec5 = Vec 5 Source #

Mutable

data family MVec (n :: Nat) s a Source #

Instances

Instances details

Arity n => MVector (MVec n) All Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) All -> MVec n (PrimState m) All -> m () Source # move :: PrimMonad m => MVec n (PrimState m) All -> MVec n (PrimState m) All -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) All) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) All -> Int -> m All Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) All -> Int -> All -> m () Source #
Arity n => MVector (MVec n) Any Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Any -> MVec n (PrimState m) Any -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Any -> MVec n (PrimState m) Any -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Any) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Any -> Int -> m Any Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Any -> Int -> Any -> m () Source #
Arity n => MVector (MVec n) Double Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Double -> MVec n (PrimState m) Double -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Double -> MVec n (PrimState m) Double -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Double) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Double -> Int -> m Double Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Double -> Int -> Double -> m () Source #
Arity n => MVector (MVec n) Float Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Float -> MVec n (PrimState m) Float -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Float -> MVec n (PrimState m) Float -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Float) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Float -> Int -> m Float Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Float -> Int -> Float -> m () Source #
Arity n => MVector (MVec n) Char Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Char -> MVec n (PrimState m) Char -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Char -> MVec n (PrimState m) Char -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Char) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Char -> Int -> m Char Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Char -> Int -> Char -> m () Source #
Arity n => MVector (MVec n) Word64 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Word64 -> MVec n (PrimState m) Word64 -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Word64 -> MVec n (PrimState m) Word64 -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Word64) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Word64 -> Int -> m Word64 Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Word64 -> Int -> Word64 -> m () Source #
Arity n => MVector (MVec n) Word32 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Word32 -> MVec n (PrimState m) Word32 -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Word32 -> MVec n (PrimState m) Word32 -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Word32) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Word32 -> Int -> m Word32 Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Word32 -> Int -> Word32 -> m () Source #
Arity n => MVector (MVec n) Word16 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Word16 -> MVec n (PrimState m) Word16 -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Word16 -> MVec n (PrimState m) Word16 -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Word16) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Word16 -> Int -> m Word16 Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Word16 -> Int -> Word16 -> m () Source #
Arity n => MVector (MVec n) Word8 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Word8 -> MVec n (PrimState m) Word8 -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Word8 -> MVec n (PrimState m) Word8 -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Word8) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Word8 -> Int -> m Word8 Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Word8 -> Int -> Word8 -> m () Source #
Arity n => MVector (MVec n) Word Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Word -> MVec n (PrimState m) Word -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Word -> MVec n (PrimState m) Word -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Word) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Word -> Int -> m Word Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Word -> Int -> Word -> m () Source #
Arity n => MVector (MVec n) Int64 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Int64 -> MVec n (PrimState m) Int64 -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Int64 -> MVec n (PrimState m) Int64 -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Int64) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Int64 -> Int -> m Int64 Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Int64 -> Int -> Int64 -> m () Source #
Arity n => MVector (MVec n) Int32 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Int32 -> MVec n (PrimState m) Int32 -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Int32 -> MVec n (PrimState m) Int32 -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Int32) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Int32 -> Int -> m Int32 Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Int32 -> Int -> Int32 -> m () Source #
Arity n => MVector (MVec n) Int16 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Int16 -> MVec n (PrimState m) Int16 -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Int16 -> MVec n (PrimState m) Int16 -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Int16) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Int16 -> Int -> m Int16 Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Int16 -> Int -> Int16 -> m () Source #
Arity n => MVector (MVec n) Int8 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Int8 -> MVec n (PrimState m) Int8 -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Int8 -> MVec n (PrimState m) Int8 -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Int8) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Int8 -> Int -> m Int8 Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Int8 -> Int -> Int8 -> m () Source #
Arity n => MVector (MVec n) Int Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Int -> MVec n (PrimState m) Int -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Int -> MVec n (PrimState m) Int -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Int) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Int -> Int -> m Int Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Int -> Int -> Int -> m () Source #
Arity n => MVector (MVec n) Bool Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) Bool -> MVec n (PrimState m) Bool -> m () Source # move :: PrimMonad m => MVec n (PrimState m) Bool -> MVec n (PrimState m) Bool -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) Bool) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) Bool -> Int -> m Bool Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) Bool -> Int -> Bool -> m () Source #
Arity n => MVector (MVec n) () Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) () -> MVec n (PrimState m) () -> m () Source # move :: PrimMonad m => MVec n (PrimState m) () -> MVec n (PrimState m) () -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) ()) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) () -> Int -> m () Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) () -> Int -> () -> m () Source #
Unbox n a => MVector (MVec n) (Product a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) (Product a) -> MVec n (PrimState m) (Product a) -> m () Source # move :: PrimMonad m => MVec n (PrimState m) (Product a) -> MVec n (PrimState m) (Product a) -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) (Product a)) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) (Product a) -> Int -> m (Product a) Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Product a) -> Int -> Product a -> m () Source #
Unbox n a => MVector (MVec n) (Sum a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) (Sum a) -> MVec n (PrimState m) (Sum a) -> m () Source # move :: PrimMonad m => MVec n (PrimState m) (Sum a) -> MVec n (PrimState m) (Sum a) -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) (Sum a)) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) (Sum a) -> Int -> m (Sum a) Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Sum a) -> Int -> Sum a -> m () Source #
Unbox n a => MVector (MVec n) (Dual a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) (Dual a) -> MVec n (PrimState m) (Dual a) -> m () Source # move :: PrimMonad m => MVec n (PrimState m) (Dual a) -> MVec n (PrimState m) (Dual a) -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) (Dual a)) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) (Dual a) -> Int -> m (Dual a) Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Dual a) -> Int -> Dual a -> m () Source #
Unbox n a => MVector (MVec n) (Down a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) (Down a) -> MVec n (PrimState m) (Down a) -> m () Source # move :: PrimMonad m => MVec n (PrimState m) (Down a) -> MVec n (PrimState m) (Down a) -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) (Down a)) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) (Down a) -> Int -> m (Down a) Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Down a) -> Int -> Down a -> m () Source #
Unbox n a => MVector (MVec n) (Identity a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) (Identity a) -> MVec n (PrimState m) (Identity a) -> m () Source # move :: PrimMonad m => MVec n (PrimState m) (Identity a) -> MVec n (PrimState m) (Identity a) -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) (Identity a)) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) (Identity a) -> Int -> m (Identity a) Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Identity a) -> Int -> Identity a -> m () Source #
(Arity n, MVector (MVec n) a) => MVector (MVec n) (Complex a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) (Complex a) -> MVec n (PrimState m) (Complex a) -> m () Source # move :: PrimMonad m => MVec n (PrimState m) (Complex a) -> MVec n (PrimState m) (Complex a) -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) (Complex a)) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) (Complex a) -> Int -> m (Complex a) Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Complex a) -> Int -> Complex a -> m () Source #
(Arity n, MVector (MVec n) a, MVector (MVec n) b) => MVector (MVec n) (a, b) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed Methods copy :: PrimMonad m => MVec n (PrimState m) (a, b) -> MVec n (PrimState m) (a, b) -> m () Source # move :: PrimMonad m => MVec n (PrimState m) (a, b) -> MVec n (PrimState m) (a, b) -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) (a, b)) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) (a, b) -> Int -> m (a, b) Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) (a, b) -> Int -> (a, b) -> m () Source #
Unbox n a => MVector (MVec n) (Const a b) Source #
Instance details 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 () Source # move :: PrimMonad m => MVec n (PrimState m) (Const a b) -> MVec n (PrimState m) (Const a b) -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) (Const a b)) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) (Const a b) -> Int -> m (Const a b) Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) (Const a b) -> Int -> Const a b -> m () Source #
(Arity n, MVector (MVec n) a, MVector (MVec n) b, MVector (MVec n) c) => MVector (MVec n) (a, b, c) Source #
Instance details 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 () Source # move :: PrimMonad m => MVec n (PrimState m) (a, b, c) -> MVec n (PrimState m) (a, b, c) -> m () Source # new :: PrimMonad m => m (MVec n (PrimState m) (a, b, c)) Source # unsafeRead :: PrimMonad m => MVec n (PrimState m) (a, b, c) -> Int -> m (a, b, c) Source # unsafeWrite :: PrimMonad m => MVec n (PrimState m) (a, b, c) -> Int -> (a, b, c) -> m () Source #
newtype MVec n s All Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s All = MV_All (MVec n s Bool)
newtype MVec n s Any Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Any = MV_Any (MVec n s Bool)
newtype MVec n s Double Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Double = MV_Double (MVec n s Double)
newtype MVec n s Float Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Float = MV_Float (MVec n s Float)
newtype MVec n s Char Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Char = MV_Char (MVec n s Char)
newtype MVec n s Word64 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Word64 = MV_Word64 (MVec n s Word64)
newtype MVec n s Word32 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Word32 = MV_Word32 (MVec n s Word32)
newtype MVec n s Word16 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Word16 = MV_Word16 (MVec n s Word16)
newtype MVec n s Word8 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Word8 = MV_Word8 (MVec n s Word8)
newtype MVec n s Word Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Word = MV_Word (MVec n s Word)
newtype MVec n s Int64 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Int64 = MV_Int64 (MVec n s Int64)
newtype MVec n s Int32 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Int32 = MV_Int32 (MVec n s Int32)
newtype MVec n s Int16 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Int16 = MV_Int16 (MVec n s Int16)
newtype MVec n s Int8 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Int8 = MV_Int8 (MVec n s Int8)
newtype MVec n s Int Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Int = MV_Int (MVec n s Int)
newtype MVec n s Bool Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s Bool = MV_Bool (MVec n s Word8)
data MVec n s () Source #
Instance details Defined in Data.Vector.Fixed.Unboxed data MVec n s () = MV_Unit
newtype MVec n s (Product a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s (Product a) = MV_Product (MVec n s a)
newtype MVec n s (Sum a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s (Sum a) = MV_Sum (MVec n s a)
newtype MVec n s (Dual a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s (Dual a) = MV_Dual (MVec n s a)
newtype MVec n s (Down a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s (Down a) = MV_Down (MVec n s a)
newtype MVec n s (Identity a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s (Identity a) = MV_Identity (MVec n s a)
newtype MVec n s (Complex a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s (Complex a) = MV_Complex (MVec n s (a, a))
data MVec n s (a, b) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed data MVec n s (a, b) = MV_2 !(MVec n s a) !(MVec n s b)
newtype MVec n s (Const a b) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed newtype MVec n s (Const a b) = MV_Const (MVec n s a)
data MVec n s (a, b, c) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed 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) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed type DimM (MVec n) = n

Type classes

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

Instances

Instances details

Arity n => Unbox n All Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Any Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Double Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Float Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Char Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Word64 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Word32 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Word16 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Word8 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Word Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Int64 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Int32 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Int16 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Int8 Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Int Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n Bool Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Arity n => Unbox n () Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Unbox n a => Unbox n (Product a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Unbox n a => Unbox n (Sum a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Unbox n a => Unbox n (Dual a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Unbox n a => Unbox n (Down a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Unbox n a => Unbox n (Identity a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Unbox n a => Unbox n (Complex a) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
(Unbox n a, Unbox n b) => Unbox n (a, b) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
Unbox n a => Unbox n (Const a b) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed
(Unbox n a, Unbox n b, Unbox n c) => Unbox n (a, b, c) Source #
Instance details Defined in Data.Vector.Fixed.Unboxed