HaskellWorks.Polysemy.Hedgehog.Assert

Documentation

data Hedgehog m rv

leftFail :: forall e r a. Member Hedgehog r => Show e => HasCallStack => Either e a -> Sem r a

Fail when the result is Left.

leftFailM :: forall e r a. Member Hedgehog r => Show e => HasCallStack => Sem r (Either e a) -> Sem r a

requireHead :: Member Hedgehog r => HasCallStack => [a] -> Sem r a

catchFail :: forall e r a. Member Hedgehog r => HasCallStack => Show e => Sem (Error e ': r) a -> Sem r a

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

failure :: Member Hedgehog r => HasCallStack => Sem r a

failMessage :: Member Hedgehog r => HasCallStack => CallStack -> String -> Sem r a

(===) :: Member Hedgehog r => Eq a => Show a => HasCallStack => a -> a -> Sem r ()