Idris2Doc : IO.Async

IO.Async

(source)
Reexports
import public Control.Monad.MCancel
import public Control.Monad.Resource
import public IO.Async.Core
import public IO.Async.Util