vector-static-0.2.0: 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 addNat Data.Nat 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 3 (Function) Data.Vector.Unboxed.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 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 diagonal Data.Vector.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 3 (Function) Data.Vector.Unboxed.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 Ex Data.Nat Exists Data.Nat 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 3 (Function) Data.Vector.Unboxed.Static finToInt Data.Fin 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 indexed Data.Vector.Generic.Static 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 intToFin Data.Fin 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 length 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 mulFin Data.Fin mulNat Data.Nat mulNatFin Data.Fin MVec 1 (Type/Class) Data.Vector.Generic.Mutable.Static 2 (Data Constructor) Data.Vector.Generic.Mutable.Static MVS Data.Vector.Unboxed.Static Nat 1 (Type/Class) Data.Nat 2 (Data Constructor) Data.Nat natToFin Data.Fin natToInt Data.Nat NatView 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 pred Data.Fin product 1 (Function) Data.Vector.Generic.Static 2 (Function) Data.Vector.Static 3 (Function) Data.Vector.Unboxed.Static 4 (Function) Data.Vector.Storable.Static Proof Data.Nat raise Data.Fin read Data.Vector.Generic.Mutable.Static Reifiable Data.Nat reifiable Data.Nat Reify Data.Nat 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 Data.Nat s 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.Nat 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 view Data.Nat VS Data.Vector.Unboxed.Static witnessNat Data.Nat write Data.Vector.Generic.Mutable.Static Z Data.Nat z Data.Nat Zero 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