Haskus.Format.Binary.Vector

Vector with size in the type

Documentation

data Vector n a

Vector with type-checked size

Constructors

Vector Buffer

Instances

(Storable a, Show a, KnownNat n) => Show (Vector n a)

Methods

showsPrec :: Int -> Vector n a -> ShowS

show :: Vector n a -> String

showList :: [Vector n a] -> ShowS

(KnownNat n, Storable a) => Storable (Vector n a)

Methods

peekIO :: Ptr (Vector n a) -> IO (Vector n a)

pokeIO :: Ptr (Vector n a) -> Vector n a -> IO ()

alignment :: Vector n a -> Word

sizeOf :: Vector n a -> Word

KnownNat (* (SizeOf a) n) => StaticStorable (Vector n a)

Associated Types

type SizeOf (Vector n a) :: Nat

type Alignment (Vector n a) :: Nat

Methods

staticPeekIO :: Ptr (Vector n a) -> IO (Vector n a)

staticPokeIO :: Ptr (Vector n a) -> Vector n a -> IO ()

type SizeOf (Vector n a)

type SizeOf (Vector n a) = * (SizeOf a) n

type Alignment (Vector n a)

type Alignment (Vector n a) = Alignment a

vectorBuffer :: Vector n a -> Buffer

Return the buffer backing the vector

take :: forall n m a. KnownNat (SizeOf a * n) => Vector (m + n) a -> Vector n a

Yield the first n elements

drop :: forall n m a. KnownNat (SizeOf a * n) => Vector (m + n) a -> Vector m a

Drop the first n elements

index :: forall i a n. (KnownNat (ElemOffset a i n), Storable a) => Vector n a -> a

O(1) Index safely into the vector using a type level index.

fromList :: forall a n. (KnownNat n, Storable a) => [a] -> Maybe (Vector n a)

Convert a list into a vector if the number of elements matches

fromFilledList :: forall a n. (KnownNat n, Storable a) => a -> [a] -> Vector n a

Take at most n element from the list, then use z

fromFilledListZ :: forall a n. (KnownNat n, Storable a) => a -> [a] -> Vector n a

Take at most (n-1) element from the list, then use z

toList :: forall a n. (KnownNat n, Storable a) => Vector n a -> [a]

Convert a vector into a list

replicate :: forall a n. (KnownNat n, Storable a) => a -> Vector n a

Create a vector by replicating a value

concat :: forall l n a. (n ~ WholeSize l, KnownNat n, Storable a, StaticStorable a, HFoldr StoreVector (IO (Ptr a)) l (IO (Ptr a))) => HList l -> Vector n a

Concat several vectors into a single one