Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
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
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 |
isApproximation :: Attribute -> Bool Source #
isLabelAttr :: Attribute -> Bool Source #
isCommonMistake :: Attribute -> Bool Source #