Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cleveland.Internal.Hedgehog

Description

Hedgehog-related helpers

Synopsis

class Monad m => MonadTest (m :: Type -> Type) where
- liftTest :: Test a -> m a
evalIO :: (HasCallStack, MonadIO m, MonadTest m) => IO a -> m a
testScenarioProps :: (HasCallStack, MonadIO m, MonadTest m) => Scenario PureM -> m ()

Documentation

class Monad m => MonadTest (m :: Type -> Type) where #

Methods

liftTest :: Test a -> m a #

Instances

Instances details

Monad m => MonadTest (PropertyT m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> PropertyT m a #
Monad m => MonadTest (TestT m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> TestT m a #
MonadTest m => MonadTest (ResourceT m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> ResourceT m a #
MonadTest m => MonadTest (MaybeT m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> MaybeT m a #
MonadTest m => MonadTest (ExceptT x m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> ExceptT x m a #
MonadTest m => MonadTest (IdentityT m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> IdentityT m a #
MonadTest m => MonadTest (ReaderT r m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> ReaderT r m a #
MonadTest m => MonadTest (StateT s m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> StateT s m a #
MonadTest m => MonadTest (StateT s m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> StateT s m a #
(MonadTest m, Monoid w) => MonadTest (WriterT w m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> WriterT w m a #
(MonadTest m, Monoid w) => MonadTest (WriterT w m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> WriterT w m a #
MonadTest m => MonadTest (ContT r m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> ContT r m a #
(MonadTest m, Monoid w) => MonadTest (RWST r w s m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> RWST r w s m a #
(MonadTest m, Monoid w) => MonadTest (RWST r w s m)
Instance details Defined in Hedgehog.Internal.Property Methods liftTest :: Test a -> RWST r w s m a #

evalIO :: (HasCallStack, MonadIO m, MonadTest m) => IO a -> m a Source #

testScenarioProps :: (HasCallStack, MonadIO m, MonadTest m) => Scenario PureM -> m () Source #

Run an Scenario via the Morley.Michelson.Runtime emulator, inside an hedgehog property.