ST-style mutation for effectful.

cee1b36 WIP

1 year, 7 months ago

8a4386b Bump version numbers

1 year, 8 months ago




An ST-style alternative to the Prim effect in effectful that allows safely running scoped state transformations without IOE.

The Prim effect allows the use of PrimMonad on Eff without allowing arbitrary IO. However, there is no safe way to run the effect without introducing the IOE effect because Prim has no way of delimiting the scope of the mutation to runPrim. In other words, Prim is effectively acting merely as a restricted form of IOE that only allows PrimMonad.

STE from this package on the other hand borrows the quantification trick from Control.Monad.ST to provide a safe way to run the effect purely.

This project follows the Haskell Package Versioning Policy.

Each contributor waives their Copyright and Related Rights to this work according to CC0-1.0.


Each contributor licenses you to do everything with this work that would otherwise infringe any patent claims they can license or become able to license.