Safe Haskell	None
Language	Haskell2010

GHC.Debug.Client

Contents

Running/Connecting to a debuggee
Running DebugM
Pause/Resume
Basic Requests
Building a Heap Graph
Printing a heap graph
Tracing
Caching
Types

Description

The main API for creating debuggers. For example, this API can be used to connect to an instrumented process, query the GC roots and then decode the first root up to depth 10 and displayed to the user.

main = withDebuggeeConnect "/tmp/ghc-debug" p1

p1 :: Debuggee -> IO ()
p1 e = do
  pause e
  g <- run e $ do
        precacheBlocks
        (r:_) <- gcRoots
        buildHeapGraph (Just 10) r
  putStrLn (ppHeapGraph (const "") g)

Synopsis

data Debuggee
type DebugM = DebugM
debuggeeRun :: FilePath -> FilePath -> IO Debuggee
debuggeeConnect :: FilePath -> IO Debuggee
debuggeeClose :: Debuggee -> IO ()
withDebuggeeRun :: FilePath -> FilePath -> (Debuggee -> IO a) -> IO a
withDebuggeeConnect :: FilePath -> (Debuggee -> IO a) -> IO a
socketDirectory :: IO FilePath
snapshotRun :: FilePath -> (Debuggee -> IO a) -> IO a
run :: Debuggee -> DebugM a -> IO a
runTrace :: Debuggee -> DebugM a -> IO a
runAnalysis :: DebugM a -> (a -> IO r) -> Debuggee -> IO r
pause :: Debuggee -> IO ()
fork :: Debuggee -> IO ()
pauseThen :: Debuggee -> DebugM b -> IO b
resume :: Debuggee -> IO ()
pausePoll :: Debuggee -> IO ()
withPause :: Debuggee -> IO a -> IO a
version :: DebugM Version
gcRoots :: DebugM [ClosurePtr]
allBlocks :: DebugM [RawBlock]
getSourceInfo :: InfoTablePtr -> DebugM (Maybe SourceInformation)
savedObjects :: DebugM [ClosurePtr]
precacheBlocks :: DebugM [RawBlock]
dereferenceClosure :: ClosurePtr -> DebugM SizedClosure
dereferenceToClosurePtr :: SizedClosure -> DebugM SizedClosureP
addConstrDesc :: SizedClosure -> DebugM SizedClosureC
requestCCSMain :: DebugM CCSPtr
dereferenceClosures :: [ClosurePtr] -> DebugM [SizedClosure]
dereferenceStack :: StackCont -> DebugM StackFrames
dereferencePapPayload :: PayloadCont -> DebugM PapPayload
dereferenceConDesc :: ConstrDescCont -> DebugM ConstrDesc
dereferenceInfoTable :: InfoTablePtr -> DebugM StgInfoTable
dereferenceIndexTable :: IndexTablePtr -> DebugM IndexTable
dereferenceSRT :: InfoTablePtr -> DebugM SrtPayload
dereferenceCCS :: CCSPtr -> DebugM CCSPayload
dereferenceCC :: CCPtr -> DebugM CCPayload
class Hextraversable (m :: Type -> Type -> Type -> Type -> Type -> Type -> Type) where
- hextraverse :: Applicative f => (a -> f b) -> (c -> f d) -> (e -> f g) -> (h -> f i) -> (j -> f k) -> (l -> f n) -> m a c e h j l -> f (m b d g i k n)
buildHeapGraph :: Maybe Int -> ClosurePtr -> DebugM (HeapGraph Size)
multiBuildHeapGraph :: Maybe Int -> NonEmpty ClosurePtr -> DebugM (HeapGraph Size)
data HeapGraph a = HeapGraph {
- roots :: !(NonEmpty ClosurePtr)
- graph :: !(IntMap (HeapGraphEntry a))
}
data HeapGraphEntry a = HeapGraphEntry {
- hgeClosurePtr :: ClosurePtr
- hgeClosure :: DebugClosure CCSPtr SrtHI PapHI ConstrDesc StackHI (Maybe HeapGraphIndex)
- hgeData :: a
}
ppHeapGraph :: (a -> String) -> HeapGraph a -> String
traceWrite :: (DebugMonad m, Show a) => a -> m ()
traceMsg :: DebugMonad m => String -> m ()
saveCache :: DebugMonad m => FilePath -> m ()
loadCache :: DebugMonad m => FilePath -> m ()
allClosures :: DebugClosure ccs (GenSrtPayload c) (GenPapPayload c) a (GenStackFrames (GenSrtPayload c) c) c -> [c]
dcSize :: DebugClosureWithSize ccs srt pap string s b -> Size
hexmap :: forall a b c d e f g h i j k l t. Hextraversable t => (a -> b) -> (c -> d) -> (e -> f) -> (g -> h) -> (i -> j) -> (k -> l) -> t a c e g i k -> t b d f h j l
noSize :: DebugClosureWithSize ccs srt pap string s b -> DebugClosure ccs srt pap string s b
parseConstrDesc :: String -> ConstrDesc
data CCPayload = CCPayload {
- ccID :: !Int64
- ccLabel :: String
- ccMod :: String
- ccLoc :: String
- ccMemAlloc :: Word64
- ccTimeTicks :: Word
- ccIsCaf :: Bool
- ccLink :: Maybe CCPtr
}
type CCSPayload = GenCCSPayload CCSPtr CCPtr
type Closure = DebugClosure CCSPtr SrtCont PayloadCont ConstrDescCont StackCont ClosurePtr
data ClosureType
- = INVALID_OBJECT
- | CONSTR
- | CONSTR_1_0
- | CONSTR_0_1
- | CONSTR_2_0
- | CONSTR_1_1
- | CONSTR_0_2
- | CONSTR_NOCAF
- | FUN
- | FUN_1_0
- | FUN_0_1
- | FUN_2_0
- | FUN_1_1
- | FUN_0_2
- | FUN_STATIC
- | THUNK
- | THUNK_1_0
- | THUNK_0_1
- | THUNK_2_0
- | THUNK_1_1
- | THUNK_0_2
- | THUNK_STATIC
- | THUNK_SELECTOR
- | BCO
- | AP
- | PAP
- | AP_STACK
- | IND
- | IND_STATIC
- | RET_BCO
- | RET_SMALL
- | RET_BIG
- | RET_FUN
- | UPDATE_FRAME
- | CATCH_FRAME
- | UNDERFLOW_FRAME
- | STOP_FRAME
- | BLOCKING_QUEUE
- | BLACKHOLE
- | MVAR_CLEAN
- | MVAR_DIRTY
- | TVAR
- | ARR_WORDS
- | MUT_ARR_PTRS_CLEAN
- | MUT_ARR_PTRS_DIRTY
- | MUT_ARR_PTRS_FROZEN_DIRTY
- | MUT_ARR_PTRS_FROZEN_CLEAN
- | MUT_VAR_CLEAN
- | MUT_VAR_DIRTY
- | WEAK
- | PRIM
- | MUT_PRIM
- | TSO
- | STACK
- | TREC_CHUNK
- | ATOMICALLY_FRAME
- | CATCH_RETRY_FRAME
- | CATCH_STM_FRAME
- | WHITEHOLE
- | SMALL_MUT_ARR_PTRS_CLEAN
- | SMALL_MUT_ARR_PTRS_DIRTY
- | SMALL_MUT_ARR_PTRS_FROZEN_DIRTY
- | SMALL_MUT_ARR_PTRS_FROZEN_CLEAN
- | COMPACT_NFDATA
- | CONTINUATION
- | N_CLOSURE_TYPES
data ConstrDesc = ConstrDesc {
- pkg :: !String
- modl :: !String
- name :: !String
}
type ConstrDescCont = InfoTablePtr
data DebugClosure ccs srt pap string s b
- = ConstrClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - ptrArgs :: ![b]
  - dataArgs :: ![Word]
  - constrDesc :: !string
  }
- | FunClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - srt :: !srt
  - ptrArgs :: ![b]
  - dataArgs :: ![Word]
  }
- | ThunkClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - srt :: !srt
  - ptrArgs :: ![b]
  - dataArgs :: ![Word]
  }
- | SelectorClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - selectee :: !b
  }
- | PAPClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - arity :: !HalfWord
  - n_args :: !HalfWord
  - fun :: !b
  - pap_payload :: !pap
  }
- | APClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - arity :: !HalfWord
  - n_args :: !HalfWord
  - fun :: !b
  - ap_payload :: !pap
  }
- | APStackClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - ap_st_size :: !Word
  - fun :: !b
  - payload :: !s
  }
- | IndClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - indirectee :: !b
  }
- | BCOClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - instrs :: !b
  - literals :: !b
  - bcoptrs :: !b
  - arity :: !HalfWord
  - size :: !HalfWord
  - bitmap :: !PtrBitmap
  }
- | BlackholeClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - indirectee :: !b
  }
- | ArrWordsClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - bytes :: !Word
  - arrWords :: ![Word]
  }
- | MutArrClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - mccPtrs :: !Word
  - mccSize :: !Word
  - mccPayload :: ![b]
  }
- | SmallMutArrClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - mccPtrs :: !Word
  - mccPayload :: ![b]
  }
- | MVarClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - queueHead :: !b
  - queueTail :: !b
  - value :: !b
  }
- | MutVarClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - var :: !b
  }
- | BlockingQueueClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - link :: !b
  - blackHole :: !b
  - owner :: !b
  - queue :: !b
  }
- | TSOClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - _link :: !b
  - global_link :: !b
  - tsoStack :: !b
  - trec :: !b
  - blocked_exceptions :: !b
  - bq :: !b
  - threadLabel :: !(Maybe b)
  - what_next :: WhatNext
  - why_blocked :: WhyBlocked
  - flags :: [TsoFlags]
  - threadId :: Word64
  - saved_errno :: Word32
  - dirty :: Word32
  - alloc_limit :: Int64
  - tot_stack_size :: Word32
  - prof :: Maybe StgTSOProfInfo
  }
- | StackClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - stack_size :: !Word32
  - stack_dirty :: !Word8
  - stack_marking :: !Word8
  - frames :: s
  }
- | WeakClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - cfinalizers :: !b
  - key :: !b
  - value :: !b
  - finalizer :: !b
  - mlink :: !(Maybe b)
  }
- | TVarClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - current_value :: !b
  - tvar_watch_queue :: !b
  - num_updates :: !Int
  }
- | TRecChunkClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - prev_chunk :: !b
  - next_idx :: !Word
  - entries :: ![TRecEntry b]
  }
- | MutPrimClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - ptrArgs :: ![b]
  - dataArgs :: ![Word]
  }
- | PrimClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - ptrArgs :: ![b]
  - dataArgs :: ![Word]
  }
- | OtherClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  - hvalues :: ![b]
  - rawWords :: ![Word]
  }
- | UnsupportedClosure {
  - info :: !StgInfoTableWithPtr
  - profHeader :: Maybe (ProfHeader ccs)
  }
data DebugClosureWithExtra x ccs srt pap string s b = DCS {
- extraDCS :: x
- unDCS :: DebugClosure ccs srt pap string s b
}
type DebugClosureWithSize = DebugClosureWithExtra Size
data DebugStackFrame srt b = DebugStackFrame {
- frame_info :: !StgInfoTableWithPtr
- frame_srt :: srt
- values :: [FieldValue b]
}
data FieldValue b
- = SPtr b
- | SNonPtr !Word64
data GenCCSPayload ccsPtr ccPtr = CCSPayload {
- ccsID :: !Int64
- ccsCc :: ccPtr
- ccsPrevStack :: Maybe ccsPtr
- ccsIndexTable :: Maybe IndexTablePtr
- ccsRoot :: Maybe CCSPtr
- ccsDepth :: Word
- ccsSccCount :: Word64
- ccsSelected :: Word
- ccsTimeTicks :: Word
- ccsMemAlloc :: Word64
- ccsInheritedAlloc :: Word64
- ccsInheritedTicks :: Word
}
newtype GenPapPayload b = GenPapPayload {
- getValues :: [FieldValue b]
}
newtype GenSrtPayload b = GenSrtPayload {
- getSrt :: Maybe b
}
newtype GenStackFrames srt b = GenStackFrames {
- getFrames :: [DebugStackFrame srt b]
}
class Hextraversable (m :: Type -> Type -> Type -> Type -> Type -> Type -> Type) where
- hextraverse :: Applicative f => (a -> f b) -> (c -> f d) -> (e -> f g) -> (h -> f i) -> (j -> f k) -> (l -> f n) -> m a c e h j l -> f (m b d g i k n)
newtype InclusiveSize = InclusiveSize {
- getInclusiveSize :: Int
}
data IndexTable = IndexTable {
- itCostCentre :: CCPtr
- itCostCentreStack :: CCSPtr
- itNext :: Maybe IndexTablePtr
- itBackEdge :: Bool
}
type PapPayload = GenPapPayload ClosurePtr
data PayloadCont = PayloadCont ClosurePtr [Word64]
data ProfHeader a = ProfHeader {
- ccs :: a
- hp :: ProfHeaderWord
}
type ProfHeaderWithPtr = ProfHeader CCSPtr
data ProfHeaderWord
- = RetainerHeader {
  - trav :: !Bool
  - retainerSet :: !RetainerSetPtr
  }
- | LDVWord {
  - state :: !Bool
  - creationTime :: !Word32
  - lastUseTime :: !Word32
  }
- | EraWord Word64
- | OtherHeader Word64
newtype RetainerSize = RetainerSize {
- getRetainerSize :: Int
}
newtype Size = Size {
- getSize :: Int
}
type SizedClosure = DebugClosureWithSize CCSPtr SrtCont PayloadCont ConstrDescCont StackCont ClosurePtr
type SizedClosureC = DebugClosureWithSize CCSPtr SrtCont PayloadCont ConstrDesc StackCont ClosurePtr
type SizedClosureP = DebugClosureWithSize CCSPtr SrtPayload PapPayload ConstrDesc StackCont ClosurePtr
type SrtCont = InfoTablePtr
type SrtPayload = GenSrtPayload ClosurePtr
data StackCont = StackCont StackPtr RawStack
type StackFrames = GenStackFrames SrtCont ClosurePtr
data StgInfoTable = StgInfoTable {
- ptrs :: HalfWord
- nptrs :: HalfWord
- tipe :: ClosureType
- srtlen :: HalfWord
}
data StgInfoTableWithPtr = StgInfoTableWithPtr {
- tableId :: InfoTablePtr
- decodedTable :: StgInfoTable
}
data TRecEntry b = TRecEntry {
- tvar :: !b
- expected_value :: !b
- new_value :: !b
- trec_num_updates :: Int
}
data TsoFlags
- = TsoLocked
- | TsoBlockx
- | TsoInterruptible
- | TsoStoppedOnBreakpoint
- | TsoMarked
- | TsoSqueezed
- | TsoAllocLimit
- | TsoFlagsUnknownValue Word32
data WhatNext
- = ThreadRunGHC
- | ThreadInterpret
- | ThreadKilled
- | ThreadComplete
- | WhatNextUnknownValue Word16
data WhyBlocked
- = NotBlocked
- | BlockedOnMVar
- | BlockedOnMVarRead
- | BlockedOnBlackHole
- | BlockedOnRead
- | BlockedOnWrite
- | BlockedOnDelay
- | BlockedOnSTM
- | BlockedOnDoProc
- | BlockedOnCCall
- | BlockedOnCCall_Interruptible
- | BlockedOnMsgThrowTo
- | ThreadMigrating
- | WhyBlockedUnknownValue Word32
data SourceInformation = SourceInformation {
- infoName :: !String
- infoClosureType :: !ClosureType
- infoType :: !String
- infoLabel :: !String
- infoModule :: !String
- infoPosition :: !String
}
data RawBlock = RawBlock BlockPtr Word16 ByteString
data BlockPtr
data StackPtr
data ClosurePtr
data InfoTablePtr
data CCPtr
data CCSPtr
data IndexTablePtr
type StackHI = GenStackFrames (GenSrtPayload (Maybe HeapGraphIndex)) (Maybe HeapGraphIndex)
type PapHI = GenPapPayload (Maybe HeapGraphIndex)
type HeapGraphIndex = ClosurePtr

Running/Connecting to a debuggee

data Debuggee Source #

