Safe Haskell | None |
---|---|

Language | Haskell98 |

# Task monad transformer

Task monad transformer.

MonadState s m => MonadState s (TaskT e m) Source # | |

MonadReader s m => MonadReader s (TaskT e m) Source # | |

Monad m => MonadTask e (TaskT e m) Source # | |

MonadTrans (TaskT e) Source # | |

Monad m => Monad (TaskT e m) Source # | |

Functor (TaskT e m) Source # | |

Applicative (TaskT e m) Source # | |

MonadIO m => MonadIO (TaskT e m) Source # | |

# Trace of a base monad

A `Trace m e`

represents the control flow of a mult-threaded task monad
defined over a base monad `m`

and event type `e`

.

runTrace :: Monad m => m (Trace m e) -> m () Source #

`runTrace`

runs a trace to its completion in the base monad with a simple
round-robin scheduler.