Idris2Doc : Evince.Hooks

Evince.Hooks

(source)

Definitions

before : IO () ->Speca () ->Speca ()
  Run an IO action before each test in the group.

Visibility: export
after : IO () ->Speca () ->Speca ()
  Run an IO action after each test in the group.

Visibility: export
around : (IO (TestResult ()) ->IO (TestResult ())) ->Speca () ->Speca ()
  Wrap each test with a setup/teardown action. The wrapper receives the
test action and must call it.

Visibility: export
beforeAll : IO () ->Speca () ->Speca ()
  Run an IO action once before the first test in the group.
Subsequent tests reuse the cached result.

Visibility: export
afterAll : IO () ->Speca () ->Speca ()
  Run an IO action once after all tests in the group have finished.

Visibility: export
beforeWith : (outer->IOinner) ->Specinner () ->Specouter ()
  Transform the resource type. Runs `f` before each test to produce the
inner resource from the outer one.

Visibility: export
aroundWith : ((inner->IO (TestResult ())) ->outer->IO (TestResult ())) ->Specinner () ->Specouter ()
  Most general hook: transform both the resource type and wrap the test action.

Visibility: export
afterWith : (a->IO ()) ->Speca () ->Speca ()
  Run a cleanup action that has access to the resource after each test.

Visibility: export
beforeAllWith : (outer->IOinner) ->Specinner () ->Specouter ()
  Transform the resource type once for the entire group. Runs `f` once on
the first test and caches the result for subsequent tests.

Visibility: export
provide : IOa->Speca () ->Spec () ()
  Convenience: produce a resource from nothing and thread it into tests.

Visibility: export