Idris2Doc : Test.Async.Spec

Test.Async.Spec

(source)
Reexports
import public IO.Async
import public IO.Async.Loop.TimerH
import public Test.Async.Spec.Asserts
import public Test.Async.Spec.Runner
import public Test.Async.Spec.TestResult