Safe Haskell | Safe-Infered |
---|
Documentation
class (Applicative m, MonadFix m) => MonadTardis bw fw m | m -> bw, m -> fw whereSource
sendFuture :: fw -> m ()Source
MonadFix m => MonadTardis bw fw (TardisT bw fw m) |
modifyForwards :: MonadTardis bw fw m => (fw -> fw) -> m ()Source
modifyBackwards :: MonadTardis bw fw m => (bw -> bw) -> m ()Source
getsPast :: MonadTardis bw fw m => (fw -> a) -> m aSource
getsFuture :: MonadTardis bw fw m => (bw -> a) -> m aSource