Contents
Index
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
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
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
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
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
indexed
Data.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
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
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
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
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
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
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
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