type DebugM = DebugM Source #

debuggeeRun Source #

Arguments

:: FilePath	path to executable to run as the debuggee
-> FilePath	filename of socket (e.g. `"/tmp/ghc-debug"`)
-> IO Debuggee

Run a debuggee and connect to it. Use debuggeeClose when you're done.

debuggeeConnect :: FilePath -> IO Debuggee Source #

debuggeeClose :: Debuggee -> IO () Source #

Close the connection to the debuggee.

withDebuggeeRun Source #

Arguments

:: FilePath	path to executable to run as the debuggee
-> FilePath	filename of socket (e.g. `"/tmp/ghc-debug"`)
-> (Debuggee -> IO a)
-> IO a

Bracketed version of debuggeeRun. Runs a debuggee, connects to it, runs the action, kills the process, then closes the debuggee.

withDebuggeeConnect Source #

Arguments

:: FilePath	filename of socket (e.g. `"/tmp/ghc-debug"`)
-> (Debuggee -> IO a)
-> IO a

Bracketed version of debuggeeConnect. Connects to a debuggee, runs the action, then closes the debuggee.

socketDirectory :: IO FilePath #

snapshotRun :: FilePath -> (Debuggee -> IO a) -> IO a Source #

Start an analysis session using a snapshot. This will not connect to a debuggee. The snapshot is created by snapshot.

Running DebugM

run :: Debuggee -> DebugM a -> IO a Source #

Run a DebugM a in the given environment.

runTrace :: Debuggee -> DebugM a -> IO a Source #

runAnalysis :: DebugM a -> (a -> IO r) -> Debuggee -> IO r Source #

Perform the given analysis whilst the debuggee is paused, then resume and apply the continuation to the result.

Pause/Resume

pause :: Debuggee -> IO () Source #

Pause the debuggee

fork :: Debuggee -> IO () Source #

pauseThen :: Debuggee -> DebugM b -> IO b Source #

resume :: Debuggee -> IO () Source #

Resume the debuggee

pausePoll :: Debuggee -> IO () Source #

Like pause, but wait for the debuggee to pause itself. It currently impossible to resume after a pause caused by a poll.?????????? Is that true???? can we not just call resume????

withPause :: Debuggee -> IO a -> IO a Source #

Bracketed version of pause/resume.

Basic Requests

version :: DebugM Version Source #

Query the debuggee for the protocol version

gcRoots :: DebugM [ClosurePtr] Source #

Query the debuggee for the list of GC Roots

allBlocks :: DebugM [RawBlock] Source #

Query the debuggee for all the blocks it knows about

getSourceInfo :: InfoTablePtr -> DebugM (Maybe SourceInformation) Source #

Query the debuggee for source information about a specific info table. This requires your executable to be built with -finfo-table-map.

savedObjects :: DebugM [ClosurePtr] Source #

Query the debuggee for the list of saved objects.

precacheBlocks :: DebugM [RawBlock] Source #

Fetch all the blocks from the debuggee and add them to the block cache

dereferenceClosure :: ClosurePtr -> DebugM SizedClosure Source #

Consult the BlockCache for the block which contains a specific closure, if it's not there then try to fetch the right block, if that fails, call dereferenceClosureDirect

dereferenceToClosurePtr :: SizedClosure -> DebugM SizedClosureP Source #

addConstrDesc :: SizedClosure -> DebugM SizedClosureC Source #

requestCCSMain :: DebugM CCSPtr Source #

dereferenceClosures :: [ClosurePtr] -> DebugM [SizedClosure] Source #

dereferenceStack :: StackCont -> DebugM StackFrames Source #

Deference some StackFrames from a given StackCont

dereferencePapPayload :: PayloadCont -> DebugM PapPayload Source #

Derference the PapPayload from the PayloadCont

dereferenceConDesc :: ConstrDescCont -> DebugM ConstrDesc Source #

dereferenceInfoTable :: InfoTablePtr -> DebugM StgInfoTable Source #

dereferenceIndexTable :: IndexTablePtr -> DebugM IndexTable Source #

dereferenceSRT :: InfoTablePtr -> DebugM SrtPayload Source #

dereferenceCCS :: CCSPtr -> DebugM CCSPayload Source #

dereferenceCC :: CCPtr -> DebugM CCPayload Source #

class Hextraversable (m :: Type -> Type -> Type -> Type -> Type -> Type -> Type) where #

Methods

hextraverse :: Applicative f => (a -> f b) -> (c -> f d) -> (e -> f g) -> (h -> f i) -> (j -> f k) -> (l -> f n) -> m a c e h j l -> f (m b d g i k n) #

Instances

Instances details

Hextraversable DebugClosure #
Instance details Defined in GHC.Debug.Types.Closures Methods hextraverse :: Applicative f => (a -> f b) -> (c -> f d) -> (e -> f g) -> (h -> f i) -> (j -> f k) -> (l -> f n) -> DebugClosure a c e h j l -> f (DebugClosure b d g i k n) #
Hextraversable (DebugClosureWithExtra x) #
Instance details Defined in GHC.Debug.Types.Closures Methods hextraverse :: Applicative f => (a -> f b) -> (c -> f d) -> (e -> f g) -> (h -> f i) -> (j -> f k) -> (l -> f n) -> DebugClosureWithExtra x a c e h j l -> f (DebugClosureWithExtra x b d g i k n) #

Building a Heap Graph

buildHeapGraph :: Maybe Int -> ClosurePtr -> DebugM (HeapGraph Size) Source #

Build a heap graph starting from the given root. The first argument controls how many levels to recurse. You nearly always want to set this to a small number ~ 10, as otherwise you can easily run out of memory.

multiBuildHeapGraph :: Maybe Int -> NonEmpty ClosurePtr -> DebugM (HeapGraph Size) Source #

Build a heap graph starting from multiple roots. The first argument controls how many levels to recurse. You nearly always want to set this value to a small number ~ 10 as otherwise you can easily run out of memory.

data HeapGraph a #

Constructors

HeapGraph
Fields roots :: !(NonEmpty ClosurePtr) graph :: !(IntMap (HeapGraphEntry a))

Instances

Instances details

Functor HeapGraph #
Instance details Defined in GHC.Debug.Types.Graph Methods fmap :: (a -> b) -> HeapGraph a -> HeapGraph b # (<$) :: a -> HeapGraph b -> HeapGraph a #
Foldable HeapGraph #
Instance details Defined in GHC.Debug.Types.Graph Methods fold :: Monoid m => HeapGraph m -> m # foldMap :: Monoid m => (a -> m) -> HeapGraph a -> m # foldMap' :: Monoid m => (a -> m) -> HeapGraph a -> m # foldr :: (a -> b -> b) -> b -> HeapGraph a -> b # foldr' :: (a -> b -> b) -> b -> HeapGraph a -> b # foldl :: (b -> a -> b) -> b -> HeapGraph a -> b # foldl' :: (b -> a -> b) -> b -> HeapGraph a -> b # foldr1 :: (a -> a -> a) -> HeapGraph a -> a # foldl1 :: (a -> a -> a) -> HeapGraph a -> a # toList :: HeapGraph a -> [a] # null :: HeapGraph a -> Bool # length :: HeapGraph a -> Int # elem :: Eq a => a -> HeapGraph a -> Bool # maximum :: Ord a => HeapGraph a -> a # minimum :: Ord a => HeapGraph a -> a # sum :: Num a => HeapGraph a -> a # product :: Num a => HeapGraph a -> a #
Traversable HeapGraph #
Instance details Defined in GHC.Debug.Types.Graph Methods traverse :: Applicative f => (a -> f b) -> HeapGraph a -> f (HeapGraph b) # sequenceA :: Applicative f => HeapGraph (f a) -> f (HeapGraph a) # mapM :: Monad m => (a -> m b) -> HeapGraph a -> m (HeapGraph b) # sequence :: Monad m => HeapGraph (m a) -> m (HeapGraph a) #
Show a => Show (HeapGraph a) #
Instance details Defined in GHC.Debug.Types.Graph Methods showsPrec :: Int -> HeapGraph a -> ShowS # show :: HeapGraph a -> String # showList :: [HeapGraph a] -> ShowS #

data HeapGraphEntry a #

Constructors

