Documentation

data DebuggerM m past current future where Source

printHistory :: (All Show zs, All Show bs, Show a) => DebuggerM m zs a bs -> IO () Source

given :: DebuggerM m (z : ys) a bs -> z Source

returned :: DebuggerM m (z : ys) a bs -> a Source

back :: DebuggerM m (z : ys) a bs -> DebuggerM m ys z (a : bs) Source

redo :: DebuggerM m (a : (z : ys)) b cs -> m (DebuggerM m (a : (z : ys)) b cs) Source

redoWith :: a -> DebuggerM m (a : zs) b cs -> m (DebuggerM m (a : zs) b cs) Source

use :: a -> DebuggerM m zs a (b : cs) -> m (DebuggerM m (a : zs) b cs) Source

step :: DebuggerM m (z : ys) a (b : cs) -> m (DebuggerM m (a : (z : ys)) b cs) Source

debugM :: Monad m => CascadeM m (a : (b : cs)) -> DebuggerM m [] a (b : cs) Source