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

Language | Haskell2010 |

The MonadMultiReader type-class

- class Monad m => MonadMultiGet a m where

# MonadMultiReader class

class Monad m => MonadMultiGet a m where Source #

In contrast to MonadMultiReader, MonadMultiGet is defined for State too, so it corresponds to read-access of any kind.

Note however that for MultiRWS, only the values from the `state`

part can
be accessed via `MonadMultiGet`

, due to limitations of the design of
`MultiRWS`

and of the type system. This is issue is resolved in the
`MultiGST`

type.

(MonadTrans t, Monad (t m), MonadMultiGet a m) => MonadMultiGet a (t m) Source # | |

(Monad m, ContainsType a c) => MonadMultiGet a (MultiReaderT c m) Source # | |

(Monad m, ContainsType a c) => MonadMultiGet a (MultiReaderT c m) Source # | |

(Monad m, ContainsType a c) => MonadMultiGet a (MultiStateT c m) Source # | |

(Monad m, ContainsType a c) => MonadMultiGet a (MultiStateT c m) Source # | |

(Monad m, HListMContains GettableFlag a cts) => MonadMultiGet a (MultiGSTT cts m) Source # | |

(Monad m, HListMContains GettableFlag a cts) => MonadMultiGet a (MultiGSTT cts m) Source # | |

(Monad m, ContainsType a s) => MonadMultiGet a (MultiRWST r w s m) Source # | |

(Monad m, ContainsType a s) => MonadMultiGet a (MultiRWST r w s m) Source # | |