Modulererebase-1.21.2Haskell2010

Data.Vector.Internal.Check

2 types
7 values

Packagererebase-1.21.2
Exports9
LanguageHaskell2010
LicenceMIT
SourceTypes.hs

datadata Checks

Bounds Unsafe Internal

Instances1Eq

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

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

valueinRange :: Int -> Int -> Bool

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.

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

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

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

valuedoChecks :: Checks -> Bool

valueinternalError :: HasCallStack => String -> a