Evince.Spec

Definitions

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

  Group related specs under a label.

Visibility: export

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

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

Visibility: export

it : String -> TestResult () -> Spec a ()

  Define a test case with pure expectations.

Visibility: export

itIO : String -> IO (TestResult ()) -> Spec a ()

  Define a test case with IO-based expectations.

Visibility: export

itWith : String -> (a -> TestResult ()) -> Spec a ()

  Define a test case that receives the resource.

Visibility: export

itIOWith : String -> (a -> IO (TestResult ())) -> Spec a ()

  Define an IO test case that receives the resource.

Visibility: export

itLoc : TTImp -> String -> TestResult () -> Elab (Spec 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 : TTImp -> String -> IO (TestResult ()) -> Elab (Spec a ())

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

Visibility: export

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

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

Visibility: export

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

  Mark an entire group as pending.

Visibility: export

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

  Alias for `xdescribe`.

Visibility: export

fit : String -> TestResult () -> Spec a ()

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

Visibility: export

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

  Focus an entire group.

Visibility: export

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

  Alias for `fdescribe`.

Visibility: export