Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- ask_ask :: forall m r. MonadReader r m => Equation (m r)
- local_ask :: forall m r. MonadReader r m => (r -> r) -> Equation (m r)
- local_local :: forall m a r. MonadReader r m => (r -> r) -> (r -> r) -> m a -> Equation (m a)
- local_id :: forall m a r. MonadReader r m => m a -> Equation (m a)
Primary laws
ask_ask :: forall m r. MonadReader r m => Equation (m r) Source #
local_ask :: forall m r. MonadReader r m => (r -> r) -> Equation (m r) Source #
Secondary laws
local_local :: forall m a r. MonadReader r m => (r -> r) -> (r -> r) -> m a -> Equation (m a) Source #
local_id :: forall m a r. MonadReader r m => m a -> Equation (m a) Source #