diff options
| author | Camil Staps | 2016-06-30 21:04:54 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-30 21:04:54 +0200 |
| commit | 344a53260664c83c05e2a82ebe76110d1548b02b (patch) | |
| tree | 0a249b4accca4fe05ba32844270c0efc194fcd19 /GraphStore.dcl | |
| parent | A,B,C-stacks (diff) | |
GraphStore, Nodes
Diffstat (limited to 'GraphStore.dcl')
| -rw-r--r-- | GraphStore.dcl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/GraphStore.dcl b/GraphStore.dcl new file mode 100644 index 0000000..5095a78 --- /dev/null +++ b/GraphStore.dcl @@ -0,0 +1,11 @@ +definition module ABC.GraphStore + +from ABC.Def import ::NodeId +from ABC.Nodes import ::Node + +:: GraphStore + +gs_get :: NodeId GraphStore -> Node +gs_init :: GraphStore +gs_newnode :: GraphStore -> (GraphStore, NodeId) +gs_update :: NodeId (Node -> Node) GraphStore -> GraphStore |