vector-static-0.0.1: Statically checked sizes on Data.Vector Contents Index

! 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static ++ 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static :*: Data.Nat :+: Data.Nat addFin Data.Fin all 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static allFin 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static and 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static any 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static backpermute 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static caseNat Data.Nat clear Data.Vector.Generic.Mutable.Static concatMap 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static cons 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static copy 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Generic.Mutable.Static 3 (Function) Data.Vector.Static 4 (Function) Data.Vector.Unboxed.Static 5 (Function) Data.Vector.Storable.Static drop 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Generic.Mutable.Static elem 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static elemIndex 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static elemIndices 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static empty 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static enumFromN 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static enumFromStepN 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static Fin 1 (Type/Class) Data.Fin 2 (Data Constructor) Data.Fin find 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static findIndex 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static findIndices 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static foldl 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static foldl' 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static foldl1 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static foldl1' 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static foldr 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static foldr' 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static foldr1 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static foldr1' 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static fromList 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static generate 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static grow Data.Vector.Generic.Mutable.Static head 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static I 1 (Type/Class) Data.Nat 2 (Data Constructor) Data.Nat ifoldl 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static ifoldl' 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static ifoldr 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static ifoldr' 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static imap 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static induction Data.Nat init 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Generic.Mutable.Static 3 (Function) Data.Vector.Static 4 (Function) Data.Vector.Unboxed.Static 5 (Function) Data.Vector.Storable.Static izipWith 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static izipWith3 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static izipWith4 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static izipWith5 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static izipWith6 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static K 1 (Type/Class) Data.Nat 2 (Data Constructor) Data.Nat last 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static map 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static maximum 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static maximumBy 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static maxIndex 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static maxIndexBy 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static minimum 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static minimumBy 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static minIndex 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static minIndexBy 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static MVec 1 (Type/Class) Data.Vector.Generic.Mutable.Static 2 (Data Constructor) Data.Vector.Generic.Mutable.Static Nat Data.Nat natToInt Data.Nat new 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Generic.Mutable.Static 3 (Function) Data.Vector.Static 4 (Function) Data.Vector.Unboxed.Static 5 (Function) Data.Vector.Storable.Static newWith Data.Vector.Generic.Mutable.Static notElem 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static or 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static overlaps Data.Vector.Generic.Mutable.Static product 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static read Data.Vector.Generic.Mutable.Static replicate 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static reverse 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static S 1 (Type/Class) Data.Nat 2 (Data Constructor) Data.Nat set Data.Vector.Generic.Mutable.Static singleton 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static slice 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Generic.Mutable.Static snoc 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static stream 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static streamR 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static succ Data.Fin sum 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static swap Data.Vector.Generic.Mutable.Static tail 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Generic.Mutable.Static 3 (Function) Data.Vector.Static 4 (Function) Data.Vector.Unboxed.Static 5 (Function) Data.Vector.Storable.Static take 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Generic.Mutable.Static toList 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static unfoldr 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static unI Data.Nat unK Data.Nat unstream 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static unstreamR 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static unVec 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Generic.Mutable.Static 3 (Function) Data.Vector.Static 4 (Function) Data.Vector.Unboxed.Static 5 (Function) Data.Vector.Storable.Static unzip 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static unzip3 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static unzip4 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static unzip5 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static unzip6 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static Vec 1 (Type/Class) Data.Vector.Generic.Static 2 (Data Constructor) Data.Vector.Generic.Static 3 (Type/Class) Data.Vector.Static 4 (Data Constructor) Data.Vector.Static 5 (Type/Class) Data.Vector.Unboxed.Static 6 (Data Constructor) Data.Vector.Unboxed.Static 7 (Type/Class) Data.Vector.Storable.Static 8 (Data Constructor) Data.Vector.Storable.Static witnessNat Data.Nat write Data.Vector.Generic.Mutable.Static Z 1 (Type/Class) Data.Nat 2 (Data Constructor) Data.Nat zero Data.Fin zip 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static zip3 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static zip4 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static zip5 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static zip6 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static zipWith 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static zipWith3 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static zipWith4 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static zipWith5 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static zipWith6 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static