Diagnostics

The Diagnostics type represents a structured graph of validation failures.

Graph types

• FsFlow.PathSegment: Location markers used to describe where a diagnostic belongs in a validation graph.
• FsFlow.Path: A path through a validation graph, represented as a list of PathSegment.
• FsFlow.Diagnostic: A single failure item attached to a path in a validation graph.
• FsFlow.Diagnostics: A mergeable validation graph that carries local errors and nested child branches.

Module functions

• FsFlow.DiagnosticsModule.empty: Creates an empty diagnostics graph with no errors.
• FsFlow.DiagnosticsModule.singleton: Creates a diagnostics graph containing exactly one error at the root.
• FsFlow.DiagnosticsModule.merge: Recursively merges two diagnostics graphs, combining shared branches and local errors.
• FsFlow.DiagnosticsModule.toString: Renders a diagnostics graph in a YAML-like layout for display.
• FsFlow.DiagnosticsModule.flatten: Flattens the structured diagnostics graph into a linear list of diagnostics.