Safe Haskell	Safe-Inferred
Language	GHC2021

Effectful.Zoo.Hedgehog.Dynamic

Contents

Orphan instances

Documentation

data Hedgehog :: Effect where Source #

Constructors

CatchAssertion :: HasCallStack => m a -> (Failure -> m a) -> Hedgehog m a
LiftTest :: HasCallStack => Test a -> Hedgehog m a
ThrowAssertion :: HasCallStack => Failure -> Hedgehog m a

Instances

Instances details

type DispatchOf Hedgehog Source #
Instance details Defined in Effectful.Zoo.Hedgehog.Dynamic type DispatchOf Hedgehog = 'Dynamic

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

Methods

liftTest :: Test a -> m a #

Instances

Instances details

r <: Hedgehog => MonadTest (Eff r) Source #
Instance details Defined in Effectful.Zoo.Hedgehog.Dynamic Methods liftTest :: Test a -> Eff r a #
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 #

runHedgehogIO :: forall a. Eff [Hedgehog, Error Failure, Writer Journal, IOE] a -> IO (Either Failure a, Journal) Source #

runHedgehog :: forall a r. r <: Error Failure => r <: Writer Journal => Eff (Hedgehog : r) a -> Eff r a Source #

Orphan instances

r <: Hedgehog => MonadTest (Eff r) Source #
Instance details Methods liftTest :: Test a -> Eff r a #