| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Database.LSMTree.Internal.Assertions
Synopsis
- assert :: Bool -> a -> a
- isValidSlice :: Int -> Int -> ByteArray -> Bool
- sameByteArray :: ByteArray -> ByteArray -> Bool
- fromIntegralChecked :: (HasCallStack, Integral a, Integral b, Show a) => a -> b
Documentation
If the first argument evaluates to True, then the result is the
second argument. Otherwise an AssertionFailed exception
is raised, containing a String with the source file and line number of the
call to assert.
Assertions can normally be turned on or off with a compiler flag
(for GHC, assertions are normally on unless optimisation is turned on
with -O or the -fignore-asserts
option is given). When assertions are turned off, the first
argument to assert is ignored, and the second argument is
returned as the result.
fromIntegralChecked :: (HasCallStack, Integral a, Integral b, Show a) => a -> b Source #
Like fromIntegral, but throws an error when (x :: a) /= fromIntegral
(fromIntegral x :: b).