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.
GLUT maintains a considerable amount of programmer visible state. Some (but not all) of this state may be directly retrieved.
Keeps track of the remaining tests and the results of the performed tests. As each test is performed, the path is removed and the counts are updated as appropriate.
State represents QuickCheck's internal state while testing a property. The state is made visible to callback functions.
A state monad parameterized by the type s of the state to carry.
The return function leaves the state unchanged, while >>= uses the final state of the first computation as the initial state of the second.
Construct a state monad computation from a state transformer function.
Construct a state monad computation from a function. (The inverse of runState.)
This package provides a Template Haskell function which transforms a normal record declaration into one which supports many useful operations when used as the state in a State monad.
A MonadST type class, instances, and some helpful monad functions.
A collection of type-classes generalizing the read/write/modify operations for stateful variables provided by things like IORef, TVar, &c. Note that The interface has changed a bit from the 0.2.* version. "*Ref" functions are now called "*Reference" and new "*Ref" function exist with simpler signatures. The new Ref existential type provides a convenient monad-indexed reference type, and the HasRef class indicates monads for which there is a default reference type for every referent.
Simple State-like monad transformer where states can be saved to and restored from an internal stack.
Show more results