Safe Haskell	Safe-Inferred
Language	GHC2021

Effectful.Zoo.Hedgehog.Api.Eval

Synopsis

eval :: forall a r. HasCallStack => r <: Hedgehog => a -> Eff r a
evalIO :: forall a r. HasCallStack => r <: IOE => r <: Hedgehog => IO a -> Eff r a
evalM :: forall a r. HasCallStack => r <: Hedgehog => Eff r a -> Eff r a
evalEither :: forall a e r. HasCallStack => r <: Hedgehog => Show e => Either e a -> Eff r a
evalMaybe :: forall a r. HasCallStack => r <: Hedgehog => Maybe a -> Eff r a

Documentation

eval :: forall a r. HasCallStack => r <: Hedgehog => a -> Eff r a Source #

evalIO :: forall a r. HasCallStack => r <: IOE => r <: Hedgehog => IO a -> Eff r a Source #

evalM :: forall a r. HasCallStack => r <: Hedgehog => Eff r a -> Eff r a Source #

evalEither :: forall a e r. HasCallStack => r <: Hedgehog => Show e => Either e a -> Eff r a Source #

Embeds evalMaybe.