vector-0.6: Efficient Arrays

Portabilitynon-portable
Stabilityexperimental
MaintainerRoman Leshchinskiy <rl@cse.unsw.edu.au>

Data.Vector.Internal.Check

Description

Bounds checking infrastructure

Documentation

data Checks Source

Constructors

Bounds 
Unsafe 
Internal 

Instances

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