vector-static-0.2.0: Statically checked sizes on Data.Vector Source code Contents Index

Data.Vector.Storable.Static

Documentation

newtype Vec n a Source

Constructors Vec unVec :: Vec n Vector a

length :: Storable a => Vec n a -> Nat n Source

empty :: Storable a => Vec Z a Source

singleton :: Storable a => a -> Vec (S Z) a Source

cons :: Storable a => a -> Vec n a -> Vec (S n) a Source

snoc :: Storable a => Vec n a -> a -> Vec (S n) a Source

replicate :: Storable a => Nat n -> a -> Vec n a Source

generate :: Storable a => Nat n -> (Fin n -> a) -> Vec n a Source

(++) :: Storable a => Vec m a -> Vec n a -> Vec (m :+: n) a Source

copy :: Storable a => Vec n a -> Vec n a Source

(!) :: Storable a => Vec n a -> Fin n -> a Source

head :: Storable a => Vec (S n) a -> a Source

last :: Storable a => Vec (S n) a -> a Source

init :: Storable a => Vec (S n) a -> Vec n a Source

tail :: Storable a => Vec (S n) a -> Vec n a Source

backpermute :: Storable a => Vec m a -> Vec n (Fin m) -> Vec n a Source

reverse :: Storable a => Vec n a -> Vec n a Source

map :: (Storable a, Storable b) => (a -> b) -> Vec n a -> Vec n b Source

imap :: (Storable a, Storable b) => (Fin n -> a -> b) -> Vec n a -> Vec n b Source

concatMap :: (Storable a, Storable b) => (a -> Vec n b) -> Vec m a -> Vec (m :*: n) b Source

zipWith :: (Storable a, Storable b, Storable c) => (a -> b -> c) -> Vec n a -> Vec n b -> Vec n c Source

zipWith3 :: (Storable a, Storable b, Storable c, Storable d) => (a -> b -> c -> d) -> Vec n a -> Vec n b -> Vec n c -> Vec n d Source

zipWith4 :: (Storable a, Storable b, Storable c, Storable d, Storable e) => (a -> b -> c -> d -> e) -> Vec n a -> Vec n b -> Vec n c -> Vec n d -> Vec n e Source

zipWith5 :: (Storable a, Storable b, Storable c, Storable d, Storable e, Storable f) => (a -> b -> c -> d -> e -> f) -> Vec n a -> Vec n b -> Vec n c -> Vec n d -> Vec n e -> Vec n f Source

zipWith6 :: (Storable a, Storable b, Storable c, Storable d, Storable e, Storable f, Storable g) => (a -> b -> c -> d -> e -> f -> g) -> Vec n a -> Vec n b -> Vec n c -> Vec n d -> Vec n e -> Vec n f -> Vec n g Source

izipWith :: (Storable a, Storable b, Storable c) => (Fin n -> a -> b -> c) -> Vec n a -> Vec n b -> Vec n c Source

izipWith3 :: (Storable a, Storable b, Storable c, Storable d) => (Fin n -> a -> b -> c -> d) -> Vec n a -> Vec n b -> Vec n c -> Vec n d Source

izipWith4 :: (Storable a, Storable b, Storable c, Storable d, Storable e) => (Fin n -> a -> b -> c -> d -> e) -> Vec n a -> Vec n b -> Vec n c -> Vec n d -> Vec n e Source

izipWith5 :: (Storable a, Storable b, Storable c, Storable d, Storable e, Storable f) => (Fin n -> a -> b -> c -> d -> e -> f) -> Vec n a -> Vec n b -> Vec n c -> Vec n d -> Vec n e -> Vec n f Source

izipWith6 :: (Storable a, Storable b, Storable c, Storable d, Storable e, Storable f, Storable g) => (Fin n -> a -> b -> c -> d -> e -> f -> g) -> Vec n a -> Vec n b -> Vec n c -> Vec n d -> Vec n e -> Vec n f -> Vec n g Source

elem :: (Storable a, Eq a) => a -> Vec n a -> Bool Source

notElem :: (Storable a, Eq a) => a -> Vec n a -> Bool Source

find :: (Storable a, Eq a) => (a -> Bool) -> Vec n a -> Maybe a Source

findIndex :: Storable a => (a -> Bool) -> Vec n a -> Maybe (Fin n) Source

elemIndex :: (Storable a, Eq a) => a -> Vec n a -> Maybe (Fin n) Source

foldl :: Storable b => (a -> b -> a) -> a -> Vec n b -> a Source

foldl1 :: Storable a => (a -> a -> a) -> Vec (S n) a -> a Source

foldl' :: Storable b => (a -> b -> a) -> a -> Vec n b -> a Source

foldl1' :: Storable a => (a -> a -> a) -> Vec (S n) a -> a Source

foldr :: Storable a => (a -> b -> b) -> b -> Vec n a -> b Source

foldr1 :: Storable a => (a -> a -> a) -> Vec (S n) a -> a Source

foldr' :: Storable a => (a -> b -> b) -> b -> Vec n a -> b Source

foldr1' :: Storable a => (a -> a -> a) -> Vec (S n) a -> a Source

ifoldl :: Storable b => (a -> Fin n -> b -> a) -> a -> Vec n b -> a Source

ifoldl' :: Storable b => (a -> Fin n -> b -> a) -> a -> Vec n b -> a Source

ifoldr :: Storable a => (Fin n -> a -> b -> b) -> b -> Vec n a -> b Source

ifoldr' :: Storable a => (Fin n -> a -> b -> b) -> b -> Vec n a -> b Source

all :: Storable a => (a -> Bool) -> Vec n a -> Bool Source

any :: Storable a => (a -> Bool) -> Vec n a -> Bool Source

and :: Vec n Bool -> Bool Source

or :: Vec n Bool -> Bool Source

sum :: (Storable a, Num a) => Vec n a -> a Source

product :: (Storable a, Num a) => Vec n a -> a Source

minimum :: (Storable a, Ord a) => Vec (S n) a -> a Source

minimumBy :: Storable a => (a -> a -> Ordering) -> Vec (S n) a -> a Source

minIndex :: (Storable a, Ord a) => Vec (S n) a -> Fin (S n) Source

minIndexBy :: Storable a => (a -> a -> Ordering) -> Vec (S n) a -> Fin (S n) Source

maximum :: (Storable a, Ord a) => Vec (S n) a -> a Source

maximumBy :: Storable a => (a -> a -> Ordering) -> Vec (S n) a -> a Source

maxIndex :: (Storable a, Ord a) => Vec (S n) a -> Fin (S n) Source

maxIndexBy :: Storable a => (a -> a -> Ordering) -> Vec (S n) a -> Fin (S n) Source

unfoldr :: Storable a => (b -> Maybe (a, b)) -> b -> (forall n. Vec n a -> r) -> r Source

enumFromN :: forall a n. (Storable a, Num a) => a -> Nat n -> Vec n a Source

enumFromStepN :: forall a n. (Storable a, Num a) => a -> a -> Nat n -> Vec n a Source

toList :: Storable a => Vec n a -> [a] Source

fromList :: Storable a => [a] -> (forall n. Vec n a -> r) -> r Source

stream :: Storable a => Vec n a -> Stream a Source

unstream :: Storable a => Stream a -> (forall n. Vec n a -> r) -> r Source

streamR :: Storable a => Vec n a -> Stream a Source

unstreamR :: Storable a => Stream a -> (forall n. Vec n a -> r) -> r Source

new :: Storable a => New a -> (forall n. Vec n a -> r) -> r Source

Produced by Haddock version 2.6.0