HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog

Documentation

data Hedgehog m rv

assert :: forall r. (Member Hedgehog r, HasCallStack) => Bool -> Sem r ()

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 :: forall a r. Member Hedgehog r => (Failure -> Sem r a) -> Sem r a -> Sem r a

forAll :: forall a r. Member (Embed (PropertyT IO)) r => Member Hedgehog r => Show a => Gen a -> Sem r a

classify :: forall r. (Member Hedgehog r, HasCallStack) => LabelName -> Bool -> Sem r ()

success :: forall r. Member Hedgehog r => Sem r ()

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

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

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

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