2026-09-05 18:43:36 -07:00
|
|
|
external atom Task id "atom:task";
|
|
|
|
|
|
|
|
|
|
package TodoRuntime id "package:todo-runtime" revision "package:todo-runtime@1" {
|
2026-09-05 10:18:09 -07:00
|
|
|
operation complete id "export:todo-runtime:complete" : unit -> string mode call receiver atom Task requires {
|
|
|
|
|
state status id "port:todo-actions:status" : string [read, write];
|
|
|
|
|
};
|
|
|
|
|
operation reopen id "export:todo-runtime:reopen" : unit -> string mode call receiver atom Task requires {
|
|
|
|
|
state status id "port:todo-actions:status" : string [read, write];
|
|
|
|
|
};
|
|
|
|
|
operation archive id "export:todo-runtime:archive" : unit -> string mode call receiver atom Task requires {
|
|
|
|
|
state status id "port:todo-actions:status" : string [read, write];
|
|
|
|
|
};
|
|
|
|
|
operation displayLabelGet id "export:todo-runtime:display-label-get" : unit -> string mode call receiver atom Task requires {
|
|
|
|
|
state title id "port:todo-label:title" : string [read];
|
|
|
|
|
state status id "port:todo-label:status" : string [read];
|
|
|
|
|
state priority id "port:todo-label:priority" : string [read];
|
|
|
|
|
};
|
|
|
|
|
operation displayLabelWatch id "export:todo-runtime:display-label-watch" : unit -> watch-handle mode watch-start emits string receiver atom Task requires {
|
|
|
|
|
state title id "port:todo-label:title" : string [read];
|
|
|
|
|
state status id "port:todo-label:status" : string [read];
|
|
|
|
|
state priority id "port:todo-label:priority" : string [read];
|
|
|
|
|
};
|
|
|
|
|
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 {
|
|
|
|
|
state title id "port:todo-search:title" : string [read];
|
|
|
|
|
state status id "port:todo-search:status" : string [read];
|
|
|
|
|
state priority id "port:todo-search:priority" : string [read];
|
|
|
|
|
state dueDate id "port:todo-search:due-date" : string [read];
|
|
|
|
|
};
|
|
|
|
|
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 {
|
|
|
|
|
state title id "port:todo-search:title" : string [read];
|
|
|
|
|
state status id "port:todo-search:status" : string [read];
|
|
|
|
|
state priority id "port:todo-search:priority" : string [read];
|
|
|
|
|
state dueDate id "port:todo-search:due-date" : string [read];
|
|
|
|
|
};
|
|
|
|
|
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 {
|
|
|
|
|
state title id "port:todo-constructor:title" : string [write];
|
|
|
|
|
};
|
|
|
|
|
}
|