Safe Haskell	Safe-Inferred
Language	Haskell2010

GHC.Debug.Types.Closures

Contents

Closure Representation
Wrappers
Info Table Representation
Stack Frame Representation
PAP payload representation
Constructor Description Representation
SRT field representation
Traversing functions

Description

The Haskell representation of a heap closure, the DebugClosure type - is quite similar to the one found in the ghc-heap package but with some - more type parameters and other changes..

Synopsis

type Closure = DebugClosure CCSPtr SrtCont PayloadCont ConstrDescCont StackCont ClosurePtr
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
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 :: ![Word]
  }
- | 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 TRecEntry b = TRecEntry {
- tvar :: !b
- expected_value :: !b
- new_value :: !b
- trec_num_updates :: Int
}
type DebugClosureWithSize = DebugClosureWithExtra Size
data DebugClosureWithExtra x ccs srt pap string s b = DCS {
- extraDCS :: x
- unDCS :: DebugClosure ccs srt pap string s b
}
newtype Size = Size {
- getSize :: Int
}
newtype InclusiveSize = InclusiveSize {
- getInclusiveSize :: Int
}
newtype RetainerSize = RetainerSize {
- getRetainerSize :: Int
}
noSize :: DebugClosureWithSize ccs srt pap string s b -> DebugClosure ccs srt pap string s b
dcSize :: DebugClosureWithSize ccs srt pap string s b -> Size
allClosures :: DebugClosure ccs (GenSrtPayload c) (GenPapPayload c) a (GenStackFrames (GenSrtPayload c) c) c -> [c]
data StgInfoTable = StgInfoTable {
- ptrs :: HalfWord
- nptrs :: HalfWord
- tipe :: ClosureType
- srtlen :: HalfWord
}
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 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 TsoFlags
- = TsoLocked
- | TsoBlockx
- | TsoInterruptible
- | TsoStoppedOnBreakpoint
- | TsoMarked
- | TsoSqueezed
- | TsoAllocLimit
- | TsoFlagsUnknownValue Word32
data StgInfoTableWithPtr = StgInfoTableWithPtr {
- tableId :: InfoTablePtr
- decodedTable :: StgInfoTable
}
data DebugStackFrame srt b = DebugStackFrame {
- frame_info :: !StgInfoTableWithPtr
- frame_srt :: srt
- values :: [FieldValue b]
}
data FieldValue b
- = SPtr b
- | SNonPtr !Word64
newtype GenStackFrames srt b = GenStackFrames {
- getFrames :: [DebugStackFrame srt b]
}
type StackFrames = GenStackFrames SrtCont ClosurePtr
data StackCont = StackCont StackPtr RawStack
newtype GenPapPayload b = GenPapPayload {
- getValues :: [FieldValue b]
}
type PapPayload = GenPapPayload ClosurePtr
data PayloadCont = PayloadCont ClosurePtr [Word64]
data ConstrDesc = ConstrDesc {
- pkg :: !String
- modl :: !String
- name :: !String
}
type ConstrDescCont = InfoTablePtr
parseConstrDesc :: String -> ConstrDesc
newtype GenSrtPayload b = GenSrtPayload {
- getSrt :: Maybe b
}
type SrtPayload = GenSrtPayload ClosurePtr
type SrtCont = InfoTablePtr
data ProfHeader a = ProfHeader {
- ccs :: a
- hp :: ProfHeaderWord
}
data ProfHeaderWord
- = RetainerHeader {
  - trav :: !Bool
  - retainerSet :: !RetainerSetPtr
  }
- | LDVWord {
  - state :: !Bool
  - creationTime :: !Word32
  - lastUseTime :: !Word32
  }
- | EraWord Word64
- | OtherHeader Word64
type ProfHeaderWithPtr = ProfHeader CCSPtr
type CCSPayload = GenCCSPayload CCSPtr CCPtr
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
}
data CCPayload = CCPayload {
- ccID :: !Int64
- ccLabel :: String
- ccMod :: String
- ccLoc :: String
- ccMemAlloc :: Word64
- ccTimeTicks :: Word
- ccIsCaf :: Bool
- ccLink :: Maybe CCPtr
}
data IndexTable = IndexTable {
- itCostCentre :: CCPtr
- itCostCentreStack :: CCSPtr
- itNext :: Maybe IndexTablePtr
- itBackEdge :: Bool
}
class Hextraversable m 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)
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

Closure Representation

type Closure = DebugClosure CCSPtr SrtCont PayloadCont ConstrDescCont StackCont ClosurePtr Source #

type SizedClosure = DebugClosureWithSize CCSPtr SrtCont PayloadCont ConstrDescCont StackCont ClosurePtr Source #

type SizedClosureC = DebugClosureWithSize CCSPtr SrtCont PayloadCont ConstrDesc StackCont ClosurePtr Source #

type SizedClosureP = DebugClosureWithSize CCSPtr SrtPayload PapPayload ConstrDesc StackCont ClosurePtr Source #

data DebugClosure ccs srt pap string s b Source #

This is the representation of a Haskell value on the heap. It reflects https://gitlab.haskell.org/ghc/ghc/blob/master/includes/rts/storage/Closures.h

