Control.Monad.Trans.Tardis
data TardisT bw fw m a
evalTardisT
execTardisT
type Tardis bw fw
runTardis
evalTardis
execTardis
tardis
getPast
getFuture
sendPast
sendFuture
modifyForwards
modifyBackwards
getsPast
getsFuture
mapTardisT
noState