Effectful.Zoo.Hedgehog.MonadTestProxy

Documentation

class Monad m => MonadTestProxy m where

Methods

liftTestProxy :: Test a -> m a

Instances

(r <: Error Failure, r <: Writer Journal) => MonadTestProxy (Eff r)

Defined in Effectful.Zoo.Hedgehog.MonadTestProxy

Methods

liftTestProxy :: Test a -> Eff r a

MonadTestProxy (TestT IO)

Defined in Effectful.Zoo.Hedgehog.MonadTestProxy

Methods

liftTestProxy :: Test a -> TestT IO a