Data.Primitive.PrimArray

Types

data PrimArray a

Primitive arrays

Constructors

PrimArray ByteArray#

Instances

Prim a => IsList (PrimArray a)

Associated Types

type Item (PrimArray a) :: *

Methods

fromList :: [Item (PrimArray a)] -> PrimArray a

fromListN :: Int -> [Item (PrimArray a)] -> PrimArray a

toList :: PrimArray a -> [Item (PrimArray a)]

(Eq a, Prim a) => Eq (PrimArray a)

Methods

(==) :: PrimArray a -> PrimArray a -> Bool

(/=) :: PrimArray a -> PrimArray a -> Bool

(Prim a, Show a) => Show (PrimArray a)

Methods

showsPrec :: Int -> PrimArray a -> ShowS

show :: PrimArray a -> String

showList :: [PrimArray a] -> ShowS

Prim a => Semigroup (PrimArray a)

Methods

(<>) :: PrimArray a -> PrimArray a -> PrimArray a

sconcat :: NonEmpty (PrimArray a) -> PrimArray a

stimes :: Integral b => b -> PrimArray a -> PrimArray a

Prim a => Monoid (PrimArray a)

Methods

mempty :: PrimArray a

mappend :: PrimArray a -> PrimArray a -> PrimArray a

mconcat :: [PrimArray a] -> PrimArray a

type Item (PrimArray a)

type Item (PrimArray a) = a

data MutablePrimArray s a

Mutable primitive arrays associated with a primitive state token

Constructors

MutablePrimArray (MutableByteArray# s)

Allocation

newPrimArray :: forall m a. (PrimMonad m, Prim a) => Int -> m (MutablePrimArray (PrimState m) a)

emptyPrimArray :: PrimArray a

singletonPrimArray :: Prim a => a -> PrimArray a

Element Access

readPrimArray :: (Prim a, PrimMonad m) => MutablePrimArray (PrimState m) a -> Int -> m a

writePrimArray :: (Prim a, PrimMonad m) => MutablePrimArray (PrimState m) a -> Int -> a -> m ()

indexPrimArray :: forall a. Prim a => PrimArray a -> Int -> a

Read a primitive value from the array.

Freezing and Thawing

unsafeFreezePrimArray :: PrimMonad m => MutablePrimArray (PrimState m) a -> m (PrimArray a)

Convert a mutable byte array to an immutable one without copying. The array should not be modified after the conversion.

unsafeThawPrimArray :: PrimMonad m => PrimArray a -> m (MutablePrimArray (PrimState m) a)

Convert an immutable array to a mutable one without copying. The original array should not be used after the conversion.

Block Operations

copyPrimArray

Arguments

:: (PrimMonad m, Prim a)

=> MutablePrimArray (PrimState m) a

destination array

-> Int

offset into destination array

-> PrimArray a

source array

-> Int

offset into source array

-> Int

number of bytes to copy

-> m ()

Copy part of an array into another mutable array.

copyMutablePrimArray

Arguments

:: (PrimMonad m, Prim a)

=> MutablePrimArray (PrimState m) a

destination array

-> Int

offset into destination array

-> MutablePrimArray (PrimState m) a

source array

-> Int

offset into source array

-> Int

number of bytes to copy

-> m ()

Copy part of a mutable array into another mutable array. In the case that the destination and source arrays are the same, the regions may overlap.

copyPrimArrayToPtr

Arguments

:: (PrimMonad m, Prim a)

=> Ptr a

destination pointer

-> PrimArray a

source array

-> Int

offset into source array

-> Int

number of prims to copy

-> m ()

Copy a slice of an immutable primitive array to an address. The offset and length are given in elements of type a.

copyPtrToMutablePrimArray :: forall m a. (PrimMonad m, Prim a) => MutablePrimArray (PrimState m) a -> Int -> Ptr a -> Int -> m ()

copyPtrToPrimArray :: forall a. Prim a => Ptr a -> Int -> PrimArray a

setPrimArray

Arguments

:: (Prim a, PrimMonad m)

=> MutablePrimArray (PrimState m) a

array to fill

-> Int

offset into array

-> Int

number of values to fill

-> a

value to fill with

-> m ()

Fill a slice of a mutable byte array with a value.

Information

sameMutablePrimArray :: MutablePrimArray s a -> MutablePrimArray s a -> Bool

Check if the two arrays refer to the same memory block.

getSizeofMutablePrimArray

Arguments

:: (PrimMonad m, Prim a)

=> MutablePrimArray (PrimState m) a

array

-> m Int

Get the size of the mutable array.

sizeofPrimArray :: forall a. Prim a => PrimArray a -> Int