24 lines
1.7 KiB
Plaintext
24 lines
1.7 KiB
Plaintext
package TodoReactRuntime id "package:todo-react-runtime" revision "package:todo-react-runtime@1" {
|
|
constructor createComponent id "export:todo-react-runtime:create-component" constructs TaskReactComponent : atom-ref<Task>;
|
|
operation sourceGet id "export:todo-react-runtime:source-get" : unit -> string mode call receiver atom TaskReactComponent;
|
|
operation propsGet id "export:todo-react-runtime:props-get" : unit -> message "org.quixos.web-studio.ReactProps" mode call receiver atom TaskReactComponent requires {
|
|
edge subject id "port:todo-react:subject" : exactly-one atom Task [resolve];
|
|
state title id "port:todo-react:title" : string [read];
|
|
state status id "port:todo-react:status" : string [read];
|
|
state priority id "port:todo-react:priority" : string [read];
|
|
state notes id "port:todo-react:notes" : string [read];
|
|
state dueDate id "port:todo-react:due-date" : string [read];
|
|
state energy id "port:todo-react:energy" : string [read];
|
|
};
|
|
operation propsWatch id "export:todo-react-runtime:props-watch" : unit -> watch-handle mode watch-start emits message "org.quixos.web-studio.ReactProps" receiver atom TaskReactComponent requires {
|
|
edge subject id "port:todo-react:subject" : exactly-one atom Task [resolve];
|
|
state title id "port:todo-react:title" : string [read];
|
|
state status id "port:todo-react:status" : string [read];
|
|
state priority id "port:todo-react:priority" : string [read];
|
|
state notes id "port:todo-react:notes" : string [read];
|
|
state dueDate id "port:todo-react:due-date" : string [read];
|
|
state energy id "port:todo-react:energy" : string [read];
|
|
};
|
|
operation propsWatchStop id "export:todo-react-runtime:props-watch-stop" : watch-handle -> unit mode watch-stop receiver atom TaskReactComponent;
|
|
}
|