vector-static-0.3.0.1: Statically checked sizes on Data.Vector

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
addFinData.Fin
addNatData.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
clearData.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
diagonalData.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
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
ExData.Nat
ExistsData.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
finToIntData.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
growData.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
headM 
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
indexedData.Vector.Generic.Static
indexM 
1 (Function)Data.Vector.Generic.Static
2 (Function)Data.Vector.Static
3 (Function)Data.Vector.Unboxed.Static
4 (Function)Data.Vector.Storable.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
intToFinData.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
lastM 
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
mulFinData.Fin
mulNatData.Nat
mulNatFinData.Fin
MVec 
1 (Type/Class)Data.Vector.Generic.Mutable.Static
2 (Data Constructor)Data.Vector.Generic.Mutable.Static
MVSData.Vector.Unboxed.Static
Nat 
1 (Type/Class)Data.Nat
2 (Data Constructor)Data.Nat
natToFinData.Fin
natToIntData.Nat
NatViewData.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
newWithData.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
null 
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
overlapsData.Vector.Generic.Mutable.Static
predData.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
ProofData.Nat
raiseData.Fin
readData.Vector.Generic.Mutable.Static
ReifiableData.Nat
reifiableData.Nat
ReifyData.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
SData.Nat
sData.Nat
setData.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
3 (Function)Data.Vector.Static
4 (Function)Data.Vector.Unboxed.Static
5 (Function)Data.Vector.Storable.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
SuccData.Nat
succData.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
swapData.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
unIData.Nat
unKData.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
viewData.Nat
VSData.Vector.Unboxed.Static
witnessNatData.Nat
writeData.Vector.Generic.Mutable.Static
ZData.Nat
zData.Nat
ZeroData.Nat
zeroData.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