ideas-1.3.1: Feedback services for intelligent tutoring systems

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

Ideas.Service.FeedbackScript.Syntax

Description

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

Documentation

data Script Source

Instances

makeScript :: [Decl] -> Script Source

scriptDecls :: Script -> [Decl] Source

makeText :: String -> Text Source

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 -> Decl Source

textForIdDecl :: HasId a => a -> Text -> Decl Source