Monaden-Transformator StateT

data StateT s m a

• s Zustandstyp
• m zugrundeliegende Monade
• a Resultattyp

Operationen

• evalStateT :: StateT s m a -> s -> m a
• get :: StateT s m s
• put :: s -> StateT s m ()
• lift :: m a -> StateT s m a

vgl. S. 36 ff in: Mark P. Jones: Functional Programming with Overloading and Higher-Order Polymorphism, http://web.cecs.pdx.edu/~mpj/pubs/springschool.html