Idris2Doc : Evince.Async.Runner

Evince.Async.Runner

(source)

Definitions

runSpecAsyncWith : RunConfig->Spec (AsyncSyncST []) () () ->IO ()
  Run a spec under the async driver with custom configuration, printing
results and exiting non-zero if any test failed. Concurrency is controlled
by `cfg.jobs` (`--jobs`).

Visibility: export
runSpecAsync : Spec (AsyncSyncST []) () () ->IO ()
  Run a spec under the async driver with default configuration.

Visibility: export
runSpecAsyncWithSummaryAndConfig : RunConfig->Spec (AsyncSyncST []) () () ->IOSummary
  Run under the async driver with custom configuration and return the
summary without exiting. Useful for meta-testing.

Visibility: export
runSpecAsyncWithSummary : Spec (AsyncSyncST []) () () ->IOSummary
  Run under the async driver and return the summary without exiting.

Visibility: export
runSpecAsyncWithArgs : Spec (AsyncSyncST []) () () ->IO ()
  Run a spec under the async driver, reading CLI args (e.g. `--jobs=N`).

Visibility: export
runSpecAsyncFailFast : Spec (AsyncSyncST []) () () ->IO ()
  Run under the async driver with fail-fast - stop after the first failure.

Visibility: export
runSpecAsyncTimed : Spec (AsyncSyncST []) () () ->IO ()
  Run under the async driver with per-test timing displayed.

Visibility: export
runSpecAsyncIO : SpecIO () () ->IO ()
  Run a concrete `Spec IO` under the async driver, hoisting its actions into
`Async` via `liftIO`. Group hooks (`beforeAll`/`beforeAllWith`) keep their
`IO`-baked (no-op) synchronization, so prefer an effect-polymorphic spec
with `runSpecAsync` if you run group-level setup concurrently.

Visibility: export
runSpecAsyncIOWith : RunConfig->SpecIO () () ->IO ()
  Like `runSpecAsyncIO`, with custom configuration.

Visibility: export