yaya-hedgehog-0.3.0.0: Hedgehog testing support for the Yaya recursion scheme library.
Safe HaskellUnsafe
LanguageHaskell2010

Yaya.Hedgehog

Synopsis

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