liquid-vector-0.12.1.2: LiquidHaskell specs for the vector package

Index - F

fillData.Vector.Generic.Mutable
fillRData.Vector.Generic.Mutable
filter 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
filterM 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
find 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
findIndex 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
findIndexM 
1 (Function)Data.Vector.Fusion.Bundle.Monadic
2 (Function)Data.Vector.Fusion.Stream.Monadic
findIndices 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Primitive
4 (Function)Data.Vector.Storable
5 (Function)Data.Vector.Unboxed
findM 
1 (Function)Data.Vector.Fusion.Bundle.Monadic
2 (Function)Data.Vector.Fusion.Stream.Monadic
flatten 
1 (Function)Data.Vector.Fusion.Bundle
2 (Function)Data.Vector.Fusion.Bundle.Monadic
3 (Function)Data.Vector.Fusion.Stream.Monadic
fold1M 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
fold1M' 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
fold1M'_ 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Primitive
4 (Function)Data.Vector.Storable
5 (Function)Data.Vector.Unboxed
fold1M_ 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Primitive
4 (Function)Data.Vector.Storable
5 (Function)Data.Vector.Unboxed
foldl 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
foldl' 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
foldl1 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
foldl1' 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
foldl1M 
1 (Function)Data.Vector.Fusion.Bundle.Monadic
2 (Function)Data.Vector.Fusion.Stream.Monadic
foldl1M' 
1 (Function)Data.Vector.Fusion.Bundle.Monadic
2 (Function)Data.Vector.Fusion.Stream.Monadic
foldlM 
1 (Function)Data.Vector.Fusion.Bundle.Monadic
2 (Function)Data.Vector.Fusion.Stream.Monadic
foldlM' 
1 (Function)Data.Vector.Fusion.Bundle.Monadic
2 (Function)Data.Vector.Fusion.Stream.Monadic
foldM 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
foldM' 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
foldM'_ 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Primitive
4 (Function)Data.Vector.Storable
5 (Function)Data.Vector.Unboxed
foldM_ 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Primitive
4 (Function)Data.Vector.Storable
5 (Function)Data.Vector.Unboxed
foldr 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
foldr' 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Primitive
4 (Function)Data.Vector.Storable
5 (Function)Data.Vector.Unboxed
foldr1 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle
4 (Function)Data.Vector.Fusion.Bundle.Monadic
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
foldr1' 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Primitive
4 (Function)Data.Vector.Storable
5 (Function)Data.Vector.Unboxed
foldr1M 
1 (Function)Data.Vector.Fusion.Bundle.Monadic
2 (Function)Data.Vector.Fusion.Stream.Monadic
foldrM 
1 (Function)Data.Vector.Fusion.Bundle.Monadic
2 (Function)Data.Vector.Fusion.Stream.Monadic
force 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Primitive
4 (Function)Data.Vector.Storable
5 (Function)Data.Vector.Unboxed
forM 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Primitive
4 (Function)Data.Vector.Storable
5 (Function)Data.Vector.Unboxed
forM_ 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Primitive
4 (Function)Data.Vector.Storable
5 (Function)Data.Vector.Unboxed
freeze 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Primitive
4 (Function)Data.Vector.Storable
5 (Function)Data.Vector.Unboxed
fromList 
1 (Function)Data.Vector
2 (Function)Data.Vector.Fusion.Bundle
3 (Function)Data.Vector.Fusion.Bundle.Monadic
4 (Function)Data.Vector.Fusion.Stream.Monadic
5 (Function)Data.Vector.Generic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
fromListN 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Fusion.Bundle.Monadic
4 (Function)Data.Vector.Fusion.Bundle
5 (Function)Data.Vector.Fusion.Stream.Monadic
6 (Function)Data.Vector.Primitive
7 (Function)Data.Vector.Storable
8 (Function)Data.Vector.Unboxed
fromStreamData.Vector.Fusion.Bundle.Monadic
fromVector 
1 (Function)Data.Vector.Fusion.Bundle.Monadic
2 (Function)Data.Vector.Fusion.Bundle
fromVectors 
1 (Function)Data.Vector.Fusion.Bundle.Monadic
2 (Function)Data.Vector.Fusion.Bundle