Evince.Async.Shared

Definitions

0 AbortRef : Type

  The fail-fast abort flag threaded through the runner - a base `Data.IORef`
  cell (not the `IORef` that IO.Async re-exports from Data.Linear.Ref1).

Visibility: public export

evalAsyncForest : Reporter (Async e []) -> Lock (Async e []) -> RunConfig -> AbortRef -> List (SpecTree (Async e []) ()) -> Async e [] EvalResult

  Evaluate the top-level groups, running up to `cfg.jobs` of them
  concurrently. `jobs = 0` falls back to core's sequential walk; otherwise a
  pool of `jobs` workers claims groups from a shared queue as slots free up
  (sliding window - a slow group never stalls the ones after it). Under
  `--fail-fast` the first failure also cancels the in-flight groups: their
  partial output is flushed, their completed tests keep their results, and a
  `SuiteAborted` event notes that the run was cut short. A concurrent group's
  events are buffered and replayed under the lock when the group finishes, so
  groups' output never interleaves.

Visibility: export

runResultVia : (Async e [] () -> IO ()) -> RunConfig -> Spec (Async e []) () () -> IO EvalResult

  Run a spec on a caller-supplied event loop and return the full result.
  The `runLoop` argument is the backend's `Async` runner (`syncApp` for the
  SyncST loop, `app` for the JS loop). Dies if the loop terminates before
  the suite completes, rather than reporting an empty successful run.

Visibility: export

runSpecVia : (Async e [] () -> IO ()) -> RunConfig -> Spec (Async e []) () () -> IO ()

  Run a spec on the given event loop, writing the failure list for `--rerun`
  and exiting non-zero if any test failed.

Visibility: export

summaryVia : (Async e [] () -> IO ()) -> RunConfig -> Spec (Async e []) () () -> IO Summary

  Run a spec on the given event loop and return the summary without exiting.

Visibility: export

runSpecArgsVia : (Async e [] () -> IO ()) -> Spec (Async e []) () () -> IO ()

  Run a spec on the given event loop, reading CLI args (including `--jobs`)
  for configuration.

Visibility: export

runSpecFailFastVia : (Async e [] () -> IO ()) -> Spec (Async e []) () () -> IO ()

  Run a spec on the given event loop with fail-fast enabled.

Visibility: export

runSpecTimedVia : (Async e [] () -> IO ()) -> Spec (Async e []) () () -> IO ()

  Run a spec on the given event loop with per-test timing displayed.

Visibility: export