HaskellWorks.Polysemy.Hedgehog.Eval

Documentation

evalIO_ :: forall a r. Member Hedgehog r => HasCallStack => IO a -> Sem r ()

evalM_ :: forall a r. Member Hedgehog r => HasCallStack => Sem r a -> Sem r ()

eval :: forall r a. (Member Hedgehog r, HasCallStack) => a -> Sem r a

evalM :: forall r a. (Member Hedgehog r, HasCallStack) => Sem r a -> Sem r a

evalIO :: forall r a. (Member Hedgehog r, HasCallStack) => IO a -> Sem r a