The stateref package

[ Tags: data, public-domain ] [ Propose Tags ]

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 4935 total (28 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI





Include instances for STM types


Include 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.


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