Polysemy.Resource

Effect

data Resource m a where

An effect capable of providing bracket semantics. Interpreters for this will successfully run the deallocation action even in the presence of other short-circuiting effects.

Constructors

Bracket :: m a -> (a -> m c) -> (a -> m b) -> Resource m b

BracketOnError :: m a -> (a -> m c) -> (a -> m b) -> Resource m b

Instances

type DefiningModule Resource

Defined in Polysemy.Resource

type DefiningModule Resource = "Polysemy.Resource"

Actions

bracket :: forall r a c b. MemberWithError Resource r => Sem r a -> (a -> Sem r c) -> (a -> Sem r b) -> Sem r b

bracketOnError :: forall r a c b. MemberWithError Resource r => Sem r a -> (a -> Sem r c) -> (a -> Sem r b) -> Sem r b

finally

Arguments

:: Member Resource r

=> Sem r a

computation to run first

-> Sem r b

computation to run afterward (even if an exception was raised)

-> Sem r a

Like bracket, but for the simple case of one computation to run afterward.

Since: 0.4.0.0

onException

Arguments

:: Member Resource r

=> Sem r a

computation to run first

-> Sem r b

computation to run afterward if an exception was raised

-> Sem r a

Like bracketOnError, but for the simple case of one computation to run afterward.

Since: 0.4.0.0

Interpretations

runResource :: forall r a. Sem (Resource ': r) a -> Sem r a

Run a Resource effect purely.

Since: 1.0.0.0

lowerResource

Arguments

:: Member (Embed IO) r

=> (forall x. Sem r x -> IO x)

Strategy for lowering a Sem action down to IO. This is likely some combination of runM and other interpreters composed via .@.

-> Sem (Resource ': r) a

-> Sem r a

Run a Resource effect via in terms of bracket.

Since: 1.0.0.0

resourceToIO :: forall r a. LastMember (Embed IO) r => Sem (Resource ': r) a -> Sem r a

A more flexible --- though less safe --- version of lowerResource.

This function is capable of running Resource effects anywhere within an effect stack, without relying on an explicit function to lower it into IO. Notably, this means that State effects will be consistent in the presence of Resource.

ResourceToIO' is safe whenever you're concerned about exceptions thrown by effects _already handled_ in your effect stack, or in IO code run directly inside of bracket. It is not safe against exceptions thrown explicitly at the main thread. If this is not safe enough for your use-case, use lowerResource instead.

This function creates a thread, and so should be compiled with -threaded.

Since: 1.0.0.0