Polysemy.Internal.Forklift

Documentation

data Forklift r

A promise for interpreting an effect of the union r in another thread.

Since: 0.5.0.0

Constructors

Forklift

Fields

• responseMVar :: MVar (Sem '[Embed IO] a)
• request :: Union r (Sem r) a

runViaForklift :: LastMember (Embed IO) r => InChan (Forklift r) -> Sem r a -> Sem '[Embed IO] a

A strategy for automatically interpreting an entire stack of effects by just shipping them off to some other interpretation context.

Since: 0.5.0.0

withLowerToIO

Arguments

:: LastMember (Embed IO) r

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

A lambda that takes the lowering function, and a finalizing IO action to mark a the forked thread as being complete. The finalizing action need not be called.

-> Sem r a

Run an effect stack all the way down to IO by running it in a new thread, and temporarily turning the current thread into an event poll.

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

Since: 0.5.0.0