HeapGraphEntry
Fields hgeClosurePtr :: ClosurePtr hgeClosure :: DebugClosure CCSPtr SrtHI PapHI ConstrDesc StackHI (Maybe HeapGraphIndex) hgeData :: a

Instances

Instances details

Functor HeapGraphEntry #
Instance details Defined in GHC.Debug.Types.Graph Methods fmap :: (a -> b) -> HeapGraphEntry a -> HeapGraphEntry b # (<$) :: a -> HeapGraphEntry b -> HeapGraphEntry a #
Foldable HeapGraphEntry #
Instance details Defined in GHC.Debug.Types.Graph Methods fold :: Monoid m => HeapGraphEntry m -> m # foldMap :: Monoid m => (a -> m) -> HeapGraphEntry a -> m # foldMap' :: Monoid m => (a -> m) -> HeapGraphEntry a -> m # foldr :: (a -> b -> b) -> b -> HeapGraphEntry a -> b # foldr' :: (a -> b -> b) -> b -> HeapGraphEntry a -> b # foldl :: (b -> a -> b) -> b -> HeapGraphEntry a -> b # foldl' :: (b -> a -> b) -> b -> HeapGraphEntry a -> b # foldr1 :: (a -> a -> a) -> HeapGraphEntry a -> a # foldl1 :: (a -> a -> a) -> HeapGraphEntry a -> a # toList :: HeapGraphEntry a -> [a] # null :: HeapGraphEntry a -> Bool # length :: HeapGraphEntry a -> Int # elem :: Eq a => a -> HeapGraphEntry a -> Bool # maximum :: Ord a => HeapGraphEntry a -> a # minimum :: Ord a => HeapGraphEntry a -> a # sum :: Num a => HeapGraphEntry a -> a # product :: Num a => HeapGraphEntry a -> a #
Traversable HeapGraphEntry #
Instance details Defined in GHC.Debug.Types.Graph Methods traverse :: Applicative f => (a -> f b) -> HeapGraphEntry a -> f (HeapGraphEntry b) # sequenceA :: Applicative f => HeapGraphEntry (f a) -> f (HeapGraphEntry a) # mapM :: Monad m => (a -> m b) -> HeapGraphEntry a -> m (HeapGraphEntry b) # sequence :: Monad m => HeapGraphEntry (m a) -> m (HeapGraphEntry a) #
Show a => Show (HeapGraphEntry a) #
Instance details Defined in GHC.Debug.Types.Graph Methods showsPrec :: Int -> HeapGraphEntry a -> ShowS # show :: HeapGraphEntry a -> String # showList :: [HeapGraphEntry a] -> ShowS #

Printing a heap graph

ppHeapGraph :: (a -> String) -> HeapGraph a -> String #

Tracing

traceWrite :: (DebugMonad m, Show a) => a -> m () Source #

traceMsg :: DebugMonad m => String -> m () Source #

Caching

saveCache :: DebugMonad m => FilePath -> m () Source #

loadCache :: DebugMonad m => FilePath -> m () Source #

Types

allClosures :: DebugClosure ccs (GenSrtPayload c) (GenPapPayload c) a (GenStackFrames (GenSrtPayload c) c) c -> [c] #

dcSize :: DebugClosureWithSize ccs srt pap string s b -> Size #

hexmap :: forall a b c d e f g h i j k l t. Hextraversable t => (a -> b) -> (c -> d) -> (e -> f) -> (g -> h) -> (i -> j) -> (k -> l) -> t a c e g i k -> t b d f h j l #

noSize :: DebugClosureWithSize ccs srt pap string s b -> DebugClosure ccs srt pap string s b #

parseConstrDesc :: String -> ConstrDesc #

data CCPayload #

Constructors

CCPayload
Fields ccID :: !Int64 ccLabel :: String ccMod :: String ccLoc :: String ccMemAlloc :: Word64 ccTimeTicks :: Word ccIsCaf :: Bool ccLink :: Maybe CCPtr

Instances

Instances details

Show CCPayload #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> CCPayload -> ShowS # show :: CCPayload -> String # showList :: [CCPayload] -> ShowS #
Eq CCPayload #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: CCPayload -> CCPayload -> Bool # (/=) :: CCPayload -> CCPayload -> Bool #
Ord CCPayload #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: CCPayload -> CCPayload -> Ordering # (<) :: CCPayload -> CCPayload -> Bool # (<=) :: CCPayload -> CCPayload -> Bool # (>) :: CCPayload -> CCPayload -> Bool # (>=) :: CCPayload -> CCPayload -> Bool # max :: CCPayload -> CCPayload -> CCPayload # min :: CCPayload -> CCPayload -> CCPayload #

type CCSPayload = GenCCSPayload CCSPtr CCPtr #

type Closure = DebugClosure CCSPtr SrtCont PayloadCont ConstrDescCont StackCont ClosurePtr #

data ClosureType #

Constructors

INVALID_OBJECT
CONSTR
CONSTR_1_0
CONSTR_0_1
CONSTR_2_0
CONSTR_1_1
CONSTR_0_2
CONSTR_NOCAF
FUN
FUN_1_0
FUN_0_1
FUN_2_0
FUN_1_1
FUN_0_2
FUN_STATIC
THUNK
THUNK_1_0
THUNK_0_1
THUNK_2_0
THUNK_1_1
THUNK_0_2
THUNK_STATIC
THUNK_SELECTOR
BCO
AP
PAP
AP_STACK
IND
IND_STATIC
RET_BCO
RET_SMALL
RET_BIG
RET_FUN
UPDATE_FRAME
CATCH_FRAME
UNDERFLOW_FRAME
STOP_FRAME
BLOCKING_QUEUE
BLACKHOLE
MVAR_CLEAN
MVAR_DIRTY
TVAR
ARR_WORDS
MUT_ARR_PTRS_CLEAN
MUT_ARR_PTRS_DIRTY
MUT_ARR_PTRS_FROZEN_DIRTY
MUT_ARR_PTRS_FROZEN_CLEAN
MUT_VAR_CLEAN
MUT_VAR_DIRTY
WEAK
PRIM
MUT_PRIM
TSO
STACK
TREC_CHUNK
ATOMICALLY_FRAME
CATCH_RETRY_FRAME
CATCH_STM_FRAME
WHITEHOLE
SMALL_MUT_ARR_PTRS_CLEAN
SMALL_MUT_ARR_PTRS_DIRTY
SMALL_MUT_ARR_PTRS_FROZEN_DIRTY
SMALL_MUT_ARR_PTRS_FROZEN_CLEAN
COMPACT_NFDATA
CONTINUATION
N_CLOSURE_TYPES

Instances

Instances details

Enum ClosureType #

Instance details

ConstrDesc
Fields pkg :: !String modl :: !String name :: !String

Show ConstrDesc #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> ConstrDesc -> ShowS # show :: ConstrDesc -> String # showList :: [ConstrDesc] -> ShowS #
Eq ConstrDesc #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: ConstrDesc -> ConstrDesc -> Bool # (/=) :: ConstrDesc -> ConstrDesc -> Bool #
Ord ConstrDesc #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: ConstrDesc -> ConstrDesc -> Ordering # (<) :: ConstrDesc -> ConstrDesc -> Bool # (<=) :: ConstrDesc -> ConstrDesc -> Bool # (>) :: ConstrDesc -> ConstrDesc -> Bool # (>=) :: ConstrDesc -> ConstrDesc -> Bool # max :: ConstrDesc -> ConstrDesc -> ConstrDesc # min :: ConstrDesc -> ConstrDesc -> ConstrDesc #

ConstrClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) ptrArgs :: ![b] dataArgs :: ![Word] constrDesc :: !string
FunClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) srt :: !srt ptrArgs :: ![b] dataArgs :: ![Word]
ThunkClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) srt :: !srt ptrArgs :: ![b] dataArgs :: ![Word]
SelectorClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) selectee :: !b
PAPClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) arity :: !HalfWord n_args :: !HalfWord fun :: !b pap_payload :: !pap
APClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) arity :: !HalfWord n_args :: !HalfWord fun :: !b ap_payload :: !pap
APStackClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) ap_st_size :: !Word fun :: !b payload :: !s
IndClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) indirectee :: !b
BCOClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) instrs :: !b literals :: !b bcoptrs :: !b arity :: !HalfWord size :: !HalfWord bitmap :: !PtrBitmap
BlackholeClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) indirectee :: !b
ArrWordsClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) bytes :: !Word arrWords :: ![Word]
MutArrClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) mccPtrs :: !Word mccSize :: !Word mccPayload :: ![b]
SmallMutArrClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) mccPtrs :: !Word mccPayload :: ![b]
MVarClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) queueHead :: !b queueTail :: !b value :: !b
MutVarClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) var :: !b
BlockingQueueClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) link :: !b blackHole :: !b owner :: !b queue :: !b
TSOClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) _link :: !b global_link :: !b tsoStack :: !b trec :: !b blocked_exceptions :: !b bq :: !b threadLabel :: !(Maybe b) what_next :: WhatNext why_blocked :: WhyBlocked flags :: [TsoFlags] threadId :: Word64 saved_errno :: Word32 dirty :: Word32 alloc_limit :: Int64 tot_stack_size :: Word32 prof :: Maybe StgTSOProfInfo
StackClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) stack_size :: !Word32 stack_dirty :: !Word8 stack_marking :: !Word8 frames :: s
WeakClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) cfinalizers :: !b key :: !b value :: !b finalizer :: !b mlink :: !(Maybe b)
TVarClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) current_value :: !b tvar_watch_queue :: !b num_updates :: !Int
TRecChunkClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) prev_chunk :: !b next_idx :: !Word entries :: ![TRecEntry b]
MutPrimClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) ptrArgs :: ![b] dataArgs :: ![Word]
PrimClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) ptrArgs :: ![b] dataArgs :: ![Word]
OtherClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) hvalues :: ![b] rawWords :: ![Word]
UnsupportedClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs)

DCS
Fields extraDCS :: x unDCS :: DebugClosure ccs srt pap string s b

Hextraversable (DebugClosureWithExtra x) #
Instance details Defined in GHC.Debug.Types.Closures Methods hextraverse :: Applicative f => (a -> f b) -> (c -> f d) -> (e -> f g) -> (h -> f i) -> (j -> f k) -> (l -> f n) -> DebugClosureWithExtra x a c e h j l -> f (DebugClosureWithExtra x b d g i k n) #
(Show x, Show ccs, Show string, Show srt, Show pap, Show s, Show b) => Show (DebugClosureWithExtra x ccs srt pap string s b) #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> DebugClosureWithExtra x ccs srt pap string s b -> ShowS # show :: DebugClosureWithExtra x ccs srt pap string s b -> String # showList :: [DebugClosureWithExtra x ccs srt pap string s b] -> ShowS #
(Eq x, Eq ccs, Eq string, Eq srt, Eq pap, Eq s, Eq b) => Eq (DebugClosureWithExtra x ccs srt pap string s b) #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: DebugClosureWithExtra x ccs srt pap string s b -> DebugClosureWithExtra x ccs srt pap string s b -> Bool # (/=) :: DebugClosureWithExtra x ccs srt pap string s b -> DebugClosureWithExtra x ccs srt pap string s b -> Bool #
(Ord x, Ord ccs, Ord string, Ord srt, Ord pap, Ord s, Ord b) => Ord (DebugClosureWithExtra x ccs srt pap string s b) #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: DebugClosureWithExtra x ccs srt pap string s b -> DebugClosureWithExtra x ccs srt pap string s b -> Ordering # (<) :: DebugClosureWithExtra x ccs srt pap string s b -> DebugClosureWithExtra x ccs srt pap string s b -> Bool # (<=) :: DebugClosureWithExtra x ccs srt pap string s b -> DebugClosureWithExtra x ccs srt pap string s b -> Bool # (>) :: DebugClosureWithExtra x ccs srt pap string s b -> DebugClosureWithExtra x ccs srt pap string s b -> Bool # (>=) :: DebugClosureWithExtra x ccs srt pap string s b -> DebugClosureWithExtra x ccs srt pap string s b -> Bool # max :: DebugClosureWithExtra x ccs srt pap string s b -> DebugClosureWithExtra x ccs srt pap string s b -> DebugClosureWithExtra x ccs srt pap string s b # min :: DebugClosureWithExtra x ccs srt pap string s b -> DebugClosureWithExtra x ccs srt pap string s b -> DebugClosureWithExtra x ccs srt pap string s b #

DebugStackFrame
Fields frame_info :: !StgInfoTableWithPtr frame_srt :: srt values :: [FieldValue b]

Bifoldable DebugStackFrame #
Instance details Defined in GHC.Debug.Types.Closures Methods bifold :: Monoid m => DebugStackFrame m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> DebugStackFrame a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> DebugStackFrame a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> DebugStackFrame a b -> c #
Bifunctor DebugStackFrame #
Instance details Defined in GHC.Debug.Types.Closures Methods bimap :: (a -> b) -> (c -> d) -> DebugStackFrame a c -> DebugStackFrame b d # first :: (a -> b) -> DebugStackFrame a c -> DebugStackFrame b c # second :: (b -> c) -> DebugStackFrame a b -> DebugStackFrame a c #
Bitraversable DebugStackFrame #
Instance details Defined in GHC.Debug.Types.Closures Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> DebugStackFrame a b -> f (DebugStackFrame c d) #
Functor (DebugStackFrame srt) #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> DebugStackFrame srt a -> DebugStackFrame srt b # (<$) :: a -> DebugStackFrame srt b -> DebugStackFrame srt a #
Foldable (DebugStackFrame srt) #
Instance details Defined in GHC.Debug.Types.Closures Methods fold :: Monoid m => DebugStackFrame srt m -> m # foldMap :: Monoid m => (a -> m) -> DebugStackFrame srt a -> m # foldMap' :: Monoid m => (a -> m) -> DebugStackFrame srt a -> m # foldr :: (a -> b -> b) -> b -> DebugStackFrame srt a -> b # foldr' :: (a -> b -> b) -> b -> DebugStackFrame srt a -> b # foldl :: (b -> a -> b) -> b -> DebugStackFrame srt a -> b # foldl' :: (b -> a -> b) -> b -> DebugStackFrame srt a -> b # foldr1 :: (a -> a -> a) -> DebugStackFrame srt a -> a # foldl1 :: (a -> a -> a) -> DebugStackFrame srt a -> a # toList :: DebugStackFrame srt a -> [a] # null :: DebugStackFrame srt a -> Bool # length :: DebugStackFrame srt a -> Int # elem :: Eq a => a -> DebugStackFrame srt a -> Bool # maximum :: Ord a => DebugStackFrame srt a -> a # minimum :: Ord a => DebugStackFrame srt a -> a # sum :: Num a => DebugStackFrame srt a -> a # product :: Num a => DebugStackFrame srt a -> a #
Traversable (DebugStackFrame srt) #
Instance details Defined in GHC.Debug.Types.Closures Methods traverse :: Applicative f => (a -> f b) -> DebugStackFrame srt a -> f (DebugStackFrame srt b) # sequenceA :: Applicative f => DebugStackFrame srt (f a) -> f (DebugStackFrame srt a) # mapM :: Monad m => (a -> m b) -> DebugStackFrame srt a -> m (DebugStackFrame srt b) # sequence :: Monad m => DebugStackFrame srt (m a) -> m (DebugStackFrame srt a) #
(Show srt, Show b) => Show (DebugStackFrame srt b) #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> DebugStackFrame srt b -> ShowS # show :: DebugStackFrame srt b -> String # showList :: [DebugStackFrame srt b] -> ShowS #
(Eq srt, Eq b) => Eq (DebugStackFrame srt b) #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: DebugStackFrame srt b -> DebugStackFrame srt b -> Bool # (/=) :: DebugStackFrame srt b -> DebugStackFrame srt b -> Bool #
(Ord srt, Ord b) => Ord (DebugStackFrame srt b) #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: DebugStackFrame srt b -> DebugStackFrame srt b -> Ordering # (<) :: DebugStackFrame srt b -> DebugStackFrame srt b -> Bool # (<=) :: DebugStackFrame srt b -> DebugStackFrame srt b -> Bool # (>) :: DebugStackFrame srt b -> DebugStackFrame srt b -> Bool # (>=) :: DebugStackFrame srt b -> DebugStackFrame srt b -> Bool # max :: DebugStackFrame srt b -> DebugStackFrame srt b -> DebugStackFrame srt b # min :: DebugStackFrame srt b -> DebugStackFrame srt b -> DebugStackFrame srt b #

