Modulerio-0.1.25.0Haskell2010

RIO.Vector.Unsafe

Generic Vector interface unsafe functions. These perform no bounds checking, and may cause segmentation faults etc.! Import as:

import qualified RIO.Vector.Unsafe as V'

Contents

Immutable vectors
Accessors
Indexing
Monadic indexing
Extracting subvectors
Modifying vectors
Bulk updates
Accumulations
Permutations
Conversions
Mutable vectors

Synopsis

class Vector
value unsafeIndex
value unsafeHead
value unsafeLast
value unsafeIndexM
value unsafeHeadM
value unsafeLastM
value unsafeSlice
value unsafeInit
value unsafeTail
value unsafeTake
value unsafeDrop
value unsafeUpd
value unsafeUpdate
value unsafeUpdate_
value unsafeAccum
value unsafeAccumulate
value unsafeAccumulate_
value unsafeBackpermute
value unsafeFreeze
value unsafeThaw
value unsafeCopy

Packagerio-0.1.25.0
Exports22
LanguageHaskell2010
LicenceMIT
SourceUnsafe.hs

Immutable vectors

classclass MVector (Mutable v) a => Vector (v :: Type -> Type) a where

Methods

basicUnsafeFreeze :: Mutable v s a -> ST s (v a)
basicUnsafeThaw :: v a -> ST s (Mutable v s a)
basicLength :: v a -> Int
basicUnsafeSlice :: Int -> Int -> v a -> v a
basicUnsafeIndexM :: v a -> Int -> Box a
basicUnsafeCopy :: Mutable v s a -> v a -> ST s ()
elemseq :: v a -> a -> b -> b

Instances46Vector, …

Storable a => Vector Vector aDefined in vector-0.13.2.0 · Data.Vector.Storable
Prim a => Vector Vector aDefined in vector-0.13.2.0 · Data.Vector.Primitive
Vector Vector aDefined in vector-0.13.2.0 · Data.Vector
Vector Vector aDefined in vector-0.13.2.0 · Data.Vector.Strict
Vector Vector AllDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector AnyDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Int16Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Int32Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Int64Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Int8Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector BoolDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector CharDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector DoubleDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector FloatDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector IntDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector WordDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Word16Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Word32Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Word64Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Word8Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector ()Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
NFData a => Vector Vector (DoNotUnboxNormalForm a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Prim a => Vector Vector (UnboxViaPrim a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector (DoNotUnboxLazy a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector (DoNotUnboxStrict a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Complex a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (First a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Last a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Max a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Min a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (WrappedMonoid a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Identity a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Down a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Dual a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Product a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Sum a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(IsoUnbox a b, Unbox b) => Vector Vector (As a b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b) => Vector Vector (Arg a b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b) => Vector Vector (a, b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox (f a) => Vector Vector (Alt f a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Const a b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b, Unbox c) => Vector Vector (a, b, c)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b, Unbox c, Unbox d) => Vector Vector (a, b, c, d)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox (f (g a)) => Vector Vector (Compose f g a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) => Vector Vector (a, b, c, d, e)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) => Vector Vector (a, b, c, d, e, f)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base

Accessors

Indexing

valueunsafeIndex :: Vector v a => v a -> Int -> a

valueunsafeHead :: Vector v a => v a -> a

valueunsafeLast :: Vector v a => v a -> a

Monadic indexing

valueunsafeIndexM :: (Vector v a, Monad m) => v a -> Int -> m a

valueunsafeHeadM :: (Vector v a, Monad m) => v a -> m a

valueunsafeLastM :: (Vector v a, Monad m) => v a -> m a

Extracting subvectors

valueunsafeSlice :: Vector v a => Int -> Int -> v a -> v a

valueunsafeInit :: Vector v a => v a -> v a

valueunsafeTail :: Vector v a => v a -> v a

valueunsafeTake :: Vector v a => Int -> v a -> v a

valueunsafeDrop :: Vector v a => Int -> v a -> v a

Modifying vectors

Bulk updates

valueunsafeUpd :: Vector v a => v a -> [(Int, a)] -> v a

valueunsafeUpdate :: (Vector v a, Vector v (Int, a)) => v a -> v (Int, a) -> v a

valueunsafeUpdate_ :: (Vector v a, Vector v Int) => v a -> v Int -> v a -> v a

Accumulations

valueunsafeAccum :: Vector v a => (a -> b -> a) -> v a -> [(Int, b)] -> v a

valueunsafeAccumulate

:: (Vector v a, Vector v (Int, b))
=> a -> b -> a
-> v a
-> v (Int, b)
-> v a

valueunsafeAccumulate_

:: (Vector v a, Vector v Int, Vector v b)
=> a -> b -> a
-> v a
-> v Int
-> v b
-> v a

Permutations

valueunsafeBackpermute :: (Vector v a, Vector v Int) => v a -> v Int -> v a

Conversions

Mutable vectors

valueunsafeFreeze

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

valueunsafeThaw

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

valueunsafeCopy

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