ideas-1.3.1: 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
Monoid Script

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

Show Text
Monoid Text
Uniplate Text

data Condition Source

Constructors

RecognizedIs Id
MotivationIs Id
CondNot Condition
CondConst Bool
CondRef Id

Instances

Show Condition
Uniplate Condition

includes :: Script -> [FilePath] Source

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

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