Ideas.Service.FeedbackText

Documentation

data Message

tMessage :: Type a Message

accept :: Message -> Maybe Bool

text :: Message -> Text

onefirsttext :: Script -> State a -> Maybe String -> (Message, Maybe (State a))

submittext :: Script -> State a -> String -> (Message, State a)

derivationtext :: Script -> State a -> Either String (Derivation String (Context a))

feedbacktext :: Script -> State a -> Context a -> Maybe Id -> (Message, State a)