Idris2Doc : Evince.Async.Runner

Evince.Async.Runner

(source)

Definitions

runSpecAsyncWith : RunConfig -> Spec (Async SyncST []) () () -> 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 (Async SyncST []) () () -> IO ()
  Run a spec under the async driver with default configuration.

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

Visibility: export
runSpecAsyncWithSummary : Spec (Async SyncST []) () () -> IO Summary
  Run under the async driver and return the summary without exiting.

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

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

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

Visibility: export
runSpecAsyncIO : Spec IO () () -> 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 -> Spec IO () () -> IO ()
  Like `runSpecAsyncIO`, with custom configuration.

Visibility: export