Control.Monad.Trans.Tardis

Documentation

data TardisT bw fw m a

Instances

MonadFix m => MonadTardis bw fw (TardisT bw fw m)

MonadFix m => MonadState fw (TardisT bw fw m)

MonadTrans (TardisT bw fw)

MonadFix m => Monad (TardisT bw fw m)

MonadFix m => Functor (TardisT bw fw m)

MonadFix m => MonadFix (TardisT bw fw m)

MonadFix m => Applicative (TardisT bw fw m)

runTardisT :: TardisT bw fw m a -> (bw, fw) -> m (a, (bw, fw))

evalTardisT :: Monad m => TardisT bw fw m a -> (bw, fw) -> m a

execTardisT :: Monad m => TardisT bw fw m a -> (bw, fw) -> m (bw, fw)

type Tardis bw fw = TardisT bw fw Identity

runTardis :: Tardis bw fw a -> (bw, fw) -> (a, (bw, fw))

evalTardis :: Tardis bw fw a -> (bw, fw) -> a

execTardis :: Tardis bw fw a -> (bw, fw) -> (bw, fw)

tardis :: Monad m => ((bw, fw) -> (a, (bw, fw))) -> TardisT bw fw m a

getPast :: Monad m => TardisT bw fw m fw

getFuture :: Monad m => TardisT bw fw m bw

sendPast :: Monad m => bw -> TardisT bw fw m ()

sendFuture :: Monad m => fw -> TardisT bw fw m ()

modifyForwards :: MonadFix m => (fw -> fw) -> TardisT bw fw m ()

modifyBackwards :: MonadFix m => (bw -> bw) -> TardisT bw fw m ()

getsPast :: MonadFix m => (fw -> a) -> TardisT bw fw m a

getsFuture :: MonadFix m => (bw -> a) -> TardisT bw fw m a

noState :: (a, b)