Idris2Doc : Evince.Async.JS

Evince.Async.JS

(source)

Reexports

importpublic Evince.Async.Spec
importpublic Evince.Async.Synchronized
importpublic Evince.Async.Hoist
importpublic Evince.Async.Shared

Definitions

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

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

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

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

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

Visibility: export
runSpecAsyncTimed : Spec (AsyncJS []) () () ->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 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