read -package:base-prelude -package:HsOpenSSL package:vector

read :: (HasCallStack, PrimMonad m, MVector v a) => v (PrimState m) a -> Int -> m a
vector Data.Vector.Generic.Mutable
Yield the element at the given position. Will throw an exception if the index is out of range.

Examples

>>> import qualified Data.Vector.Mutable as MV

>>> v <- MV.generate 10 (\x -> x*x)

>>> MV.read v 3
9
read :: PrimMonad m => MVector (PrimState m) a -> Int -> m a
vector Data.Vector.Mutable
Yield the element at the given position. Will throw an exception if the index is out of range.

Examples

>>> import qualified Data.Vector.Mutable as MV

>>> v <- MV.generate 10 (\x -> x*x)

>>> MV.read v 3
9
read :: (PrimMonad m, Prim a) => MVector (PrimState m) a -> Int -> m a
vector Data.Vector.Primitive.Mutable
Yield the element at the given position. Will throw an exception if the index is out of range.

Examples

>>> import qualified Data.Vector.Primitive.Mutable as MVP

>>> v <- MVP.generate 10 (\x -> x*x)

>>> MVP.read v 3
9
read :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> m a
vector Data.Vector.Storable.Mutable
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
read :: (PrimMonad m, Unbox a) => MVector (PrimState m) a -> Int -> m a
vector Data.Vector.Unboxed.Mutable
Yield the element at the given position. Will throw an exception if the index is out of range.

Examples

>>> import qualified Data.Vector.Unboxed.Mutable as MVU

>>> v <- MVU.generate 10 (\x -> x*x)

>>> MVU.read v 3
9
readPrec :: (Vector v a, Read a) => ReadPrec (v a)
vector Data.Vector.Generic
Generic definition of readPrec.
readMaybe :: (PrimMonad m, MVector v a) => v (PrimState m) a -> Int -> m (Maybe a)
vector Data.Vector.Generic.Mutable
Yield the element at the given position. Returns Nothing if the index is out of range.

Examples

>>> import qualified Data.Vector.Mutable as MV

>>> v <- MV.generate 10 (\x -> x*x)

>>> MV.readMaybe v 3
Just 9

>>> MV.readMaybe v 13
Nothing
readMaybe :: PrimMonad m => MVector (PrimState m) a -> Int -> m (Maybe a)
vector Data.Vector.Mutable
Yield the element at the given position. Returns Nothing if the index is out of range.

Examples

>>> import qualified Data.Vector.Mutable as MV

>>> v <- MV.generate 10 (\x -> x*x)

>>> MV.readMaybe v 3
Just 9

>>> MV.readMaybe v 13
Nothing
readMaybe :: (PrimMonad m, Prim a) => MVector (PrimState m) a -> Int -> m (Maybe a)
vector Data.Vector.Primitive.Mutable
Yield the element at the given position. Returns Nothing if the index is out of range.

Examples

>>> import qualified Data.Vector.Primitive.Mutable as MVP

>>> v <- MVP.generate 10 (\x -> x*x)

>>> MVP.readMaybe v 3
Just 9

>>> MVP.readMaybe v 13
Nothing
readMaybe :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> m (Maybe a)
vector Data.Vector.Storable.Mutable
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
readMaybe :: (PrimMonad m, Unbox a) => MVector (PrimState m) a -> Int -> m (Maybe a)
vector Data.Vector.Unboxed.Mutable
Yield the element at the given position. Returns Nothing if the index is out of range.

Examples

>>> import qualified Data.Vector.Unboxed.Mutable as MVU

>>> v <- MVU.generate 10 (\x -> x*x)

>>> MVU.readMaybe v 3
Just 9

>>> MVU.readMaybe v 13
Nothing
liftReadsPrec :: Vector v a => (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (v a)
vector Data.Vector.Generic
Note: uses ReadS.
basicUnsafeRead :: MVector v a => v s a -> Int -> ST s a
vector Data.Vector.Generic.Mutable Data.Vector.Generic.Mutable.Base
Yield the element at the given position. This method should not be called directly, use unsafeRead instead.
unsafeRead :: (PrimMonad m, MVector v a) => v (PrimState m) a -> Int -> m a
vector Data.Vector.Generic.Mutable
Yield the element at the given position. No bounds checks are performed.
unsafeRead :: PrimMonad m => MVector (PrimState m) a -> Int -> m a
vector Data.Vector.Mutable
Yield the element at the given position. No bounds checks are performed.
unsafeRead :: (PrimMonad m, Prim a) => MVector (PrimState m) a -> Int -> m a
vector Data.Vector.Primitive.Mutable
Yield the element at the given position. No bounds checks are performed.
unsafeRead :: (PrimMonad m, Storable a) => MVector (PrimState m) a -> Int -> m a
vector Data.Vector.Storable.Mutable
Yield the element at the given position. No bounds checks are performed.
unsafeRead :: (PrimMonad m, Unbox a) => MVector (PrimState m) a -> Int -> m a
vector Data.Vector.Unboxed.Mutable
Yield the element at the given position. No bounds checks are performed.