Modulevector-0.13.2.0

Data.Vector.Internal.Check

Synopsis

value check
value checkIndex
value checkLength
value checkSlice
value doChecks
value inRange
value internalError
type HasCallStack
data Checks

Packagevector-0.13.2.0
Exports9
LicenceBSD-3-Clause
SourceTypes.hs

valuecheck :: HasCallStack => Checks -> String -> Bool -> a -> a

valuecheckIndex :: HasCallStack => Checks -> Int -> Int -> a -> a

valuecheckLength :: HasCallStack => Checks -> Int -> a -> a

valuecheckSlice :: HasCallStack => Checks -> Int -> Int -> Int -> a -> a

valuedoChecks :: Checks -> Bool

valueinRange :: Int -> Int -> Bool

valueinternalError :: HasCallStack => String -> a

typetype HasCallStack = IP "callStack" CallStack

Source#

Request a CallStack.

NOTE: The implicit parameter ?callStack :: CallStack is an implementation detail and should not be considered part of the CallStack API, we may decide to change the implementation in the future.

datadata Checks

Bounds Unsafe Internal

Instances1Eq

Eq ChecksDefined in vector-0.13.2.0 · Data.Vector.Internal.Check