Idris2Doc : Evince.Hooks

Evince.Hooks

(source)

Reexports

importpublic Evince.Synchronized

Definitions

before : Monadm=>m () ->Specma () ->Specma ()
  Run an action before each test in the group.

Visibility: export
after : Monadm=>m () ->Specma () ->Specma ()
  Run an action after each test in the group.

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

Visibility: export
beforeAll : (Synchronizedm, HasIOm) =>m () ->Specma () ->Specma ()
  Run an action once before the first test in the group.
Subsequent tests reuse the cached result.

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

Visibility: export
beforeWith : Monadm=> (outer->minner) ->Specminner () ->Specmouter ()
  Transform the resource type. Runs `f` before each test to produce the
inner resource from the outer one.

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

Visibility: export
afterWith : Monadm=> (a->m ()) ->Specma () ->Specma ()
  Run a cleanup action that has access to the resource after each test.

Visibility: export
beforeAllWith : (Synchronizedm, HasIOm) => (outer->minner) ->Specminner () ->Specmouter ()
  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 : Monadm=>ma->Specma () ->Specm () ()
  Convenience: produce a resource from nothing and thread it into tests.

Visibility: export