GHC.Debug.Client.Monad.Class

Documentation

class (MonadFail m, Monad m) => DebugMonad m where

Associated Types

type DebugEnv m

Methods

request :: (Show resp, Typeable resp) => Request resp -> m resp

requestBlock :: (Show resp, Typeable resp) => BlockCacheRequest resp -> m resp

traceMsg :: String -> m ()

printRequestLog :: DebugEnv m -> IO ()

runDebug :: DebugEnv m -> m a -> IO a

runDebugTrace :: DebugEnv m -> m a -> IO (a, [String])

newEnv :: Tracer IO String -> Mode -> IO (DebugEnv m)

saveCache :: FilePath -> m ()

loadCache :: FilePath -> m ()

unsafeLiftIO :: IO a -> m a

Instances

DebugMonad DebugM

Defined in GHC.Debug.Client.Monad.Simple

Associated Types

type DebugEnv DebugM

Methods

request :: (Show resp, Typeable resp) => Request resp -> DebugM resp

requestBlock :: (Show resp, Typeable resp) => BlockCacheRequest resp -> DebugM resp

traceMsg :: String -> DebugM ()

printRequestLog :: DebugEnv DebugM -> IO ()

runDebug :: DebugEnv DebugM -> DebugM a -> IO a

runDebugTrace :: DebugEnv DebugM -> DebugM a -> IO (a, [String])

newEnv :: Tracer IO String -> Mode -> IO (DebugEnv DebugM)

saveCache :: FilePath -> DebugM ()

loadCache :: FilePath -> DebugM ()

unsafeLiftIO :: IO a -> DebugM a

data Mode

Constructors

SnapshotMode FilePath

SocketMode Handle