Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type MonadHas a s m = (Functor m, Applicative m, MonadReader s m, Has a s) Source #
peek :: (MonadReader c m, Has a c) => m a Source #
peeks :: (MonadReader c m, Has a c) => (a -> b) -> m b Source #