Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. newtype Sequential (m :: Type -> Type) (state :: Type -> Type -> Type)

   hedgehog	Hedgehog.Internal.State

   A sequence of actions to execute.

2. Sequential :: [Action m state] -> Sequential (m :: Type -> Type) (state :: (Type -> Type) -> Type)

   hedgehog	Hedgehog.Internal.State

   No documentation available.

3. actionRequire :: Action (m :: Type -> Type) (state :: (Type -> Type) -> Type) -> state Symbolic -> input Symbolic -> Bool

   hedgehog	Hedgehog.Internal.State

   No documentation available.

4. executeSequential :: (MonadTest m, MonadCatch m, HasCallStack) => (forall (v :: Type -> Type) . () => state v) -> Sequential m state -> m ()

   hedgehog	Hedgehog.Internal.State

   Executes a list of actions sequentially, verifying that all post-conditions are met and no exceptions are thrown. To generate a sequence of actions to execute, see the sequential combinator in the Hedgehog.Gen module.

5. sequential :: forall gen (m :: Type -> Type) state . (MonadGen gen, MonadTest m) => Range Int -> (forall (v :: Type -> Type) . () => state v) -> [Command gen m state] -> gen (Sequential m state)

   hedgehog	Hedgehog.Internal.State

   Generates a sequence of actions from an initial model state and set of commands.

6. sequentialActions :: Sequential (m :: Type -> Type) (state :: (Type -> Type) -> Type) -> [Action m state]

   hedgehog	Hedgehog.Internal.State

   The sequence of actions.

7. constEq :: (ByteArrayAccess bs1, ByteArrayAccess bs2) => bs1 -> bs2 -> Bool

   memory	Data.ByteArray

   A constant time equality test for 2 ByteArrayAccess values. If values are of 2 different sizes, the function will abort early without comparing any bytes. compared to == , this function will go over all the bytes present before yielding a result even when knowing the overall result early in the processing.

8. memConstEqual :: Ptr Word8 -> Ptr Word8 -> Int -> IO Bool

   memory	Data.Memory.PtrMethods

   A constant time equality test for 2 Memory buffers compared to normal equality function, this function will go over all the bytes present before yielding a result even when knowing the overall result early in the processing.

9. memEqual :: Ptr Word8 -> Ptr Word8 -> Int -> IO Bool

   memory	Data.Memory.PtrMethods

   Check if two piece of memory are equals

10. data InvalidRequest

    warp	Network.Wai.Handler.Warp

    Error types for bad Request.

Page 169 of many | Previous | Next