State monad transformer
ID: state-monad-transformer
A state monad layered over a base computational monad. An unsuccessful base computation may return no final program state; this matters when combining it with an exception monad transformer.
New to topics? Read the docs here!