Hedgehog.Meta

Facilities for testing Hedgehog using Hedgehog

Module contains properties to check how Hedgehog behaves on given properties

Reexports

Definitions

recheckGivenOutput : {default False _ : Bool} -> String -> Property -> Size -> StdGen -> Property

  A property checking that Hedgehog being run on a particular property
  with particular configuration prints expected string.
  
  The check passes if every line of Hedgehog's output contains a corresponding
  line of `expected` string as a substring. Empty lines, leading and traling
  spaces are ignored in both the `expected` string, and Hedgehog's output.

Totality: total
Visibility: export

checkGivenOutput : {default False _ : Bool} -> String -> Property -> Property

  A property checking that Hedgehog being run on a default configuration
  and a random seed prints expected string.
  
  The check passes if every line of Hedgehog's output contains a corresponding
  line of `expected` string as a substring. Empty lines, leading and traling
  spaces are ignored in both the `expected` string, and Hedgehog's output.

Totality: total
Visibility: export