Modulevector-0.13.2.0

Data.Vector.Strict.Mutable

Synopsis

value clear
value clone
value copy
value drop
value exchange
value foldM
value foldM'
value foldl
value foldl'
value foldr
value foldr'
value foldrM
value foldrM'
value forM_
value fromLazy
value fromMutableArray
value generate
value generateM
value grow
value ifoldM
value ifoldM'
value ifoldl
value ifoldl'
value ifoldr
value ifoldr'
value ifoldrM
value ifoldrM'
value iforM_
value imapM_
value init
value length
value mapM_
value modify
value modifyM
value move
value new
value nextPermutation
value nextPermutationBy
value null
value overlaps
value prevPermutation
value prevPermutationBy
value read
value readMaybe
value replicate
value replicateM
value set
value slice
value splitAt
value swap
value tail
value take
value toLazy
value toMutableArray
value unsafeCopy
value unsafeDrop
value unsafeExchange
value unsafeGrow
value unsafeInit
value unsafeModify
value unsafeModifyM
value unsafeMove
value unsafeNew
value unsafeRead
value unsafeSlice
value unsafeSwap
value unsafeTail
value unsafeTake
value unsafeWrite
value write
class PrimMonad
type IOVector
newtype MVector
type STVector
data RealWorld

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

Source#

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