vector-0.12.3.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

Instances details
Eq Checks Source # 
Instance details

Defined in Data.Vector.Internal.Check

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 #