Data.Vector.Endian

Documentation

data MVector s a

Instances

(Storable a, Endian a) => MVector MVector a

Defined in Internal.Vector

Methods

basicLength :: MVector s a -> Int

basicUnsafeSlice :: Int -> Int -> MVector s a -> MVector s a

basicOverlaps :: MVector s a -> MVector s a -> Bool

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

basicInitialize :: PrimMonad m => MVector (PrimState m) a -> m ()

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

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

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

basicClear :: PrimMonad m => MVector (PrimState m) a -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) a -> a -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) a -> MVector (PrimState m) a -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) a -> MVector (PrimState m) a -> m ()

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

NFData (MVector s a)

Defined in Internal.Vector

Methods

rnf :: MVector s a -> ()

data Vector a

Instances

(Storable a, Endian a) => Vector Vector a

Defined in Internal.Vector

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) a -> m (Vector a)

basicUnsafeThaw :: PrimMonad m => Vector a -> m (Mutable Vector (PrimState m) a)

basicLength :: Vector a -> Int

basicUnsafeSlice :: Int -> Int -> Vector a -> Vector a

basicUnsafeIndexM :: Monad m => Vector a -> Int -> m a

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) a -> Vector a -> m ()

elemseq :: Vector a -> a -> b -> b

(Storable a, Endian a) => IsList (Vector a)

Defined in Internal.Vector

Associated Types

type Item (Vector a) :: Type

Methods

fromList :: [Item (Vector a)] -> Vector a

fromListN :: Int -> [Item (Vector a)] -> Vector a

toList :: Vector a -> [Item (Vector a)]

(Storable a, Eq a) => Eq (Vector a)

Defined in Internal.Vector

Methods

(==) :: Vector a -> Vector a -> Bool

(/=) :: Vector a -> Vector a -> Bool

(Read a, Storable a, Endian a) => Read (Vector a)

Defined in Internal.Vector

Methods

readsPrec :: Int -> ReadS (Vector a)

readList :: ReadS [Vector a]

readPrec :: ReadPrec (Vector a)

readListPrec :: ReadPrec [Vector a]

(Show a, Storable a, Endian a) => Show (Vector a)

Defined in Internal.Vector

Methods

showsPrec :: Int -> Vector a -> ShowS

show :: Vector a -> String

showList :: [Vector a] -> ShowS

Storable a => Semigroup (Vector a)

Defined in Internal.Vector

Methods

(<>) :: Vector a -> Vector a -> Vector a

sconcat :: NonEmpty (Vector a) -> Vector a

stimes :: Integral b => b -> Vector a -> Vector a

Storable a => Monoid (Vector a)

Defined in Internal.Vector

Methods

mempty :: Vector a

mappend :: Vector a -> Vector a -> Vector a

mconcat :: [Vector a] -> Vector a

NFData (Vector a)

Defined in Internal.Vector

Methods

rnf :: Vector a -> ()

type Mutable Vector

Defined in Internal.Vector

type Mutable Vector = MVector

type Item (Vector a)

Defined in Internal.Vector

type Item (Vector a) = a

Accessors

Length information

length :: (Storable a, Endian a) => Vector a -> Int

null :: (Storable a, Endian a) => Vector a -> Bool

Indexing

(!) :: (Storable a, Endian a) => Vector a -> Int -> a

(!?) :: (Storable a, Endian a) => Vector a -> Int -> Maybe a

head :: (Storable a, Endian a) => Vector a -> a

last :: (Storable a, Endian a) => Vector a -> a

unsafeIndex :: (Storable a, Endian a) => Vector a -> Int -> a

unsafeHead :: (Storable a, Endian a) => Vector a -> a

unsafeLast :: (Storable a, Endian a) => Vector a -> a

Monadic indexing

indexM :: (Storable a, Endian a, Monad m) => Vector a -> Int -> m a

headM :: (Storable a, Endian a, Monad m) => Vector a -> m a

lastM :: (Storable a, Endian a, Monad m) => Vector a -> m a

