Control.Monad.Trans.Tardis

The Tardis monad transformer

data TardisT bw fw m a

evalTardisT

execTardisT

The Tardis monad

type Tardis bw fw

runTardis

evalTardis

execTardis

Primitive Tardis operations

tardis

getPast

getFuture

sendPast

sendFuture

Composite Tardis operations

modifyForwards

modifyBackwards

getsPast

getsFuture

Other

mapTardisT

noState