Graph.Trace.Internal.Types

Documentation

data DebugTag

Constructors

DT

Fields

• invocationId :: !Word
• debugKey :: Either FunName UserKey

data DebugContext

Constructors

DC

Fields

• previousTag :: !(Maybe DebugTag)
• currentTag :: !DebugTag
• propagation :: !Propagation
• definitionSite :: !(Maybe DefinitionSite)

data Propagation

Constructors

Mute

Does not output traces, overrides other options

Inert

Does not output traces, doesn't override other options

Shallow

Outputs traces for current scope, but does not propagate

Deep

Outputs traces and propagates to descendents

Instances

Eq Propagation

Defined in Graph.Trace.Internal.Types

Methods

(==) :: Propagation -> Propagation -> Bool

(/=) :: Propagation -> Propagation -> Bool

Show Propagation

Defined in Graph.Trace.Internal.Types

Methods

showsPrec :: Int -> Propagation -> ShowS

show :: Propagation -> String

showList :: [Propagation] -> ShowS

Lift Propagation

Defined in Graph.Trace.Internal.Types

Methods

lift :: Propagation -> Q Exp

liftTyped :: Propagation -> Q (TExp Propagation)

data SrcCodeLoc

Constructors

SrcCodeLoc

Fields

• srcModule :: !SrcModule
• srcLine :: !SrcLine
• srcCol :: !SrcCol

Instances

Lift SrcCodeLoc

Defined in Graph.Trace.Internal.Types

Methods

lift :: SrcCodeLoc -> Q Exp

liftTyped :: SrcCodeLoc -> Q (TExp SrcCodeLoc)

type DefinitionSite = SrcCodeLoc

type CallSite = SrcCodeLoc

type DebugIP = (?_debug_ip :: Maybe DebugContext, HasCallStack)

type TraceMute = DebugIP

type TraceDeep = DebugIP

type TraceDeepKey (key :: Symbol) = DebugIP

type Trace = DebugIP

type TraceKey (key :: Symbol) = DebugIP

type TraceInert = DebugIP

data Event

Constructors

EntryEvent

Fields

• !DebugTag

  Current context

• !(Maybe DebugTag)

  caller's context

• !(Maybe DefinitionSite)
• !(Maybe CallSite)

TraceEvent !DebugTag !MessageContent !(Maybe CallSite)

eventToLogStr :: Event -> Builder

Serialize an Event. The § character is used as both a separator and terminator. Don't use this character in trace messages, it will break!

type FunName = String

type UserKey = String

type SrcModule = String

type SrcLine = Int

type SrcCol = Int

callStackToCallSite :: CallStack -> Maybe CallSite

data DebugNames

Constructors

DebugNames

Fields

• traceMutePredName :: Name
• traceDeepPredName :: Name
• traceDeepKeyPredName :: Name
• tracePredName :: Name
• traceKeyPredName :: Name
• traceInertPredName :: Name
• entryName :: Name
• debugContextName :: Name