Data.Vector.Internal.Check

| vector-0.7.0.1: Efficient Arrays | Contents | Index
Data.Vector.Internal.Check |
Portability | non-portable
Stability | experimental
Maintainer | Roman Leshchinskiy <rl@cse.unsw.edu.au>
Description
Bounds checking infrastructure
Documentation
data Checks
Constructors
Bounds |
Unsafe |
Internal |
Instances
Eq Checks |
doChecks :: Checks -> Bool
error :: String -> Int -> Checks -> String -> String -> a
emptyStream :: String -> Int -> Checks -> String -> a
check :: String -> Int -> Checks -> String -> String -> Bool -> a -> a
assert :: String -> Int -> Checks -> String -> Bool -> a -> a
checkIndex :: String -> Int -> Checks -> String -> Int -> Int -> a -> a
checkLength :: String -> Int -> Checks -> String -> Int -> a -> a
checkSlice :: String -> Int -> Checks -> String -> Int -> Int -> Int -> a -> a
Produced by Haddock version 2.7.2