Evince.Hedgehog

Definitions

runProperty : String -> Property -> TestResultT IO ()

  Run a property silently as a `TestResultT IO` chain. A failure carries
  hedgehog's report - the shrunk counterexample, diff and recheck seed -
  under the given test label.

Visibility: export

prop : HasIO m => String -> Property -> Spec m a ()

  Embed a hedgehog Property as an evince test case.

Visibility: export

itProp : HasIO m => String -> PropertyT () -> Spec m a ()

  Embed a PropertyT action (wraps in `property`).

Visibility: export

itProp1 : HasIO m => String -> PropertyT () -> Spec m a ()

  Embed a single-run property (wraps in `property1`).

Visibility: export