Recognize.Data.Diagnosis

Documentation

data Diagnosis

Constructors

Diagnosis

Fields

• category :: Approach
• correctResult :: Bool
• resultIsSimplified :: Bool
• parenthesisMismatch :: Bool
• payload :: Maybe Expr
• steps :: [Step]
• result :: Maybe Expr

Instances

Eq Diagnosis

Defined in Recognize.Data.Diagnosis

Methods

(==) :: Diagnosis -> Diagnosis -> Bool

(/=) :: Diagnosis -> Diagnosis -> Bool

Show Diagnosis

Defined in Recognize.Data.Diagnosis

Methods

showsPrec :: Int -> Diagnosis -> ShowS

show :: Diagnosis -> String

showList :: [Diagnosis] -> ShowS

ToHTML Diagnosis

Defined in Recognize.Data.Diagnosis

Methods

toHTML :: Diagnosis -> HTMLBuilder

listToHTML :: [Diagnosis] -> HTMLBuilder

ToXML Diagnosis

Defined in Recognize.Data.Diagnosis

Methods

toXML :: Diagnosis -> XML

listToXML :: [Diagnosis] -> XML

Pretty Diagnosis

Defined in Recognize.Data.Diagnosis

Methods

pretty :: Diagnosis -> Doc

prettyList :: [Diagnosis] -> Doc

HasApproach Diagnosis

Defined in Recognize.Data.Diagnosis

Methods

approach :: Diagnosis -> Approach

data Step

A step is a small step, which describes some action by the math and attributes it carries or it is a big step which is a grouping of other steps.

Instances

Eq Step

Defined in Recognize.Data.Step

Methods

(==) :: Step -> Step -> Bool

(/=) :: Step -> Step -> Bool

Show Step

Defined in Recognize.Data.Step

Methods

showsPrec :: Int -> Step -> ShowS

show :: Step -> String

showList :: [Step] -> ShowS

HasId Step

Defined in Recognize.Data.Step

Methods

getId :: Step -> Id

changeId :: (Id -> Id) -> Step -> Step

ToHTML Step

Defined in Recognize.Data.Step

Methods

toHTML :: Step -> HTMLBuilder

listToHTML :: [Step] -> HTMLBuilder

ToXML Step

Defined in Recognize.Data.Step

Methods

toXML :: Step -> XML

listToXML :: [Step] -> XML

newDiagnosis :: Approach -> [Step] -> Diagnosis

hasMistakes :: Step -> Bool

getMath :: Step -> Math

getMaths :: [Step] -> [Math]

addAttribute :: Attribute -> Step -> Step

mergeSteps :: [Step] -> Maybe Step

makeFAStep :: Expr -> Step

getAttributes :: Step -> [Attribute]