Safe Haskell	None
Language	Haskell2010

Polysemy.IO

Contents

Interpretations

Synopsis

embedToMonadIO :: forall m r a. (MonadIO m, Member (Embed m) r) => Sem (Embed IO ': r) a -> Sem r a
lowerEmbedded :: (MonadIO m, Member (Embed IO) r) => (forall x. m x -> IO x) -> Sem (Embed m ': r) a -> Sem r a

Interpretations

embedToMonadIO :: forall m r a. (MonadIO m, Member (Embed m) r) => Sem (Embed IO ': r) a -> Sem r a Source #

lowerEmbedded Source #

Arguments

:: (MonadIO m, Member (Embed IO) r)
=> (forall x. m x -> IO x)	The means of running this monad.
-> Sem (Embed m ': r) a
-> Sem r a

Given some MonadIO m, interpret all Embed m actions in that monad at once. This is useful for interpreting effects like databases, which use their own monad for describing actions.

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

Since: 1.0.0.0