HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog

Documentation

data Hedgehog m rv

assertEquals :: forall r a. (Member Hedgehog r, HasCallStack, Eq a, Show a) => a -> a -> Sem r ()

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

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

writeLog :: forall r. (Member Hedgehog r, HasCallStack) => Log -> Sem r ()

failWith :: forall r a. (Member Hedgehog r, HasCallStack) => Maybe Diff -> String -> Sem r a

failWithCustom :: forall r a. Member Hedgehog r => CallStack -> Maybe Diff -> String -> Sem r a

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

trapAssertion :: Member Hedgehog r => (Failure -> Sem r a) -> Sem r a -> Sem r a

hedgehogToMonadTestFinal :: MonadIO m => MonadCatch m => MonadTest m => MonadAssertion m => Member (Final m) r => Sem (Hedgehog ': r) a -> Sem r a

hedgehogToPropertyFinal :: Member (Final (PropertyT IO)) r => Sem (Hedgehog ': r) a -> Sem r a

hedgehogToTestFinal :: Member (Final (TestT IO)) r => Sem (Hedgehog ': r) a -> Sem r a

catchExToPropertyFinal :: Member (Final (PropertyT IO)) r => Sem (Except ': r) a -> Sem r a