unsafeIndexM :: (Storable a, Endian a, Monad m) => Vector a -> Int -> m a

unsafeHeadM :: (Storable a, Endian a, Monad m) => Vector a -> m a

unsafeLastM :: (Storable a, Endian a, Monad m) => Vector a -> m a

Extracting subvectors (slicing)

slice :: (Storable a, Endian a) => Int -> Int -> Vector a -> Vector a

init :: (Storable a, Endian a) => Vector a -> Vector a

tail :: (Storable a, Endian a) => Vector a -> Vector a

take :: (Storable a, Endian a) => Int -> Vector a -> Vector a

drop :: (Storable a, Endian a) => Int -> Vector a -> Vector a

splitAt :: (Storable a, Endian a) => Int -> Vector a -> (Vector a, Vector a)

unsafeSlice :: (Storable a, Endian a) => Int -> Int -> Vector a -> Vector a

unsafeInit :: (Storable a, Endian a) => Vector a -> Vector a

unsafeTail :: (Storable a, Endian a) => Vector a -> Vector a

unsafeTake :: (Storable a, Endian a) => Int -> Vector a -> Vector a

unsafeDrop :: (Storable a, Endian a) => Int -> Vector a -> Vector a

Construction

Initialisation

empty :: (Storable a, Endian a) => Vector a

singleton :: (Storable a, Endian a) => a -> Vector a

replicate :: (Storable a, Endian a) => Int -> a -> Vector a

generate :: (Storable a, Endian a) => Int -> (Int -> a) -> Vector a

iterateN :: (Storable a, Endian a) => Int -> (a -> a) -> a -> Vector a

Monadic initialisation

replicateM :: (Monad m, Storable a, Endian a) => Int -> m a -> m (Vector a)

generateM :: (Monad m, Storable a, Endian a) => Int -> (Int -> m a) -> m (Vector a)

iterateNM :: (Monad m, Storable a, Endian a) => Int -> (a -> m a) -> a -> m (Vector a)

create :: (Storable a, Endian a) => (forall s. ST s (MVector s a)) -> Vector a

createT :: (Traversable f, Storable a, Endian a) => (forall s. ST s (f (MVector s a))) -> f (Vector a)

Unfolding

unfoldr :: (Storable a, Endian a) => (b -> Maybe (a, b)) -> b -> Vector a

unfoldrN :: (Storable a, Endian a) => Int -> (b -> Maybe (a, b)) -> b -> Vector a

unfoldrM :: (Monad m, Storable a, Endian a) => (b -> m (Maybe (a, b))) -> b -> m (Vector a)

unfoldrNM :: (Monad m, Storable a, Endian a) => Int -> (b -> m (Maybe (a, b))) -> b -> m (Vector a)

constructN :: (Storable a, Endian a) => Int -> (Vector a -> a) -> Vector a

constructrN :: (Storable a, Endian a) => Int -> (Vector a -> a) -> Vector a

Enumeration

enumFromN :: (Storable a, Endian a, Num a) => a -> Int -> Vector a

enumFromStepN :: (Storable a, Endian a, Num a) => a -> a -> Int -> Vector a

enumFromTo :: (Storable a, Endian a, Enum a) => a -> a -> Vector a

enumFromThenTo :: (Storable a, Endian a, Enum a) => a -> a -> a -> Vector a

Raw pointers

unsafeFromForeignPtr :: (Storable a, Endian a) => ForeignPtr a -> Int -> Int -> Vector a

unsafeFromForeignPtr0 :: (Storable a, Endian a) => ForeignPtr a -> Int -> Vector a

unsafeToForeignPtr :: (Storable a, Endian a) => Vector a -> (ForeignPtr a, Int, Int)

unsafeToForeignPtr0 :: (Storable a, Endian a) => Vector a -> (ForeignPtr a, Int)

unsafeWith :: (Storable a, Endian a) => Vector a -> (Ptr a -> IO b) -> IO b

Like unsafeWith, but note well: the pointer will point to the value in its *wire format*, which may not match the host cpu endianness.