Idris2Doc : IO.Async.Resource

IO.Async.Resource

(source)
Definitions
interface Resource : Type -> Type
  Parameters: a
Methods:
  
release : HasIO io => a -> io ()
release : Resource a => HasIO io => a -> io ()
  Totality: total
  Visibility: public export
useMany : All Resource ts => All (Async es) ts -> (HList ts -> Async es a) -> Async es a
  Totality: total
  Visibility: export
use1 : Resource v => Async es v -> (v -> Async es a) -> Async es a
  Totality: total
  Visibility: export