ideas-1.5: Feedback services for intelligent tutoring systems

Maintainer	bastiaan.heeren@ou.nl
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	None
Language	Haskell98

Ideas.Service.FeedbackScript.Syntax

Description

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

Documentation

data Script Source

Instances

Show Script Source
Monoid Script Source

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

Show Decl Source

data DeclType Source

Constructors

TextForId
StringDecl
Feedback

Instances

Show DeclType Source

data Text Source

Constructors

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

Instances

Show Text Source
Monoid Text Source
Uniplate Text Source

data Condition Source

Constructors

RecognizedIs Id
MotivationIs Id
CondNot Condition
CondConst Bool
CondRef Id

Instances

Show Condition Source
Uniplate Condition Source

includes :: Script -> [FilePath] Source

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

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