Cascade-0.1.0.0: Playing with reified categorical composition
Cascade.Debugger
data DebuggerM m past current future where Source
Constructors
Instances
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