Safe Haskell	None
Language	GHC2021

Polysemy.Test.Data.Hedgehog

Description

Hedgehog Effect, Internal

Synopsis

data Hedgehog (m :: Type -> Type) (a :: Type -> Type) b where
- LiftH :: forall (m :: Type -> Type) b (a :: Type -> Type). TestT m b -> Hedgehog m a b
liftH :: forall (m :: Type -> Type) a (r :: EffectRow). Member (Hedgehog m) r => TestT m a -> Sem r a

Documentation

data Hedgehog (m :: Type -> Type) (a :: Type -> Type) b where Source #

Convenience effect for embedding Hedgehog assertions.

Constructors

LiftH :: forall (m :: Type -> Type) b (a :: Type -> Type). TestT m b -> Hedgehog m a b

liftH :: forall (m :: Type -> Type) a (r :: EffectRow). 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