Idris2Doc : Test.Async.Spec

Test.Async.Spec

(source)

Reexports

importpublic IO.Async
importpublic IO.Async.Loop.TimerH
importpublic Test.Async.Spec.Asserts
importpublic Test.Async.Spec.Runner
importpublic Test.Async.Spec.TestResult