polysemy-test-0.6.0.0: Polysemy Effects for Testing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Polysemy.Test.Data.Hedgehog

Description

Hedgehog Effect, Internal

Synopsis

Documentation

data Hedgehog m :: Effect where Source #

Convenience effect for embedding Hedgehog assertions.

Constructors

LiftH :: TestT m a -> Hedgehog m n a 

liftH :: forall m a r. Member (Hedgehog m) r => TestT m a -> Sem r a Source #

Lift a TestT m into Sem.

>>> liftH (Hedgehog.evalEither (Left 0))
liftH (Hedgehog.evalEither (Left 0))
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
│ 0