Advise-me-0.1: Assessment services for the Advise-Me project

Maintainer	[email protected]
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	None
Language	Haskell98

Recognize.Data.MathStoryProblem

Description

Documentation

data Task Source #

Constructors

Task MathStoryProblem

Instances

Show Task Source #
Instance details Defined in Recognize.Data.MathStoryProblem Methods showsPrec :: Int -> Task -> ShowS # show :: Task -> String # showList :: [Task] -> ShowS #
HasId Task Source #
Instance details Defined in Recognize.Data.MathStoryProblem Methods getId :: Task -> Id # changeId :: (Id -> Id) -> Task -> Task #

data MathStoryProblem Source #

Instances

Show MathStoryProblem Source #
Instance details Defined in Recognize.Data.MathStoryProblem Methods showsPrec :: Int -> MathStoryProblem -> ShowS # show :: MathStoryProblem -> String # showList :: [MathStoryProblem] -> ShowS #
HasId MathStoryProblem Source #
Instance details Defined in Recognize.Data.MathStoryProblem Methods getId :: MathStoryProblem -> Id # changeId :: (Id -> Id) -> MathStoryProblem -> MathStoryProblem #

mathStoryProblem :: MathStoryProblem Source #

problemId :: MathStoryProblem -> Id Source #

processInputs :: MathStoryProblem -> [Input] -> [Input] Source #

inputFile :: MathStoryProblem -> Maybe FilePath Source #

networkFile :: MathStoryProblem -> Maybe FilePath Source #

singleNetwork :: MathStoryProblem -> Network () Source #

getExercise :: MathStoryProblem -> Exercise b Source #

diagnose :: MathStoryProblem -> Solution -> Entry Source #

analyzers :: MathStoryProblem -> [(InputId, Analyzer)] Source #

data Analyzer Source #

analyzer :: Analyzer Source #

lexer :: Analyzer -> Maybe Language -> Input -> LexerOutput Source #

parser :: Analyzer -> LexerOutput -> MathParserOutput Source #

recognizer :: Analyzer -> MathParserOutput -> Either DiagnoseError Diagnosis Source #

collector :: Analyzer -> Diagnosis -> Evidence Source #