Evince.Runner

Definitions

EvalResult : Type

  A running tally: the summary counts plus the per-test reports collected
  so far. Accumulated as the forest is evaluated.

Visibility: public export

emptyResult : EvalResult

  The empty tally - no counts and no reports - used as the starting
  accumulator when folding results together.

Visibility: export

mergeResults : EvalResult -> EvalResult -> EvalResult

  Combine two tallies, adding their summary counts and concatenating their
  reports.

Visibility: export

evalTree : HasIO m => Reporter m -> RunConfig -> IORef Bool -> List String -> SpecTree m () -> Nat -> m EvalResult

  Evaluate one spec-tree node, emitting the matching reporter events and
  returning its tally. Recurses through groups; runs and times each test,
  honouring the abort flag (`--fail-fast`).

Visibility: export

evalForest : HasIO m => Reporter m -> RunConfig -> IORef Bool -> List String -> List (SpecTree m ()) -> Nat -> m EvalResult

  Evaluate a list of spec trees left to right, accumulating their tallies
  and stopping early once the abort flag (`--fail-fast`) is set.

Visibility: export

makeReporter : HasIO m => RunConfig -> m (Reporter m)

  Build the reporter for a run: the console reporter, combined with the
  JUnit reporter when `--junit` is set. Colors are dropped when the
  `NO_COLOR` environment variable is set.

Visibility: export

failedPaths : SnocList TestReport -> List (List String)

  The paths of every failed test, for `--rerun` to replay next time.

Visibility: export

runForestWith : HasIO m => Reporter m -> (IORef Bool -> List (SpecTree m ()) -> m EvalResult) -> RunConfig -> List (SpecTree m ()) -> m EvalResult

  Run a suite's forest with a caller-supplied evaluator. Applies the CLI
  filters and rerun selection, then brackets the evaluation with the
  suite-started/done events.

Visibility: export

runSpecWithSummaryAndConfig : RunConfig -> Spec IO () () -> IO Summary

  Run a spec suite with custom configuration and return the summary.

Visibility: export

runSpecWithSummary : Spec IO () () -> IO Summary

  Run a spec suite and return the summary without exiting. Useful for
  meta-testing (testing evince with evince).

Visibility: export

runSpecWith : RunConfig -> Spec IO () () -> IO ()

  Run a spec suite with custom configuration.

Visibility: export

runSpec : Spec IO () () -> IO ()

  Run a spec suite, print colored results, exit with code 1 if any test failed.

Visibility: export

runSpecFailFast : Spec IO () () -> IO ()

  Run with fail-fast enabled - stop after the first failure.

Visibility: export

runSpecTimed : Spec IO () () -> IO ()

  Run with per-test timing displayed.

Visibility: export

runSpecWithArgs : Spec IO () () -> IO ()

  Run a spec suite, reading CLI args for configuration. `--help` prints the
  flag reference and exits; unknown or invalid arguments warn on stderr.

Visibility: export