Safe Haskell	None
Language	Haskell2010

Rebase.Data.Vector.Internal.Check

Synopsis

data Checks
- = Bounds
- | Unsafe
- | Internal
inRange :: Int -> Int -> Bool
type HasCallStack = ?callStack :: CallStack
check :: HasCallStack => Checks -> String -> Bool -> a -> a
checkIndex :: HasCallStack => Checks -> Int -> Int -> a -> a
checkSlice :: HasCallStack => Checks -> Int -> Int -> Int -> a -> a
checkLength :: HasCallStack => Checks -> Int -> a -> a
doChecks :: Checks -> Bool
internalError :: HasCallStack => String -> a

Documentation

data Checks #

Constructors

Bounds
Unsafe
Internal

Instances

Instances details

Eq Checks
Instance details Defined in Data.Vector.Internal.Check Methods (==) :: Checks -> Checks -> Bool # (/=) :: Checks -> Checks -> Bool #

inRange :: Int -> Int -> Bool #

type HasCallStack = ?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.

Since: base-4.9.0.0

check :: HasCallStack => Checks -> String -> Bool -> a -> a #

checkIndex :: HasCallStack => Checks -> Int -> Int -> a -> a #

checkSlice :: HasCallStack => Checks -> Int -> Int -> Int -> a -> a #

checkLength :: HasCallStack => Checks -> Int -> a -> a #

doChecks :: Checks -> Bool #

internalError :: HasCallStack => String -> a #