@hackage tardis0.4.2.0

Bidirectional state monad transformer

A Tardis is a combination of both a forwards and a backwards state transformer, providing two state values that "travel" in opposite directions.

A detailed description of what a Tardis is and how to use it can be found in the documentation for Control.Monad.Tardis.