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

Language | Haskell2010 |

## Synopsis

# Documentation

A `Sink`

is a stream consumer monad.

## Instances

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 # | |

Defined in Data.Drinkery.Class | |

Monad (Sink s m) Source # | |

Functor (Sink s m) Source # | |

Applicative (Sink s m) Source # | |

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

Defined in Data.Drinkery.Class |

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

## Instances

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

## Instances

CloseRequest () Source # | |

Defined in Data.Drinkery.Class closeRequest :: () Source # | |

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

Defined in Data.Drinkery.Class closeRequest :: [a] Source # |