unification-fd-0.11.1: Simple generic unification algorithms.

Description

This module defines some extra functions for Control.Monad.State.Lazy. This package really isn't the proper place for these, but we need them to be somewhere.

TODO: patch transformers/mtl-2 with these functions.

Synopsis

Lift a reader into a state monad. More particularly, this allows disabling mutability in a local context within State.

Lift a reader into a state monad. More particularly, this allows disabling mutability in a local context within StateT.
A strict version of modify.