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

Language | Haskell2010 |

# Documentation

A `Sink`

is a stream consumer monad.

MonadWriter s m => MonadWriter s (Sink t m) Source # | |

MonadState s m => MonadState s (Sink t m) Source # | |

MonadReader r m => MonadReader r (Sink t m) Source # | |

Monad m => MonadSink t (Sink t m) Source # | |

MonadTrans (Sink t) Source # | |

Monad (Sink s m) Source # | |

Functor (Sink s m) Source # | |

Applicative (Sink s m) Source # | |

MonadIO m => MonadIO (Sink t m) Source # | |

runSink :: Applicative m => Sink t m a -> t m -> m (a, t m) Source #

class Monad m => MonadSink t m | m -> t where Source #

Monads that drink

MonadSink t m => MonadSink t (MaybeT m) Source # | |

(Monoid x, MonadSink t m) => MonadSink t (WriterT x m) Source # | |

(Monoid x, MonadSink t m) => MonadSink t (WriterT x m) Source # | |

MonadSink t m => MonadSink t (StateT x m) Source # | |

MonadSink t m => MonadSink t (StateT x m) Source # | |

Monad m => MonadSink t (Sink t m) Source # | |

MonadSink t m => MonadSink t (ListT p m) Source # | |

MonadSink t m => MonadSink t (ContT * x m) Source # | |

MonadSink t m => MonadSink t (ReaderT * x m) Source # | |

MonadSink t m => MonadSink t (Producer p q m) Source # | |

(Monoid y, MonadSink t m) => MonadSink t (RWST x y z m) Source # | |

(Monoid y, MonadSink t m) => MonadSink t (RWST x y z m) Source # | |

class CloseRequest a where Source #

closeRequest :: a Source #

A value representing a close request

CloseRequest () Source # | |

CloseRequest a => CloseRequest [a] Source # | |