Ideas.Service.FeedbackScript.Syntax

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

Documentation

data Script

Instances

Show Script

Methods

showsPrec :: Int -> Script -> ShowS

show :: Script -> String

showList :: [Script] -> ShowS

Semigroup Script

Methods

(<>) :: Script -> Script -> Script

sconcat :: NonEmpty Script -> Script

stimes :: Integral b => b -> Script -> Script

Monoid Script

Methods

mempty :: Script

mappend :: Script -> Script -> Script

mconcat :: [Script] -> Script

makeScript :: [Decl] -> Script

scriptDecls :: Script -> [Decl]

makeText :: String -> Text

textItems :: Text -> [Text]

data Decl

Constructors

NameSpace [Id]

Supports [Id]

Include [FilePath]

Simple DeclType [Id] Text

Guarded DeclType [Id] [(Condition, Text)]

Instances

Show Decl

Methods

showsPrec :: Int -> Decl -> ShowS

show :: Decl -> String

showList :: [Decl] -> ShowS

data DeclType

Constructors

TextForId

StringDecl

Feedback

Instances

Show DeclType

Methods

showsPrec :: Int -> DeclType -> ShowS

show :: DeclType -> String

showList :: [DeclType] -> ShowS

data Text

Constructors

TextString String

TextTerm Term

TextRef Id

TextEmpty

Text :<>: Text

Instances

Show Text

Methods

showsPrec :: Int -> Text -> ShowS

show :: Text -> String

showList :: [Text] -> ShowS

Semigroup Text

Methods

(<>) :: Text -> Text -> Text

sconcat :: NonEmpty Text -> Text

stimes :: Integral b => b -> Text -> Text

Monoid Text

Methods

mempty :: Text

mappend :: Text -> Text -> Text

mconcat :: [Text] -> Text

Uniplate Text

Methods

uniplate :: Text -> (Str Text, Str Text -> Text)

descend :: (Text -> Text) -> Text -> Text

descendM :: Monad m => (Text -> m Text) -> Text -> m Text

data Condition

Constructors

RecognizedIs Id

MotivationIs Id

CondNot Condition

CondConst Bool

CondRef Id

Instances

Show Condition

Methods

showsPrec :: Int -> Condition -> ShowS

show :: Condition -> String

showList :: [Condition] -> ShowS

Uniplate Condition

Methods

uniplate :: Condition -> (Str Condition, Str Condition -> Condition)

descend :: (Condition -> Condition) -> Condition -> Condition

descendM :: Monad m => (Condition -> m Condition) -> Condition -> m Condition

includes :: Script -> [FilePath]

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

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