Copyright | (c) Roman Leshchinskiy 2009-2010 Alexey Kuleshevich 2020-2022 Aleksey Khudyakov 2020-2022 Andrew Lelechenko 2020-2022 |
---|---|
License | BSD-style |
Maintainer | Haskell Libraries Team <libraries@haskell.org> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Data.Vector.Storable.Mutable
Description
Mutable vectors based on Storable.
Synopsis
- data MVector s a = MVector !Int !(ForeignPtr a)
- type IOVector = MVector RealWorld
- type STVector s = MVector s
- length :: Storable a => MVector s a -> Int
- null :: Storable a => MVector s a -> Bool
- slice :: Storable a => Int -> Int -> MVector s a -> MVector s a
- init :: Storable a => MVector s a -> MVector s a
- tail :: Storable a => MVector s a -> MVector s a
- take :: Storable a => Int -> MVector s a -> MVector s a
- drop :: Storable a => Int -> MVector s a -> MVector s a
- splitAt :: Storable a => Int -> MVector s a -> (MVector s a, MVector s a)
- unsafeSlice :: Storable a => Int -> Int -> MVector s a -> MVector s a
- unsafeInit :: Storable a => MVector s a -> MVector s a
- unsafeTail :: Storable a => MVector s a -> MVector s a
- unsafeTake :: Storable a => Int -> MVector s a -> MVector s a
- unsafeDrop :: Storable a => Int -> MVector s a -> MVector s a
- overlaps :: Storable a => MVector s a -> MVector s a -> Bool
- new :: (PrimMonad m, Storable a) => Int -> m (MVector (PrimState m) a)
- unsafeNew :: (PrimMonad m, Storable a) => Int -> m (MVector (PrimState m) a)
- replicate :: (PrimMonad m, Storable a) => Int -> a -> m (MVector (PrimState m) a)
- replicateM :: (PrimMonad m, Storable a) => Int -> m a -> m (MVector (PrimState m) a)
- generate :: (PrimMonad m, Storable a) => Int -> (Int -> a) -> m (MVector (PrimState m) a)
- generateM :: (PrimMonad m, Storable a) => Int -> (Int -> m a) -> m (MVector (PrimState m) a)
- clone :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> m (MVector (PrimState m) a)
- grow :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> m (MVector (PrimState m) a)
- unsafeGrow :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> m (MVector (PrimState m) a)
- clear :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> m ()
- read :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> m a
- readMaybe :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> m (Maybe a)
- write :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> a -> m ()
- modify :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> (a -> a) -> Int -> m ()
- modifyM :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> (a -> m a) -> Int -> m ()
- swap :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> Int -> m ()
- exchange :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> a -> m a
- unsafeRead :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> m a
- unsafeWrite :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> a -> m ()
- unsafeModify :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> (a -> a) -> Int -> m ()
- unsafeModifyM :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> (a -> m a) -> Int -> m ()
- unsafeSwap :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> Int -> m ()
- unsafeExchange :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> a -> m a
- mapM_ :: (PrimMonad m, Storable a) => (a -> m b) -> MVector (PrimState m) a -> m ()
- imapM_ :: (PrimMonad m, Storable a) => (Int -> a -> m b) -> MVector (PrimState m) a -> m ()
- forM_ :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> (a -> m b) -> m ()
- iforM_ :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> (Int -> a -> m b) -> m ()
- foldl :: (PrimMonad m, Storable a) => (b -> a -> b) -> b -> MVector (PrimState m) a -> m b
- foldl' :: (PrimMonad m, Storable a) => (b -> a -> b) -> b -> MVector (PrimState m) a -> m b
- foldM :: (PrimMonad m, Storable a) => (b -> a -> m b) -> b -> MVector (PrimState m) a -> m b
- foldM' :: (PrimMonad m, Storable a) => (b -> a -> m b) -> b -> MVector (PrimState m) a -> m b
- foldr :: (PrimMonad m, Storable a) => (a -> b -> b) -> b -> MVector (PrimState m) a -> m b
- foldr' :: (PrimMonad m, Storable a) => (a -> b -> b) -> b -> MVector (PrimState m) a -> m b
- foldrM :: (PrimMonad m, Storable a) => (a -> b -> m b) -> b -> MVector (PrimState m) a -> m b
- foldrM' :: (PrimMonad m, Storable a) => (a -> b -> m b) -> b -> MVector (PrimState m) a -> m b
- ifoldl :: (PrimMonad m, Storable a) => (b -> Int -> a -> b) -> b -> MVector (PrimState m) a -> m b
- ifoldl' :: (PrimMonad m, Storable a) => (b -> Int -> a -> b) -> b -> MVector (PrimState m) a -> m b
- ifoldM :: (PrimMonad m, Storable a) => (b -> Int -> a -> m b) -> b -> MVector (PrimState m) a -> m b
- ifoldM' :: (PrimMonad m, Storable a) => (b -> Int -> a -> m b) -> b -> MVector (PrimState m) a -> m b
- ifoldr :: (PrimMonad m, Storable a) => (Int -> a -> b -> b) -> b -> MVector (PrimState m) a -> m b
- ifoldr' :: (PrimMonad m, Storable a) => (Int -> a -> b -> b) -> b -> MVector (PrimState m) a -> m b
- ifoldrM :: (PrimMonad m, Storable a) => (Int -> a -> b -> m b) -> b -> MVector (PrimState m) a -> m b
- ifoldrM' :: (PrimMonad m, Storable a) => (Int -> a -> b -> m b) -> b -> MVector (PrimState m) a -> m b
- nextPermutation :: (PrimMonad m, Storable e, Ord e) => MVector (PrimState m) e -> m Bool
- set :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> a -> m ()
- copy :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> MVector (PrimState m) a -> m ()
- move :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> MVector (PrimState m) a -> m ()
- unsafeCopy :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> MVector (PrimState m) a -> m ()
- unsafeMove :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> MVector (PrimState m) a -> m ()
- unsafeCast :: forall a b s. (Storable a, Storable b) => MVector s a -> MVector s b
- unsafeCoerceMVector :: Coercible a b => MVector s a -> MVector s b
- unsafeFromForeignPtr :: Storable a => ForeignPtr a -> Int -> Int -> MVector s a
- unsafeFromForeignPtr0 :: ForeignPtr a -> Int -> MVector s a
- unsafeToForeignPtr :: MVector s a -> (ForeignPtr a, Int, Int)
- unsafeToForeignPtr0 :: MVector s a -> (ForeignPtr a, Int)
- unsafeWith :: Storable a => IOVector a -> (Ptr a -> IO b) -> IO b
- class Storable a
- class Monad m => PrimMonad (m :: Type -> Type)
- type family PrimState (m :: Type -> Type)
- data RealWorld
Mutable vectors of Storable
types
Mutable Storable
-based vectors.
Constructors
MVector !Int !(ForeignPtr a) |
Instances
Storable a => MVector MVector a # | |
Defined in Data.Vector.Storable.Mutable Methods basicLength :: MVector s a -> Int # basicUnsafeSlice :: Int -> Int -> MVector s a -> MVector s a # basicOverlaps :: MVector s a -> MVector s a -> Bool # basicUnsafeNew :: Int -> ST s (MVector s a) # basicInitialize :: MVector s a -> ST s () # basicUnsafeReplicate :: Int -> a -> ST s (MVector s a) # basicUnsafeRead :: MVector s a -> Int -> ST s a # basicUnsafeWrite :: MVector s a -> Int -> a -> ST s () # basicClear :: MVector s a -> ST s () # basicSet :: MVector s a -> a -> ST s () # basicUnsafeCopy :: MVector s a -> MVector s a -> ST s () # basicUnsafeMove :: MVector s a -> MVector s a -> ST s () # basicUnsafeGrow :: MVector s a -> Int -> ST s (MVector s a) # | |
NFData1 (MVector s) # | |
Defined in Data.Vector.Storable.Mutable | |
NFData (MVector s a) # | |
Defined in Data.Vector.Storable.Mutable |
Accessors
Length information
Extracting subvectors
Yield a part of the mutable vector without copying it. The vector must
contain at least i+n
elements.
init :: Storable a => MVector s a -> MVector s a #
Drop the last element of the mutable vector without making a copy. If the vector is empty, an exception is thrown.
tail :: Storable a => MVector s a -> MVector s a #
Drop the first element of the mutable vector without making a copy. If the vector is empty, an exception is thrown.
take :: Storable a => Int -> MVector s a -> MVector s a #
Take the n
first elements of the mutable vector without making a
copy. For negative n
, the empty vector is returned. If n
is larger
than the vector's length, the vector is returned unchanged.
drop :: Storable a => Int -> MVector s a -> MVector s a #
Drop the n
first element of the mutable vector without making a
copy. For negative n
, the vector is returned unchanged. If n
is
larger than the vector's length, the empty vector is returned.
Yield a part of the mutable vector without copying it. No bounds checks are performed.
unsafeTake :: Storable a => Int -> MVector s a -> MVector s a #
Unsafe variant of take
. If n
is out of range, it will
simply create an invalid slice that likely violate memory safety.
unsafeDrop :: Storable a => Int -> MVector s a -> MVector s a #
Unsafe variant of drop
. If n
is out of range, it will
simply create an invalid slice that likely violate memory safety.
Overlapping
Construction
Initialisation
new :: (PrimMonad m, Storable a) => Int -> m (MVector (PrimState m) a) #
Create a mutable vector of the given length.
unsafeNew :: (PrimMonad m, Storable a) => Int -> m (MVector (PrimState m) a) #
Create a mutable vector of the given length. The vector content is uninitialized, which means it is filled with whatever the underlying memory buffer happens to contain.
Since: 0.5
replicate :: (PrimMonad m, Storable a) => Int -> a -> m (MVector (PrimState m) a) #
Create a mutable vector of the given length (0 if the length is negative) and fill it with an initial value.
replicateM :: (PrimMonad m, Storable a) => Int -> m a -> m (MVector (PrimState m) a) #
Create a mutable vector of the given length (0 if the length is negative) and fill it with values produced by repeatedly executing the monadic action.
generate :: (PrimMonad m, Storable a) => Int -> (Int -> a) -> m (MVector (PrimState m) a) #
O(n) Create a mutable vector of the given length (0 if the length is negative) and fill it with the results of applying the function to each index. Iteration starts at index 0.
Since: 0.12.3.0
generateM :: (PrimMonad m, Storable a) => Int -> (Int -> m a) -> m (MVector (PrimState m) a) #
O(n) Create a mutable vector of the given length (0 if the length is negative) and fill it with the results of applying the monadic function to each index. Iteration starts at index 0.
Since: 0.12.3.0
clone :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> m (MVector (PrimState m) a) #
Create a copy of a mutable vector.
Growing
grow :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> m (MVector (PrimState m) a) #
Grow a storable vector by the given number of elements. The number must be
non-negative. This has the same semantics as grow
for generic vectors.
Examples
>>>
import qualified Data.Vector.Storable as VS
>>>
import qualified Data.Vector.Storable.Mutable as MVS
>>>
mv <- VS.thaw $ VS.fromList ([10, 20, 30] :: [Int])
>>>
mv' <- MVS.grow mv 2
Extra memory at the end of the newly allocated vector is initialized to 0
bytes, which for Storable
instances will usually correspond to some default
value for a particular type, e.g. 0
for Int
, False
for Bool
,
etc. However, if unsafeGrow
was used instead, this would not have been
guaranteed and some garbage would be there instead.
>>>
VS.freeze mv'
[10,20,30,0,0]
Having the extra space we can write new values in there:
>>>
MVS.write mv' 3 999
>>>
VS.freeze mv'
[10,20,30,999,0]
It is important to note that the source mutable vector is not affected when the newly allocated one is mutated.
>>>
MVS.write mv' 2 888
>>>
VS.freeze mv'
[10,20,888,999,0]>>>
VS.freeze mv
[10,20,30]
Since: 0.5
unsafeGrow :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> m (MVector (PrimState m) a) #
Grow a vector by the given number of elements. The number must be non-negative, but
this is not checked. This has the same semantics as unsafeGrow
for generic vectors.
Since: 0.5
Restricting memory usage
clear :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> m () #
Reset all elements of the vector to some undefined value, clearing all references to external objects. This is a noop.
Accessing individual elements
read :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> m a #
Yield the element at the given position. Will throw an exception if the index is out of range.
Examples
>>>
import qualified Data.Vector.Storable.Mutable as MVS
>>>
v <- MVS.generate 10 (\x -> x*x)
>>>
MVS.read v 3
9
readMaybe :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> m (Maybe a) #
Yield the element at the given position. Returns Nothing
if
the index is out of range.
Examples
>>>
import qualified Data.Vector.Storable.Mutable as MVS
>>>
v <- MVS.generate 10 (\x -> x*x)
>>>
MVS.readMaybe v 3
Just 9>>>
MVS.readMaybe v 13
Nothing
Since: 0.13
write :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> a -> m () #
Replace the element at the given position.
modify :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> (a -> a) -> Int -> m () #
Modify the element at the given position.
modifyM :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> (a -> m a) -> Int -> m () #
Modify the element at the given position using a monadic function.
Since: 0.12.3.0
swap :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> Int -> m () #
Swap the elements at the given positions.
exchange :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> a -> m a #
Replace the element at the given position and return the old element.
unsafeRead :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> m a #
Yield the element at the given position. No bounds checks are performed.
unsafeWrite :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> a -> m () #
Replace the element at the given position. No bounds checks are performed.
unsafeModify :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> (a -> a) -> Int -> m () #
Modify the element at the given position. No bounds checks are performed.
unsafeModifyM :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> (a -> m a) -> Int -> m () #
Modify the element at the given position using a monadic function. No bounds checks are performed.
Since: 0.12.3.0
unsafeSwap :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> Int -> m () #
Swap the elements at the given positions. No bounds checks are performed.
unsafeExchange :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> a -> m a #
Replace the element at the given position and return the old element. No bounds checks are performed.
Folds
mapM_ :: (PrimMonad m, Storable a) => (a -> m b) -> MVector (PrimState m) a -> m () #
O(n) Apply the monadic action to every element of the vector, discarding the results.
Since: 0.12.3.0
imapM_ :: (PrimMonad m, Storable a) => (Int -> a -> m b) -> MVector (PrimState m) a -> m () #
O(n) Apply the monadic action to every element of the vector and its index, discarding the results.
Since: 0.12.3.0
forM_ :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> (a -> m b) -> m () #
O(n) Apply the monadic action to every element of the vector,
discarding the results. It's the same as flip mapM_
.
Since: 0.12.3.0
iforM_ :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> (Int -> a -> m b) -> m () #
O(n) Apply the monadic action to every element of the vector
and its index, discarding the results. It's the same as flip imapM_
.
Since: 0.12.3.0
foldl :: (PrimMonad m, Storable a) => (b -> a -> b) -> b -> MVector (PrimState m) a -> m b #
O(n) Pure left fold.
Since: 0.12.3.0
foldl' :: (PrimMonad m, Storable a) => (b -> a -> b) -> b -> MVector (PrimState m) a -> m b #
O(n) Pure left fold with strict accumulator.
Since: 0.12.3.0
foldM :: (PrimMonad m, Storable a) => (b -> a -> m b) -> b -> MVector (PrimState m) a -> m b #
O(n) Monadic fold.
Since: 0.12.3.0
foldM' :: (PrimMonad m, Storable a) => (b -> a -> m b) -> b -> MVector (PrimState m) a -> m b #
O(n) Monadic fold with strict accumulator.
Since: 0.12.3.0
foldr :: (PrimMonad m, Storable a) => (a -> b -> b) -> b -> MVector (PrimState m) a -> m b #
O(n) Pure right fold.
Since: 0.12.3.0
foldr' :: (PrimMonad m, Storable a) => (a -> b -> b) -> b -> MVector (PrimState m) a -> m b #
O(n) Pure right fold with strict accumulator.
Since: 0.12.3.0
foldrM :: (PrimMonad m, Storable a) => (a -> b -> m b) -> b -> MVector (PrimState m) a -> m b #
O(n) Monadic right fold.
Since: 0.12.3.0
foldrM' :: (PrimMonad m, Storable a) => (a -> b -> m b) -> b -> MVector (PrimState m) a -> m b #
O(n) Monadic right fold with strict accumulator.
Since: 0.12.3.0
ifoldl :: (PrimMonad m, Storable a) => (b -> Int -> a -> b) -> b -> MVector (PrimState m) a -> m b #
O(n) Pure left fold using a function applied to each element and its index.
Since: 0.12.3.0
ifoldl' :: (PrimMonad m, Storable a) => (b -> Int -> a -> b) -> b -> MVector (PrimState m) a -> m b #
O(n) Pure left fold with strict accumulator using a function applied to each element and its index.
Since: 0.12.3.0
ifoldM :: (PrimMonad m, Storable a) => (b -> Int -> a -> m b) -> b -> MVector (PrimState m) a -> m b #
O(n) Monadic fold using a function applied to each element and its index.
Since: 0.12.3.0
ifoldM' :: (PrimMonad m, Storable a) => (b -> Int -> a -> m b) -> b -> MVector (PrimState m) a -> m b #
O(n) Monadic fold with strict accumulator using a function applied to each element and its index.
Since: 0.12.3.0
ifoldr :: (PrimMonad m, Storable a) => (Int -> a -> b -> b) -> b -> MVector (PrimState m) a -> m b #
O(n) Pure right fold using a function applied to each element and its index.
Since: 0.12.3.0
ifoldr' :: (PrimMonad m, Storable a) => (Int -> a -> b -> b) -> b -> MVector (PrimState m) a -> m b #
O(n) Pure right fold with strict accumulator using a function applied to each element and its index.
Since: 0.12.3.0
ifoldrM :: (PrimMonad m, Storable a) => (Int -> a -> b -> m b) -> b -> MVector (PrimState m) a -> m b #
O(n) Monadic right fold using a function applied to each element and its index.
Since: 0.12.3.0
ifoldrM' :: (PrimMonad m, Storable a) => (Int -> a -> b -> m b) -> b -> MVector (PrimState m) a -> m b #
O(n) Monadic right fold with strict accumulator using a function applied to each element and its index.
Since: 0.12.3.0
Modifying vectors
nextPermutation :: (PrimMonad m, Storable e, Ord e) => MVector (PrimState m) e -> m Bool #
Compute the (lexicographically) next permutation of the given vector in-place. Returns False when the input is the last permutation.
Filling and copying
set :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> a -> m () #
Set all elements of the vector to the given value.
Arguments
:: (PrimMonad m, Storable a) | |
=> MVector (PrimState m) a | target |
-> MVector (PrimState m) a | source |
-> m () |
Copy a vector. The two vectors must have the same length and may not overlap.
Arguments
:: (PrimMonad m, Storable a) | |
=> MVector (PrimState m) a | target |
-> MVector (PrimState m) a | source |
-> m () |
Move the contents of a vector. The two vectors must have the same length.
If the vectors do not overlap, then this is equivalent to copy
.
Otherwise, the copying is performed as if the source vector were
copied to a temporary vector and then the temporary vector was copied
to the target vector.
Arguments
:: (PrimMonad m, Storable a) | |
=> MVector (PrimState m) a | target |
-> MVector (PrimState m) a | source |
-> m () |
Copy a vector. The two vectors must have the same length and may not overlap, but this is not checked.
Arguments
:: (PrimMonad m, Storable a) | |
=> MVector (PrimState m) a | target |
-> MVector (PrimState m) a | source |
-> m () |
Move the contents of a vector. The two vectors must have the same length, but this is not checked.
If the vectors do not overlap, then this is equivalent to unsafeCopy
.
Otherwise, the copying is performed as if the source vector were
copied to a temporary vector and then the temporary vector was copied
to the target vector.
Unsafe conversions
unsafeCast :: forall a b s. (Storable a, Storable b) => MVector s a -> MVector s b #
O(1) Unsafely cast a mutable vector from one element type to another. The operation just changes the type of the underlying pointer and does not modify the elements.
The resulting vector contains as many elements as can fit into the underlying memory block.
unsafeCoerceMVector :: Coercible a b => MVector s a -> MVector s b #
O(1) Unsafely coerce a mutable vector from one element type to another, representationally equal type. The operation just changes the type of the underlying pointer and does not modify the elements.
This is marginally safer than unsafeCast
, since this function imposes an
extra Coercible
constraint. This function is still not safe, however,
since it cannot guarantee that the two types have memory-compatible
Storable
instances.
Raw pointers
O(1) Create a mutable vector from a ForeignPtr
with an offset and a length.
Modifying data through the ForeignPtr
afterwards is unsafe if the vector
could have been frozen before the modification.
If your offset is 0, it is more efficient to use unsafeFromForeignPtr0
.
Arguments
:: ForeignPtr a | pointer |
-> Int | length |
-> MVector s a |
O(1) Create a mutable vector from a ForeignPtr
and a length.
It is assumed that the pointer points directly to the data (no offset).
Use unsafeFromForeignPtr
if you need to specify an offset.
Modifying data through the ForeignPtr
afterwards is unsafe if the vector
could have been frozen before the modification.
unsafeToForeignPtr :: MVector s a -> (ForeignPtr a, Int, Int) #
O(1) Yield the underlying ForeignPtr
together with the offset to the data
and its length. Modifying the data through the ForeignPtr
is
unsafe if the vector could have been frozen before the modification.
unsafeToForeignPtr0 :: MVector s a -> (ForeignPtr a, Int) #
O(1) Yield the underlying ForeignPtr
together with its length.
You can assume that the pointer points directly to the data (no offset).
Modifying the data through the ForeignPtr
is unsafe if the vector could
have been frozen before the modification.
unsafeWith :: Storable a => IOVector a -> (Ptr a -> IO b) -> IO b #
Pass a pointer to the vector's data to the IO action. Modifying data through the pointer is unsafe if the vector could have been frozen before the modification.
Re-exports
Minimal complete definition
sizeOf, alignment, (peek | peekElemOff | peekByteOff), (poke | pokeElemOff | pokeByteOff)
Instances
Storable CBool | |
Defined in Foreign.C.Types Methods sizeOf :: CBool -> Int alignment :: CBool -> Int peekElemOff :: Ptr CBool -> Int -> IO CBool pokeElemOff :: Ptr CBool -> Int -> CBool -> IO () peekByteOff :: Ptr b -> Int -> IO CBool pokeByteOff :: Ptr b -> Int -> CBool -> IO () | |
Storable CChar | |
Defined in Foreign.C.Types Methods sizeOf :: CChar -> Int alignment :: CChar -> Int peekElemOff :: Ptr CChar -> Int -> IO CChar pokeElemOff :: Ptr CChar -> Int -> CChar -> IO () peekByteOff :: Ptr b -> Int -> IO CChar pokeByteOff :: Ptr b -> Int -> CChar -> IO () | |
Storable CClock | |
Defined in Foreign.C.Types Methods sizeOf :: CClock -> Int alignment :: CClock -> Int peekElemOff :: Ptr CClock -> Int -> IO CClock pokeElemOff :: Ptr CClock -> Int -> CClock -> IO () peekByteOff :: Ptr b -> Int -> IO CClock pokeByteOff :: Ptr b -> Int -> CClock -> IO () | |
Storable CDouble | |
Defined in Foreign.C.Types Methods sizeOf :: CDouble -> Int alignment :: CDouble -> Int peekElemOff :: Ptr CDouble -> Int -> IO CDouble pokeElemOff :: Ptr CDouble -> Int -> CDouble -> IO () peekByteOff :: Ptr b -> Int -> IO CDouble pokeByteOff :: Ptr b -> Int -> CDouble -> IO () | |
Storable CFloat | |
Defined in Foreign.C.Types Methods sizeOf :: CFloat -> Int alignment :: CFloat -> Int peekElemOff :: Ptr CFloat -> Int -> IO CFloat pokeElemOff :: Ptr CFloat -> Int -> CFloat -> IO () peekByteOff :: Ptr b -> Int -> IO CFloat pokeByteOff :: Ptr b -> Int -> CFloat -> IO () | |
Storable CInt | |
Defined in Foreign.C.Types Methods sizeOf :: CInt -> Int alignment :: CInt -> Int peekElemOff :: Ptr CInt -> Int -> IO CInt pokeElemOff :: Ptr CInt -> Int -> CInt -> IO () peekByteOff :: Ptr b -> Int -> IO CInt pokeByteOff :: Ptr b -> Int -> CInt -> IO () | |
Storable CIntMax | |
Defined in Foreign.C.Types Methods sizeOf :: CIntMax -> Int alignment :: CIntMax -> Int peekElemOff :: Ptr CIntMax -> Int -> IO CIntMax pokeElemOff :: Ptr CIntMax -> Int -> CIntMax -> IO () peekByteOff :: Ptr b -> Int -> IO CIntMax pokeByteOff :: Ptr b -> Int -> CIntMax -> IO () | |
Storable CIntPtr | |
Defined in Foreign.C.Types Methods sizeOf :: CIntPtr -> Int alignment :: CIntPtr -> Int peekElemOff :: Ptr CIntPtr -> Int -> IO CIntPtr pokeElemOff :: Ptr CIntPtr -> Int -> CIntPtr -> IO () peekByteOff :: Ptr b -> Int -> IO CIntPtr pokeByteOff :: Ptr b -> Int -> CIntPtr -> IO () | |
Storable CLLong | |
Defined in Foreign.C.Types Methods sizeOf :: CLLong -> Int alignment :: CLLong -> Int peekElemOff :: Ptr CLLong -> Int -> IO CLLong pokeElemOff :: Ptr CLLong -> Int -> CLLong -> IO () peekByteOff :: Ptr b -> Int -> IO CLLong pokeByteOff :: Ptr b -> Int -> CLLong -> IO () | |
Storable CLong | |
Defined in Foreign.C.Types Methods sizeOf :: CLong -> Int alignment :: CLong -> Int peekElemOff :: Ptr CLong -> Int -> IO CLong pokeElemOff :: Ptr CLong -> Int -> CLong -> IO () peekByteOff :: Ptr b -> Int -> IO CLong pokeByteOff :: Ptr b -> Int -> CLong -> IO () | |
Storable CPtrdiff | |
Defined in Foreign.C.Types Methods sizeOf :: CPtrdiff -> Int alignment :: CPtrdiff -> Int peekElemOff :: Ptr CPtrdiff -> Int -> IO CPtrdiff pokeElemOff :: Ptr CPtrdiff -> Int -> CPtrdiff -> IO () peekByteOff :: Ptr b -> Int -> IO CPtrdiff pokeByteOff :: Ptr b -> Int -> CPtrdiff -> IO () | |
Storable CSChar | |
Defined in Foreign.C.Types Methods sizeOf :: CSChar -> Int alignment :: CSChar -> Int peekElemOff :: Ptr CSChar -> Int -> IO CSChar pokeElemOff :: Ptr CSChar -> Int -> CSChar -> IO () peekByteOff :: Ptr b -> Int -> IO CSChar pokeByteOff :: Ptr b -> Int -> CSChar -> IO () | |
Storable CSUSeconds | |
Defined in Foreign.C.Types Methods sizeOf :: CSUSeconds -> Int alignment :: CSUSeconds -> Int peekElemOff :: Ptr CSUSeconds -> Int -> IO CSUSeconds pokeElemOff :: Ptr CSUSeconds -> Int -> CSUSeconds -> IO () peekByteOff :: Ptr b -> Int -> IO CSUSeconds pokeByteOff :: Ptr b -> Int -> CSUSeconds -> IO () | |
Storable CShort | |
Defined in Foreign.C.Types Methods sizeOf :: CShort -> Int alignment :: CShort -> Int peekElemOff :: Ptr CShort -> Int -> IO CShort pokeElemOff :: Ptr CShort -> Int -> CShort -> IO () peekByteOff :: Ptr b -> Int -> IO CShort pokeByteOff :: Ptr b -> Int -> CShort -> IO () | |
Storable CSigAtomic | |
Defined in Foreign.C.Types Methods sizeOf :: CSigAtomic -> Int alignment :: CSigAtomic -> Int peekElemOff :: Ptr CSigAtomic -> Int -> IO CSigAtomic pokeElemOff :: Ptr CSigAtomic -> Int -> CSigAtomic -> IO () peekByteOff :: Ptr b -> Int -> IO CSigAtomic pokeByteOff :: Ptr b -> Int -> CSigAtomic -> IO () | |
Storable CSize | |
Defined in Foreign.C.Types Methods sizeOf :: CSize -> Int alignment :: CSize -> Int peekElemOff :: Ptr CSize -> Int -> IO CSize pokeElemOff :: Ptr CSize -> Int -> CSize -> IO () peekByteOff :: Ptr b -> Int -> IO CSize pokeByteOff :: Ptr b -> Int -> CSize -> IO () | |
Storable CTime | |
Defined in Foreign.C.Types Methods sizeOf :: CTime -> Int alignment :: CTime -> Int peekElemOff :: Ptr CTime -> Int -> IO CTime pokeElemOff :: Ptr CTime -> Int -> CTime -> IO () peekByteOff :: Ptr b -> Int -> IO CTime pokeByteOff :: Ptr b -> Int -> CTime -> IO () | |
Storable CUChar | |
Defined in Foreign.C.Types Methods sizeOf :: CUChar -> Int alignment :: CUChar -> Int peekElemOff :: Ptr CUChar -> Int -> IO CUChar pokeElemOff :: Ptr CUChar -> Int -> CUChar -> IO () peekByteOff :: Ptr b -> Int -> IO CUChar pokeByteOff :: Ptr b -> Int -> CUChar -> IO () | |
Storable CUInt | |
Defined in Foreign.C.Types Methods sizeOf :: CUInt -> Int alignment :: CUInt -> Int peekElemOff :: Ptr CUInt -> Int -> IO CUInt pokeElemOff :: Ptr CUInt -> Int -> CUInt -> IO () peekByteOff :: Ptr b -> Int -> IO CUInt pokeByteOff :: Ptr b -> Int -> CUInt -> IO () | |
Storable CUIntMax | |
Defined in Foreign.C.Types Methods sizeOf :: CUIntMax -> Int alignment :: CUIntMax -> Int peekElemOff :: Ptr CUIntMax -> Int -> IO CUIntMax pokeElemOff :: Ptr CUIntMax -> Int -> CUIntMax -> IO () peekByteOff :: Ptr b -> Int -> IO CUIntMax pokeByteOff :: Ptr b -> Int -> CUIntMax -> IO () | |
Storable CUIntPtr | |
Defined in Foreign.C.Types Methods sizeOf :: CUIntPtr -> Int alignment :: CUIntPtr -> Int peekElemOff :: Ptr CUIntPtr -> Int -> IO CUIntPtr pokeElemOff :: Ptr CUIntPtr -> Int -> CUIntPtr -> IO () peekByteOff :: Ptr b -> Int -> IO CUIntPtr pokeByteOff :: Ptr b -> Int -> CUIntPtr -> IO () | |
Storable CULLong | |
Defined in Foreign.C.Types Methods sizeOf :: CULLong -> Int alignment :: CULLong -> Int peekElemOff :: Ptr CULLong -> Int -> IO CULLong pokeElemOff :: Ptr CULLong -> Int -> CULLong -> IO () peekByteOff :: Ptr b -> Int -> IO CULLong pokeByteOff :: Ptr b -> Int -> CULLong -> IO () | |
Storable CULong | |
Defined in Foreign.C.Types Methods sizeOf :: CULong -> Int alignment :: CULong -> Int peekElemOff :: Ptr CULong -> Int -> IO CULong pokeElemOff :: Ptr CULong -> Int -> CULong -> IO () peekByteOff :: Ptr b -> Int -> IO CULong pokeByteOff :: Ptr b -> Int -> CULong -> IO () | |
Storable CUSeconds | |
Defined in Foreign.C.Types Methods sizeOf :: CUSeconds -> Int alignment :: CUSeconds -> Int peekElemOff :: Ptr CUSeconds -> Int -> IO CUSeconds pokeElemOff :: Ptr CUSeconds -> Int -> CUSeconds -> IO () peekByteOff :: Ptr b -> Int -> IO CUSeconds pokeByteOff :: Ptr b -> Int -> CUSeconds -> IO () | |
Storable CUShort | |
Defined in Foreign.C.Types Methods sizeOf :: CUShort -> Int alignment :: CUShort -> Int peekElemOff :: Ptr CUShort -> Int -> IO CUShort pokeElemOff :: Ptr CUShort -> Int -> CUShort -> IO () peekByteOff :: Ptr b -> Int -> IO CUShort pokeByteOff :: Ptr b -> Int -> CUShort -> IO () | |
Storable CWchar | |
Defined in Foreign.C.Types Methods sizeOf :: CWchar -> Int alignment :: CWchar -> Int peekElemOff :: Ptr CWchar -> Int -> IO CWchar pokeElemOff :: Ptr CWchar -> Int -> CWchar -> IO () peekByteOff :: Ptr b -> Int -> IO CWchar pokeByteOff :: Ptr b -> Int -> CWchar -> IO () | |
Storable IntPtr | |
Defined in Foreign.Ptr Methods sizeOf :: IntPtr -> Int alignment :: IntPtr -> Int peekElemOff :: Ptr IntPtr -> Int -> IO IntPtr pokeElemOff :: Ptr IntPtr -> Int -> IntPtr -> IO () peekByteOff :: Ptr b -> Int -> IO IntPtr pokeByteOff :: Ptr b -> Int -> IntPtr -> IO () | |
Storable WordPtr | |
Defined in Foreign.Ptr Methods sizeOf :: WordPtr -> Int alignment :: WordPtr -> Int peekElemOff :: Ptr WordPtr -> Int -> IO WordPtr pokeElemOff :: Ptr WordPtr -> Int -> WordPtr -> IO () peekByteOff :: Ptr b -> Int -> IO WordPtr pokeByteOff :: Ptr b -> Int -> WordPtr -> IO () | |
Storable Fingerprint | |
Defined in Foreign.Storable Methods sizeOf :: Fingerprint -> Int alignment :: Fingerprint -> Int peekElemOff :: Ptr Fingerprint -> Int -> IO Fingerprint pokeElemOff :: Ptr Fingerprint -> Int -> Fingerprint -> IO () peekByteOff :: Ptr b -> Int -> IO Fingerprint pokeByteOff :: Ptr b -> Int -> Fingerprint -> IO () | |
Storable Int16 | |
Defined in Foreign.Storable Methods sizeOf :: Int16 -> Int alignment :: Int16 -> Int peekElemOff :: Ptr Int16 -> Int -> IO Int16 pokeElemOff :: Ptr Int16 -> Int -> Int16 -> IO () peekByteOff :: Ptr b -> Int -> IO Int16 pokeByteOff :: Ptr b -> Int -> Int16 -> IO () | |
Storable Int32 | |
Defined in Foreign.Storable Methods sizeOf :: Int32 -> Int alignment :: Int32 -> Int peekElemOff :: Ptr Int32 -> Int -> IO Int32 pokeElemOff :: Ptr Int32 -> Int -> Int32 -> IO () peekByteOff :: Ptr b -> Int -> IO Int32 pokeByteOff :: Ptr b -> Int -> Int32 -> IO () | |
Storable Int64 | |
Defined in Foreign.Storable Methods sizeOf :: Int64 -> Int alignment :: Int64 -> Int peekElemOff :: Ptr Int64 -> Int -> IO Int64 pokeElemOff :: Ptr Int64 -> Int -> Int64 -> IO () peekByteOff :: Ptr b -> Int -> IO Int64 pokeByteOff :: Ptr b -> Int -> Int64 -> IO () | |
Storable Int8 | |
Defined in Foreign.Storable Methods sizeOf :: Int8 -> Int alignment :: Int8 -> Int peekElemOff :: Ptr Int8 -> Int -> IO Int8 pokeElemOff :: Ptr Int8 -> Int -> Int8 -> IO () peekByteOff :: Ptr b -> Int -> IO Int8 pokeByteOff :: Ptr b -> Int -> Int8 -> IO () | |
Storable IoSubSystem | |
Defined in GHC.RTS.Flags Methods sizeOf :: IoSubSystem -> Int alignment :: IoSubSystem -> Int peekElemOff :: Ptr IoSubSystem -> Int -> IO IoSubSystem pokeElemOff :: Ptr IoSubSystem -> Int -> IoSubSystem -> IO () peekByteOff :: Ptr b -> Int -> IO IoSubSystem pokeByteOff :: Ptr b -> Int -> IoSubSystem -> IO () | |
Storable Word16 | |
Defined in Foreign.Storable Methods sizeOf :: Word16 -> Int alignment :: Word16 -> Int peekElemOff :: Ptr Word16 -> Int -> IO Word16 pokeElemOff :: Ptr Word16 -> Int -> Word16 -> IO () peekByteOff :: Ptr b -> Int -> IO Word16 pokeByteOff :: Ptr b -> Int -> Word16 -> IO () | |
Storable Word32 | |
Defined in Foreign.Storable Methods sizeOf :: Word32 -> Int alignment :: Word32 -> Int peekElemOff :: Ptr Word32 -> Int -> IO Word32 pokeElemOff :: Ptr Word32 -> Int -> Word32 -> IO () peekByteOff :: Ptr b -> Int -> IO Word32 pokeByteOff :: Ptr b -> Int -> Word32 -> IO () | |
Storable Word64 | |
Defined in Foreign.Storable Methods sizeOf :: Word64 -> Int alignment :: Word64 -> Int peekElemOff :: Ptr Word64 -> Int -> IO Word64 pokeElemOff :: Ptr Word64 -> Int -> Word64 -> IO () peekByteOff :: Ptr b -> Int -> IO Word64 pokeByteOff :: Ptr b -> Int -> Word64 -> IO () | |
Storable Word8 | |
Defined in Foreign.Storable Methods sizeOf :: Word8 -> Int alignment :: Word8 -> Int peekElemOff :: Ptr Word8 -> Int -> IO Word8 pokeElemOff :: Ptr Word8 -> Int -> Word8 -> IO () peekByteOff :: Ptr b -> Int -> IO Word8 pokeByteOff :: Ptr b -> Int -> Word8 -> IO () | |
Storable CBlkCnt | |
Defined in System.Posix.Types Methods sizeOf :: CBlkCnt -> Int alignment :: CBlkCnt -> Int peekElemOff :: Ptr CBlkCnt -> Int -> IO CBlkCnt pokeElemOff :: Ptr CBlkCnt -> Int -> CBlkCnt -> IO () peekByteOff :: Ptr b -> Int -> IO CBlkCnt pokeByteOff :: Ptr b -> Int -> CBlkCnt -> IO () | |
Storable CBlkSize | |
Defined in System.Posix.Types Methods sizeOf :: CBlkSize -> Int alignment :: CBlkSize -> Int peekElemOff :: Ptr CBlkSize -> Int -> IO CBlkSize pokeElemOff :: Ptr CBlkSize -> Int -> CBlkSize -> IO () peekByteOff :: Ptr b -> Int -> IO CBlkSize pokeByteOff :: Ptr b -> Int -> CBlkSize -> IO () | |
Storable CCc | |
Defined in System.Posix.Types Methods sizeOf :: CCc -> Int alignment :: CCc -> Int peekElemOff :: Ptr CCc -> Int -> IO CCc pokeElemOff :: Ptr CCc -> Int -> CCc -> IO () peekByteOff :: Ptr b -> Int -> IO CCc pokeByteOff :: Ptr b -> Int -> CCc -> IO () | |
Storable CClockId | |
Defined in System.Posix.Types Methods sizeOf :: CClockId -> Int alignment :: CClockId -> Int peekElemOff :: Ptr CClockId -> Int -> IO CClockId pokeElemOff :: Ptr CClockId -> Int -> CClockId -> IO () peekByteOff :: Ptr b -> Int -> IO CClockId pokeByteOff :: Ptr b -> Int -> CClockId -> IO () | |
Storable CDev | |
Defined in System.Posix.Types Methods sizeOf :: CDev -> Int alignment :: CDev -> Int peekElemOff :: Ptr CDev -> Int -> IO CDev pokeElemOff :: Ptr CDev -> Int -> CDev -> IO () peekByteOff :: Ptr b -> Int -> IO CDev pokeByteOff :: Ptr b -> Int -> CDev -> IO () | |
Storable CFsBlkCnt | |
Defined in System.Posix.Types Methods sizeOf :: CFsBlkCnt -> Int alignment :: CFsBlkCnt -> Int peekElemOff :: Ptr CFsBlkCnt -> Int -> IO CFsBlkCnt pokeElemOff :: Ptr CFsBlkCnt -> Int -> CFsBlkCnt -> IO () peekByteOff :: Ptr b -> Int -> IO CFsBlkCnt pokeByteOff :: Ptr b -> Int -> CFsBlkCnt -> IO () | |
Storable CFsFilCnt | |
Defined in System.Posix.Types Methods sizeOf :: CFsFilCnt -> Int alignment :: CFsFilCnt -> Int peekElemOff :: Ptr CFsFilCnt -> Int -> IO CFsFilCnt pokeElemOff :: Ptr CFsFilCnt -> Int -> CFsFilCnt -> IO () peekByteOff :: Ptr b -> Int -> IO CFsFilCnt pokeByteOff :: Ptr b -> Int -> CFsFilCnt -> IO () | |
Storable CGid | |
Defined in System.Posix.Types Methods sizeOf :: CGid -> Int alignment :: CGid -> Int peekElemOff :: Ptr CGid -> Int -> IO CGid pokeElemOff :: Ptr CGid -> Int -> CGid -> IO () peekByteOff :: Ptr b -> Int -> IO CGid pokeByteOff :: Ptr b -> Int -> CGid -> IO () | |
Storable CId | |
Defined in System.Posix.Types Methods sizeOf :: CId -> Int alignment :: CId -> Int peekElemOff :: Ptr CId -> Int -> IO CId pokeElemOff :: Ptr CId -> Int -> CId -> IO () peekByteOff :: Ptr b -> Int -> IO CId pokeByteOff :: Ptr b -> Int -> CId -> IO () | |
Storable CIno | |
Defined in System.Posix.Types Methods sizeOf :: CIno -> Int alignment :: CIno -> Int peekElemOff :: Ptr CIno -> Int -> IO CIno pokeElemOff :: Ptr CIno -> Int -> CIno -> IO () peekByteOff :: Ptr b -> Int -> IO CIno pokeByteOff :: Ptr b -> Int -> CIno -> IO () | |
Storable CKey | |
Defined in System.Posix.Types Methods sizeOf :: CKey -> Int alignment :: CKey -> Int peekElemOff :: Ptr CKey -> Int -> IO CKey pokeElemOff :: Ptr CKey -> Int -> CKey -> IO () peekByteOff :: Ptr b -> Int -> IO CKey pokeByteOff :: Ptr b -> Int -> CKey -> IO () | |
Storable CMode | |
Defined in System.Posix.Types Methods sizeOf :: CMode -> Int alignment :: CMode -> Int peekElemOff :: Ptr CMode -> Int -> IO CMode pokeElemOff :: Ptr CMode -> Int -> CMode -> IO () peekByteOff :: Ptr b -> Int -> IO CMode pokeByteOff :: Ptr b -> Int -> CMode -> IO () | |
Storable CNfds | |
Defined in System.Posix.Types Methods sizeOf :: CNfds -> Int alignment :: CNfds -> Int peekElemOff :: Ptr CNfds -> Int -> IO CNfds pokeElemOff :: Ptr CNfds -> Int -> CNfds -> IO () peekByteOff :: Ptr b -> Int -> IO CNfds pokeByteOff :: Ptr b -> Int -> CNfds -> IO () | |
Storable CNlink | |
Defined in System.Posix.Types Methods sizeOf :: CNlink -> Int alignment :: CNlink -> Int peekElemOff :: Ptr CNlink -> Int -> IO CNlink pokeElemOff :: Ptr CNlink -> Int -> CNlink -> IO () peekByteOff :: Ptr b -> Int -> IO CNlink pokeByteOff :: Ptr b -> Int -> CNlink -> IO () | |
Storable COff | |
Defined in System.Posix.Types Methods sizeOf :: COff -> Int alignment :: COff -> Int peekElemOff :: Ptr COff -> Int -> IO COff pokeElemOff :: Ptr COff -> Int -> COff -> IO () peekByteOff :: Ptr b -> Int -> IO COff pokeByteOff :: Ptr b -> Int -> COff -> IO () | |
Storable CPid | |
Defined in System.Posix.Types Methods sizeOf :: CPid -> Int alignment :: CPid -> Int peekElemOff :: Ptr CPid -> Int -> IO CPid pokeElemOff :: Ptr CPid -> Int -> CPid -> IO () peekByteOff :: Ptr b -> Int -> IO CPid pokeByteOff :: Ptr b -> Int -> CPid -> IO () | |
Storable CRLim | |
Defined in System.Posix.Types Methods sizeOf :: CRLim -> Int alignment :: CRLim -> Int peekElemOff :: Ptr CRLim -> Int -> IO CRLim pokeElemOff :: Ptr CRLim -> Int -> CRLim -> IO () peekByteOff :: Ptr b -> Int -> IO CRLim pokeByteOff :: Ptr b -> Int -> CRLim -> IO () | |
Storable CSocklen | |
Defined in System.Posix.Types Methods sizeOf :: CSocklen -> Int alignment :: CSocklen -> Int peekElemOff :: Ptr CSocklen -> Int -> IO CSocklen pokeElemOff :: Ptr CSocklen -> Int -> CSocklen -> IO () peekByteOff :: Ptr b -> Int -> IO CSocklen pokeByteOff :: Ptr b -> Int -> CSocklen -> IO () | |
Storable CSpeed | |
Defined in System.Posix.Types Methods sizeOf :: CSpeed -> Int alignment :: CSpeed -> Int peekElemOff :: Ptr CSpeed -> Int -> IO CSpeed pokeElemOff :: Ptr CSpeed -> Int -> CSpeed -> IO () peekByteOff :: Ptr b -> Int -> IO CSpeed pokeByteOff :: Ptr b -> Int -> CSpeed -> IO () | |
Storable CSsize | |
Defined in System.Posix.Types Methods sizeOf :: CSsize -> Int alignment :: CSsize -> Int peekElemOff :: Ptr CSsize -> Int -> IO CSsize pokeElemOff :: Ptr CSsize -> Int -> CSsize -> IO () peekByteOff :: Ptr b -> Int -> IO CSsize pokeByteOff :: Ptr b -> Int -> CSsize -> IO () | |
Storable CTcflag | |
Defined in System.Posix.Types Methods sizeOf :: CTcflag -> Int alignment :: CTcflag -> Int peekElemOff :: Ptr CTcflag -> Int -> IO CTcflag pokeElemOff :: Ptr CTcflag -> Int -> CTcflag -> IO () peekByteOff :: Ptr b -> Int -> IO CTcflag pokeByteOff :: Ptr b -> Int -> CTcflag -> IO () | |
Storable CTimer | |
Defined in System.Posix.Types Methods sizeOf :: CTimer -> Int alignment :: CTimer -> Int peekElemOff :: Ptr CTimer -> Int -> IO CTimer pokeElemOff :: Ptr CTimer -> Int -> CTimer -> IO () peekByteOff :: Ptr b -> Int -> IO CTimer pokeByteOff :: Ptr b -> Int -> CTimer -> IO () | |
Storable CUid | |
Defined in System.Posix.Types Methods sizeOf :: CUid -> Int alignment :: CUid -> Int peekElemOff :: Ptr CUid -> Int -> IO CUid pokeElemOff :: Ptr CUid -> Int -> CUid -> IO () peekByteOff :: Ptr b -> Int -> IO CUid pokeByteOff :: Ptr b -> Int -> CUid -> IO () | |
Storable Fd | |
Defined in System.Posix.Types Methods sizeOf :: Fd -> Int alignment :: Fd -> Int peekElemOff :: Ptr Fd -> Int -> IO Fd pokeElemOff :: Ptr Fd -> Int -> Fd -> IO () peekByteOff :: Ptr b -> Int -> IO Fd pokeByteOff :: Ptr b -> Int -> Fd -> IO () | |
Storable () | |
Defined in Foreign.Storable Methods sizeOf :: () -> Int alignment :: () -> Int peekElemOff :: Ptr () -> Int -> IO () pokeElemOff :: Ptr () -> Int -> () -> IO () peekByteOff :: Ptr b -> Int -> IO () pokeByteOff :: Ptr b -> Int -> () -> IO () | |
Storable Bool | |
Defined in Foreign.Storable Methods sizeOf :: Bool -> Int alignment :: Bool -> Int peekElemOff :: Ptr Bool -> Int -> IO Bool pokeElemOff :: Ptr Bool -> Int -> Bool -> IO () peekByteOff :: Ptr b -> Int -> IO Bool pokeByteOff :: Ptr b -> Int -> Bool -> IO () | |
Storable Char | |
Defined in Foreign.Storable Methods sizeOf :: Char -> Int alignment :: Char -> Int peekElemOff :: Ptr Char -> Int -> IO Char pokeElemOff :: Ptr Char -> Int -> Char -> IO () peekByteOff :: Ptr b -> Int -> IO Char pokeByteOff :: Ptr b -> Int -> Char -> IO () | |
Storable Double | |
Defined in Foreign.Storable Methods sizeOf :: Double -> Int alignment :: Double -> Int peekElemOff :: Ptr Double -> Int -> IO Double pokeElemOff :: Ptr Double -> Int -> Double -> IO () peekByteOff :: Ptr b -> Int -> IO Double pokeByteOff :: Ptr b -> Int -> Double -> IO () | |
Storable Float | |
Defined in Foreign.Storable Methods sizeOf :: Float -> Int alignment :: Float -> Int peekElemOff :: Ptr Float -> Int -> IO Float pokeElemOff :: Ptr Float -> Int -> Float -> IO () peekByteOff :: Ptr b -> Int -> IO Float pokeByteOff :: Ptr b -> Int -> Float -> IO () | |
Storable Int | |
Defined in Foreign.Storable Methods sizeOf :: Int -> Int alignment :: Int -> Int peekElemOff :: Ptr Int -> Int -> IO Int pokeElemOff :: Ptr Int -> Int -> Int -> IO () peekByteOff :: Ptr b -> Int -> IO Int pokeByteOff :: Ptr b -> Int -> Int -> IO () | |
Storable Word | |
Defined in Foreign.Storable Methods sizeOf :: Word -> Int alignment :: Word -> Int peekElemOff :: Ptr Word -> Int -> IO Word pokeElemOff :: Ptr Word -> Int -> Word -> IO () peekByteOff :: Ptr b -> Int -> IO Word pokeByteOff :: Ptr b -> Int -> Word -> IO () | |
Storable a => Storable (Complex a) | |
Defined in Data.Complex Methods sizeOf :: Complex a -> Int alignment :: Complex a -> Int peekElemOff :: Ptr (Complex a) -> Int -> IO (Complex a) pokeElemOff :: Ptr (Complex a) -> Int -> Complex a -> IO () peekByteOff :: Ptr b -> Int -> IO (Complex a) pokeByteOff :: Ptr b -> Int -> Complex a -> IO () | |
Storable a => Storable (Identity a) | |
Defined in Data.Functor.Identity Methods sizeOf :: Identity a -> Int alignment :: Identity a -> Int peekElemOff :: Ptr (Identity a) -> Int -> IO (Identity a) pokeElemOff :: Ptr (Identity a) -> Int -> Identity a -> IO () peekByteOff :: Ptr b -> Int -> IO (Identity a) pokeByteOff :: Ptr b -> Int -> Identity a -> IO () | |
Storable a => Storable (Down a) | |
Defined in Data.Ord Methods sizeOf :: Down a -> Int alignment :: Down a -> Int peekElemOff :: Ptr (Down a) -> Int -> IO (Down a) pokeElemOff :: Ptr (Down a) -> Int -> Down a -> IO () peekByteOff :: Ptr b -> Int -> IO (Down a) pokeByteOff :: Ptr b -> Int -> Down a -> IO () | |
Storable (ConstPtr a) | |
Defined in Foreign.Storable Methods sizeOf :: ConstPtr a -> Int alignment :: ConstPtr a -> Int peekElemOff :: Ptr (ConstPtr a) -> Int -> IO (ConstPtr a) pokeElemOff :: Ptr (ConstPtr a) -> Int -> ConstPtr a -> IO () peekByteOff :: Ptr b -> Int -> IO (ConstPtr a) pokeByteOff :: Ptr b -> Int -> ConstPtr a -> IO () | |
Storable (FunPtr a) | |
Defined in Foreign.Storable Methods sizeOf :: FunPtr a -> Int alignment :: FunPtr a -> Int peekElemOff :: Ptr (FunPtr a) -> Int -> IO (FunPtr a) pokeElemOff :: Ptr (FunPtr a) -> Int -> FunPtr a -> IO () peekByteOff :: Ptr b -> Int -> IO (FunPtr a) pokeByteOff :: Ptr b -> Int -> FunPtr a -> IO () | |
Storable (Ptr a) | |
Defined in Foreign.Storable Methods peekElemOff :: Ptr (Ptr a) -> Int -> IO (Ptr a) pokeElemOff :: Ptr (Ptr a) -> Int -> Ptr a -> IO () peekByteOff :: Ptr b -> Int -> IO (Ptr a) pokeByteOff :: Ptr b -> Int -> Ptr a -> IO () | |
(Storable a, Integral a) => Storable (Ratio a) | |
Defined in Foreign.Storable Methods sizeOf :: Ratio a -> Int alignment :: Ratio a -> Int peekElemOff :: Ptr (Ratio a) -> Int -> IO (Ratio a) pokeElemOff :: Ptr (Ratio a) -> Int -> Ratio a -> IO () peekByteOff :: Ptr b -> Int -> IO (Ratio a) pokeByteOff :: Ptr b -> Int -> Ratio a -> IO () | |
Storable (StablePtr a) | |
Defined in Foreign.Storable Methods sizeOf :: StablePtr a -> Int alignment :: StablePtr a -> Int peekElemOff :: Ptr (StablePtr a) -> Int -> IO (StablePtr a) pokeElemOff :: Ptr (StablePtr a) -> Int -> StablePtr a -> IO () peekByteOff :: Ptr b -> Int -> IO (StablePtr a) pokeByteOff :: Ptr b -> Int -> StablePtr a -> IO () | |
Prim a => Storable (PrimStorable a) | |
Defined in Data.Primitive.Types Methods sizeOf :: PrimStorable a -> Int alignment :: PrimStorable a -> Int peekElemOff :: Ptr (PrimStorable a) -> Int -> IO (PrimStorable a) pokeElemOff :: Ptr (PrimStorable a) -> Int -> PrimStorable a -> IO () peekByteOff :: Ptr b -> Int -> IO (PrimStorable a) pokeByteOff :: Ptr b -> Int -> PrimStorable a -> IO () peek :: Ptr (PrimStorable a) -> IO (PrimStorable a) poke :: Ptr (PrimStorable a) -> PrimStorable a -> IO () | |
Storable a => Storable (Const a b) | |
Defined in Data.Functor.Const Methods sizeOf :: Const a b -> Int alignment :: Const a b -> Int peekElemOff :: Ptr (Const a b) -> Int -> IO (Const a b) pokeElemOff :: Ptr (Const a b) -> Int -> Const a b -> IO () peekByteOff :: Ptr b0 -> Int -> IO (Const a b) pokeByteOff :: Ptr b0 -> Int -> Const a b -> IO () |
class Monad m => PrimMonad (m :: Type -> Type) #
Class of monads which can perform primitive state-transformer actions.
Minimal complete definition
Instances
PrimMonad IO | |
PrimMonad (ST s) | |
PrimMonad (ST s) | |
PrimMonad m => PrimMonad (MaybeT m) | |
(Monoid w, PrimMonad m) => PrimMonad (AccumT w m) | Since: primitive-0.6.3.0 |
PrimMonad m => PrimMonad (ExceptT e m) | |
PrimMonad m => PrimMonad (IdentityT m) | |
PrimMonad m => PrimMonad (ReaderT r m) | |
PrimMonad m => PrimMonad (SelectT r m) | |
PrimMonad m => PrimMonad (StateT s m) | |
PrimMonad m => PrimMonad (StateT s m) | |
(Monoid w, PrimMonad m) => PrimMonad (WriterT w m) | |
(Monoid w, PrimMonad m) => PrimMonad (WriterT w m) | |
(Monoid w, PrimMonad m) => PrimMonad (WriterT w m) | |
PrimMonad m => PrimMonad (ContT r m) | Since: primitive-0.6.3.0 |
(Monoid w, PrimMonad m) => PrimMonad (RWST r w s m) | |
(Monoid w, PrimMonad m) => PrimMonad (RWST r w s m) | |
(Monoid w, PrimMonad m) => PrimMonad (RWST r w s m) | |
type family PrimState (m :: Type -> Type) #
State token type.