Idris2Doc : Evince.Async.Posix

Evince.Async.Posix

(source)

Reexports

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

Definitions

runSpecAsyncWith : RunConfig->Spec (AsyncPoll []) () () ->IO ()
  Run a spec under the multi-threaded posix driver with custom configuration,
printing results and exiting non-zero if any test failed.

Visibility: export
runSpecAsync : Spec (AsyncPoll []) () () ->IO ()
  Run a spec under the multi-threaded posix driver with default configuration.

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

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

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

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

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

Visibility: export
runSpecAsyncIO : SpecIO () () ->IO ()
  Run a concrete `Spec IO` under the posix driver, hoisting its actions into
`Async` via `liftIO`.

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

Visibility: export