(diagnosticLens: DiagnosticLens[UpperPB]).:=(a)
(diagnosticLens: DiagnosticLens[UpperPB]).:=(a)
(diagnosticLens: DiagnosticLens[UpperPB]).compose(other)
(diagnosticLens: DiagnosticLens[UpperPB]).compose(other)
(diagnosticLens: DiagnosticLens[UpperPB]).field(getter)(setter)
(diagnosticLens: DiagnosticLens[UpperPB]).field(lens)
(diagnosticLens: DiagnosticLens[UpperPB]).field(getter)(setter)
(diagnosticLens: DiagnosticLens[UpperPB]).field(lens)
(diagnosticLens: DiagnosticLens[UpperPB]).get(u)
(diagnosticLens: DiagnosticLens[UpperPB]).get(u)
(diagnosticLens: DiagnosticLens[UpperPB]).message
(diagnosticLens: DiagnosticLens[UpperPB]).message
(diagnosticLens: DiagnosticLens[UpperPB]).modify(f)
(diagnosticLens: DiagnosticLens[UpperPB]).modify(f)
(diagnosticLens: DiagnosticLens[UpperPB]).optionalRange
(diagnosticLens: DiagnosticLens[UpperPB]).optionalRange
(diagnosticLens: DiagnosticLens[UpperPB]).range
(diagnosticLens: DiagnosticLens[UpperPB]).range
(diagnosticLens: DiagnosticLens[UpperPB]).set(c)
(diagnosticLens: DiagnosticLens[UpperPB]).set(c)
(diagnosticLens: DiagnosticLens[UpperPB]).setIfDefined(aOpt)
(diagnosticLens: DiagnosticLens[UpperPB]).setIfDefined(aOpt)
(diagnosticLens: DiagnosticLens[UpperPB]).severity
(diagnosticLens: DiagnosticLens[UpperPB]).severity
(diagnosticLens: DiagnosticLens[UpperPB]).update(ms)
(diagnosticLens: DiagnosticLens[UpperPB]).update(ms)
(diagnosticLens: DiagnosticLens[UpperPB]).zip(other)
(diagnosticLens: DiagnosticLens[UpperPB]).zip(other)