diff options
Diffstat (limited to 'examples/dialogue/Dialogue.gf')
| -rw-r--r-- | examples/dialogue/Dialogue.gf | 27 |
1 files changed, 20 insertions, 7 deletions
diff --git a/examples/dialogue/Dialogue.gf b/examples/dialogue/Dialogue.gf index 31163cffe..41f805c93 100644 --- a/examples/dialogue/Dialogue.gf +++ b/examples/dialogue/Dialogue.gf @@ -14,14 +14,14 @@ abstract Dialogue = { Oper2 Kind Kind ; fun - MRequest : Action -> Move ; - MConfirm : Action -> Move ; - MAnswer : Proposition -> Move ; - MIssue : Question -> Move ; + IRequest : Action -> Input ; + IConfirm : Action -> Input ; + IAnswer : Proposition -> Input ; + IIssue : Question -> Input ; - MYes : Move ; - MNo : Move ; - MObject : (k : Kind) -> Object k -> Move ; + IYes : Input ; + INo : Input ; + IObject : (k : Kind) -> Object k -> Input ; PAction : Action -> Proposition ; @@ -35,5 +35,18 @@ abstract Dialogue = { OIndef : (k : Kind) -> Object k ; ODef : (k : Kind) -> Object k ; +-- multimodality + cat + Click ; + Input ; -- multimodal asynchronous input + Speech ; -- speech only + fun + OThis : (k : Kind) -> Click -> Object k ; + OThisKind : (k : Kind) -> Click -> Object k ; + + MInput : Input -> Move ; + SInput : Input -> Speech ; + + MkClick : String -> Click ; } |