Modulevector-0.13.2.0

Data.Vector.Strict.Mutable

4 types
1 class
70 values

Packagevector-0.13.2.0
Exports75
LicenceBSD-3-Clause
SourcePrimitive.hs

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

valueclone

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

valuecopy

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

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

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

valuefoldM

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

valuefoldM'

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

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

valuefoldl'

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

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

valuefoldr'

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

valuefoldrM

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

valuefoldrM'

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

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

valuefromLazy

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

valuefromMutableArray

:: PrimMonad m
=> MutableArray (PrimState m) a
-> m (MVector (PrimState m) a)

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

valuegenerateM

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

valuegrow

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

valueifoldM

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

valueifoldM'

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

valueifoldl

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

valueifoldl'

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

valueifoldr

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

valueifoldr'

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

valueifoldrM

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

valueifoldrM'

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

valueiforM_

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

valueimapM_

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

valueinit :: MVector s a -> MVector s a

valuelength :: MVector s a -> Int

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

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

valuemodifyM

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

valuemove

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

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

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

valuenextPermutationBy

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

valuenull :: MVector s a -> Bool

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

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

valueprevPermutationBy

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

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

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

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

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

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

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

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

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

valuetail :: MVector s a -> MVector s a

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

valuetoLazy :: MVector s a -> MVector s a

valuetoMutableArray

:: PrimMonad m
=> MVector (PrimState m) a
-> m (MutableArray (PrimState m) a)

valueunsafeCopy

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

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

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

valueunsafeGrow

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

valueunsafeInit :: MVector s a -> MVector s a

valueunsafeModify

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

valueunsafeModifyM

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

valueunsafeMove

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

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

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

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

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

valueunsafeTail :: MVector s a -> MVector s a

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

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

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

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

typetype IOVector = MVector RealWorld

newtypenewtype MVector s a

Constructors

MVector (MVector s a)

Instances1MVector

MVector MVector aDefined in vector-0.13.2.0 · Data.Vector.Strict.Mutable

typetype STVector s = MVector s

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#.