The data type is parametrized by 4 type parameters which correspond to different pointer types.

All Heap objects have the same basic layout. A header containing a pointer to the info table and a payload with various fields. The info field below always refers to the info table pointed to by the header. The remaining fields are the payload.

See https://gitlab.haskell.org/ghc/ghc/wikis/commentary/rts/storage/heap-objects for more information.

Constructors

ConstrClosure	A data constructor
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) ptrArgs :: ![b] Pointer arguments dataArgs :: ![Word] Non-pointer arguments constrDesc :: !string
FunClosure	A function
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) srt :: !srt ptrArgs :: ![b] Pointer arguments dataArgs :: ![Word] Non-pointer arguments
ThunkClosure	A thunk, an expression not obviously in head normal form
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) srt :: !srt ptrArgs :: ![b] Pointer arguments dataArgs :: ![Word] Non-pointer arguments
SelectorClosure	A thunk which performs a simple selection operation
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) selectee :: !b Pointer to the object being selected from
PAPClosure	An unsaturated function application
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) arity :: !HalfWord Arity of the partial application n_args :: !HalfWord Size of the payload in words fun :: !b Pointer to a `FunClosure` pap_payload :: !pap Sequence of already applied arguments
APClosure	A function application
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) arity :: !HalfWord Arity of the partial application n_args :: !HalfWord Size of the payload in words fun :: !b Pointer to a `FunClosure` ap_payload :: !pap Sequence of already applied arguments
APStackClosure	A suspended thunk evaluation
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) ap_st_size :: !Word fun :: !b Pointer to a `FunClosure` payload :: !s Stack right before suspension
IndClosure	A pointer to another closure, introduced when a thunk is updated to point at its value
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) indirectee :: !b Target closure
BCOClosure	A byte-code object (BCO) which can be interpreted by GHC's byte-code interpreter (e.g. as used by GHCi)
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) instrs :: !b A pointer to an ArrWords of instructions literals :: !b A pointer to an ArrWords of literals bcoptrs :: !b A pointer to an ArrWords of byte code objects arity :: !HalfWord Arity of the partial application size :: !HalfWord The size of this BCO in words bitmap :: ![Word] An StgLargeBitmap describing the pointerhood of its args/free vars
BlackholeClosure	A thunk under evaluation by another thread
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) indirectee :: !b Target closure
ArrWordsClosure	A `ByteArray#`
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) bytes :: !Word Size of array in bytes arrWords :: ![Word] Array payload
MutArrClosure	A `MutableByteArray#`
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) mccPtrs :: !Word Number of pointers mccSize :: !Word ?? Closures.h vs ClosureMacros.h mccPayload :: ![b] Array payload Card table ignored
SmallMutArrClosure	A `SmallMutableArray#` Since: 8.10.1
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) mccPtrs :: !Word Number of pointers mccPayload :: ![b] Array payload Card table ignored
MVarClosure	An `MVar#`, with a queue of thread state objects blocking on them
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) queueHead :: !b Pointer to head of queue queueTail :: !b Pointer to tail of queue value :: !b Pointer to closure
MutVarClosure	A `MutVar#`
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) var :: !b Pointer to contents
BlockingQueueClosure	An STM blocking queue.
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) link :: !b ?? Here so it looks like an IND blackHole :: !b The blackhole closure owner :: !b The owning thread state object queue :: !b ??
TSOClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) _link :: !b global_link :: !b tsoStack :: !b stackobj from StgTSO 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 size in words stack_dirty :: !Word8 non-zero => dirty stack_marking :: !Word8 frames :: s
WeakClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) cfinalizers :: !b key :: !b value :: !b Pointer to closure finalizer :: !b mlink :: !(Maybe b) next weak pointer for the capability, can be NULL.
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] Pointer arguments dataArgs :: ![Word] Non-pointer arguments
PrimClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) ptrArgs :: ![b] Pointer arguments dataArgs :: ![Word] Non-pointer arguments
OtherClosure	Another kind of closure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs) hvalues :: ![b] rawWords :: ![Word]
UnsupportedClosure
Fields info :: !StgInfoTableWithPtr profHeader :: Maybe (ProfHeader ccs)

Instances

Instances details

