Portability | non-portable (multi-param classes, functional dependencies) |
---|---|
Stability | experimental |
Maintainer | Mark Snyder, marks@ittc.ku.edu |
- module Control.Monad.ReaderX.Class
- newtype ReaderX ix r a = ReaderX {
- runReaderX' :: r -> a
- mkReaderX :: Index ix => ix -> (r -> a) -> ReaderX ix r a
- runReaderX :: Index ix => ix -> ReaderX ix r a -> r -> a
- mapReaderx :: Index ix => ix -> (a -> b) -> ReaderX ix r a -> ReaderX ix r b
- withReaderx :: Index ix => ix -> (r' -> r) -> ReaderX ix r a -> ReaderX ix r' a
- newtype ReaderTX ix r m a = ReaderTX {
- runReaderTX' :: r -> m a
- mkReaderTX :: Index ix => ix -> (r -> m a) -> ReaderTX ix r m a
- runReaderTX :: Index ix => ix -> ReaderTX ix r m a -> r -> m a
- mapReaderTX :: Index ix => ix -> (m a -> n b) -> ReaderTX ix w m a -> ReaderTX ix w n b
- withReaderTX :: Index ix => ix -> (r' -> r) -> ReaderTX ix r m a -> ReaderTX ix r' m a
- module Control.Monad
- module Control.Monad.Fix
- module Control.Monad.Trans
- module Control.Monad.Index
Documentation
module Control.Monad.ReaderX.Class
ReaderX | |
|
runReaderX :: Index ix => ix -> ReaderX ix r a -> r -> aSource
mapReaderx :: Index ix => ix -> (a -> b) -> ReaderX ix r a -> ReaderX ix r bSource
withReaderx :: Index ix => ix -> (r' -> r) -> ReaderX ix r a -> ReaderX ix r' aSource
A more general version of local
.
newtype ReaderTX ix r m a Source
ReaderTX | |
|
mkReaderTX :: Index ix => ix -> (r -> m a) -> ReaderTX ix r m aSource
runReaderTX :: Index ix => ix -> ReaderTX ix r m a -> r -> m aSource
mapReaderTX :: Index ix => ix -> (m a -> n b) -> ReaderTX ix w m a -> ReaderTX ix w n bSource
withReaderTX :: Index ix => ix -> (r' -> r) -> ReaderTX ix r m a -> ReaderTX ix r' m aSource
module Control.Monad
module Control.Monad.Fix
module Control.Monad.Trans
module Control.Monad.Index