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
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 PayloadCont ConstrDescCont StackCont ClosurePtr
type SizedClosure = DebugClosureWithSize PayloadCont ConstrDescCont StackCont ClosurePtr
type SizedClosureC = DebugClosureWithSize PayloadCont ConstrDesc StackCont ClosurePtr
data DebugClosure pap string s b
- = ConstrClosure {
  - info :: !StgInfoTableWithPtr
  - ptrArgs :: ![b]
  - dataArgs :: ![Word]
  - constrDesc :: !string
  }
- | FunClosure {
  - info :: !StgInfoTableWithPtr
  - ptrArgs :: ![b]
  - dataArgs :: ![Word]
  }
- | ThunkClosure {
  - info :: !StgInfoTableWithPtr
  - ptrArgs :: ![b]
  - dataArgs :: ![Word]
  }
- | SelectorClosure {
  - info :: !StgInfoTableWithPtr
  - selectee :: !b
  }
- | PAPClosure {
  - info :: !StgInfoTableWithPtr
  - arity :: !HalfWord
  - n_args :: !HalfWord
  - fun :: !b
  - pap_payload :: !pap
  }
- | APClosure {
  - info :: !StgInfoTableWithPtr
  - arity :: !HalfWord
  - n_args :: !HalfWord
  - fun :: !b
  - ap_payload :: !pap
  }
- | APStackClosure {
  - info :: !StgInfoTableWithPtr
  - ap_st_size :: !Word
  - fun :: !b
  - payload :: !s
  }
- | IndClosure {
  - info :: !StgInfoTableWithPtr
  - indirectee :: !b
  }
- | BCOClosure {
  - info :: !StgInfoTableWithPtr
  - instrs :: !b
  - literals :: !b
  - bcoptrs :: !b
  - arity :: !HalfWord
  - size :: !HalfWord
  - bitmap :: ![Word]
  }
- | BlackholeClosure {
  - info :: !StgInfoTableWithPtr
  - indirectee :: !b
  }
- | ArrWordsClosure {
  - info :: !StgInfoTableWithPtr
  - bytes :: !Word
  - arrWords :: ![Word]
  }
- | MutArrClosure {
  - info :: !StgInfoTableWithPtr
  - mccPtrs :: !Word
  - mccSize :: !Word
  - mccPayload :: ![b]
  }
- | SmallMutArrClosure {
  - info :: !StgInfoTableWithPtr
  - mccPtrs :: !Word
  - mccPayload :: ![b]
  }
- | MVarClosure {
  - info :: !StgInfoTableWithPtr
  - queueHead :: !b
  - queueTail :: !b
  - value :: !b
  }
- | MutVarClosure {
  - info :: !StgInfoTableWithPtr
  - var :: !b
  }
- | BlockingQueueClosure {
  - info :: !StgInfoTableWithPtr
  - link :: !b
  - blackHole :: !b
  - owner :: !b
  - queue :: !b
  }
- | TSOClosure {
  - info :: !StgInfoTableWithPtr
  - _link :: !b
  - global_link :: !b
  - tsoStack :: !b
  - trec :: !b
  - blocked_exceptions :: !b
  - bq :: !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
  - stack_size :: !Word32
  - stack_dirty :: !Word8
  - stack_marking :: !Word8
  - frames :: s
  }
- | WeakClosure {
  - info :: !StgInfoTableWithPtr
  - cfinalizers :: !b
  - key :: !b
  - value :: !b
  - finalizer :: !b
  - mlink :: !(Maybe b)
  }
- | TVarClosure {
  - info :: !StgInfoTableWithPtr
  - current_value :: !b
  - tvar_watch_queue :: !b
  - num_updates :: !Int
  }
- | TRecChunkClosure {
  - info :: !StgInfoTableWithPtr
  - prev_chunk :: !b
  - next_idx :: !Word
  - entries :: ![TRecEntry b]
  }
- | MutPrimClosure {
  - info :: !StgInfoTableWithPtr
  - ptrArgs :: ![b]
  - dataArgs :: ![Word]
  }
- | OtherClosure {
  - info :: !StgInfoTableWithPtr
  - hvalues :: ![b]
  - rawWords :: ![Word]
  }
