Control.Eff.Concurrent.Process.SingleThreadedScheduler

A coroutine based, single threaded scheduler for Processes.

Documentation

schedule :: forall r. Eff (Process r ': r) () -> Eff r ()

Execute a Process in the current thread, all child processes spawned by spawn will be executed concurrently using a co-routine based, round-robin scheduler.

scheduleWithYield :: forall r. Eff r () -> Eff (Process r ': r) () -> Eff r ()

Execute a Process in the current thread, all child processes spawned by spawn will be executed concurrently using a co-routine based, round-robin scheduler.

defaultMain :: HasCallStack => Eff '[Process '[Logs String, Lift IO], Logs String, Lift IO] () -> IO ()

Execute a Process using schedule on top of Lift IO and Logs String effects.

singleThreadedIoScheduler :: SchedulerProxy LoggingAndIo

A SchedulerProxy for LoggingAndIo.

type LoggingAndIo = '[Logs String, Lift IO]

The concrete list of Effects for running this pure scheduler on IO and with string logging.