16 lines
1.1 KiB
Plaintext
16 lines
1.1 KiB
Plaintext
|
import interface TaskData;
|
||
|
|
external atom TaskReactComponent id "atom:task-react-component";
|
||
|
|
external atom Task id "atom:task";
|
||
|
|
|
||
|
|
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 {
|
||
|
|
interface data id "port:todo-react-runtime:data" : TaskData;
|
||
|
|
};
|
||
|
|
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 {
|
||
|
|
interface data id "port:todo-react-runtime:data" : TaskData;
|
||
|
|
};
|
||
|
|
operation propsWatchStop id "export:todo-react-runtime:props-watch-stop" : watch-handle -> unit mode watch-stop receiver atom TaskReactComponent;
|
||
|
|
}
|