value source id "member:org.quixos.web-studio.react-component:source" : string {
get id "operation:org.quixos.web-studio.react-component:source:get";
}
value props id "member:org.quixos.web-studio.react-component:props" : message "org.quixos.web-studio.ReactProps" {
get id "operation:org.quixos.web-studio.react-component:props:get";
watch start id "operation:org.quixos.web-studio.react-component:props:watch-start" stop id "operation:org.quixos.web-studio.react-component:props:watch-stop";
}
}
interface WebStudioHasReactComponent id "interface:org.quixos.web-studio.has-react-component" revision "interface:org.quixos.web-studio.has-react-component@1" source {
value document id "member:org.quixos.web-studio.searchable:document" : message "org.quixos.web-studio.SearchDocument" {
get id "operation:org.quixos.web-studio.searchable:document:get";
watch start id "operation:org.quixos.web-studio.searchable:document:watch-start" stop id "operation:org.quixos.web-studio.searchable:document:watch-stop";
}
}
package TodoRuntime id "package:todo-runtime" revision "package:todo-runtime@1" source {
constructor createComponent id "export:project-react-runtime:create-component" constructs ProjectReactComponent : atom-ref<Project>;
operation sourceGet id "export:project-react-runtime:source-get" : unit -> string mode call receiver atom ProjectReactComponent;
operation propsGet id "export:project-react-runtime:props-get" : unit -> message "org.quixos.web-studio.ReactProps" mode call receiver atom ProjectReactComponent requires {
edge subject id "port:project-react:subject" : exactly-one atom Project [resolve];
state name id "port:project-react:name" : string [read];
edge tasks id "port:project-react:tasks" : many-unique atom Task [resolve];
};
operation propsWatch id "export:project-react-runtime:props-watch" : unit -> watch-handle mode watch-start emits message "org.quixos.web-studio.ReactProps" receiver atom ProjectReactComponent requires {
edge subject id "port:project-react:subject" : exactly-one atom Project [resolve];
state name id "port:project-react:name" : string [read];
edge tasks id "port:project-react:tasks" : many-unique atom Task [resolve];
};
operation propsWatchStop id "export:project-react-runtime:props-watch-stop" : watch-handle -> unit mode watch-stop receiver atom ProjectReactComponent;
}
package TodoReactRuntime id "package:todo-react-runtime" revision "package:todo-react-runtime@1" source {
state x id "port:web-studio-placement-constructor:x" : double [write];
state y id "port:web-studio-placement-constructor:y" : double [write];
state width id "port:web-studio-placement-constructor:width" : double [write];
state height id "port:web-studio-placement-constructor:height" : double [write];
state z id "port:web-studio-placement-constructor:z" : int32 [write];
edge canvas id "port:web-studio-placement-constructor:canvas" : exactly-one interface WebStudioCanvas [connect];
edge subject id "port:web-studio-placement-constructor:subject" : exactly-one interface WebStudioPlaceable [connect];
};
}
shared state ProjectName id "slot:project:name" on Project : string policy optimistic-register default "Untitled project";
shared state TaskTitle id "slot:task:title" on Task : string policy optimistic-register default "Untitled task";
shared state TaskStatus id "slot:task:status" on Task : string policy optimistic-register default "OPEN";
shared state TaskPriority id "slot:task:priority" on Task : string policy optimistic-register default "NORMAL";
shared state TaskNotes id "slot:task:notes" on Task : string policy crdt(string) default "";
shared state TaskDueDate id "slot:task:due-date" on Task : string policy optimistic-register default "";
shared state TaskEnergy id "slot:task:energy" on Task : string policy optimistic-register default "MEDIUM";
shared state WebStudioCanvasName id "slot:org.quixos.web-studio.canvas:name" on WebStudioCanvas : string policy optimistic-register default "Hearth";
shared state WebStudioPlacementX id "slot:org.quixos.web-studio.canvas-placement:x" on WebStudioCanvasPlacement : double policy optimistic-register default 0;
shared state WebStudioPlacementY id "slot:org.quixos.web-studio.canvas-placement:y" on WebStudioCanvasPlacement : double policy optimistic-register default 0;
shared state WebStudioPlacementWidth id "slot:org.quixos.web-studio.canvas-placement:width" on WebStudioCanvasPlacement : double policy optimistic-register default 420;
shared state WebStudioPlacementHeight id "slot:org.quixos.web-studio.canvas-placement:height" on WebStudioCanvasPlacement : double policy optimistic-register default 320;
shared state WebStudioPlacementZ id "slot:org.quixos.web-studio.canvas-placement:z" on WebStudioCanvasPlacement : int32 policy optimistic-register default 0;
shared edge ProjectTaskEdge id "edge:project:tasks" {
atom Project projection tasks id "projection:project:tasks" many-unique ordered;
atom Task projection project id "projection:task:project" optional-one;
}
shared edge ProjectComponentEdge id "edge:project:web-studio-component" {
atom ProjectReactComponent projection subject id "projection:project-component:subject" exactly-one;
atom Project projection component id "projection:project:component" optional-one;
}
shared edge TaskComponentEdge id "edge:task:web-studio-component" {
atom TaskReactComponent projection subject id "projection:task-component:subject" exactly-one;
atom Task projection component id "projection:task:component" optional-one;
}
shared edge WebStudioCanvasPlacementEdge id "edge:org.quixos.web-studio:canvas-placements" {
atom WebStudioCanvasPlacement projection canvas id "projection:org.quixos.web-studio.canvas-placement:canvas" exactly-one;
interface WebStudioCanvas projection placements id "projection:org.quixos.web-studio.canvas:placements" many-unique ordered;
}
shared edge WebStudioPlacementSubjectEdge id "edge:org.quixos.web-studio:placement-subject" {
atom WebStudioCanvasPlacement projection subject id "projection:org.quixos.web-studio.canvas-placement:subject" exactly-one;
interface WebStudioPlaceable projection placements id "projection:org.quixos.web-studio.placeable:placements" many-unique ordered;
}
conform WebStudioCanvas as WebStudioCanvas {
bind name.get to state WebStudioCanvasName.read;
bind name.set to state WebStudioCanvasName.write;
bind placements.resolve to edge WebStudioCanvasPlacementEdge.placements.resolve;
}
conform WebStudioCanvasPlacement as WebStudioCanvasPlacement {
bind x.get to state WebStudioPlacementX.read;
bind x.set to state WebStudioPlacementX.write;
bind y.get to state WebStudioPlacementY.read;
bind y.set to state WebStudioPlacementY.write;
bind width.get to state WebStudioPlacementWidth.read;
bind width.set to state WebStudioPlacementWidth.write;
bind height.get to state WebStudioPlacementHeight.read;
bind height.set to state WebStudioPlacementHeight.write;
bind z.get to state WebStudioPlacementZ.read;
bind z.set to state WebStudioPlacementZ.write;
bind subject.resolve to edge WebStudioPlacementSubjectEdge.subject.resolve;
bind subject.connect to edge WebStudioPlacementSubjectEdge.subject.connect;
bind subject.disconnect to edge WebStudioPlacementSubjectEdge.subject.disconnect;
bind canvas.resolve to edge WebStudioCanvasPlacementEdge.canvas.resolve;
bind canvas.connect to edge WebStudioCanvasPlacementEdge.canvas.connect;
bind canvas.disconnect to edge WebStudioCanvasPlacementEdge.canvas.disconnect;
}
conform Project as WebStudioCreateable {}
conform Project as WebStudioPlaceable {
bind placements.resolve to edge WebStudioPlacementSubjectEdge.placements.resolve;
}
conform Project as WebStudioSearchable {
bind document.get to package ProjectRuntime.searchDocumentGet with {
name to state ProjectName;
tasks to edge ProjectTaskEdge.tasks;
};
bind document.watch-start to package ProjectRuntime.searchDocumentWatch with {
name to state ProjectName;
tasks to edge ProjectTaskEdge.tasks;
};
bind document.watch-stop to package ProjectRuntime.searchDocumentWatchStop;
}
conform Project as WebStudioHasReactComponent {
bind component.resolve to edge ProjectComponentEdge.component.resolve;
materialize component if absent using constructor ProjectReactComponent via edge ProjectComponentEdge.subject;
}
conform Project as Named {
bind name.get to state ProjectName.read;
bind name.set to state ProjectName.write;
}
conform Project as ProjectTasks {
bind tasks.resolve to edge ProjectTaskEdge.tasks.resolve;
bind tasks.connect to edge ProjectTaskEdge.tasks.connect;
bind tasks.disconnect to edge ProjectTaskEdge.tasks.disconnect;
}
conform Project as ProjectActions {
bind addTask.call to package ProjectRuntime.addTask with {
tasks to edge ProjectTaskEdge.tasks;
task to constructor Task;
};
}
conform Project as TaskCount {
bind count.get to package ProjectRuntime.taskCountGet with {
tasks to edge ProjectTaskEdge.tasks;
};
bind count.watch-start to package ProjectRuntime.taskCountWatch with {
tasks to edge ProjectTaskEdge.tasks;
};
bind count.watch-stop to package ProjectRuntime.taskCountWatchStop;
}
conform ProjectReactComponent as WebStudioReactComponent {
bind source.get to package ProjectReactRuntime.sourceGet;
bind props.get to package ProjectReactRuntime.propsGet with {
subject to edge ProjectComponentEdge.subject;
name to state ProjectName via edge ProjectComponentEdge.subject;
tasks to edge ProjectTaskEdge.tasks via edge ProjectComponentEdge.subject;
};
bind props.watch-start to package ProjectReactRuntime.propsWatch with {
subject to edge ProjectComponentEdge.subject;
name to state ProjectName via edge ProjectComponentEdge.subject;
tasks to edge ProjectTaskEdge.tasks via edge ProjectComponentEdge.subject;
};
bind props.watch-stop to package ProjectReactRuntime.propsWatchStop;
}
conform Task as WebStudioHasReactComponent {
bind component.resolve to edge TaskComponentEdge.component.resolve;
materialize component if absent using constructor TaskReactComponent via edge TaskComponentEdge.subject;
}
conform Task as WebStudioPlaceable {
bind placements.resolve to edge WebStudioPlacementSubjectEdge.placements.resolve;
}
conform Task as WebStudioSearchable {
bind document.get to package TodoRuntime.searchDocumentGet with {
title to state TaskTitle;
status to state TaskStatus;
priority to state TaskPriority;
dueDate to state TaskDueDate;
};
bind document.watch-start to package TodoRuntime.searchDocumentWatch with {
title to state TaskTitle;
status to state TaskStatus;
priority to state TaskPriority;
dueDate to state TaskDueDate;
};
bind document.watch-stop to package TodoRuntime.searchDocumentWatchStop;
}
conform Task as TaskData {
bind title.get to state TaskTitle.read;
bind title.set to state TaskTitle.write;
bind status.get to state TaskStatus.read;
bind status.set to state TaskStatus.write;
bind priority.get to state TaskPriority.read;
bind priority.set to state TaskPriority.write;
bind notes.get to state TaskNotes.read;
bind notes.set to state TaskNotes.write;
bind dueDate.get to state TaskDueDate.read;
bind dueDate.set to state TaskDueDate.write;
bind energy.get to state TaskEnergy.read;
bind energy.set to state TaskEnergy.write;
}
conform Task as TaskActions {
bind complete.call to package TodoRuntime.complete with {
status to state TaskStatus;
};
bind reopen.call to package TodoRuntime.reopen with {
status to state TaskStatus;
};
bind archive.call to package TodoRuntime.archive with {
status to state TaskStatus;
};
}
conform Task as DisplayLabel {
bind label.get to package TodoRuntime.displayLabelGet with {
title to state TaskTitle;
status to state TaskStatus;
priority to state TaskPriority;
};
bind label.watch-start to package TodoRuntime.displayLabelWatch with {
title to state TaskTitle;
status to state TaskStatus;
priority to state TaskPriority;
};
bind label.watch-stop to package TodoRuntime.displayLabelWatchStop;
}
conform TaskReactComponent as WebStudioReactComponent {
bind source.get to package TodoReactRuntime.sourceGet;
bind props.get to package TodoReactRuntime.propsGet with {
subject to edge TaskComponentEdge.subject;
title to state TaskTitle via edge TaskComponentEdge.subject;
status to state TaskStatus via edge TaskComponentEdge.subject;
priority to state TaskPriority via edge TaskComponentEdge.subject;
notes to state TaskNotes via edge TaskComponentEdge.subject;
dueDate to state TaskDueDate via edge TaskComponentEdge.subject;
energy to state TaskEnergy via edge TaskComponentEdge.subject;
};
bind props.watch-start to package TodoReactRuntime.propsWatch with {
subject to edge TaskComponentEdge.subject;
title to state TaskTitle via edge TaskComponentEdge.subject;
status to state TaskStatus via edge TaskComponentEdge.subject;
priority to state TaskPriority via edge TaskComponentEdge.subject;
notes to state TaskNotes via edge TaskComponentEdge.subject;
dueDate to state TaskDueDate via edge TaskComponentEdge.subject;
energy to state TaskEnergy via edge TaskComponentEdge.subject;
};
bind props.watch-stop to package TodoReactRuntime.propsWatchStop;
}
constructor Project to ProjectRuntime.createProject;
constructor Task to TodoRuntime.createTask with {
title to state TaskTitle;
};
constructor ProjectReactComponent to ProjectReactRuntime.createComponent;
constructor TaskReactComponent to TodoReactRuntime.createComponent;
constructor WebStudioCanvas to WebStudioCanvasRuntime.createCanvas;
constructor WebStudioCanvasPlacement to WebStudioCanvasRuntime.createPlacement with {
x to state WebStudioPlacementX;
y to state WebStudioPlacementY;
width to state WebStudioPlacementWidth;
height to state WebStudioPlacementHeight;
z to state WebStudioPlacementZ;
canvas to edge WebStudioCanvasPlacementEdge.canvas;
subject to edge WebStudioPlacementSubjectEdge.subject;
