FS.Resource

Reexports

Definitions

bracketWeak : f es x -> (x -> f [] ()) -> (x -> Pull f o es r) -> Pull f o es r

  Like `bracket`, but acquires the resource in the current scope.

Totality: total
Visibility: export

bracket : f es x -> (x -> f [] ()) -> (x -> Pull f o es r) -> Pull f o es r

  Acquires a resource used for running a stream
  making sure it is properly cleaned up once the stream terminates.

Totality: total
Visibility: export

finallyWeak : Applicative (f es) => f [] () -> Pull f o es r -> Pull f o es r

  Makes sure the given cleanup action is run once the stream
  terminates.
  
  Like `finally` but does not create a new inner scope.

Totality: total
Visibility: export

finally : Applicative (f es) => f [] () -> Pull f o es r -> Pull f o es r

  Makes sure the given cleanup action is run once the stream
  terminates.

Totality: total
Visibility: export

resourceWeak : Resource f x => f es x -> (x -> Pull f o es r) -> Pull f o es r

  Like `resource`, but acquires the resource in the current scope.

Totality: total
Visibility: export

resource : Resource f x => f es x -> (x -> Pull f o es r) -> Pull f o es r

  Acquires a resource in a new scope, closing it once the scope is
  cleaned up.

Totality: total
Visibility: export

resourcesWeak : All (Resource f) rs => All (f es) rs -> (HList rs -> Pull f o es r) -> Pull f o es r

Totality: total
Visibility: export

resources : All (Resource f) rs => All (f es) rs -> (HList rs -> Pull f o es r) -> Pull f o es r

Totality: total
Visibility: export