Ideas.Service.FeedbackScript.Run

Run a feedbackscript

Documentation

data Script

Instances

Show Script

Methods

showsPrec :: Int -> Script -> ShowS

show :: Script -> String

showList :: [Script] -> ShowS

Monoid Script

Methods

mempty :: Script

mappend :: Script -> Script -> Script

mconcat :: [Script] -> Script

data Environment a

Constructors

Env

Fields

• oldReady :: Bool
• expected :: Maybe (Rule (Context a))
• recognized :: Maybe (Rule (Context a))
• motivation :: Maybe (Rule (Context a))
• diffPair :: Maybe (String, String)
• before :: Maybe Term
• after :: Maybe Term
• afterText :: Maybe String

newEnvironment :: State a -> Maybe (Rule (Context a)) -> Environment a

feedbackDiagnosis :: Diagnosis a -> Environment a -> Script -> Text

feedbackHint :: Id -> Environment a -> Script -> Text

feedbackHints :: Id -> [((Rule (Context a), b, c), State a)] -> State a -> Maybe (Rule (Context a)) -> Script -> [Text]

ruleToString :: Environment a -> Script -> Rule b -> String

feedbackIds :: [Id]

attributeIds :: [Id]

conditionIds :: [Id]

eval :: Environment a -> Script -> Either Id Text -> Maybe Text