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

When using multiple ReaderT's or StateT's in the same monad stack, it becomes necessary to lift the operations in order to affect a specific transformer. Using heterogenous lists (type level functions), a GADT and a corresponding type class, this package provides transformers that remove that necessity: MultiReaderT/MultiStateT can contain a heterogenous list of values. The type inferred for the getter/setter determines which value is read/written. See the Example application for some very basic usage. This package currently lacks a complete set of "lifting instances", i.e. instance definitions for classes such as mtl's MonadReader "over" the newly introduced monad transformers. These "lifting instances" would be necessary to achieve full compatability with existing transformers. Ping me if you find anything specific missing.

Modules

[Index]

Flags

Automatic Flags

Name	Description	Default
build-test	Build the MultiState-test test program	Disabled
build-example	Build the MultiState-example example program	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

• multistate-0.1.1.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• lspitzner, fozworth, dukerutledge

For package maintainers and hackage trustees

• edit package information

Candidates

• 0.7.1.2