The stateref package


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.


Versions, 0.3
Dependencies base (>=3 && <5), mtl, stm [details]
License PublicDomain
Author James Cook <>
Maintainer James Cook <>
Category Data
Home page
Uploaded Thu Nov 19 17:27:06 UTC 2009 by JamesCook
Distributions Debian:0.3, LTSHaskell:0.3, NixOS:0.3, Stackage:0.3, Tumbleweed:0.3
Downloads 4601 total (57 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




usestmInclude instances for STM typesEnabledAutomatic
usetmvarInclude instances for TMVar (TMVar is not available in hugs' STM implementation). I have been unable to make this flag's value depend on whether or not you're running hugs, so if you are, you'll just have to change it manually. It'd sure be nice if there were either an explicit backtrack command in cabal or if 'buildable:false' would trigger a backtrack. Or if I could say "default: not(impl(hugs))" for this flag. Note that this is irrelevant at the moment because I broke Hugs+STM support by adding MonadIO m => ... instances. If anyone really wants me to fix it, speak up - but those instances are pretty darn convenient.EnabledAutomatic

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


Maintainer's Corner

For package maintainers and hackage trustees