| ||||||||||
| ||||||||||
| 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 |