vector-0.10.0.1: Efficient Arrays

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

Data.Vector.Internal.Check

Description

Bounds checking infrastructure

Documentation

data Checks

Constructors

Bounds 
Unsafe 
Internal 

Instances

error :: String -> Int -> String -> String -> a

check :: String -> Int -> Checks -> String -> 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