Polysemy.Conc.Interpreter.Monitor

Documentation

interpretMonitorRestart :: forall t d r. Members [Time t d, Resource, Async, Race, Final IO] r => MonitorCheck r -> InterpreterFor (RestartingMonitor CancelResource) r

Interpret Scoped Monitor with the Restart strategy. This takes a check action that may put an MVar when the scoped region should be restarted. The check is executed in a loop, with an interval given in MonitorCheck.

interpretMonitorPure :: InterpreterFor (ScopedMonitor () action) r

Run Monitor as a no-op.