vector-0.10.12.1: Efficient Arrays

Copyright(c) Roman Leshchinskiy 2009
LicenseBSD-style
MaintainerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Vector.Internal.Check

Description

Bounds checking infrastructure

Documentation

data Checks Source

Constructors

Bounds 
Unsafe 
Internal 

Instances

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

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

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

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

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