BSD-3-Clause licensed by Dan Burton
Maintained by [email protected]
This version can be pinned in stack with:tardis-0.5.0@sha256:9eb3e42b73073686c5e5d0f35304f0dac3f7ad474c6b7aae0b44f9f7eb9b3003,1617

Module documentation for 0.5.0

Depends on 3 packages(full list with versions):


build status

The State monad allows you to send information forwards to the future, or to receive such information from the past. The Reverse State monad allows you to do the reverse: send information backwards to the past, or receive information from the future.

TardisT is a monad transformer that provides state operations that allow you to send information to both the future and the past, as well as receive information from both directions. It is isomorphic to a StateT on top of a ReverseStateT, or vice-versa.

See test/Example.hs for an example.

This was inspired by Luke Palmer’s blog post on the “reverse state monad”.

See also:

(c) 2012 Dan Burton


  • 0.5.0: 2024-01-15: Removed MonadTrans instance, replaced with liftTardisT