Reader +Control.Monad.Trans -mtl
Declaration of the ReaderT monad transformer, which adds a static environment to a given monad.
If the computation is to modify the stored information, use Control.Monad.Trans.State instead.
The parameterizable reader monad.
Computations are functions of a shared environment.
The return function ignores the environment, while >>= passes the inherited environment to both subcomputations.
Constructor for computations in the reader monad (equivalent to asks).
Constructor for computations in the reader monad (equivalent to asks).
The reader monad transformer, which adds a read-only environment to the given monad.
The return function ignores the environment, while >>= passes the inherited environment to both subcomputations.
Runs a Reader and extracts the final value from it. (The inverse of reader.)
The underlying computation, as a function of the environment.