Recognize.Data.Attribute

This module defines the data type that is used to describe the diagnosis of some solution to an exercise. This information is then used to generate evidence during assessment.

Documentation

data Attribute

Constructors

Expand Op

Expand a formula by a certain operation

Implicit Op

Implicitly expand a formula

Forget Op

Forgot to expand a formula

ForgetSym Symbol

Forgot to expand with a symbol

Normalized

Is a normalized expression

InvalidEquation Expr Expr

UnequalRelations (Relation Expr) (Relation Expr)

Recovery

Recover a made mistake

NonMatchingParentheses

Incorrect placement of parentheses

IncorrectDistribution

IncorrectFactorization

InvertedFraction

expected: 56, provided: 65

InvalidCommutativity Symbol

expected: 5-6, provided: 6-5

AtomMixedUp Expr Expr

Sloppiness

OperatorMixedUp Symbol Symbol

Misconception Concept Concept

AsymmetricRelation

InequalityStrictness

Approximation

RoundingError

CommonMistake

defined per exercise

CapturedWildcard String Expr

PartialMatch Expr

MatchedBy Expr Expr

ARule RuleId (NonEmpty Expr) Expr

ARuleR RuleId (Relation Expr) (Relation Expr)

Label String

LabelE String Expr

FinalAnswer Expr

NExpr Expr

Expression that is a Number or Natural

Other String

Instances

Eq Attribute

Defined in Recognize.Data.Attribute

Methods

(==) :: Attribute -> Attribute -> Bool

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

Ord Attribute

Defined in Recognize.Data.Attribute

Methods

compare :: Attribute -> Attribute -> Ordering

(<) :: Attribute -> Attribute -> Bool

(<=) :: Attribute -> Attribute -> Bool

(>) :: Attribute -> Attribute -> Bool

(>=) :: Attribute -> Attribute -> Bool

max :: Attribute -> Attribute -> Attribute

min :: Attribute -> Attribute -> Attribute

Show Attribute

Defined in Recognize.Data.Attribute

Methods

showsPrec :: Int -> Attribute -> ShowS

show :: Attribute -> String

showList :: [Attribute] -> ShowS

ToXML Attribute

Defined in Recognize.Data.Attribute

Methods

toXML :: Attribute -> XML

listToXML :: [Attribute] -> XML

ToXML (Math, [Attribute])

Defined in Recognize.Data.Step

Methods

toXML :: (Math, [Attribute]) -> XML

listToXML :: [(Math, [Attribute])] -> XML

isMistake :: Attribute -> Bool

isApproximation :: Attribute -> Bool

isLabelAttr :: Attribute -> Bool

isCommonMistake :: Attribute -> Bool

data Concept

Constructors

Area

Perimeter

Square

Triangle

Volume

Rectangle

HalfPerimeter

Instances

Eq Concept

Defined in Recognize.Data.Attribute

Methods

(==) :: Concept -> Concept -> Bool

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

Ord Concept

Defined in Recognize.Data.Attribute

Methods

compare :: Concept -> Concept -> Ordering

(<) :: Concept -> Concept -> Bool

(<=) :: Concept -> Concept -> Bool

(>) :: Concept -> Concept -> Bool

(>=) :: Concept -> Concept -> Bool

max :: Concept -> Concept -> Concept

min :: Concept -> Concept -> Concept

Show Concept

Defined in Recognize.Data.Attribute

Methods

showsPrec :: Int -> Concept -> ShowS

show :: Concept -> String

showList :: [Concept] -> ShowS

(<!) :: [(a, [Attribute])] -> Attribute -> [(a, [Attribute])] infixl 7