- | UnsupportedClosure {
  - info :: !StgInfoTableWithPtr
  }
data TRecEntry b = TRecEntry {
- tvar :: !b
- expected_value :: !b
- new_value :: !b
- trec_num_updates :: Int
}
type DebugClosureWithSize = DebugClosureWithExtra Size
data DebugClosureWithExtra x pap string s b = DCS {
- extraDCS :: x
- unDCS :: DebugClosure pap string s b
}
newtype Size = Size {
- getSize :: Int
}
newtype InclusiveSize = InclusiveSize {
- getInclusiveSize :: Int
}
newtype RetainerSize = RetainerSize {
- getRetainerSize :: Int
}
noSize :: DebugClosureWithSize pap string s b -> DebugClosure pap string s b
dcSize :: DebugClosureWithSize pap string s b -> Size
allClosures :: DebugClosure (GenPapPayload c) a (GenStackFrames c) c -> [c]
data StgInfoTable = StgInfoTable {
- entry :: Maybe EntryFunPtr
- ptrs :: HalfWord
- nptrs :: HalfWord
- tipe :: ClosureType
- srtlen :: HalfWord
- code :: Maybe ItblCodes
}
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
- | N_CLOSURE_TYPES
data StgInfoTableWithPtr = StgInfoTableWithPtr {
- tableId :: InfoTablePtr
- decodedTable :: StgInfoTable
}
data DebugStackFrame b = DebugStackFrame {
- frame_info :: !StgInfoTableWithPtr
- values :: [FieldValue b]
}
data FieldValue b
- = SPtr b
- | SNonPtr !Word64
newtype GenStackFrames b = GenStackFrames {
- getFrames :: [DebugStackFrame b]
}
type StackFrames = GenStackFrames 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
class Quadtraversable m where
- quadtraverse :: Applicative f => (a -> f b) -> (c -> f d) -> (e -> f g) -> (h -> f i) -> m a c e h -> f (m b d g i)
quadmap :: forall a b c d e f g h t. Quadtraversable t => (a -> b) -> (c -> d) -> (e -> f) -> (g -> h) -> t a c e g -> t b d f h

Closure Representation

type Closure = DebugClosure PayloadCont ConstrDescCont StackCont ClosurePtr Source #

type SizedClosure = DebugClosureWithSize PayloadCont ConstrDescCont StackCont ClosurePtr Source #

type SizedClosureC = DebugClosureWithSize PayloadCont ConstrDesc StackCont ClosurePtr Source #

data DebugClosure 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 ptrArgs :: ![b] Pointer arguments dataArgs :: ![Word] Non-pointer arguments constrDesc :: !string
FunClosure	A function
Fields info :: !StgInfoTableWithPtr ptrArgs :: ![b] Pointer arguments dataArgs :: ![Word] Non-pointer arguments
ThunkClosure	A thunk, an expression not obviously in head normal form
Fields info :: !StgInfoTableWithPtr ptrArgs :: ![b] Pointer arguments dataArgs :: ![Word] Non-pointer arguments
SelectorClosure	A thunk which performs a simple selection operation
Fields info :: !StgInfoTableWithPtr selectee :: !b Pointer to the object being selected from
PAPClosure	An unsaturated function application
Fields info :: !StgInfoTableWithPtr 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 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 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 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 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 indirectee :: !b Target closure
ArrWordsClosure	A `ByteArray#`
Fields info :: !StgInfoTableWithPtr bytes :: !Word Size of array in bytes arrWords :: ![Word] Array payload
MutArrClosure	A `MutableByteArray#`
Fields info :: !StgInfoTableWithPtr 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 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 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 var :: !b Pointer to contents
BlockingQueueClosure	An STM blocking queue.
Fields info :: !StgInfoTableWithPtr 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 _link :: !b global_link :: !b tsoStack :: !b stackobj from StgTSO trec :: !b blocked_exceptions :: !b bq :: !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 stack_size :: !Word32 stack size in words stack_dirty :: !Word8 non-zero => dirty stack_marking :: !Word8 frames :: s
WeakClosure
Fields info :: !StgInfoTableWithPtr 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 current_value :: !b tvar_watch_queue :: !b num_updates :: !Int
TRecChunkClosure
Fields info :: !StgInfoTableWithPtr prev_chunk :: !b next_idx :: !Word entries :: ![TRecEntry b]
MutPrimClosure
Fields info :: !StgInfoTableWithPtr ptrArgs :: ![b] Pointer arguments dataArgs :: ![Word] Non-pointer arguments
OtherClosure	Another kind of closure
Fields info :: !StgInfoTableWithPtr hvalues :: ![b] rawWords :: ![Word]
UnsupportedClosure
Fields info :: !StgInfoTableWithPtr

