STMonadTrans

A monad transformer version of the ST monad

https://github.com/josefs/STMonadTrans

LTS Haskell 24.7:0.4.8.1
Stackage Nightly 2025-08-23:0.4.8@rev:1
Latest on Hackage:0.4.8.1

See all snapshots STMonadTrans appears in

BSD-3-Clause licensed by Josef Svenningsson
Maintained by Andreas Abel, [email protected]
This version can be pinned in stack with:STMonadTrans-0.4.8.1@sha256:3eef78e30de9615598801680275fa0406b6fd86e5abd01cebc94355d8782bb97,2077

Module documentation for 0.4.8.1

Depends on 3 packages(full list with versions):
array, base, mtl
Used by 2 packages in lts-24.7(full list with versions):
Agda, equivalence

STMonadTrans

Hackage STMonadTrans on Stackage Nightly Stackage Build Status

A monad transformer version of the ST monad.

Warning! This monad transformer should not be used with monads that can contain multiple answers, like the list monad. The reason is that the state token will be duplicated across the different answers and this causes Bad Things to happen (such as loss of referential transparency). Safe monads include the monads State, Reader, Writer, Maybe and combinations of their corresponding monad transformers.

Changes

0.4.8.1 – 2025-08-26

  • Remove transformers as direct dependency (fixing -Werror=unused-packages).
  • Tested with GHC 8.0.2 - 9.14 alpha1.

0.4.8 – 2024-01-04

  • Added Alternative instance for STT, by William Rusnack (PR #33).
  • Drop support for GHC 7.
  • Tested with GHC 8.0.2 - 9.8.1.

0.4.7 – 2023-05-18

  • Added MonadIO for SST (issue #29).
  • Make transformers dependency explicit.
  • Bump cabal-version of STMonadTrans.cabal to 1.18.
  • Tested with GHC 7.6.3 - 9.6.1.

0.4.6 – 2021-08-21

  • Warning-free for all supported GHC versions (7.6 – 9.2).
  • Drop splitBase cabal flag (base >= 4 is already assumed).
  • Include README.md in distributed tarball.
  • Added maintainer Andreas Abel.

0.4.5

  • Don’t use default class methods in any MArray (STUArray s) instance. Thanks to Henri Jones.
  • Allow tasty up to and including 1.4.

0.4.4

  • Fix compilation for GHC 8.8.1. Thanks to Andrés Sicard-Ramírez.
  • Fix some tests and their dependencies. Thanks to Kirill Zaborsky.

0.4.3

  • Fix compilation for GHC 7.6.3. Thanks to Andrés Sicard-Ramírez.
  • Export unsafe array operations.

0.4.2

  • Deprecate runST and unsafeSTToIO in favor of runSTT and unsafeSTTToIO.
  • Added INLINE pragmas.

0.4.1

  • Add Applicative constraints to be compatible with GHC 7.8.4.
  • Add changelog.

0.4

  • New library structure, based on liftST. It reuses more code and types from the standard ST monad. Thanks to @wyager for liftST.
  • Instances for MArray.