Evince.Hedgehog

Definitions

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

  Run a property silently and return the outcome as a TestResult. 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