| Safe Haskell | Unsafe |
|---|---|
| Language | Haskell2010 |
Yaya.Hedgehog
Synopsis
- evalNonterminating :: (HasCallStack, MonadIO m, MonadTest m, Show a) => a -> m ()
- nonterminatingProperty :: (HasCallStack, Show a) => a -> Property
Documentation
evalNonterminating :: (HasCallStack, MonadIO m, MonadTest m, Show a) => a -> m () Source #
Returns success if the expression doesn’t terminate, failure otherwise. Termination is just checked with a 1 second timeout, so this isn’t foolproof.
nonterminatingProperty :: (HasCallStack, Show a) => a -> Property Source #
Returns success if the expression doesn’t terminate, failure otherwise. The value passed here should termina