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

Index - B

backpermute 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Primitive
4 (Function)Data.Vector.Storable
5 (Function)Data.Vector.Unboxed
basicClearData.Vector.Generic.Mutable, Data.Vector.Generic.Mutable.Base
basicInitializeData.Vector.Generic.Mutable, Data.Vector.Generic.Mutable.Base
basicLength 
1 (Function)Data.Vector.Generic, Data.Vector.Generic.Base
2 (Function)Data.Vector.Generic.Mutable, Data.Vector.Generic.Mutable.Base
basicOverlapsData.Vector.Generic.Mutable, Data.Vector.Generic.Mutable.Base
basicSetData.Vector.Generic.Mutable, Data.Vector.Generic.Mutable.Base
basicUnsafeCopy 
1 (Function)Data.Vector.Generic, Data.Vector.Generic.Base
2 (Function)Data.Vector.Generic.Mutable, Data.Vector.Generic.Mutable.Base
basicUnsafeFreezeData.Vector.Generic, Data.Vector.Generic.Base
basicUnsafeGrowData.Vector.Generic.Mutable, Data.Vector.Generic.Mutable.Base
basicUnsafeIndexMData.Vector.Generic, Data.Vector.Generic.Base
basicUnsafeMoveData.Vector.Generic.Mutable, Data.Vector.Generic.Mutable.Base
basicUnsafeNewData.Vector.Generic.Mutable, Data.Vector.Generic.Mutable.Base
basicUnsafeReadData.Vector.Generic.Mutable, Data.Vector.Generic.Mutable.Base
basicUnsafeReplicateData.Vector.Generic.Mutable, Data.Vector.Generic.Mutable.Base
basicUnsafeSlice 
1 (Function)Data.Vector.Generic, Data.Vector.Generic.Base
2 (Function)Data.Vector.Generic.Mutable, Data.Vector.Generic.Mutable.Base
basicUnsafeThawData.Vector.Generic, Data.Vector.Generic.Base
basicUnsafeWriteData.Vector.Generic.Mutable, Data.Vector.Generic.Mutable.Base
BoundsData.Vector.Internal.Check
Box 
1 (Type/Class)Data.Vector.Fusion.Util
2 (Data Constructor)Data.Vector.Fusion.Util
break 
1 (Function)Data.Vector
2 (Function)Data.Vector.Generic
3 (Function)Data.Vector.Primitive
4 (Function)Data.Vector.Storable
5 (Function)Data.Vector.Unboxed
Bundle 
1 (Type/Class)Data.Vector.Fusion.Bundle
2 (Data Constructor)Data.Vector.Fusion.Bundle.Monadic
3 (Type/Class)Data.Vector.Fusion.Bundle.Monadic