Modulererebase-1.21.2Haskell2010

Data.Vector.Generic.Mutable

1 type
2 classes
88 values

Packagererebase-1.21.2
Exports92
LanguageHaskell2010
LicenceMIT
SourcePrimitive.hs

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)

valuefoldrM

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

valueforM_

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

valuemapM_

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

valueswap

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

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

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)

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

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

valueread

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

valuereadMaybe

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

valuemodify

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

valuefoldl

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

valuefoldl'

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

valuefoldr

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

valuefoldr'

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

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

valuenull :: MVector v a => v 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

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

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 ()

valuefoldM'

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

valuegenerate

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

valueslice :: (HasCallStack, MVector v a) => Int -> Int -> v s a -> v 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

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

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, MVector v a)
=> Int
-> Int -> m a
-> m (v (PrimState m) a)

valueaccum

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

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

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 ()

valueunsafeAccum

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

valueunsafeCopy

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

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

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

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

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

valueunsafeUpdate

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

valueunstablePartition

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

valueupdate

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

valuefill

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

valueclone

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

valueunstreamR

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

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

valuemodifyM

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

valuewrite

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

valuemunstream

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

valuepartitionBundle

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

valuepartitionWithBundle

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

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

valueunstablePartitionBundle

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

valuetransform

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

valuetransformR

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

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

valuefoldrM'

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

valuegrow

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

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

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

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)

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 ()

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

valueunsafeSwap

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

valuefillR

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

valuegrowFront

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

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

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

valuemunstreamR

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

valueunsafeGrowFront

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

valuevunstream

:: (PrimMonad m, Vector v a)
=> Bundle v a
-> m (Mutable v (PrimState m) a)