nkdsl.compiler.diagnostics.rules.base

Base abstractions for diagnostics rules.

Classes

AbstractDiagnosticRule()	Abstract base class for one diagnostics rule.
Any(*args, **kwargs)	Special type indicating an unconstrained type.
DSLDiagnostic(code, severity, message, ...)	One DSL lint/diagnostic finding produced by compiler diagnostics.
DiagnosticRuleContext(operator, ir, options)	Immutable context passed to diagnostics rules.
SymbolicCompilerOptions([...])	Static and runtime controls for symbolic compiler execution.
SymbolicOperatorIR(operator_name, mode, ...)	Immutable symbolic operator IR container.