Functor FieldValue #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> FieldValue a -> FieldValue b # (<$) :: a -> FieldValue b -> FieldValue a #
Foldable FieldValue #
Instance details Defined in GHC.Debug.Types.Closures Methods fold :: Monoid m => FieldValue m -> m # foldMap :: Monoid m => (a -> m) -> FieldValue a -> m # foldMap' :: Monoid m => (a -> m) -> FieldValue a -> m # foldr :: (a -> b -> b) -> b -> FieldValue a -> b # foldr' :: (a -> b -> b) -> b -> FieldValue a -> b # foldl :: (b -> a -> b) -> b -> FieldValue a -> b # foldl' :: (b -> a -> b) -> b -> FieldValue a -> b # foldr1 :: (a -> a -> a) -> FieldValue a -> a # foldl1 :: (a -> a -> a) -> FieldValue a -> a # toList :: FieldValue a -> [a] # null :: FieldValue a -> Bool # length :: FieldValue a -> Int # elem :: Eq a => a -> FieldValue a -> Bool # maximum :: Ord a => FieldValue a -> a # minimum :: Ord a => FieldValue a -> a # sum :: Num a => FieldValue a -> a # product :: Num a => FieldValue a -> a #
Traversable FieldValue #
Instance details Defined in GHC.Debug.Types.Closures Methods traverse :: Applicative f => (a -> f b) -> FieldValue a -> f (FieldValue b) # sequenceA :: Applicative f => FieldValue (f a) -> f (FieldValue a) # mapM :: Monad m => (a -> m b) -> FieldValue a -> m (FieldValue b) # sequence :: Monad m => FieldValue (m a) -> m (FieldValue a) #
Show b => Show (FieldValue b) #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> FieldValue b -> ShowS # show :: FieldValue b -> String # showList :: [FieldValue b] -> ShowS #
Eq b => Eq (FieldValue b) #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: FieldValue b -> FieldValue b -> Bool # (/=) :: FieldValue b -> FieldValue b -> Bool #
Ord b => Ord (FieldValue b) #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: FieldValue b -> FieldValue b -> Ordering # (<) :: FieldValue b -> FieldValue b -> Bool # (<=) :: FieldValue b -> FieldValue b -> Bool # (>) :: FieldValue b -> FieldValue b -> Bool # (>=) :: FieldValue b -> FieldValue b -> Bool # max :: FieldValue b -> FieldValue b -> FieldValue b # min :: FieldValue b -> FieldValue b -> FieldValue b #

CCSPayload
Fields ccsID :: !Int64 ccsCc :: ccPtr ccsPrevStack :: Maybe ccsPtr ccsIndexTable :: Maybe IndexTablePtr ccsRoot :: Maybe CCSPtr ccsDepth :: Word ccsSccCount :: Word64 ccsSelected :: Word ccsTimeTicks :: Word ccsMemAlloc :: Word64 ccsInheritedAlloc :: Word64 ccsInheritedTicks :: Word

Bifoldable GenCCSPayload #
Instance details Defined in GHC.Debug.Types.Closures Methods bifold :: Monoid m => GenCCSPayload m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> GenCCSPayload a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> GenCCSPayload a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> GenCCSPayload a b -> c #
Bifunctor GenCCSPayload #
Instance details Defined in GHC.Debug.Types.Closures Methods bimap :: (a -> b) -> (c -> d) -> GenCCSPayload a c -> GenCCSPayload b d # first :: (a -> b) -> GenCCSPayload a c -> GenCCSPayload b c # second :: (b -> c) -> GenCCSPayload a b -> GenCCSPayload a c #
Bitraversable GenCCSPayload #
Instance details Defined in GHC.Debug.Types.Closures Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> GenCCSPayload a b -> f (GenCCSPayload c d) #
Functor (GenCCSPayload ccsPtr) #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> GenCCSPayload ccsPtr a -> GenCCSPayload ccsPtr b # (<$) :: a -> GenCCSPayload ccsPtr b -> GenCCSPayload ccsPtr a #
(Show ccPtr, Show ccsPtr) => Show (GenCCSPayload ccsPtr ccPtr) #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> GenCCSPayload ccsPtr ccPtr -> ShowS # show :: GenCCSPayload ccsPtr ccPtr -> String # showList :: [GenCCSPayload ccsPtr ccPtr] -> ShowS #
(Eq ccPtr, Eq ccsPtr) => Eq (GenCCSPayload ccsPtr ccPtr) #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: GenCCSPayload ccsPtr ccPtr -> GenCCSPayload ccsPtr ccPtr -> Bool # (/=) :: GenCCSPayload ccsPtr ccPtr -> GenCCSPayload ccsPtr ccPtr -> Bool #
(Ord ccPtr, Ord ccsPtr) => Ord (GenCCSPayload ccsPtr ccPtr) #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: GenCCSPayload ccsPtr ccPtr -> GenCCSPayload ccsPtr ccPtr -> Ordering # (<) :: GenCCSPayload ccsPtr ccPtr -> GenCCSPayload ccsPtr ccPtr -> Bool # (<=) :: GenCCSPayload ccsPtr ccPtr -> GenCCSPayload ccsPtr ccPtr -> Bool # (>) :: GenCCSPayload ccsPtr ccPtr -> GenCCSPayload ccsPtr ccPtr -> Bool # (>=) :: GenCCSPayload ccsPtr ccPtr -> GenCCSPayload ccsPtr ccPtr -> Bool # max :: GenCCSPayload ccsPtr ccPtr -> GenCCSPayload ccsPtr ccPtr -> GenCCSPayload ccsPtr ccPtr # min :: GenCCSPayload ccsPtr ccPtr -> GenCCSPayload ccsPtr ccPtr -> GenCCSPayload ccsPtr ccPtr #

Functor GenPapPayload #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> GenPapPayload a -> GenPapPayload b # (<$) :: a -> GenPapPayload b -> GenPapPayload a #
Foldable GenPapPayload #
Instance details Defined in GHC.Debug.Types.Closures Methods fold :: Monoid m => GenPapPayload m -> m # foldMap :: Monoid m => (a -> m) -> GenPapPayload a -> m # foldMap' :: Monoid m => (a -> m) -> GenPapPayload a -> m # foldr :: (a -> b -> b) -> b -> GenPapPayload a -> b # foldr' :: (a -> b -> b) -> b -> GenPapPayload a -> b # foldl :: (b -> a -> b) -> b -> GenPapPayload a -> b # foldl' :: (b -> a -> b) -> b -> GenPapPayload a -> b # foldr1 :: (a -> a -> a) -> GenPapPayload a -> a # foldl1 :: (a -> a -> a) -> GenPapPayload a -> a # toList :: GenPapPayload a -> [a] # null :: GenPapPayload a -> Bool # length :: GenPapPayload a -> Int # elem :: Eq a => a -> GenPapPayload a -> Bool # maximum :: Ord a => GenPapPayload a -> a # minimum :: Ord a => GenPapPayload a -> a # sum :: Num a => GenPapPayload a -> a # product :: Num a => GenPapPayload a -> a #
Traversable GenPapPayload #
Instance details Defined in GHC.Debug.Types.Closures Methods traverse :: Applicative f => (a -> f b) -> GenPapPayload a -> f (GenPapPayload b) # sequenceA :: Applicative f => GenPapPayload (f a) -> f (GenPapPayload a) # mapM :: Monad m => (a -> m b) -> GenPapPayload a -> m (GenPapPayload b) # sequence :: Monad m => GenPapPayload (m a) -> m (GenPapPayload a) #
Show b => Show (GenPapPayload b) #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> GenPapPayload b -> ShowS # show :: GenPapPayload b -> String # showList :: [GenPapPayload b] -> ShowS #
Eq b => Eq (GenPapPayload b) #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: GenPapPayload b -> GenPapPayload b -> Bool # (/=) :: GenPapPayload b -> GenPapPayload b -> Bool #
Ord b => Ord (GenPapPayload b) #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: GenPapPayload b -> GenPapPayload b -> Ordering # (<) :: GenPapPayload b -> GenPapPayload b -> Bool # (<=) :: GenPapPayload b -> GenPapPayload b -> Bool # (>) :: GenPapPayload b -> GenPapPayload b -> Bool # (>=) :: GenPapPayload b -> GenPapPayload b -> Bool # max :: GenPapPayload b -> GenPapPayload b -> GenPapPayload b # min :: GenPapPayload b -> GenPapPayload b -> GenPapPayload b #

