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 ()

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 => 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

hedgehogToMonadTestFinal :: MonadIO m => MonadCatch m => MonadTest 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