Control.Monad.Resource

Definitions

interface Resource : (List Type -> Type -> Type) -> Type -> Type

Parameters: f, a
Methods:

cleanup : a -> f [] ()

cleanup : Resource f a => a -> f [] ()

Totality: total
Visibility: public export

use1 : MCancel f => Resource f a => f es a -> (a -> f es b) -> f es b

  Allocate a resource, use it in a program, and make sure to release it
  afterwards.

Totality: total
Visibility: export

use : All (Resource f) ts => MCancel f => All (f es) ts -> (HList ts -> f es b) -> f es b

  Like `use1` but for a heterogeneous list of resources.

Totality: total
Visibility: export