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 : Applicative m => String -> Lazy (TestResult ()) -> Spec m a ()

  Define a test case with pure expectations. The body is lazy, so it is
  evaluated when the test runs, not when the spec is built.

Visibility: export

itIO : HasIO m => String -> IO (TestResult ()) -> Spec m a ()

  Define a test case with IO-based expectations.

Visibility: export

itWith : Applicative m => String -> (a -> TestResult ()) -> Spec m a ()

  Define a test case that receives the resource.

Visibility: export

itIOWith : HasIO m => String -> (a -> IO (TestResult ())) -> Spec m a ()

  Define an IO test case that receives the resource.

Visibility: export

itLoc : Applicative m => TTImp -> String -> Lazy (TestResult ()) -> 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

itIOLoc : HasIO m => TTImp -> String -> IO (TestResult ()) -> Elab (Spec m a ())

  Define an IO test with source location captured at the call site.
    itIOLoc `(()) "test name" $ ioAction

Visibility: export

xit : String -> Lazy (TestResult ()) -> Spec m a ()

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

Visibility: export

xitIO : String -> Lazy (IO (TestResult ())) -> Spec m a ()

  Mark an IO 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 : Applicative m => String -> Lazy (TestResult ()) -> 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 (`itIO`, `itAsync`, `describe`, ...).

Visibility: export