Hextraversable DebugClosure Source #
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) Source #
Foldable (DebugClosure ccs srt pap string s) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods fold :: Monoid m => DebugClosure ccs srt pap string s m -> m # foldMap :: Monoid m => (a -> m) -> DebugClosure ccs srt pap string s a -> m # foldMap' :: Monoid m => (a -> m) -> DebugClosure ccs srt pap string s a -> m # foldr :: (a -> b -> b) -> b -> DebugClosure ccs srt pap string s a -> b # foldr' :: (a -> b -> b) -> b -> DebugClosure ccs srt pap string s a -> b # foldl :: (b -> a -> b) -> b -> DebugClosure ccs srt pap string s a -> b # foldl' :: (b -> a -> b) -> b -> DebugClosure ccs srt pap string s a -> b # foldr1 :: (a -> a -> a) -> DebugClosure ccs srt pap string s a -> a # foldl1 :: (a -> a -> a) -> DebugClosure ccs srt pap string s a -> a # toList :: DebugClosure ccs srt pap string s a -> [a] # null :: DebugClosure ccs srt pap string s a -> Bool # length :: DebugClosure ccs srt pap string s a -> Int # elem :: Eq a => a -> DebugClosure ccs srt pap string s a -> Bool # maximum :: Ord a => DebugClosure ccs srt pap string s a -> a # minimum :: Ord a => DebugClosure ccs srt pap string s a -> a # sum :: Num a => DebugClosure ccs srt pap string s a -> a # product :: Num a => DebugClosure ccs srt pap string s a -> a #
Traversable (DebugClosure ccs srt pap string s) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods traverse :: Applicative f => (a -> f b) -> DebugClosure ccs srt pap string s a -> f (DebugClosure ccs srt pap string s b) # sequenceA :: Applicative f => DebugClosure ccs srt pap string s (f a) -> f (DebugClosure ccs srt pap string s a) # mapM :: Monad m => (a -> m b) -> DebugClosure ccs srt pap string s a -> m (DebugClosure ccs srt pap string s b) # sequence :: Monad m => DebugClosure ccs srt pap string s (m a) -> m (DebugClosure ccs srt pap string s a) #
Functor (DebugClosure ccs srt pap string s) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> DebugClosure ccs srt pap string s a -> DebugClosure ccs srt pap string s b # (<$) :: a -> DebugClosure ccs srt pap string s b -> DebugClosure ccs srt pap string s a #
Generic (DebugClosure ccs srt pap string s b) Source #
Instance details Defined in GHC.Debug.Types.Closures Associated Types type Rep (DebugClosure ccs srt pap string s b) :: Type -> Type # Methods from :: DebugClosure ccs srt pap string s b -> Rep (DebugClosure ccs srt pap string s b) x # to :: Rep (DebugClosure ccs srt pap string s b) x -> DebugClosure ccs srt pap string s b #
(Show ccs, Show string, Show srt, Show pap, Show s, Show b) => Show (DebugClosure ccs srt pap string s b) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> DebugClosure ccs srt pap string s b -> ShowS # show :: DebugClosure ccs srt pap string s b -> String # showList :: [DebugClosure ccs srt pap string s b] -> ShowS #
(Eq ccs, Eq string, Eq srt, Eq pap, Eq s, Eq b) => Eq (DebugClosure ccs srt pap string s b) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: DebugClosure ccs srt pap string s b -> DebugClosure ccs srt pap string s b -> Bool # (/=) :: DebugClosure ccs srt pap string s b -> DebugClosure ccs srt pap string s b -> Bool #
(Ord ccs, Ord string, Ord srt, Ord pap, Ord s, Ord b) => Ord (DebugClosure ccs srt pap string s b) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: DebugClosure ccs srt pap string s b -> DebugClosure ccs srt pap string s b -> Ordering # (<) :: DebugClosure ccs srt pap string s b -> DebugClosure ccs srt pap string s b -> Bool # (<=) :: DebugClosure ccs srt pap string s b -> DebugClosure ccs srt pap string s b -> Bool # (>) :: DebugClosure ccs srt pap string s b -> DebugClosure ccs srt pap string s b -> Bool # (>=) :: DebugClosure ccs srt pap string s b -> DebugClosure ccs srt pap string s b -> Bool # max :: DebugClosure ccs srt pap string s b -> DebugClosure ccs srt pap string s b -> DebugClosure ccs srt pap string s b # min :: DebugClosure ccs srt pap string s b -> DebugClosure ccs srt pap string s b -> DebugClosure ccs srt pap string s b #
type Rep (DebugClosure ccs srt pap string s b) Source #
Instance details Defined in GHC.Debug.Types.Closures type Rep (DebugClosure ccs srt pap string s b)

data TRecEntry b Source #

Constructors

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

Instances

Instances details

