Rebase.Data.Vector.Generic.Mutable · rebase-1.21.2

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

valuemodify

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

#

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

#

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

#

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

#

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

#

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

#

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

#

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

#

valuefoldr'

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

#

valuefoldrM

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

#

valuenew

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

#

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

#

valuefoldM

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

#

valuereplicateM

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

#

valuemodifyM

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

#

valueunsafeWrite

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

#

valueunstream

:: (PrimMonad m, MVector v a)
=> Bundle u a
-> m (v (PrimState m) a)

#

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

#

valuecopy

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

#

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

#

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

#

valuefill

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

#

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

#

valueupdate

:: (HasCallStack, PrimMonad m, MVector v a)
=> v (PrimState m) a
-> Bundle u (Int, a)
-> m ()

#

valueread

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

#

valuewrite

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

#

valueclone

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

#

valueswap

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

#

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

#

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

#

valueexchange

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

#

valuefoldM'

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

#

valuefoldrM'

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

#

valuegenerate

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

#

valuegenerateM

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

#

valuegrow

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

#

valueifoldM

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

#

valueifoldM'

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

#

valueifoldl

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

#

valueifoldl'

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

#

valueifoldr

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

#

valueifoldr'

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

#

valueifoldrM

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

#

valueifoldrM'

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

#

valueiforM_

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

#

valueimapM_

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

#

valuemove

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

#

valuenextPermutation

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

#

valuenextPermutationBy

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

#

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

#

valueprevPermutation

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

#

valueprevPermutationBy

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

#

valueslice :: (HasCallStack, MVector v a) => Int -> Int -> v s a -> v s a

#

valueunsafeCopy

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

#

valueunsafeExchange

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

#

valueunsafeGrow

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

#

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

#

valueunsafeModify

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

#

valueunsafeModifyM

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

#

valueunsafeMove

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

#

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

#

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

#

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

#

valueunsafeSwap

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

#

classclass MVector (v :: Type -> Type -> Type) a where

#

Methods

basicLength :: v s a -> Int
basicUnsafeSlice :: Int -> Int -> v s a -> v s a
basicOverlaps :: v s a -> v s a -> Bool
basicUnsafeNew :: Int -> ST s (v s a)
basicInitialize :: v s a -> ST s ()
basicUnsafeReplicate :: Int -> a -> ST s (v s a)
basicUnsafeRead :: v s a -> Int -> ST s a
basicUnsafeWrite :: v s a -> Int -> a -> ST s ()
basicClear :: v s a -> ST s ()
basicSet :: v s a -> a -> ST s ()
basicUnsafeCopy :: v s a -> v s a -> ST s ()
basicUnsafeMove :: v s a -> v s a -> ST s ()
basicUnsafeGrow :: v s a -> Int -> ST s (v s a)

Instances46MVector, …

Storable a => MVector MVector aDefined in vector-0.13.2.0 · Data.Vector.Storable.Mutable
Prim a => MVector MVector aDefined in vector-0.13.2.0 · Data.Vector.Primitive.Mutable
MVector MVector aDefined in vector-0.13.2.0 · Data.Vector.Mutable
MVector MVector aDefined in vector-0.13.2.0 · Data.Vector.Strict.Mutable
MVector MVector AllDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector AnyDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector Int16Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector Int32Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector Int64Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector Int8Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector Word16Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector Word32Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector Word64Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector Word8Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector BoolDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector CharDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector DoubleDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector FloatDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector IntDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector WordDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector ()Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
NFData a => MVector MVector (DoNotUnboxNormalForm a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Prim a => MVector MVector (UnboxViaPrim a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector (DoNotUnboxLazy a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
MVector MVector (DoNotUnboxStrict a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => MVector MVector (Complex a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => MVector MVector (First a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => MVector MVector (Last a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => MVector MVector (Max a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => MVector MVector (Min a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => MVector MVector (WrappedMonoid a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => MVector MVector (Identity a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => MVector MVector (Down a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => MVector MVector (Dual a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => MVector MVector (Product a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => MVector MVector (Sum a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(IsoUnbox a b, Unbox b) => MVector MVector (As a b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b) => MVector MVector (Arg a b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b) => MVector MVector (a, b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox (f a) => MVector MVector (Alt f a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => MVector MVector (Const a b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b, Unbox c) => MVector MVector (a, b, c)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b, Unbox c, Unbox d) => MVector MVector (a, b, c, d)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox (f (g a)) => MVector MVector (Compose f g a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) => MVector MVector (a, b, c, d, e)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) => MVector MVector (a, b, c, d, e, f)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base

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

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