Documentation

strToTr :: (c -> Bool) -> STR c a m -> TR c a Source #

rmdCommands :: STR c a m -> DebugConfig c a -> [m] Source #

rmdActions :: STR c a m -> DebugConfig c a -> [DebugAction a c] Source #

rmdExecute :: (Ord c, Ord a) => STR c a m -> Finder c a m -> Either m (DebugAction a c) -> DebugConfig c a -> [DebugConfig c a] Source #

rmdPerform :: STR c a m -> DebugConfig c a -> m -> DebugConfig c a Source #

reducedMultiverseDebuggerBridge :: (Ord c, Ord a) => STR c a m -> Finder c a m -> STR (DebugConfig c a) (DebugAction a c) m Source #

ppDebugAction :: PrettyPrinter c a m -> DebugAction a c -> InputT IO () Source #

printCurrent :: PrettyPrinter c a m -> Maybe c -> InputT IO () Source #

debugLoop :: (Ord c, Ord a) => PrettyPrinter c a m -> STR c a m -> STR (DebugConfig c a) (DebugAction a c) m -> DebugConfig c a -> (STR c a m -> Graph c a -> (Graph c a, Set c)) -> InputT IO () Source #

debugger :: (Ord c, Ord a) => PrettyPrinter c a m -> STR c a m -> Finder c a m -> IO () Source #

debuggerWithShow :: (Ord a, Ord c, Show a, Show c, Show m) => STR c a m -> Finder c a m -> IO () Source #