Portability | non-portable (multi-param classes, functional dependencies) |
---|---|
Maintainer | Mark Snyder, marks@ittc.ku.edu |
State monads.
This module is inspired by the paper /Functional Programming with Overloading and Higher-Order Polymorphism/, Mark P Jones (http://web.cecs.pdx.edu/~mpj/) Advanced School of Functional Programming, 1995.