Modulevector-0.13.2.0

Data.Vector.Generic.Mutable

Synopsis

value accum
value clear
value clone
value copy
value drop
value exchange
value fill
value fillR
value foldM
value foldM'
value foldl
value foldl'
value foldr
value foldr'
value foldrM
value foldrM'
value forM_
value generate
value generateM
value grow
value growFront
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 mstream
value mstreamR
value munstream
value munstreamR
value new
value nextPermutation
value nextPermutationBy
value null
value overlaps
value partitionBundle
value partitionWithBundle
value prevPermutation
value prevPermutationBy
value read
value readMaybe
value replicate
value replicateM
value reverse
value set
value slice
value splitAt
value swap
value tail
value take
value transform
value transformR
value unsafeAccum
value unsafeCopy
value unsafeDrop
value unsafeExchange
value unsafeGrow
value unsafeGrowFront
value unsafeInit
value unsafeModify
value unsafeModifyM
value unsafeMove
value unsafeNew
value unsafeRead
value unsafeSlice
value unsafeSwap
value unsafeTail
value unsafeTake
value unsafeUpdate
value unsafeWrite
value unstablePartition
value unstablePartitionBundle
value unstream
value unstreamR
value update
value vunstream
value write
class PrimMonad
class MVector
data RealWorld

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

valueaccum

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

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

valueclone

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

valuecopy

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

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

valueexchange

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

valuefill

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

valuefillR

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

valuefoldM

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

valuefoldM'

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

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

valuefoldrM

:: (PrimMonad m, MVector v a)
=> a -> b -> 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

valueforM_

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

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)

valuegrowFront

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

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

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

valuemapM_

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

valuemodify

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

valuemodifyM

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

valuemove

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

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

valuemunstream

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

valuemunstreamR

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

valuenew

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

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

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

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

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)

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

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)

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

valuereplicateM

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

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

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

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

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

valueswap

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

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

valuetake :: MVector v a => Int -> v s a -> v s 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)

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

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)

valueunsafeGrowFront

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

valueunsafeTail :: MVector v a => 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 ()

valueunsafeWrite

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

valueunstablePartition

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

valueunstablePartitionBundle

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

valueunstream

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

valueunstreamR

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

valueupdate

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

valuevunstream

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

valuewrite

:: (HasCallStack, PrimMonad m, MVector v a)
=> v (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

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

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