ideas-1.2: Feedback services for intelligent tutoring systems

Portabilityportable (depends on ghc)
Stabilityprovisional
Maintainerbastiaan.heeren@ou.nl
Safe HaskellNone

Ideas.Service.FeedbackScript.Syntax

Description

Abstract syntax for feedback scripts, and pretty-printer (Show instance)

Documentation

data Script Source

Instances

makeScript :: [Decl] -> ScriptSource

scriptDecls :: Script -> [Decl]Source

makeText :: String -> TextSource

textItems :: Text -> [Text]Source

data Decl Source

Constructors

NameSpace [Id] 
Supports [Id] 
Include [FilePath] 
Simple DeclType [Id] Text 
Guarded DeclType [Id] [(Condition, Text)] 

Instances

data DeclType Source

Constructors

TextForId 
StringDecl 
Feedback 

Instances

data Text Source

Constructors

TextString String 
TextTerm Term 
TextRef Id 
TextEmpty 
Text :<>: Text 

Instances

data Condition Source

Constructors

RecognizedIs Id 
MotivationIs Id 
CondNot Condition 
CondConst Bool 
CondRef Id 

Instances

includes :: Script -> [FilePath]Source

feedbackDecl :: HasId a => a -> Text -> DeclSource

textForIdDecl :: HasId a => a -> Text -> DeclSource