Recognize.Data.DiagnoseResult

Documentation

data DiagnoseResult

Constructors

DiagnoseResult

Fields

• originalInput :: Input
• lexerOutput :: LexerOutput
• parserOutput :: MathParserOutput
• diagnosis :: Either DiagnoseError Diagnosis
• evidence :: Evidence

Instances

Show DiagnoseResult

Defined in Recognize.Data.DiagnoseResult

Methods

showsPrec :: Int -> DiagnoseResult -> ShowS

show :: DiagnoseResult -> String

showList :: [DiagnoseResult] -> ShowS

ToHTML DiagnoseResult

Defined in Recognize.Data.DiagnoseResult

Methods

toHTML :: DiagnoseResult -> HTMLBuilder

listToHTML :: [DiagnoseResult] -> HTMLBuilder

ToXML DiagnoseResult

Defined in Recognize.Data.DiagnoseResult

Methods

toXML :: DiagnoseResult -> XML

listToXML :: [DiagnoseResult] -> XML

Pretty DiagnoseResult

Defined in Recognize.Data.DiagnoseResult

Methods

pretty :: DiagnoseResult -> Doc

prettyList :: [DiagnoseResult] -> Doc

HasApproach DiagnoseResult

Defined in Recognize.Data.DiagnoseResult

Methods

approach :: DiagnoseResult -> Approach

w3panel :: HTMLBuilder -> HTMLBuilder

rowsHalf :: BuildXML a => (a, a, a, a, a) -> a

w3right :: String -> HTMLBuilder