Safe Haskell | None |
---|---|
Language | Haskell2010 |
Graph.Trace.Internal.Types
Synopsis
- data DebugTag = DT {}
- data DebugContext = DC {
- previousTag :: !(Maybe DebugTag)
- currentTag :: !DebugTag
- propagation :: !Propagation
- definitionSite :: !(Maybe DefinitionSite)
- data Propagation
- data SrcCodeLoc = 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
- = EntryEvent !DebugTag !(Maybe DebugTag) !(Maybe DefinitionSite) !(Maybe CallSite)
- | TraceEvent !DebugTag !MessageContent !(Maybe CallSite)
- eventToLogStr :: Event -> ByteString
- type FunName = String
- type UserKey = String
- type SrcModule = String
- type SrcLine = Int
- type SrcCol = Int
- callStackToCallSite :: CallStack -> Maybe CallSite
- data DebugNames = DebugNames {}
Documentation
data DebugContext Source #
Constructors
DC | |
Fields
|
data Propagation Source #
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 Source # | |
Defined in Graph.Trace.Internal.Types | |
Show Propagation Source # | |
Defined in Graph.Trace.Internal.Types Methods showsPrec :: Int -> Propagation -> ShowS # show :: Propagation -> String # showList :: [Propagation] -> ShowS # | |
Lift Propagation Source # | |
Defined in Graph.Trace.Internal.Types |
data SrcCodeLoc Source #
Instances
Lift SrcCodeLoc Source # | |
Defined in Graph.Trace.Internal.Types |
type DefinitionSite = SrcCodeLoc Source #
type CallSite = SrcCodeLoc Source #
type DebugIP = (?_debug_ip :: Maybe DebugContext, HasCallStack) Source #
type TraceDeepKey (key :: Symbol) = DebugIP Source #
type TraceInert = DebugIP Source #
Constructors
EntryEvent | |
TraceEvent !DebugTag !MessageContent !(Maybe CallSite) |
eventToLogStr :: Event -> ByteString Source #
Serialize an Event. The § character is used as both a separator and terminator. Don't use this character in trace messages, it will break!
data DebugNames Source #
Constructors
DebugNames | |
Fields |