Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data Managed m a where Source #
ManagedAsk :: Managed m InternalState | |
ManagedLocal :: m a -> Managed m a |
runManagedResource :: Member (Embed IO) r => Sem (Reader InternalState ': r) a -> Sem r a Source #
managedAsk :: forall r. Member Managed r => Sem r InternalState Source #