Functor GenSrtPayload #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> GenSrtPayload a -> GenSrtPayload b # (<$) :: a -> GenSrtPayload b -> GenSrtPayload a #
Foldable GenSrtPayload #
Instance details Defined in GHC.Debug.Types.Closures Methods fold :: Monoid m => GenSrtPayload m -> m # foldMap :: Monoid m => (a -> m) -> GenSrtPayload a -> m # foldMap' :: Monoid m => (a -> m) -> GenSrtPayload a -> m # foldr :: (a -> b -> b) -> b -> GenSrtPayload a -> b # foldr' :: (a -> b -> b) -> b -> GenSrtPayload a -> b # foldl :: (b -> a -> b) -> b -> GenSrtPayload a -> b # foldl' :: (b -> a -> b) -> b -> GenSrtPayload a -> b # foldr1 :: (a -> a -> a) -> GenSrtPayload a -> a # foldl1 :: (a -> a -> a) -> GenSrtPayload a -> a # toList :: GenSrtPayload a -> [a] # null :: GenSrtPayload a -> Bool # length :: GenSrtPayload a -> Int # elem :: Eq a => a -> GenSrtPayload a -> Bool # maximum :: Ord a => GenSrtPayload a -> a # minimum :: Ord a => GenSrtPayload a -> a # sum :: Num a => GenSrtPayload a -> a # product :: Num a => GenSrtPayload a -> a #
Traversable GenSrtPayload #
Instance details Defined in GHC.Debug.Types.Closures Methods traverse :: Applicative f => (a -> f b) -> GenSrtPayload a -> f (GenSrtPayload b) # sequenceA :: Applicative f => GenSrtPayload (f a) -> f (GenSrtPayload a) # mapM :: Monad m => (a -> m b) -> GenSrtPayload a -> m (GenSrtPayload b) # sequence :: Monad m => GenSrtPayload (m a) -> m (GenSrtPayload a) #
Show b => Show (GenSrtPayload b) #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> GenSrtPayload b -> ShowS # show :: GenSrtPayload b -> String # showList :: [GenSrtPayload b] -> ShowS #
Eq b => Eq (GenSrtPayload b) #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: GenSrtPayload b -> GenSrtPayload b -> Bool # (/=) :: GenSrtPayload b -> GenSrtPayload b -> Bool #
Ord b => Ord (GenSrtPayload b) #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: GenSrtPayload b -> GenSrtPayload b -> Ordering # (<) :: GenSrtPayload b -> GenSrtPayload b -> Bool # (<=) :: GenSrtPayload b -> GenSrtPayload b -> Bool # (>) :: GenSrtPayload b -> GenSrtPayload b -> Bool # (>=) :: GenSrtPayload b -> GenSrtPayload b -> Bool # max :: GenSrtPayload b -> GenSrtPayload b -> GenSrtPayload b # min :: GenSrtPayload b -> GenSrtPayload b -> GenSrtPayload b #

Bifoldable GenStackFrames #
Instance details Defined in GHC.Debug.Types.Closures Methods bifold :: Monoid m => GenStackFrames m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> GenStackFrames a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> GenStackFrames a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> GenStackFrames a b -> c #
Bifunctor GenStackFrames #
Instance details Defined in GHC.Debug.Types.Closures Methods bimap :: (a -> b) -> (c -> d) -> GenStackFrames a c -> GenStackFrames b d # first :: (a -> b) -> GenStackFrames a c -> GenStackFrames b c # second :: (b -> c) -> GenStackFrames a b -> GenStackFrames a c #
Bitraversable GenStackFrames #
Instance details Defined in GHC.Debug.Types.Closures Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> GenStackFrames a b -> f (GenStackFrames c d) #
Functor (GenStackFrames srt) #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> GenStackFrames srt a -> GenStackFrames srt b # (<$) :: a -> GenStackFrames srt b -> GenStackFrames srt a #
Foldable (GenStackFrames srt) #
Instance details Defined in GHC.Debug.Types.Closures Methods fold :: Monoid m => GenStackFrames srt m -> m # foldMap :: Monoid m => (a -> m) -> GenStackFrames srt a -> m # foldMap' :: Monoid m => (a -> m) -> GenStackFrames srt a -> m # foldr :: (a -> b -> b) -> b -> GenStackFrames srt a -> b # foldr' :: (a -> b -> b) -> b -> GenStackFrames srt a -> b # foldl :: (b -> a -> b) -> b -> GenStackFrames srt a -> b # foldl' :: (b -> a -> b) -> b -> GenStackFrames srt a -> b # foldr1 :: (a -> a -> a) -> GenStackFrames srt a -> a # foldl1 :: (a -> a -> a) -> GenStackFrames srt a -> a # toList :: GenStackFrames srt a -> [a] # null :: GenStackFrames srt a -> Bool # length :: GenStackFrames srt a -> Int # elem :: Eq a => a -> GenStackFrames srt a -> Bool # maximum :: Ord a => GenStackFrames srt a -> a # minimum :: Ord a => GenStackFrames srt a -> a # sum :: Num a => GenStackFrames srt a -> a # product :: Num a => GenStackFrames srt a -> a #
Traversable (GenStackFrames srt) #
Instance details Defined in GHC.Debug.Types.Closures Methods traverse :: Applicative f => (a -> f b) -> GenStackFrames srt a -> f (GenStackFrames srt b) # sequenceA :: Applicative f => GenStackFrames srt (f a) -> f (GenStackFrames srt a) # mapM :: Monad m => (a -> m b) -> GenStackFrames srt a -> m (GenStackFrames srt b) # sequence :: Monad m => GenStackFrames srt (m a) -> m (GenStackFrames srt a) #
(Show srt, Show b) => Show (GenStackFrames srt b) #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> GenStackFrames srt b -> ShowS # show :: GenStackFrames srt b -> String # showList :: [GenStackFrames srt b] -> ShowS #
(Eq srt, Eq b) => Eq (GenStackFrames srt b) #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: GenStackFrames srt b -> GenStackFrames srt b -> Bool # (/=) :: GenStackFrames srt b -> GenStackFrames srt b -> Bool #
(Ord srt, Ord b) => Ord (GenStackFrames srt b) #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: GenStackFrames srt b -> GenStackFrames srt b -> Ordering # (<) :: GenStackFrames srt b -> GenStackFrames srt b -> Bool # (<=) :: GenStackFrames srt b -> GenStackFrames srt b -> Bool # (>) :: GenStackFrames srt b -> GenStackFrames srt b -> Bool # (>=) :: GenStackFrames srt b -> GenStackFrames srt b -> Bool # max :: GenStackFrames srt b -> GenStackFrames srt b -> GenStackFrames srt b # min :: GenStackFrames srt b -> GenStackFrames srt b -> GenStackFrames srt b #

IndexTable
Fields itCostCentre :: CCPtr itCostCentreStack :: CCSPtr itNext :: Maybe IndexTablePtr itBackEdge :: Bool

Show IndexTable #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> IndexTable -> ShowS # show :: IndexTable -> String # showList :: [IndexTable] -> ShowS #
Eq IndexTable #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: IndexTable -> IndexTable -> Bool # (/=) :: IndexTable -> IndexTable -> Bool #
Ord IndexTable #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: IndexTable -> IndexTable -> Ordering # (<) :: IndexTable -> IndexTable -> Bool # (<=) :: IndexTable -> IndexTable -> Bool # (>) :: IndexTable -> IndexTable -> Bool # (>=) :: IndexTable -> IndexTable -> Bool # max :: IndexTable -> IndexTable -> IndexTable # min :: IndexTable -> IndexTable -> IndexTable #

Show PayloadCont #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> PayloadCont -> ShowS # show :: PayloadCont -> String # showList :: [PayloadCont] -> ShowS #
Eq PayloadCont #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: PayloadCont -> PayloadCont -> Bool # (/=) :: PayloadCont -> PayloadCont -> Bool #

