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

Language | Haskell2010 |

# Documentation

The EventT type is an effectful Moore machine with a possible end result.

MonadTrans EventT Source # | |

Monad m => Monad (EventT m) Source # | EventT is a Monad by running an evented computation until it ends, then uses the end result as the input to the next evented computation. |

Monad m => Functor (EventT m) Source # | EventT is a Functor by applying the given function to its end result. |

Monad m => Applicative (EventT m) Source # | EventT is an Applicative by responding to pure by immediately terminating with the argument as its end result. EventT responds to apply by running both left and right computations in serial until they have concluded, then applies the left result to the right result. |

MonadIO m => MonadIO (EventT m) Source # | |

done :: Monad m => a -> EventT m a Source #

Ends the computation this frame and yields a concrete result.

next :: Monad m => EventT m a -> EventT m a Source #

Ends the computation this frame and yields a continuation to run next frame.