HaskellWorks.Polysemy.Hedgehog

Documentation

propertyOnce :: Sem [Log, DataLog (LogEntry LogMessage), DataLog Text, GhcTime, Hedgehog, Embed IO, Embed (PropertyT IO), Final (PropertyT IO)] () -> Property

data Hedgehog m rv

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

interpretDataLogHedgehog :: Member Hedgehog r => (a -> Text) -> (a -> CallStack) -> InterpreterFor (DataLog a) r

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

catchFail :: forall e r a. Member Hedgehog r => HasCallStack => Show e => Sem (Error e ': r) 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 ()

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

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

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

evalIO_ :: Member Hedgehog r => HasCallStack => IO a -> Sem r ()

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

jotShow :: Member Hedgehog r => HasCallStack => Show a => a -> Sem r a

Annotate the given value.

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

Annotate the given value returning unit.

jotWithCallstack :: Member Hedgehog r => CallStack -> String -> Sem r ()

Annotate the given string at the context supplied by the callstack.

jot :: Member Hedgehog r => HasCallStack => String -> Sem r String

Annotate with the given string.

jot_ :: Member Hedgehog r => HasCallStack => String -> Sem r ()

Annotate the given string returning unit.

jotText_ :: Member Hedgehog r => HasCallStack => Text -> Sem r ()

Annotate the given text returning unit.

jotM :: ToString s => Member Hedgehog r => HasCallStack => Sem r s -> Sem r s

Annotate the given string in a monadic context.

jotM_ :: Member Hedgehog r => HasCallStack => Sem r String -> Sem r ()

Annotate the given string in a monadic context returning unit.

jotBsUtf8M :: Member Hedgehog r => HasCallStack => Sem r ByteString -> Sem r ByteString

jotLbsUtf8M :: Member Hedgehog r => HasCallStack => Sem r ByteString -> Sem r ByteString

jotIO :: Member Hedgehog r => HasCallStack => IO String -> Sem r String

Annotate the given string in IO.

jotIO_ :: Member Hedgehog r => HasCallStack => IO String -> Sem r ()

Annotate the given string in IO returning unit.

jotShowM :: Member Hedgehog r => HasCallStack => Show a => Sem r a -> Sem r a

Annotate the given value in a monadic context.

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

Annotate the given value in a monadic context returning unit.

jotShowIO :: Member Hedgehog r => HasCallStack => Show a => IO a -> Sem r a

Annotate the given value in IO.

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

Annotate the given value in IO returning unit.

jotEach :: Member Hedgehog r => HasCallStack => Show a => Traversable f => f a -> Sem r (f a)

Annotate the each value in the given traversable.

jotEach_ :: Member Hedgehog r => HasCallStack => Show a => Traversable f => f a -> Sem r ()

Annotate the each value in the given traversable returning unit.

jotEachM :: Member Hedgehog r => HasCallStack => Show a => Traversable f => Sem r (f a) -> Sem r (f a)

Annotate the each value in the given traversable in a monadic context.

jotEachM_ :: Member Hedgehog r => HasCallStack => Show a => Traversable f => Sem r (f a) -> Sem r ()

Annotate the each value in the given traversable in a monadic context returning unit.

jotEachIO :: Member Hedgehog r => HasCallStack => Show a => Traversable f => IO (f a) -> Sem r (f a)

Annotate the each value in the given traversable in IO.

jotEachIO_ :: Member Hedgehog r => HasCallStack => Show a => Traversable f => IO (f a) -> Sem r ()

Annotate the each value in the given traversable in IO returning unit.

data Property

A property test, along with some configurable limits like how many times to run the test.