Polysemy.Managed

Documentation

data Managed m a where

Constructors

ManagedAsk :: Managed m InternalState

ManagedLocal :: m a -> Managed m a

runManagedResource :: Member (Embed IO) r => Sem (Reader InternalState ': r) a -> Sem r a

runManaged :: forall a r. Member (Embed IO) r => Sem (Managed ': r) a -> Sem r a

runManagedFinal :: forall a r. Member (Final IO) r => Sem (Managed ': r) a -> Sem r a

managedAsk :: forall r. Member Managed r => Sem r InternalState

managedLocal :: forall r a. Member Managed r => Sem r a -> Sem r a

Orphan instances

(Member (Embed IO) r, Member Managed r) => MonadResource (Sem r)

Methods

liftResourceT :: ResourceT IO a -> Sem r a