IamExplainer.Report
Counts — ⚪ definition
structure · source
structure Counts where
countFindings — ⚪ definition
def · source
def countFindings (fs : List Finding) : Counts
Report — ⚪ definition
structure · source
structure Report where
buildReport — ⚪ definition
def · source
def buildReport (findings : List Finding) (warnings : List ParseWarning) : Report
reportToJson — ⚪ definition
def · source
def reportToJson (r : Report) : Json
renderText — ⚪ definition
def · source
def renderText (r : Report) : String