Modulerio-0.1.25.0Haskell2010

RIO.Vector.Storable.Unsafe

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

import qualified RIO.Vector.Storable.Unsafe as VS'

Contents

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

Synopsis

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 unsafeAccum
value unsafeAccumulate_
value unsafeBackpermute
value unsafeFreeze
value unsafeThaw
value unsafeCopy
value unsafeFromForeignPtr
value unsafeFromForeignPtr0
value unsafeToForeignPtr
value unsafeToForeignPtr0
value unsafeWith

Packagerio-0.1.25.0
Exports24
LanguageHaskell2010
LicenceMIT
SourceUnsafe.hs

Accessors

Indexing

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

valueunsafeHead :: Storable a => Vector a -> a

valueunsafeLast :: Storable a => Vector a -> a

Monadic indexing

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

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

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

Extracting subvectors

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

valueunsafeInit :: Storable a => Vector a -> Vector a

valueunsafeTail :: Storable a => Vector a -> Vector a

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

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

Modifying vectors

Bulk updates

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

valueunsafeUpdate_

:: Storable a
=> Vector a
-> Vector Int
-> Vector a
-> Vector a

Accumulations

valueunsafeAccum

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

valueunsafeAccumulate_

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

Permutations

valueunsafeBackpermute :: Storable a => Vector a -> Vector Int -> Vector a

Conversions

Mutable vectors

valueunsafeFreeze

:: (Storable a, PrimMonad m)
=> MVector (PrimState m) a
-> m (Vector a)

valueunsafeThaw

:: (Storable a, PrimMonad m)
=> Vector a
-> m (MVector (PrimState m) a)

valueunsafeCopy

:: (Storable a, PrimMonad m)
=> MVector (PrimState m) a
-> Vector a
-> m ()

Raw pointers

valueunsafeFromForeignPtr :: Storable a => ForeignPtr a -> Int -> Int -> Vector a

valueunsafeFromForeignPtr0 :: ForeignPtr a -> Int -> Vector a

valueunsafeToForeignPtr :: Vector a -> (ForeignPtr a, Int, Int)

valueunsafeToForeignPtr0 :: Vector a -> (ForeignPtr a, Int)

valueunsafeWith

:: (MonadUnliftIO m, Storable a)
=> Vector a
-> Ptr a -> m b
-> m b

Source#

Lifted version of unsafeWith