Recognize.Data.DiagnoseResult

Description

Documentation

Constructors

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

Instances

Show DiagnoseResult Source #
Instance details Defined in Recognize.Data.DiagnoseResult Methods showsPrec :: Int -> DiagnoseResult -> ShowS # show :: DiagnoseResult -> String # showList :: [DiagnoseResult] -> ShowS #
ToHTML DiagnoseResult Source #
Instance details Defined in Recognize.Data.DiagnoseResult Methods toHTML :: DiagnoseResult -> HTMLBuilder # listToHTML :: [DiagnoseResult] -> HTMLBuilder #
ToXML DiagnoseResult Source #
Instance details Defined in Recognize.Data.DiagnoseResult Methods toXML :: DiagnoseResult -> XML # listToXML :: [DiagnoseResult] -> XML #
Pretty DiagnoseResult Source #
Instance details Defined in Recognize.Data.DiagnoseResult Methods pretty :: DiagnoseResult -> Doc # prettyList :: [DiagnoseResult] -> Doc #
HasApproach DiagnoseResult Source #
Instance details Defined in Recognize.Data.DiagnoseResult Methods approach :: DiagnoseResult -> Approach Source #

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