polysemy-managed-0.1.0.0: Primitive functions and data types
Safe HaskellNone
LanguageHaskell2010

Polysemy.Managed

Documentation

data Managed m a where Source #

Constructors

ManagedAsk :: Managed m InternalState 
ManagedLocal :: m a -> Managed m a 

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

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

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

Orphan instances

(Member (Embed IO) r, Member Managed r) => MonadResource (Sem r) Source # 
Instance details

Methods

liftResourceT :: ResourceT IO a -> Sem r a #