Functor ProfHeader #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> ProfHeader a -> ProfHeader b # (<$) :: a -> ProfHeader b -> ProfHeader a #
Foldable ProfHeader #
Instance details Defined in GHC.Debug.Types.Closures Methods fold :: Monoid m => ProfHeader m -> m # foldMap :: Monoid m => (a -> m) -> ProfHeader a -> m # foldMap' :: Monoid m => (a -> m) -> ProfHeader a -> m # foldr :: (a -> b -> b) -> b -> ProfHeader a -> b # foldr' :: (a -> b -> b) -> b -> ProfHeader a -> b # foldl :: (b -> a -> b) -> b -> ProfHeader a -> b # foldl' :: (b -> a -> b) -> b -> ProfHeader a -> b # foldr1 :: (a -> a -> a) -> ProfHeader a -> a # foldl1 :: (a -> a -> a) -> ProfHeader a -> a # toList :: ProfHeader a -> [a] # null :: ProfHeader a -> Bool # length :: ProfHeader a -> Int # elem :: Eq a => a -> ProfHeader a -> Bool # maximum :: Ord a => ProfHeader a -> a # minimum :: Ord a => ProfHeader a -> a # sum :: Num a => ProfHeader a -> a # product :: Num a => ProfHeader a -> a #
Traversable ProfHeader #
Instance details Defined in GHC.Debug.Types.Closures Methods traverse :: Applicative f => (a -> f b) -> ProfHeader a -> f (ProfHeader b) # sequenceA :: Applicative f => ProfHeader (f a) -> f (ProfHeader a) # mapM :: Monad m => (a -> m b) -> ProfHeader a -> m (ProfHeader b) # sequence :: Monad m => ProfHeader (m a) -> m (ProfHeader a) #
Show a => Show (ProfHeader a) #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> ProfHeader a -> ShowS # show :: ProfHeader a -> String # showList :: [ProfHeader a] -> ShowS #
Eq a => Eq (ProfHeader a) #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: ProfHeader a -> ProfHeader a -> Bool # (/=) :: ProfHeader a -> ProfHeader a -> Bool #
Ord a => Ord (ProfHeader a) #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: ProfHeader a -> ProfHeader a -> Ordering # (<) :: ProfHeader a -> ProfHeader a -> Bool # (<=) :: ProfHeader a -> ProfHeader a -> Bool # (>) :: ProfHeader a -> ProfHeader a -> Bool # (>=) :: ProfHeader a -> ProfHeader a -> Bool # max :: ProfHeader a -> ProfHeader a -> ProfHeader a # min :: ProfHeader a -> ProfHeader a -> ProfHeader a #

RetainerHeader
Fields trav :: !Bool retainerSet :: !RetainerSetPtr
LDVWord
Fields state :: !Bool creationTime :: !Word32 lastUseTime :: !Word32
EraWord Word64
OtherHeader Word64

Show ProfHeaderWord #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> ProfHeaderWord -> ShowS # show :: ProfHeaderWord -> String # showList :: [ProfHeaderWord] -> ShowS #
Eq ProfHeaderWord #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: ProfHeaderWord -> ProfHeaderWord -> Bool # (/=) :: ProfHeaderWord -> ProfHeaderWord -> Bool #
Ord ProfHeaderWord #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: ProfHeaderWord -> ProfHeaderWord -> Ordering # (<) :: ProfHeaderWord -> ProfHeaderWord -> Bool # (<=) :: ProfHeaderWord -> ProfHeaderWord -> Bool # (>) :: ProfHeaderWord -> ProfHeaderWord -> Bool # (>=) :: ProfHeaderWord -> ProfHeaderWord -> Bool # max :: ProfHeaderWord -> ProfHeaderWord -> ProfHeaderWord # min :: ProfHeaderWord -> ProfHeaderWord -> ProfHeaderWord #

Show StackCont #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> StackCont -> ShowS # show :: StackCont -> String # showList :: [StackCont] -> ShowS #
Eq StackCont #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: StackCont -> StackCont -> Bool # (/=) :: StackCont -> StackCont -> Bool #
Ord StackCont #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: StackCont -> StackCont -> Ordering # (<) :: StackCont -> StackCont -> Bool # (<=) :: StackCont -> StackCont -> Bool # (>) :: StackCont -> StackCont -> Bool # (>=) :: StackCont -> StackCont -> Bool # max :: StackCont -> StackCont -> StackCont # min :: StackCont -> StackCont -> StackCont #

StgInfoTable
Fields ptrs :: HalfWord nptrs :: HalfWord tipe :: ClosureType srtlen :: HalfWord

StgInfoTableWithPtr
Fields tableId :: InfoTablePtr decodedTable :: StgInfoTable

Show StgInfoTableWithPtr #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> StgInfoTableWithPtr -> ShowS # show :: StgInfoTableWithPtr -> String # showList :: [StgInfoTableWithPtr] -> ShowS #
Eq StgInfoTableWithPtr #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: StgInfoTableWithPtr -> StgInfoTableWithPtr -> Bool # (/=) :: StgInfoTableWithPtr -> StgInfoTableWithPtr -> Bool #
Ord StgInfoTableWithPtr #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: StgInfoTableWithPtr -> StgInfoTableWithPtr -> Ordering # (<) :: StgInfoTableWithPtr -> StgInfoTableWithPtr -> Bool # (<=) :: StgInfoTableWithPtr -> StgInfoTableWithPtr -> Bool # (>) :: StgInfoTableWithPtr -> StgInfoTableWithPtr -> Bool # (>=) :: StgInfoTableWithPtr -> StgInfoTableWithPtr -> Bool # max :: StgInfoTableWithPtr -> StgInfoTableWithPtr -> StgInfoTableWithPtr # min :: StgInfoTableWithPtr -> StgInfoTableWithPtr -> StgInfoTableWithPtr #

TRecEntry
Fields tvar :: !b expected_value :: !b new_value :: !b trec_num_updates :: Int

TsoLocked
TsoBlockx
TsoInterruptible
TsoStoppedOnBreakpoint
TsoMarked
TsoSqueezed
TsoAllocLimit
TsoFlagsUnknownValue Word32

ThreadRunGHC
ThreadInterpret
ThreadKilled
ThreadComplete
WhatNextUnknownValue Word16

NotBlocked
BlockedOnMVar
BlockedOnMVarRead
BlockedOnBlackHole
BlockedOnRead
BlockedOnWrite
BlockedOnDelay
BlockedOnSTM
BlockedOnDoProc
BlockedOnCCall
BlockedOnCCall_Interruptible
BlockedOnMsgThrowTo
ThreadMigrating
WhyBlockedUnknownValue Word32

SourceInformation
Fields infoName :: !String infoClosureType :: !ClosureType infoType :: !String infoLabel :: !String infoModule :: !String infoPosition :: !String

Show SourceInformation #
Instance details Defined in GHC.Debug.Types Methods showsPrec :: Int -> SourceInformation -> ShowS # show :: SourceInformation -> String # showList :: [SourceInformation] -> ShowS #
Eq SourceInformation #
Instance details Defined in GHC.Debug.Types Methods (==) :: SourceInformation -> SourceInformation -> Bool # (/=) :: SourceInformation -> SourceInformation -> Bool #
Ord SourceInformation #
Instance details Defined in GHC.Debug.Types Methods compare :: SourceInformation -> SourceInformation -> Ordering # (<) :: SourceInformation -> SourceInformation -> Bool # (<=) :: SourceInformation -> SourceInformation -> Bool # (>) :: SourceInformation -> SourceInformation -> Bool # (>=) :: SourceInformation -> SourceInformation -> Bool # max :: SourceInformation -> SourceInformation -> SourceInformation # min :: SourceInformation -> SourceInformation -> SourceInformation #

Binary RawBlock #
Instance details Defined in GHC.Debug.Types.Ptr Methods put :: RawBlock -> Put # get :: Get RawBlock # putList :: [RawBlock] -> Put #
Show RawBlock #
Instance details Defined in GHC.Debug.Types.Ptr Methods showsPrec :: Int -> RawBlock -> ShowS # show :: RawBlock -> String # showList :: [RawBlock] -> ShowS #