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

Data.Vector.Generic.Static

Documentation

newtype Vec n v a Source

Constructors Vec unVec :: v a Instances Eq (v a) => Eq (Vec n v a) Ord (v a) => Ord (Vec n v a) Show (v a) => Show (Vec n v a)

length :: forall n v a. Reify n => Vec n v a -> Nat n Source

null :: forall n v a. Reify n => Vec n v a -> Bool Source

empty :: Vector v a => Vec Z v a Source

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

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

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

replicate :: forall a n v. (Vector v a, Reify n) => a -> Vec n v a Source

generate :: forall n v a. (Vector v a, Reify n) => (Fin n -> a) -> Vec n v a Source

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

copy :: Vector v a => Vec n v a -> Vec n v a Source

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

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

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

indexM :: (Vector v a, Monad m) => Vec n v a -> Fin n -> m a Source

headM :: (Vector v a, Monad m) => Vec (S n) v a -> m a Source

lastM :: (Vector v a, Monad m) => Vec (S n) v a -> m a Source

slice :: forall n k v a. (Vector v a, Reify k) => Fin n -> Vec (n :+: k) v a -> Vec k v a Source

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

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

take :: forall n k v a. (Vector v a, Reify k) => Vec (n :+: k) v a -> Vec k v a Source

drop :: forall n k v a. (Vector v a, Reify k) => Vec (n :+: k) v a -> Vec n v a Source

backpermute :: (Vector v a, Vector v Int) => Vec m v a -> Vec n v (Fin m) -> Vec n v a Source

reverse :: Vector v a => Vec n v a -> Vec n v a Source

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

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

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

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

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

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

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

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

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

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

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

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

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

zip :: (Vector v a, Vector v b, Vector v (a, b)) => Vec n v a -> Vec n v b -> Vec n v (a, b) Source

zip3 :: (Vector v a, Vector v b, Vector v c, Vector v (a, b, c)) => Vec n v a -> Vec n v b -> Vec n v c -> Vec n v (a, b, c) Source

zip4 :: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v (a, b, c, d)) => Vec n v a -> Vec n v b -> Vec n v c -> Vec n v d -> Vec n v (a, b, c, d) Source

zip5 :: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e, Vector v (a, b, c, d, e)) => Vec n v a -> Vec n v b -> Vec n v c -> Vec n v d -> Vec n v e -> Vec n v (a, b, c, d, e) Source

zip6 :: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e, Vector v f, Vector v (a, b, c, d, e, f)) => Vec n v a -> Vec n v b -> Vec n v c -> Vec n v d -> Vec n v e -> Vec n v f -> Vec n v (a, b, c, d, e, f) Source

unzip :: (Vector v a, Vector v b, Vector v (a, b)) => Vec n v (a, b) -> (Vec n v a, Vec n v b) Source

unzip3 :: (Vector v a, Vector v b, Vector v c, Vector v (a, b, c)) => Vec n v (a, b, c) -> (Vec n v a, Vec n v b, Vec n v c) Source

unzip4 :: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v (a, b, c, d)) => Vec n v (a, b, c, d) -> (Vec n v a, Vec n v b, Vec n v c, Vec n v d) Source

unzip5 :: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e, Vector v (a, b, c, d, e)) => Vec n v (a, b, c, d, e) -> (Vec n v a, Vec n v b, Vec n v c, Vec n v d, Vec n v e) Source

unzip6 :: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e, Vector v f, Vector v (a, b, c, d, e, f)) => Vec n v (a, b, c, d, e, f) -> (Vec n v a, Vec n v b, Vec n v c, Vec n v d, Vec n v e, Vec n v f) Source

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

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

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

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

elemIndex :: Vector v a => Eq a => a -> Vec n v a -> Maybe (Fin n) Source

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

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

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

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

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

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

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

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

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

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

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

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

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

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

and :: Vector v Bool => Vec n v Bool -> Bool Source

or :: Vector v Bool => Vec n v Bool -> Bool Source

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

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

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

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

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

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

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

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

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

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

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

enumFromN :: forall v a n. (Vector v a, Num a, Reify n) => a -> Vec n v a Source

enumFromStepN :: forall v a n. (Vector v a, Num a, Reify n) => a -> a -> Vec n v a Source

toList :: Vector v a => Vec n v a -> [a] Source

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

stream :: Vector v a => Vec n v a -> Stream a Source

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

streamR :: Vector v a => Vec n v a -> Stream a Source

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

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

allFin :: forall n v. (Vector v (Fin n), Reify n) => Vec n v (Fin n) Source

indexed :: (Vector v a, Vector v (Fin n, a)) => Vec n v a -> Vec n v (Fin n, a) Source

Produced by Haddock version 2.6.0