vector-0.12.3.1: Efficient Arrays
Copyright (c) Roman Leshchinskiy 2009
License BSD-style
Maintainer Roman Leshchinskiy <rl@cse.unsw.edu.au>
Stability experimental
Portability non-portable
Safe Haskell None
Language Haskell2010

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

Methods

(==) :: Checks -> Checks -> Bool Source #

(/=) :: Checks -> Checks -> Bool Source #

doChecks :: Checks -> Bool Source #

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

internalError :: 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 #