| ||||||||||
| ||||||||||
Description | ||||||||||
Bounds checking infrastructure | ||||||||||
Documentation | ||||||||||
data 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 |