multistate-0.8.0.3: like mtl's ReaderT / WriterT / StateT, but more than one contained value/type.

# multistate-0.8.0.3: like mtl's ReaderT / WriterT / StateT, but more than one contained value/type.

When using multiple Read/Write/State transformers in the same monad stack, it becomes necessary to lift the operations in order to affect a specific transformer. Using heterogeneous lists (and all kinds of GHC extensions magic), this package provides transformers that remove that necessity: MultiReaderT/MultiWriterT/MultiStateT/MultiRWST can contain a heterogeneous list of values.

See the README for a longer description.

Signatures

Modules

- Control
  Submodules
  - Monad
    Submodules
    - Trans
      Submodules
      - Control.Monad.Trans.MultiGST
        Submodules
        - Control.Monad.Trans.MultiGST.Lazy
        - Control.Monad.Trans.MultiGST.Strict
      - MultiGet
        Submodules
        - Control.Monad.Trans.MultiGet.Class
      - Control.Monad.Trans.MultiRWS
        Submodules
        - Control.Monad.Trans.MultiRWS.Lazy
        - Control.Monad.Trans.MultiRWS.Strict
      - Control.Monad.Trans.MultiReader
        Submodules
        - Control.Monad.Trans.MultiReader.Class
        - Control.Monad.Trans.MultiReader.Lazy
        - Control.Monad.Trans.MultiReader.Strict
      - Control.Monad.Trans.MultiState
        Submodules
        - Control.Monad.Trans.MultiState.Class
        - Control.Monad.Trans.MultiState.Lazy
        - Control.Monad.Trans.MultiState.Strict
      - Control.Monad.Trans.MultiWriter
        Submodules
        - Control.Monad.Trans.MultiWriter.Class
        - Control.Monad.Trans.MultiWriter.Lazy
        - Control.Monad.Trans.MultiWriter.Strict
- Data
  Submodules
  - HList
    Submodules
    - Data.HList.ContainsType
    - Data.HList.HList