Evince.Spec

Definitions

describe : String -> Spec m a () -> Spec m a ()

  Group related specs under a label.

Visibility: export

context : String -> Spec m a () -> Spec m a ()

  Alias for `describe` - use with "when"/"with" phrasing.

Visibility: export

it : Hoist n m => String -> Lazy (TestResultT n ()) -> Spec m a ()

  Define a test case. The body chains expectations in the spec's own monad
  `m`, or in `IO`, which is lifted into `m`; plain actions enter via
  `lift`/`liftIO`. The body is evaluated when the test runs, not when the
  spec is built.

Visibility: export

itWith : Hoist n m => String -> (a -> TestResultT n ()) -> Spec m a ()

  Define a test case that receives the resource.

Visibility: export

itLoc : Hoist n m => TTImp -> String -> Lazy (TestResultT n ()) -> Elab (Spec m a ())

  Define a test with source location captured at the call site.
  Pass a dummy quasiquoted value as the first argument:
    itLoc `(()) "test name" $ expectation

Visibility: export

xit : Hoist n m => String -> Lazy (TestResultT n ()) -> Spec m a ()

  Mark a test as pending - the body is ignored and not executed.

Visibility: export

xdescribe : String -> Spec m a () -> Spec m a ()

  Mark an entire group as pending - every test in it is reported as
  pending and nothing is executed.

Visibility: export

xcontext : String -> Spec m a () -> Spec m a ()

  Alias for `xdescribe`.

Visibility: export

fit : Hoist n m => String -> Lazy (TestResultT n ()) -> Spec m a ()

  Focus a test - when any focused specs exist, only focused ones run.

Visibility: export

fdescribe : String -> Spec m a () -> Spec m a ()

  Focus an entire group.

Visibility: export

fcontext : String -> Spec m a () -> Spec m a ()

  Alias for `fdescribe`.

Visibility: export

focus : Spec m a () -> Spec m a ()

  Focus every test in the given spec - composes with any test or group
  combinator (`it`, `itWith`, `describe`, ...).

Visibility: export