Foldable TRecEntry Source #
Instance details Defined in GHC.Debug.Types.Closures Methods fold :: Monoid m => TRecEntry m -> m # foldMap :: Monoid m => (a -> m) -> TRecEntry a -> m # foldMap' :: Monoid m => (a -> m) -> TRecEntry a -> m # foldr :: (a -> b -> b) -> b -> TRecEntry a -> b # foldr' :: (a -> b -> b) -> b -> TRecEntry a -> b # foldl :: (b -> a -> b) -> b -> TRecEntry a -> b # foldl' :: (b -> a -> b) -> b -> TRecEntry a -> b # foldr1 :: (a -> a -> a) -> TRecEntry a -> a # foldl1 :: (a -> a -> a) -> TRecEntry a -> a # toList :: TRecEntry a -> [a] # null :: TRecEntry a -> Bool # length :: TRecEntry a -> Int # elem :: Eq a => a -> TRecEntry a -> Bool # maximum :: Ord a => TRecEntry a -> a # minimum :: Ord a => TRecEntry a -> a # sum :: Num a => TRecEntry a -> a # product :: Num a => TRecEntry a -> a #
Traversable TRecEntry Source #
Instance details Defined in GHC.Debug.Types.Closures Methods traverse :: Applicative f => (a -> f b) -> TRecEntry a -> f (TRecEntry b) # sequenceA :: Applicative f => TRecEntry (f a) -> f (TRecEntry a) # mapM :: Monad m => (a -> m b) -> TRecEntry a -> m (TRecEntry b) # sequence :: Monad m => TRecEntry (m a) -> m (TRecEntry a) #
Functor TRecEntry Source #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> TRecEntry a -> TRecEntry b # (<$) :: a -> TRecEntry b -> TRecEntry a #
Generic (TRecEntry b) Source #
Instance details Defined in GHC.Debug.Types.Closures Associated Types type Rep (TRecEntry b) :: Type -> Type # Methods from :: TRecEntry b -> Rep (TRecEntry b) x # to :: Rep (TRecEntry b) x -> TRecEntry b #
Show b => Show (TRecEntry b) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> TRecEntry b -> ShowS # show :: TRecEntry b -> String # showList :: [TRecEntry b] -> ShowS #
Eq b => Eq (TRecEntry b) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: TRecEntry b -> TRecEntry b -> Bool # (/=) :: TRecEntry b -> TRecEntry b -> Bool #
Ord b => Ord (TRecEntry b) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: TRecEntry b -> TRecEntry b -> Ordering # (<) :: TRecEntry b -> TRecEntry b -> Bool # (<=) :: TRecEntry b -> TRecEntry b -> Bool # (>) :: TRecEntry b -> TRecEntry b -> Bool # (>=) :: TRecEntry b -> TRecEntry b -> Bool # max :: TRecEntry b -> TRecEntry b -> TRecEntry b # min :: TRecEntry b -> TRecEntry b -> TRecEntry b #
type Rep (TRecEntry b) Source #
Instance details Defined in GHC.Debug.Types.Closures type Rep (TRecEntry b) = D1 ('MetaData "TRecEntry" "GHC.Debug.Types.Closures" "ghc-debug-common-0.6.0.0-inplace" 'False) (C1 ('MetaCons "TRecEntry" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tvar") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "expected_value") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)) :: (S1 ('MetaSel ('Just "new_value") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :*: S1 ('MetaSel ('Just "trec_num_updates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))

Wrappers

type DebugClosureWithSize = DebugClosureWithExtra Size Source #

data DebugClosureWithExtra x ccs srt pap string s b Source #

Constructors

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

Instances

Instances details

Hextraversable (DebugClosureWithExtra x) Source #
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) Source #
(Show x, Show ccs, Show string, Show srt, Show pap, Show s, Show b) => Show (DebugClosureWithExtra x ccs srt pap string s b) Source #
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) Source #
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) Source #
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 #

newtype Size Source #

Exclusive size

Constructors

Size
Fields getSize :: Int

Instances

Instances details

Monoid Size Source #
Instance details Defined in GHC.Debug.Types.Closures Methods mempty :: Size # mappend :: Size -> Size -> Size # mconcat :: [Size] -> Size #
Semigroup Size Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (<>) :: Size -> Size -> Size # sconcat :: NonEmpty Size -> Size # stimes :: Integral b => b -> Size -> Size #
Generic Size Source #
Instance details Defined in GHC.Debug.Types.Closures Associated Types type Rep Size :: Type -> Type # Methods from :: Size -> Rep Size x # to :: Rep Size x -> Size #
Num Size Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (+) :: Size -> Size -> Size # (-) :: Size -> Size -> Size # (*) :: Size -> Size -> Size # negate :: Size -> Size # abs :: Size -> Size # signum :: Size -> Size # fromInteger :: Integer -> Size #
Read Size Source #
Instance details Defined in GHC.Debug.Types.Closures Methods readsPrec :: Int -> ReadS Size # readList :: ReadS [Size] # readPrec :: ReadPrec Size # readListPrec :: ReadPrec [Size] #
Show Size Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> Size -> ShowS # show :: Size -> String # showList :: [Size] -> ShowS #
Eq Size Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: Size -> Size -> Bool # (/=) :: Size -> Size -> Bool #
Ord Size Source #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: Size -> Size -> Ordering # (<) :: Size -> Size -> Bool # (<=) :: Size -> Size -> Bool # (>) :: Size -> Size -> Bool # (>=) :: Size -> Size -> Bool # max :: Size -> Size -> Size # min :: Size -> Size -> Size #
type Rep Size Source #
Instance details Defined in GHC.Debug.Types.Closures type Rep Size = D1 ('MetaData "Size" "GHC.Debug.Types.Closures" "ghc-debug-common-0.6.0.0-inplace" 'True) (C1 ('MetaCons "Size" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype InclusiveSize Source #

Constructors

InclusiveSize
Fields getInclusiveSize :: Int

Instances

Instances details

Monoid InclusiveSize Source #
Instance details Defined in GHC.Debug.Types.Closures Methods mempty :: InclusiveSize # mappend :: InclusiveSize -> InclusiveSize -> InclusiveSize # mconcat :: [InclusiveSize] -> InclusiveSize #
Semigroup InclusiveSize Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (<>) :: InclusiveSize -> InclusiveSize -> InclusiveSize # sconcat :: NonEmpty InclusiveSize -> InclusiveSize # stimes :: Integral b => b -> InclusiveSize -> InclusiveSize #
Generic InclusiveSize Source #
Instance details Defined in GHC.Debug.Types.Closures Associated Types type Rep InclusiveSize :: Type -> Type # Methods from :: InclusiveSize -> Rep InclusiveSize x # to :: Rep InclusiveSize x -> InclusiveSize #
Show InclusiveSize Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> InclusiveSize -> ShowS # show :: InclusiveSize -> String # showList :: [InclusiveSize] -> ShowS #
type Rep InclusiveSize Source #
Instance details Defined in GHC.Debug.Types.Closures type Rep InclusiveSize = D1 ('MetaData "InclusiveSize" "GHC.Debug.Types.Closures" "ghc-debug-common-0.6.0.0-inplace" 'True) (C1 ('MetaCons "InclusiveSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "getInclusiveSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype RetainerSize Source #

Constructors

RetainerSize
Fields getRetainerSize :: Int

Instances

Instances details

Monoid RetainerSize Source #
Instance details Defined in GHC.Debug.Types.Closures Methods mempty :: RetainerSize # mappend :: RetainerSize -> RetainerSize -> RetainerSize # mconcat :: [RetainerSize] -> RetainerSize #
Semigroup RetainerSize Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (<>) :: RetainerSize -> RetainerSize -> RetainerSize # sconcat :: NonEmpty RetainerSize -> RetainerSize # stimes :: Integral b => b -> RetainerSize -> RetainerSize #
Generic RetainerSize Source #
Instance details Defined in GHC.Debug.Types.Closures Associated Types type Rep RetainerSize :: Type -> Type # Methods from :: RetainerSize -> Rep RetainerSize x # to :: Rep RetainerSize x -> RetainerSize #
Show RetainerSize Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> RetainerSize -> ShowS # show :: RetainerSize -> String # showList :: [RetainerSize] -> ShowS #
Eq RetainerSize Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: RetainerSize -> RetainerSize -> Bool # (/=) :: RetainerSize -> RetainerSize -> Bool #
Ord RetainerSize Source #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: RetainerSize -> RetainerSize -> Ordering # (<) :: RetainerSize -> RetainerSize -> Bool # (<=) :: RetainerSize -> RetainerSize -> Bool # (>) :: RetainerSize -> RetainerSize -> Bool # (>=) :: RetainerSize -> RetainerSize -> Bool # max :: RetainerSize -> RetainerSize -> RetainerSize # min :: RetainerSize -> RetainerSize -> RetainerSize #
type Rep RetainerSize Source #
Instance details Defined in GHC.Debug.Types.Closures type Rep RetainerSize = D1 ('MetaData "RetainerSize" "GHC.Debug.Types.Closures" "ghc-debug-common-0.6.0.0-inplace" 'True) (C1 ('MetaCons "RetainerSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRetainerSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

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

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

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

Info Table Representation

data StgInfoTable Source #

Constructors

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

Instances

Instances details

Generic StgInfoTable Source #
Instance details Defined in GHC.Debug.Types.Closures Associated Types type Rep StgInfoTable :: Type -> Type # Methods from :: StgInfoTable -> Rep StgInfoTable x # to :: Rep StgInfoTable x -> StgInfoTable #
Show StgInfoTable Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> StgInfoTable -> ShowS # show :: StgInfoTable -> String # showList :: [StgInfoTable] -> ShowS #
Eq StgInfoTable Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: StgInfoTable -> StgInfoTable -> Bool # (/=) :: StgInfoTable -> StgInfoTable -> Bool #
type Rep StgInfoTable Source #
Instance details Defined in GHC.Debug.Types.Closures type Rep StgInfoTable

data ClosureType Source #

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 Source #
Instance details Defined in GHC.Debug.Types.Closures Methods succ :: ClosureType -> ClosureType # pred :: ClosureType -> ClosureType # toEnum :: Int -> ClosureType # fromEnum :: ClosureType -> Int # enumFrom :: ClosureType -> [ClosureType] # enumFromThen :: ClosureType -> ClosureType -> [ClosureType] # enumFromTo :: ClosureType -> ClosureType -> [ClosureType] # enumFromThenTo :: ClosureType -> ClosureType -> ClosureType -> [ClosureType] #
Generic ClosureType Source #
Instance details Defined in GHC.Debug.Types.Closures Associated Types type Rep ClosureType :: Type -> Type # Methods from :: ClosureType -> Rep ClosureType x # to :: Rep ClosureType x -> ClosureType #
Read ClosureType Source #
Instance details Defined in GHC.Debug.Types.Closures Methods readsPrec :: Int -> ReadS ClosureType # readList :: ReadS [ClosureType] # readPrec :: ReadPrec ClosureType # readListPrec :: ReadPrec [ClosureType] #
Show ClosureType Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> ClosureType -> ShowS # show :: ClosureType -> String # showList :: [ClosureType] -> ShowS #
Eq ClosureType Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: ClosureType -> ClosureType -> Bool # (/=) :: ClosureType -> ClosureType -> Bool #
Ord ClosureType Source #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: ClosureType -> ClosureType -> Ordering # (<) :: ClosureType -> ClosureType -> Bool # (<=) :: ClosureType -> ClosureType -> Bool # (>) :: ClosureType -> ClosureType -> Bool # (>=) :: ClosureType -> ClosureType -> Bool # max :: ClosureType -> ClosureType -> ClosureType # min :: ClosureType -> ClosureType -> ClosureType #
type Rep ClosureType Source #
Instance details Defined in GHC.Debug.Types.Closures type Rep ClosureType = D1 ('MetaData "ClosureType" "GHC.Debug.Types.Closures" "ghc-debug-common-0.6.0.0-inplace" 'False) ((((((C1 ('MetaCons "INVALID_OBJECT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CONSTR" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CONSTR_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CONSTR_0_1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CONSTR_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CONSTR_1_1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CONSTR_0_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CONSTR_NOCAF" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "FUN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FUN_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FUN_0_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FUN_2_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "FUN_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FUN_0_2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FUN_STATIC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "THUNK" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "THUNK_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "THUNK_0_1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "THUNK_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "THUNK_1_1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "THUNK_0_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "THUNK_STATIC" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "THUNK_SELECTOR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BCO" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "AP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PAP" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AP_STACK" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IND" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "IND_STATIC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RET_BCO" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RET_SMALL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RET_BIG" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RET_FUN" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "UPDATE_FRAME" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CATCH_FRAME" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UNDERFLOW_FRAME" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "STOP_FRAME" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "BLOCKING_QUEUE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BLACKHOLE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MVAR_CLEAN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MVAR_DIRTY" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "TVAR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ARR_WORDS" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MUT_ARR_PTRS_CLEAN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MUT_ARR_PTRS_DIRTY" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MUT_ARR_PTRS_FROZEN_DIRTY" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MUT_ARR_PTRS_FROZEN_CLEAN" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MUT_VAR_CLEAN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MUT_VAR_DIRTY" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "WEAK" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PRIM" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MUT_PRIM" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TSO" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "STACK" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TREC_CHUNK" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ATOMICALLY_FRAME" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CATCH_RETRY_FRAME" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "CATCH_STM_FRAME" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WHITEHOLE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SMALL_MUT_ARR_PTRS_CLEAN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SMALL_MUT_ARR_PTRS_DIRTY" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "SMALL_MUT_ARR_PTRS_FROZEN_DIRTY" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SMALL_MUT_ARR_PTRS_FROZEN_CLEAN" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "COMPACT_NFDATA" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CONTINUATION" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "N_CLOSURE_TYPES" 'PrefixI 'False) (U1 :: Type -> Type))))))))

data WhatNext Source #

Constructors

ThreadRunGHC
ThreadInterpret
ThreadKilled
ThreadComplete
WhatNextUnknownValue Word16	Please report this as a bug

Instances

Instances details

Generic WhatNext Source #
Instance details Defined in GHC.Debug.Types.Closures Associated Types type Rep WhatNext :: Type -> Type # Methods from :: WhatNext -> Rep WhatNext x # to :: Rep WhatNext x -> WhatNext #
Show WhatNext Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> WhatNext -> ShowS # show :: WhatNext -> String # showList :: [WhatNext] -> ShowS #
Eq WhatNext Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: WhatNext -> WhatNext -> Bool # (/=) :: WhatNext -> WhatNext -> Bool #
Ord WhatNext Source #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: WhatNext -> WhatNext -> Ordering # (<) :: WhatNext -> WhatNext -> Bool # (<=) :: WhatNext -> WhatNext -> Bool # (>) :: WhatNext -> WhatNext -> Bool # (>=) :: WhatNext -> WhatNext -> Bool # max :: WhatNext -> WhatNext -> WhatNext # min :: WhatNext -> WhatNext -> WhatNext #
type Rep WhatNext Source #
Instance details Defined in GHC.Debug.Types.Closures type Rep WhatNext = D1 ('MetaData "WhatNext" "GHC.Debug.Types.Closures" "ghc-debug-common-0.6.0.0-inplace" 'False) ((C1 ('MetaCons "ThreadRunGHC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ThreadInterpret" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ThreadKilled" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ThreadComplete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WhatNextUnknownValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))))

data WhyBlocked Source #

Constructors

NotBlocked
BlockedOnMVar
BlockedOnMVarRead
BlockedOnBlackHole
BlockedOnRead
BlockedOnWrite
BlockedOnDelay
BlockedOnSTM
BlockedOnDoProc
BlockedOnCCall
BlockedOnCCall_Interruptible
BlockedOnMsgThrowTo
ThreadMigrating
WhyBlockedUnknownValue Word32	Please report this as a bug

Instances

Instances details

Generic WhyBlocked Source #
Instance details Defined in GHC.Debug.Types.Closures Associated Types type Rep WhyBlocked :: Type -> Type # Methods from :: WhyBlocked -> Rep WhyBlocked x # to :: Rep WhyBlocked x -> WhyBlocked #
Show WhyBlocked Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> WhyBlocked -> ShowS # show :: WhyBlocked -> String # showList :: [WhyBlocked] -> ShowS #
Eq WhyBlocked Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: WhyBlocked -> WhyBlocked -> Bool # (/=) :: WhyBlocked -> WhyBlocked -> Bool #
Ord WhyBlocked Source #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: WhyBlocked -> WhyBlocked -> Ordering # (<) :: WhyBlocked -> WhyBlocked -> Bool # (<=) :: WhyBlocked -> WhyBlocked -> Bool # (>) :: WhyBlocked -> WhyBlocked -> Bool # (>=) :: WhyBlocked -> WhyBlocked -> Bool # max :: WhyBlocked -> WhyBlocked -> WhyBlocked # min :: WhyBlocked -> WhyBlocked -> WhyBlocked #
type Rep WhyBlocked Source #
Instance details Defined in GHC.Debug.Types.Closures type Rep WhyBlocked = D1 ('MetaData "WhyBlocked" "GHC.Debug.Types.Closures" "ghc-debug-common-0.6.0.0-inplace" 'False) (((C1 ('MetaCons "NotBlocked" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BlockedOnMVar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BlockedOnMVarRead" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "BlockedOnBlackHole" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BlockedOnRead" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BlockedOnWrite" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BlockedOnDelay" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "BlockedOnSTM" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BlockedOnDoProc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BlockedOnCCall" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "BlockedOnCCall_Interruptible" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BlockedOnMsgThrowTo" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ThreadMigrating" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WhyBlockedUnknownValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32))))))

data TsoFlags Source #

Constructors

TsoLocked
TsoBlockx
TsoInterruptible
TsoStoppedOnBreakpoint
TsoMarked
TsoSqueezed
TsoAllocLimit
TsoFlagsUnknownValue Word32	Please report this as a bug

Instances

Instances details

Generic TsoFlags Source #
Instance details Defined in GHC.Debug.Types.Closures Associated Types type Rep TsoFlags :: Type -> Type # Methods from :: TsoFlags -> Rep TsoFlags x # to :: Rep TsoFlags x -> TsoFlags #
Show TsoFlags Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> TsoFlags -> ShowS # show :: TsoFlags -> String # showList :: [TsoFlags] -> ShowS #
Eq TsoFlags Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: TsoFlags -> TsoFlags -> Bool # (/=) :: TsoFlags -> TsoFlags -> Bool #
Ord TsoFlags Source #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: TsoFlags -> TsoFlags -> Ordering # (<) :: TsoFlags -> TsoFlags -> Bool # (<=) :: TsoFlags -> TsoFlags -> Bool # (>) :: TsoFlags -> TsoFlags -> Bool # (>=) :: TsoFlags -> TsoFlags -> Bool # max :: TsoFlags -> TsoFlags -> TsoFlags # min :: TsoFlags -> TsoFlags -> TsoFlags #
type Rep TsoFlags Source #
Instance details Defined in GHC.Debug.Types.Closures type Rep TsoFlags = D1 ('MetaData "TsoFlags" "GHC.Debug.Types.Closures" "ghc-debug-common-0.6.0.0-inplace" 'False) (((C1 ('MetaCons "TsoLocked" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TsoBlockx" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TsoInterruptible" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TsoStoppedOnBreakpoint" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "TsoMarked" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TsoSqueezed" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TsoAllocLimit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TsoFlagsUnknownValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))))

data StgInfoTableWithPtr Source #

Constructors

StgInfoTableWithPtr
Fields tableId :: InfoTablePtr decodedTable :: StgInfoTable

Instances

Instances details

Show StgInfoTableWithPtr Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> StgInfoTableWithPtr -> ShowS # show :: StgInfoTableWithPtr -> String # showList :: [StgInfoTableWithPtr] -> ShowS #
Eq StgInfoTableWithPtr Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: StgInfoTableWithPtr -> StgInfoTableWithPtr -> Bool # (/=) :: StgInfoTableWithPtr -> StgInfoTableWithPtr -> Bool #
Ord StgInfoTableWithPtr Source #
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 #

Stack Frame Representation

data DebugStackFrame srt b Source #

Constructors

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

Instances

Instances details

Bifoldable DebugStackFrame Source #
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 Source #
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 Source #
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) #
Foldable (DebugStackFrame srt) Source #
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) Source #
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) #
Functor (DebugStackFrame srt) Source #
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 #
(Show srt, Show b) => Show (DebugStackFrame srt b) Source #
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) Source #
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) Source #
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 #

data FieldValue b Source #

Constructors

SPtr b
SNonPtr !Word64

Instances

Instances details

Foldable FieldValue Source #
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 Source #
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) #
Functor FieldValue Source #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> FieldValue a -> FieldValue b # (<$) :: a -> FieldValue b -> FieldValue a #
Show b => Show (FieldValue b) Source #
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) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: FieldValue b -> FieldValue b -> Bool # (/=) :: FieldValue b -> FieldValue b -> Bool #
Ord b => Ord (FieldValue b) Source #
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 #

newtype GenStackFrames srt b Source #

Constructors

GenStackFrames
Fields getFrames :: [DebugStackFrame srt b]

Instances

Instances details

Bifoldable GenStackFrames Source #
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 Source #
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 Source #
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) #
Foldable (GenStackFrames srt) Source #
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) Source #
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) #
Functor (GenStackFrames srt) Source #
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 #
(Show srt, Show b) => Show (GenStackFrames srt b) Source #
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) Source #
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) Source #
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 #

type StackFrames = GenStackFrames SrtCont ClosurePtr Source #

data StackCont Source #

Information needed to decode a set of stack frames

Constructors

StackCont StackPtr RawStack

Instances

Instances details

Show StackCont Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> StackCont -> ShowS # show :: StackCont -> String # showList :: [StackCont] -> ShowS #
Eq StackCont Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: StackCont -> StackCont -> Bool # (/=) :: StackCont -> StackCont -> Bool #
Ord StackCont Source #
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 #

PAP payload representation

newtype GenPapPayload b Source #

Constructors

GenPapPayload
Fields getValues :: [FieldValue b]

Instances

Instances details

Foldable GenPapPayload Source #
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 Source #
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) #
Functor GenPapPayload Source #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> GenPapPayload a -> GenPapPayload b # (<$) :: a -> GenPapPayload b -> GenPapPayload a #
Show b => Show (GenPapPayload b) Source #
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) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: GenPapPayload b -> GenPapPayload b -> Bool # (/=) :: GenPapPayload b -> GenPapPayload b -> Bool #
Ord b => Ord (GenPapPayload b) Source #
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 #

type PapPayload = GenPapPayload ClosurePtr Source #

data PayloadCont Source #

Information needed to decode a PAP payload

Constructors

PayloadCont ClosurePtr [Word64]

Instances

Instances details

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

Constructor Description Representation

data ConstrDesc Source #

Constructors

ConstrDesc
Fields pkg :: !String Package name modl :: !String Module name name :: !String Constructor name

Instances

Instances details

Show ConstrDesc Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> ConstrDesc -> ShowS # show :: ConstrDesc -> String # showList :: [ConstrDesc] -> ShowS #
Eq ConstrDesc Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: ConstrDesc -> ConstrDesc -> Bool # (/=) :: ConstrDesc -> ConstrDesc -> Bool #
Ord ConstrDesc Source #
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 #

type ConstrDescCont = InfoTablePtr Source #

Information needed to decode a ConstrDesc

parseConstrDesc :: String -> ConstrDesc Source #

SRT field representation

newtype GenSrtPayload b Source #

Constructors

GenSrtPayload
Fields getSrt :: Maybe b

Instances

Instances details

Foldable GenSrtPayload Source #
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 Source #
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) #
Functor GenSrtPayload Source #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> GenSrtPayload a -> GenSrtPayload b # (<$) :: a -> GenSrtPayload b -> GenSrtPayload a #
Show b => Show (GenSrtPayload b) Source #
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) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: GenSrtPayload b -> GenSrtPayload b -> Bool # (/=) :: GenSrtPayload b -> GenSrtPayload b -> Bool #
Ord b => Ord (GenSrtPayload b) Source #
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 #

type SrtPayload = GenSrtPayload ClosurePtr Source #

type SrtCont = InfoTablePtr Source #

data ProfHeader a Source #

Constructors

ProfHeader
Fields ccs :: a hp :: ProfHeaderWord

Instances

Instances details

Foldable ProfHeader Source #
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 Source #
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) #
Functor ProfHeader Source #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> ProfHeader a -> ProfHeader b # (<$) :: a -> ProfHeader b -> ProfHeader a #
Show a => Show (ProfHeader a) Source #
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) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: ProfHeader a -> ProfHeader a -> Bool # (/=) :: ProfHeader a -> ProfHeader a -> Bool #
Ord a => Ord (ProfHeader a) Source #
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 #

data ProfHeaderWord Source #

Constructors

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

Instances

Instances details

Show ProfHeaderWord Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> ProfHeaderWord -> ShowS # show :: ProfHeaderWord -> String # showList :: [ProfHeaderWord] -> ShowS #
Eq ProfHeaderWord Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: ProfHeaderWord -> ProfHeaderWord -> Bool # (/=) :: ProfHeaderWord -> ProfHeaderWord -> Bool #
Ord ProfHeaderWord Source #
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 #

type ProfHeaderWithPtr = ProfHeader CCSPtr Source #

type CCSPayload = GenCCSPayload CCSPtr CCPtr Source #

data GenCCSPayload ccsPtr ccPtr Source #

Constructors

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

Instances

Instances details

Bifoldable GenCCSPayload Source #
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 Source #
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 Source #
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) Source #
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) Source #
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) Source #
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) Source #
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 #

data CCPayload Source #

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 Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> CCPayload -> ShowS # show :: CCPayload -> String # showList :: [CCPayload] -> ShowS #
Eq CCPayload Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: CCPayload -> CCPayload -> Bool # (/=) :: CCPayload -> CCPayload -> Bool #
Ord CCPayload Source #
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 #

data IndexTable Source #

Constructors

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

Instances

Instances details

Show IndexTable Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> IndexTable -> ShowS # show :: IndexTable -> String # showList :: [IndexTable] -> ShowS #
Eq IndexTable Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: IndexTable -> IndexTable -> Bool # (/=) :: IndexTable -> IndexTable -> Bool #
Ord IndexTable Source #
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 #

Traversing functions

class Hextraversable m where Source #

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) Source #

Instances

Instances details

Hextraversable DebugClosure Source #
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) Source #
Hextraversable (DebugClosureWithExtra x) Source #
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) Source #

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 Source #