Instances

Instances details

Quadtraversable DebugClosure Source #
Instance details Defined in GHC.Debug.Types.Closures Methods quadtraverse :: Applicative f => (a -> f b) -> (c -> f d) -> (e -> f g) -> (h -> f i) -> DebugClosure a c e h -> f (DebugClosure b d g i) Source #
Foldable (DebugClosure pap string s) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods fold :: Monoid m => DebugClosure pap string s m -> m # foldMap :: Monoid m => (a -> m) -> DebugClosure pap string s a -> m # foldMap' :: Monoid m => (a -> m) -> DebugClosure pap string s a -> m # foldr :: (a -> b -> b) -> b -> DebugClosure pap string s a -> b # foldr' :: (a -> b -> b) -> b -> DebugClosure pap string s a -> b # foldl :: (b -> a -> b) -> b -> DebugClosure pap string s a -> b # foldl' :: (b -> a -> b) -> b -> DebugClosure pap string s a -> b # foldr1 :: (a -> a -> a) -> DebugClosure pap string s a -> a # foldl1 :: (a -> a -> a) -> DebugClosure pap string s a -> a # toList :: DebugClosure pap string s a -> [a] # null :: DebugClosure pap string s a -> Bool # length :: DebugClosure pap string s a -> Int # elem :: Eq a => a -> DebugClosure pap string s a -> Bool # maximum :: Ord a => DebugClosure pap string s a -> a # minimum :: Ord a => DebugClosure pap string s a -> a # sum :: Num a => DebugClosure pap string s a -> a # product :: Num a => DebugClosure pap string s a -> a #
Traversable (DebugClosure pap string s) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods traverse :: Applicative f => (a -> f b) -> DebugClosure pap string s a -> f (DebugClosure pap string s b) # sequenceA :: Applicative f => DebugClosure pap string s (f a) -> f (DebugClosure pap string s a) # mapM :: Monad m => (a -> m b) -> DebugClosure pap string s a -> m (DebugClosure pap string s b) # sequence :: Monad m => DebugClosure pap string s (m a) -> m (DebugClosure pap string s a) #
Functor (DebugClosure pap string s) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods fmap :: (a -> b) -> DebugClosure pap string s a -> DebugClosure pap string s b # (<$) :: a -> DebugClosure pap string s b -> DebugClosure pap string s a #
Generic (DebugClosure pap string s b) Source #
Instance details Defined in GHC.Debug.Types.Closures Associated Types type Rep (DebugClosure pap string s b) :: Type -> Type # Methods from :: DebugClosure pap string s b -> Rep (DebugClosure pap string s b) x # to :: Rep (DebugClosure pap string s b) x -> DebugClosure pap string s b #
(Show b, Show string, Show pap, Show s) => Show (DebugClosure pap string s b) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> DebugClosure pap string s b -> ShowS # show :: DebugClosure pap string s b -> String # showList :: [DebugClosure pap string s b] -> ShowS #
(Eq b, Eq string, Eq pap, Eq s) => Eq (DebugClosure pap string s b) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: DebugClosure pap string s b -> DebugClosure pap string s b -> Bool # (/=) :: DebugClosure pap string s b -> DebugClosure pap string s b -> Bool #
(Ord b, Ord string, Ord pap, Ord s) => Ord (DebugClosure pap string s b) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: DebugClosure pap string s b -> DebugClosure pap string s b -> Ordering # (<) :: DebugClosure pap string s b -> DebugClosure pap string s b -> Bool # (<=) :: DebugClosure pap string s b -> DebugClosure pap string s b -> Bool # (>) :: DebugClosure pap string s b -> DebugClosure pap string s b -> Bool # (>=) :: DebugClosure pap string s b -> DebugClosure pap string s b -> Bool # max :: DebugClosure pap string s b -> DebugClosure pap string s b -> DebugClosure pap string s b # min :: DebugClosure pap string s b -> DebugClosure pap string s b -> DebugClosure pap string s b #
type Rep (DebugClosure pap string s b) Source #
Instance details Defined in GHC.Debug.Types.Closures type Rep (DebugClosure pap string s b) = D1 ('MetaData "DebugClosure" "GHC.Debug.Types.Closures" "ghc-debug-common-0.2.0.0-inplace" 'False) ((((C1 ('MetaCons "ConstrClosure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "ptrArgs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [b])) :: (S1 ('MetaSel ('Just "dataArgs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Word]) :: S1 ('MetaSel ('Just "constrDesc") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 string))) :+: (C1 ('MetaCons "FunClosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: (S1 ('MetaSel ('Just "ptrArgs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [b]) :: S1 ('MetaSel ('Just "dataArgs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Word]))) :+: C1 ('MetaCons "ThunkClosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: (S1 ('MetaSel ('Just "ptrArgs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [b]) :: S1 ('MetaSel ('Just "dataArgs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Word]))))) :+: (C1 ('MetaCons "SelectorClosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "selectee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)) :+: (C1 ('MetaCons "PAPClosure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "arity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HalfWord)) :: (S1 ('MetaSel ('Just "n_args") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HalfWord) :: (S1 ('MetaSel ('Just "fun") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "pap_payload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 pap)))) :+: C1 ('MetaCons "APClosure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "arity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HalfWord)) :: (S1 ('MetaSel ('Just "n_args") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HalfWord) :: (S1 ('MetaSel ('Just "fun") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "ap_payload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 pap))))))) :+: ((C1 ('MetaCons "APStackClosure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "ap_st_size") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word)) :: (S1 ('MetaSel ('Just "fun") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "payload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 s))) :+: (C1 ('MetaCons "IndClosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "indirectee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)) :+: C1 ('MetaCons "BCOClosure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: (S1 ('MetaSel ('Just "instrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "literals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b))) :: ((S1 ('MetaSel ('Just "bcoptrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "arity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HalfWord)) :: (S1 ('MetaSel ('Just "size") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HalfWord) :: S1 ('MetaSel ('Just "bitmap") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Word])))))) :+: (C1 ('MetaCons "BlackholeClosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "indirectee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)) :+: (C1 ('MetaCons "ArrWordsClosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: (S1 ('MetaSel ('Just "bytes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word) :: S1 ('MetaSel ('Just "arrWords") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Word]))) :+: C1 ('MetaCons "MutArrClosure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "mccPtrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word)) :: (S1 ('MetaSel ('Just "mccSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word) :: S1 ('MetaSel ('Just "mccPayload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [b]))))))) :+: (((C1 ('MetaCons "SmallMutArrClosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: (S1 ('MetaSel ('Just "mccPtrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word) :: S1 ('MetaSel ('Just "mccPayload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [b]))) :+: (C1 ('MetaCons "MVarClosure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "queueHead") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)) :: (S1 ('MetaSel ('Just "queueTail") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b))) :+: C1 ('MetaCons "MutVarClosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "var") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)))) :+: (C1 ('MetaCons "BlockingQueueClosure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "link") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)) :: (S1 ('MetaSel ('Just "blackHole") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: (S1 ('MetaSel ('Just "owner") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "queue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)))) :+: (C1 ('MetaCons "TSOClosure" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "_link") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)) :: (S1 ('MetaSel ('Just "global_link") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "tsoStack") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b))) :: ((S1 ('MetaSel ('Just "trec") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "blocked_exceptions") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)) :: (S1 ('MetaSel ('Just "bq") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "what_next") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WhatNext)))) :: (((S1 ('MetaSel ('Just "why_blocked") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WhyBlocked) :: S1 ('MetaSel ('Just "flags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TsoFlags])) :: (S1 ('MetaSel ('Just "threadId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :: S1 ('MetaSel ('Just "saved_errno") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32))) :: ((S1 ('MetaSel ('Just "dirty") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :: S1 ('MetaSel ('Just "alloc_limit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)) :: (S1 ('MetaSel ('Just "tot_stack_size") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :: S1 ('MetaSel ('Just "prof") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe StgTSOProfInfo)))))) :+: C1 ('MetaCons "StackClosure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "stack_size") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32)) :: (S1 ('MetaSel ('Just "stack_dirty") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8) :: (S1 ('MetaSel ('Just "stack_marking") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8) :: S1 ('MetaSel ('Just "frames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s))))))) :+: ((C1 ('MetaCons "WeakClosure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: (S1 ('MetaSel ('Just "cfinalizers") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "key") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b))) :: (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: (S1 ('MetaSel ('Just "finalizer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "mlink") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe b))))) :+: (C1 ('MetaCons "TVarClosure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "current_value") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)) :: (S1 ('MetaSel ('Just "tvar_watch_queue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :: S1 ('MetaSel ('Just "num_updates") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int))) :+: C1 ('MetaCons "TRecChunkClosure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: S1 ('MetaSel ('Just "prev_chunk") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)) :: (S1 ('MetaSel ('Just "next_idx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word) :: S1 ('MetaSel ('Just "entries") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TRecEntry b]))))) :+: (C1 ('MetaCons "MutPrimClosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: (S1 ('MetaSel ('Just "ptrArgs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [b]) :: S1 ('MetaSel ('Just "dataArgs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Word]))) :+: (C1 ('MetaCons "OtherClosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr) :: (S1 ('MetaSel ('Just "hvalues") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [b]) :: S1 ('MetaSel ('Just "rawWords") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Word]))) :+: C1 ('MetaCons "UnsupportedClosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StgInfoTableWithPtr)))))))

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.2.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 pap string s b Source #

Constructors

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

Instances

Instances details

Quadtraversable (DebugClosureWithExtra x) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods quadtraverse :: Applicative f => (a -> f b) -> (c -> f d) -> (e -> f g) -> (h -> f i) -> DebugClosureWithExtra x a c e h -> f (DebugClosureWithExtra x b d g i) Source #
(Show x, Show b, Show string, Show pap, Show s) => Show (DebugClosureWithExtra x pap string s b) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods showsPrec :: Int -> DebugClosureWithExtra x pap string s b -> ShowS # show :: DebugClosureWithExtra x pap string s b -> String # showList :: [DebugClosureWithExtra x pap string s b] -> ShowS #
(Eq x, Eq b, Eq string, Eq pap, Eq s) => Eq (DebugClosureWithExtra x pap string s b) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods (==) :: DebugClosureWithExtra x pap string s b -> DebugClosureWithExtra x pap string s b -> Bool # (/=) :: DebugClosureWithExtra x pap string s b -> DebugClosureWithExtra x pap string s b -> Bool #
(Ord x, Ord b, Ord string, Ord pap, Ord s) => Ord (DebugClosureWithExtra x pap string s b) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods compare :: DebugClosureWithExtra x pap string s b -> DebugClosureWithExtra x pap string s b -> Ordering # (<) :: DebugClosureWithExtra x pap string s b -> DebugClosureWithExtra x pap string s b -> Bool # (<=) :: DebugClosureWithExtra x pap string s b -> DebugClosureWithExtra x pap string s b -> Bool # (>) :: DebugClosureWithExtra x pap string s b -> DebugClosureWithExtra x pap string s b -> Bool # (>=) :: DebugClosureWithExtra x pap string s b -> DebugClosureWithExtra x pap string s b -> Bool # max :: DebugClosureWithExtra x pap string s b -> DebugClosureWithExtra x pap string s b -> DebugClosureWithExtra x pap string s b # min :: DebugClosureWithExtra x pap string s b -> DebugClosureWithExtra x pap string s b -> DebugClosureWithExtra x 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 #
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.2.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.2.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.2.0.0-inplace" 'True) (C1 ('MetaCons "RetainerSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRetainerSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

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

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

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

Info Table Representation

data StgInfoTable #

This is a somewhat faithful representation of an info table. See https://gitlab.haskell.org/ghc/ghc/blob/master/includes/rts/storage/InfoTables.h for more details on this data structure.

Constructors

StgInfoTable
Fields entry :: Maybe EntryFunPtr ptrs :: HalfWord nptrs :: HalfWord tipe :: ClosureType srtlen :: HalfWord code :: Maybe ItblCodes

Instances

Instances details

Generic StgInfoTable
Instance details Defined in GHC.Exts.Heap.InfoTable.Types Associated Types type Rep StgInfoTable :: Type -> Type # Methods from :: StgInfoTable -> Rep StgInfoTable x # to :: Rep StgInfoTable x -> StgInfoTable #
Show StgInfoTable
Instance details Defined in GHC.Exts.Heap.InfoTable.Types Methods showsPrec :: Int -> StgInfoTable -> ShowS # show :: StgInfoTable -> String # showList :: [StgInfoTable] -> ShowS #
type Rep StgInfoTable
Instance details Defined in GHC.Exts.Heap.InfoTable.Types type Rep StgInfoTable = D1 ('MetaData "StgInfoTable" "GHC.Exts.Heap.InfoTable.Types" "ghc-heap-9.2.1" 'False) (C1 ('MetaCons "StgInfoTable" 'PrefixI 'True) ((S1 ('MetaSel ('Just "entry") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EntryFunPtr)) :: (S1 ('MetaSel ('Just "ptrs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HalfWord) :: S1 ('MetaSel ('Just "nptrs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HalfWord))) :: (S1 ('MetaSel ('Just "tipe") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClosureType) :: (S1 ('MetaSel ('Just "srtlen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HalfWord) :*: S1 ('MetaSel ('Just "code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ItblCodes))))))

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
N_CLOSURE_TYPES

Instances

Instances details

Enum ClosureType
Instance details Defined in GHC.Exts.Heap.ClosureTypes 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
Instance details Defined in GHC.Exts.Heap.ClosureTypes Associated Types type Rep ClosureType :: Type -> Type # Methods from :: ClosureType -> Rep ClosureType x # to :: Rep ClosureType x -> ClosureType #
Show ClosureType
Instance details Defined in GHC.Exts.Heap.ClosureTypes Methods showsPrec :: Int -> ClosureType -> ShowS # show :: ClosureType -> String # showList :: [ClosureType] -> ShowS #
Eq ClosureType
Instance details Defined in GHC.Exts.Heap.ClosureTypes Methods (==) :: ClosureType -> ClosureType -> Bool # (/=) :: ClosureType -> ClosureType -> Bool #
Ord ClosureType
Instance details Defined in GHC.Exts.Heap.ClosureTypes 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
Instance details Defined in GHC.Exts.Heap.ClosureTypes type Rep ClosureType = D1 ('MetaData "ClosureType" "GHC.Exts.Heap.ClosureTypes" "ghc-heap-9.2.1" '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 "N_CLOSURE_TYPES" 'PrefixI 'False) (U1 :: Type -> Type))))))))

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

Constructors

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

Instances

Instances details

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

Constructors

GenStackFrames
Fields getFrames :: [DebugStackFrame b]

Instances

Instances details

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

type StackFrames = GenStackFrames 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 #

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 #

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 #

Traversing functions

class Quadtraversable m where Source #

Methods

quadtraverse :: Applicative f => (a -> f b) -> (c -> f d) -> (e -> f g) -> (h -> f i) -> m a c e h -> f (m b d g i) Source #

Instances

Instances details

Quadtraversable DebugClosure Source #
Instance details Defined in GHC.Debug.Types.Closures Methods quadtraverse :: Applicative f => (a -> f b) -> (c -> f d) -> (e -> f g) -> (h -> f i) -> DebugClosure a c e h -> f (DebugClosure b d g i) Source #
Quadtraversable (DebugClosureWithExtra x) Source #
Instance details Defined in GHC.Debug.Types.Closures Methods quadtraverse :: Applicative f => (a -> f b) -> (c -> f d) -> (e -> f g) -> (h -> f i) -> DebugClosureWithExtra x a c e h -> f (DebugClosureWithExtra x b d g i) Source #

quadmap :: forall a b c d e f g h t. Quadtraversable t => (a -> b) -> (c -> d) -> (e -> f) -> (g -> h) -> t a c e g -> t b d f h Source #