Evince.Async.Spec

Definitions

itAsync : String -> Async e [] (TestResult ()) -> Spec (Async e []) a ()

  Define a test case with an `Async` body, so the test can spawn
  fibers, await, and use the full async toolkit.

Visibility: export

itAsyncWith : String -> (a -> Async e [] (TestResult ())) -> Spec (Async e []) a ()

  Define an `Async` test case that receives the group's resource.

Visibility: export

xitAsync : String -> Lazy (Async e [] (TestResult ())) -> Spec (Async e []) a ()

  Mark an `Async` test as pending - the body is ignored and not executed.

Visibility: export

itAsyncLoc : TTImp -> String -> Async e [] (TestResult ()) -> Elab (Spec (Async e []) a ())

  Define an `Async` test with source location captured at the call site.
    itAsyncLoc `(()) "test name" $ asyncAction

Visibility: export