GHC.Debug.Client.Monad.Simple

This module provides a simple implementation, which can be a lot faster if network latency is not an issue.

Documentation

data Debuggee

newtype DebugM a

Constructors

DebugM (ReaderT Debuggee IO a)

Instances

MonadFail DebugM

Defined in GHC.Debug.Client.Monad.Simple

Methods

fail :: String -> DebugM a

MonadFix DebugM

Defined in GHC.Debug.Client.Monad.Simple

Methods

mfix :: (a -> DebugM a) -> DebugM a

Applicative DebugM

Defined in GHC.Debug.Client.Monad.Simple

Methods

pure :: a -> DebugM a

(<*>) :: DebugM (a -> b) -> DebugM a -> DebugM b

liftA2 :: (a -> b -> c) -> DebugM a -> DebugM b -> DebugM c

(*>) :: DebugM a -> DebugM b -> DebugM b

(<*) :: DebugM a -> DebugM b -> DebugM a

Functor DebugM

Defined in GHC.Debug.Client.Monad.Simple

Methods

fmap :: (a -> b) -> DebugM a -> DebugM b

(<$) :: a -> DebugM b -> DebugM a

Monad DebugM

Defined in GHC.Debug.Client.Monad.Simple

Methods

(>>=) :: DebugM a -> (a -> DebugM b) -> DebugM b

(>>) :: DebugM a -> DebugM b -> DebugM b

return :: a -> DebugM a

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

type DebugEnv DebugM

Defined in GHC.Debug.Client.Monad.Simple

type DebugEnv DebugM = Debuggee

runSimple :: Debuggee -> DebugM a -> IO a