Modulererebase-1.21.2Haskell2010

Data.Vector.Primitive.Mutable

4 types
2 classes
68 values

Packagererebase-1.21.2
Exports75
LanguageHaskell2010
LicenceMIT
SourceTypes.hs

classclass Prim a where

Class of types supporting primitive array operations. This includes interfacing with GC-managed memory (functions suffixed with ByteArray#) and interfacing with unmanaged memory (functions suffixed with Addr#). Endianness is platform-dependent.

Instances77Prim, …

Prim CBoolDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CCharDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CClockDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CDoubleDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CFloatDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CIntDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CIntMaxDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CIntPtrDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CLLongDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CLongDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CPtrdiffDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CSCharDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CSUSecondsDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CShortDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CSigAtomicDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CSizeDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CTimeDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CUCharDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CUIntDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CUIntMaxDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CUIntPtrDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CULLongDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CULongDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CUSecondsDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CUShortDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CWcharDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim IntPtrDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim WordPtrDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim Int16Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim Int32Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim Int64Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim Int8Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CBlkCntDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CBlkSizeDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CCcDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CClockIdDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CDevDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CFsBlkCntDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CFsFilCntDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CGidDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CIdDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CInoDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CKeyDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CModeDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CNlinkDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim COffDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CPidDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CRLimDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CSpeedDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CSsizeDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CTcflagDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CTimerDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CUidDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim FdDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim Word16Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim Word32Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim Word64Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim Word8Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim CharDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim DoubleDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim FloatDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim IntDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim WordDefined in primitive-0.9.1.0 · Data.Primitive.Types
Prim (FunPtr a)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim (Ptr a)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim (StablePtr a)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim a => Prim (Complex a)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim a => Prim (First a)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim a => Prim (Last a)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim a => Prim (Max a)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim a => Prim (Min a)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim a => Prim (Identity a)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim a => Prim (Down a)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim a => Prim (Dual a)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim a => Prim (Product a)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim a => Prim (Sum a)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Prim a => Prim (Const a b)Defined in primitive-0.9.1.0 · Data.Primitive.Types

valuefoldM

:: (PrimMonad m, Prim a)
=> b -> a -> m b
-> b
-> MVector (PrimState m) a
-> m b

valuereplicateM

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

valuefoldrM

:: (PrimMonad m, Prim a)
=> a -> b -> m b
-> b
-> MVector (PrimState m) a
-> m b

valueforM_

:: (PrimMonad m, Prim a)
=> MVector (PrimState m) a
-> a -> m b
-> m ()

valuemapM_

:: (PrimMonad m, Prim a)
=> a -> m b
-> MVector (PrimState m) a
-> m ()

valueswap

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

valuedrop :: Prim a => Int -> MVector s a -> MVector s a

valueinit :: Prim a => MVector s a -> MVector s a

valuereplicate

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

valuesplitAt :: Prim a => Int -> MVector s a -> (MVector s a, MVector s a)

valuetail :: Prim a => MVector s a -> MVector s a

valuetake :: Prim a => Int -> MVector s a -> MVector s a

valueread :: (PrimMonad m, Prim a) => MVector (PrimState m) a -> Int -> m a

valuereadMaybe

:: (PrimMonad m, Prim a)
=> MVector (PrimState m) a
-> Int
-> m (Maybe a)

valuemodify

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

valuefoldl

:: (PrimMonad m, Prim a)
=> b -> a -> b
-> b
-> MVector (PrimState m) a
-> m b

valuefoldl'

:: (PrimMonad m, Prim a)
=> b -> a -> b
-> b
-> MVector (PrimState m) a
-> m b

valuefoldr

:: (PrimMonad m, Prim a)
=> a -> b -> b
-> b
-> MVector (PrimState m) a
-> m b

valuefoldr'

:: (PrimMonad m, Prim a)
=> a -> b -> b
-> b
-> MVector (PrimState m) a
-> m b

valuelength :: Prim a => MVector s a -> Int

valuenull :: Prim a => MVector s a -> Bool

datadata RealWorld

RealWorld is deeply magical. It is primitive, but it is not unlifted (hence ptrArg). We never manipulate values of type RealWorld; it's only used in the type system, to parameterise State#.

valuenew :: (PrimMonad m, Prim a) => Int -> m (MVector (PrimState m) a)

valueunsafeWrite

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

valueunsafeTail :: Prim a => MVector s a -> MVector s a

valuecopy

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

valuefoldM'

:: (PrimMonad m, Prim a)
=> b -> a -> m b
-> b
-> MVector (PrimState m) a
-> m b

valuegenerate

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

valueslice :: Prim a => Int -> Int -> MVector s a -> MVector s a

classclass Monad m => PrimMonad (m :: Type -> Type) where

Class of monads which can perform primitive state-transformer actions.

Associated types

type family PrimState (m :: Type -> Type)
State token type.

Instances18PrimMonad, …

PrimMonad IODefined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad (ST s)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad (ST s)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (MaybeT m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (ExceptT e m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (IdentityT m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (ReaderT r m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (SelectT r m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (StateT s m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (StateT s m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (AccumT w m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (WriterT w m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (WriterT w m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (WriterT w m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (ContT r m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (RWST r w s m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (RWST r w s m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (RWST r w s m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive

datadata MVector s a

Constructors

MVector !Int !Int !(MutableByteArray s)

Instances3MVector, NFData1, NFData

Prim a => MVector MVector aDefined in vector-0.13.2.0 · Data.Vector.Primitive.Mutable
NFData1 (MVector s)Defined in vector-0.13.2.0 · Data.Vector.Primitive.Mutable
NFData (MVector s a)Defined in vector-0.13.2.0 · Data.Vector.Primitive.Mutable

familytype family PrimState (m :: Type -> Type)

State token type.

Instances18PrimState, …

type PrimState IO = RealWorldDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (ST s) = sDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (ST s) = sDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (AccumT w m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (ContT r m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (ExceptT e m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (IdentityT m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (MaybeT m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (RWST r w s m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (RWST r w s m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (RWST r w s m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (ReaderT r m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (SelectT r m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (StateT s m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (StateT s m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (WriterT w m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (WriterT w m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive
type PrimState (WriterT w m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitive

valuegenerateM

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

valueifoldM

:: (PrimMonad m, Prim a)
=> b -> Int -> a -> m b
-> b
-> MVector (PrimState m) a
-> m b

valueifoldM'

:: (PrimMonad m, Prim a)
=> b -> Int -> a -> m b
-> b
-> MVector (PrimState m) a
-> m b

valueifoldl

:: (PrimMonad m, Prim a)
=> b -> Int -> a -> b
-> b
-> MVector (PrimState m) a
-> m b

valueifoldl'

:: (PrimMonad m, Prim a)
=> b -> Int -> a -> b
-> b
-> MVector (PrimState m) a
-> m b

valueifoldr

:: (PrimMonad m, Prim a)
=> Int -> a -> b -> b
-> b
-> MVector (PrimState m) a
-> m b

valueifoldr'

:: (PrimMonad m, Prim a)
=> Int -> a -> b -> b
-> b
-> MVector (PrimState m) a
-> m b

valueiforM_

:: (PrimMonad m, Prim a)
=> MVector (PrimState m) a
-> Int -> a -> m b
-> m ()

valueimapM_

:: (PrimMonad m, Prim a)
=> Int -> a -> m b
-> MVector (PrimState m) a
-> m ()

valueunsafeCopy

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

valueunsafeDrop :: Prim a => Int -> MVector s a -> MVector s a

valueunsafeInit :: Prim a => MVector s a -> MVector s a

valueunsafeSlice :: Prim a => Int -> Int -> MVector s a -> MVector s a

valueunsafeTake :: Prim a => Int -> MVector s a -> MVector s a

valueclone

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

valueset :: (PrimMonad m, Prim a) => MVector (PrimState m) a -> a -> m ()

valuemodifyM

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

valuewrite

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

valueunsafeCast :: (HasCallStack, Prim a, Prim b) => MVector s a -> MVector s b

valueunsafeNew :: (PrimMonad m, Prim a) => Int -> m (MVector (PrimState m) a)

valueclear :: (PrimMonad m, Prim a) => MVector (PrimState m) a -> m ()

valueexchange

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

valuefoldrM'

:: (PrimMonad m, Prim a)
=> a -> b -> m b
-> b
-> MVector (PrimState m) a
-> m b

valuegrow

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

valueifoldrM

:: (PrimMonad m, Prim a)
=> Int -> a -> b -> m b
-> b
-> MVector (PrimState m) a
-> m b

valueifoldrM'

:: (PrimMonad m, Prim a)
=> Int -> a -> b -> m b
-> b
-> MVector (PrimState m) a
-> m b

valuemove

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

valuenextPermutation

:: (PrimMonad m, Ord e, Prim e)
=> MVector (PrimState m) e
-> m Bool

valuenextPermutationBy

:: (PrimMonad m, Prim e)
=> e -> e -> Ordering
-> MVector (PrimState m) e
-> m Bool

valueoverlaps :: Prim a => MVector s a -> MVector s a -> Bool

valueprevPermutation

:: (PrimMonad m, Ord e, Prim e)
=> MVector (PrimState m) e
-> m Bool

valueprevPermutationBy

:: (PrimMonad m, Prim e)
=> e -> e -> Ordering
-> MVector (PrimState m) e
-> m Bool

valueunsafeExchange

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

valueunsafeGrow

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

valueunsafeModify

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

valueunsafeModifyM

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

valueunsafeMove

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

valueunsafeRead :: (PrimMonad m, Prim a) => MVector (PrimState m) a -> Int -> m a

valueunsafeSwap

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

valueunsafeCoerceMVector :: Coercible a b => MVector s a -> MVector s b

typetype IOVector = MVector RealWorld

typetype STVector s = MVector s