Idris2Doc : Evince.Runner

Evince.Runner

(source)

Definitions

runSpecWithSummaryAndConfig : RunConfig->Spec () () ->IOSummary
  Run a spec suite with custom configuration and return the summary.

Visibility: export
runSpecWithSummary : Spec () () ->IOSummary
  Run a spec suite and return the summary without exiting. Useful for
meta-testing (testing evince with evince).

Visibility: export
runSpecWith : RunConfig->Spec () () ->IO ()
  Run a spec suite with custom configuration.

Visibility: export
runSpec : Spec () () ->IO ()
  Run a spec suite, print colored results, exit with code 1 if any test failed.

Visibility: export
runSpecFailFast : Spec () () ->IO ()
  Run with fail-fast enabled — stop after the first failure.

Visibility: export
runSpecTimed : Spec () () ->IO ()
  Run with per-test timing displayed.

Visibility: export
runSpecWithArgs : Spec () () ->IO ()
  Run a spec suite, reading CLI args for configuration.

Visibility: export