32 lines
2.0 KiB
Plaintext
32 lines
2.0 KiB
Plaintext
import interface TaskData;
|
|
external atom Task id "atom:task";
|
|
|
|
package TodoRuntime id "package:todo-runtime" revision "package:todo-runtime@1" {
|
|
operation complete id "export:todo-runtime:complete" : unit -> string mode call receiver atom Task requires {
|
|
interface data id "port:todo-runtime:data" : TaskData;
|
|
};
|
|
operation reopen id "export:todo-runtime:reopen" : unit -> string mode call receiver atom Task requires {
|
|
interface data id "port:todo-runtime:data" : TaskData;
|
|
};
|
|
operation archive id "export:todo-runtime:archive" : unit -> string mode call receiver atom Task requires {
|
|
interface data id "port:todo-runtime:data" : TaskData;
|
|
};
|
|
operation displayLabelGet id "export:todo-runtime:display-label-get" : unit -> string mode call receiver atom Task requires {
|
|
interface data id "port:todo-runtime:data" : TaskData;
|
|
};
|
|
operation displayLabelWatch id "export:todo-runtime:display-label-watch" : unit -> watch-handle mode watch-start emits string receiver atom Task requires {
|
|
interface data id "port:todo-runtime:data" : TaskData;
|
|
};
|
|
operation displayLabelWatchStop id "export:todo-runtime:display-label-watch-stop" : watch-handle -> unit mode watch-stop receiver atom Task;
|
|
operation searchDocumentGet id "export:todo-runtime:search-document-get" : unit -> message "org.quixos.web-studio.SearchDocument" mode call receiver atom Task requires {
|
|
interface data id "port:todo-runtime:data" : TaskData;
|
|
};
|
|
operation searchDocumentWatch id "export:todo-runtime:search-document-watch" : unit -> watch-handle mode watch-start emits message "org.quixos.web-studio.SearchDocument" receiver atom Task requires {
|
|
interface data id "port:todo-runtime:data" : TaskData;
|
|
};
|
|
operation searchDocumentWatchStop id "export:todo-runtime:search-document-watch-stop" : watch-handle -> unit mode watch-stop receiver atom Task;
|
|
constructor createTask id "export:todo-runtime:create-task" constructs Task : string requires {
|
|
interface data id "port:todo-runtime:data" : TaskData;
|
|
};
|
|
}
|