Idris2Doc : Evince.Hedgehog

Evince.Hedgehog

(source)

Definitions

prop : String->Property->Speca ()
  Embed a hedgehog Property as an evince test case.

Visibility: export
itProp : String->PropertyT () ->Speca ()
  Embed a PropertyT action (wraps in `property`).

Visibility: export
itProp1 : String->PropertyT () ->Speca ()
  Embed a single-run property (wraps in `property1`).

Visibility: export