Modulevector-0.13.2.0

Data.Vector.Internal.Check

2 types
7 values

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

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