Module differential_dataflow::logging

Loggers and logging events for differential dataflow.

Structs

• BatchEvent
  Either the start or end of a merge event.
• BatcherEvent
  Either the start or end of a merge event.
• DropEvent
  Either the start or end of a merge event.
• MergeEvent
  Either the start or end of a merge event.
• MergeShortfall
  A merge failed to complete in time.
• TraceShare
  Either the start or end of a merge event.

Enums

• DifferentialEvent
  Possible different differential events.

Functions

• enable
  Enables logging of differential dataflow events.

Type Aliases

• Logger
  Logger for differential dataflow events.