Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hedgehog-related helpers
Synopsis
- testScenarioProps :: (HasCallStack, MonadIO m, MonadTest m) => Scenario PureM -> m ()
- evalIO :: (HasCallStack, MonadIO m, MonadTest m) => IO a -> m a
- failWithException :: (HasCallStack, MonadTest m) => SomeException -> m a
- failWithCallStack :: MonadTest m => CallStack -> String -> m a
- formatException :: SomeException -> String
- extractSpan :: CallStack -> Maybe Span
Documentation
testScenarioProps :: (HasCallStack, MonadIO m, MonadTest m) => Scenario PureM -> m () Source #
Run an Scenario
via the Morley.Michelson.Runtime emulator,
inside an hedgehog
property.
failWithException :: (HasCallStack, MonadTest m) => SomeException -> m a Source #