vector-0.6: Efficient Arrays

Portabilitynon-portable
Stabilityexperimental
MaintainerRoman Leshchinskiy <[email protected]>

Data.Vector.Internal.Check

Description

Bounds checking infrastructure

Documentation

data Checks Source

Constructors

Bounds 
Unsafe 
Internal 

Instances

doChecks :: Checks -> BoolSource

error :: String -> Int -> Checks -> String -> String -> aSource

emptyStream :: String -> Int -> Checks -> String -> aSource

check :: String -> Int -> Checks -> String -> String -> Bool -> a -> aSource

assert :: String -> Int -> Checks -> String -> Bool -> a -> aSource

checkIndex :: String -> Int -> Checks -> String -> Int -> Int -> a -> aSource

checkLength :: String -> Int -> Checks -> String -> Int -> a -> aSource

checkSlice :: String -> Int -> Checks -> String -> Int -> Int -> Int -> a -> aSource