urbit/pkg/arvo/sur/graph-store.hoon

/-  *post
|%
+$  graph         ((mop atom node) gth)
+$  marked-graph  [p=graph q=(unit mark)]
::
+$  node          [=post children=internal-graph]
+$  graphs        (map resource marked-graph)
::
+$  tag-queries   (jug term resource)
::
+$  update-log    ((mop time logged-update) gth)
+$  update-logs   (map resource update-log)
::
+$  internal-graph
  $~  [%empty ~]
  $%  [%graph p=graph]
      [%empty ~]
  ==
::
+$  network
  $:  =graphs
      =tag-queries
      =update-logs
      archive=graphs
      validators=(set mark)
  ==
::
+$  update
  $%  [%0 p=time q=update-0]
  ==
::
+$  logged-update
  $%  [%0 p=time q=logged-update-0]
  ==
::
+$  logged-update-0
  $%  [%add-nodes =resource nodes=(map index node)]
      [%remove-nodes =resource indices=(set index)]
      [%add-signatures =uid =signatures]
      [%remove-signatures =uid =signatures]
  ==
::
+$  update-0
  $%  logged-update-0
      [%add-graph =resource =graph mark=(unit mark)]
      [%remove-graph =resource]
    ::
      [%add-tag =term =resource]
      [%remove-tag =term =resource]
    ::
      [%archive-graph =resource]
      [%unarchive-graph =resource]
      [%run-updates =resource =update-log]
    ::
    ::  NOTE: cannot be sent as pokes
    ::
      [%keys =resources]
      [%tags tags=(set term)]
      [%tag-queries =tag-queries]
  ==
--
graph-store: structure compiles 2020-06-02 00:07:31 +03:00			`/- *post`
			`\|%`
graph: improved type naming 2020-07-07 03:02:15 +03:00			`+$ graph ((mop atom node) gth)`
			`+$ marked-graph [p=graph q=(unit mark)]`
			`::`
			`+$ node [=post children=internal-graph]`
			`+$ graphs (map resource marked-graph)`
			`::`
			`+$ tag-queries (jug term resource)`
			`::`
			`+$ update-log ((mop time logged-update) gth)`
			`+$ update-logs (map resource update-log)`
graph-store: wrote basic queries 2020-06-12 21:02:52 +03:00			`::`
graph-store: cleaned up structures 2020-06-02 22:44:22 +03:00			`+$ internal-graph`
graph-store: add-nodes compiles 2020-06-05 23:11:04 +03:00			`$~ [%empty ~]`
graph-store: added %add-signatures, action-log, stubbed signature verification 2020-06-09 00:44:51 +03:00			`$% [%graph p=graph]`
graph-store: add-nodes compiles 2020-06-05 23:11:04 +03:00			`[%empty ~]`
graph-store: structure compiles 2020-06-02 00:07:31 +03:00			`==`
graph-store: cleaned up structures 2020-06-02 22:44:22 +03:00			`::`
graph-store+view: added a variety of query types for subset fetching, individual post fetching, child fetching, etc 2020-06-26 21:38:11 +03:00			`+$ network`
			`$: =graphs`
			`=tag-queries`
graph-store: updated action-log to update-log and added timestamp to +update 2020-06-30 04:14:55 +03:00			`=update-logs`
graph-store+view: added a variety of query types for subset fetching, individual post fetching, child fetching, etc 2020-06-26 21:38:11 +03:00			`archive=graphs`
graph-store: respond to phil's comments, request %next for clay, and compare +tear to hash 2020-07-31 00:43:40 +03:00			`validators=(set mark)`
graph-store+view: added a variety of query types for subset fetching, individual post fetching, child fetching, etc 2020-06-26 21:38:11 +03:00			`==`
graph-store: added %add-signatures, action-log, stubbed signature verification 2020-06-09 00:44:51 +03:00			`::`
graph-store+view: added a variety of query types for subset fetching, individual post fetching, child fetching, etc 2020-06-26 21:38:11 +03:00			`+$ update`
graph-store: updated action-log to update-log and added timestamp to +update 2020-06-30 04:14:55 +03:00			`$% [%0 p=time q=update-0]`
graph-store: added %add-signatures, action-log, stubbed signature verification 2020-06-09 00:44:51 +03:00			`==`
			`::`
graph-store: enforce that only logged-updates may be sent via %run-updates, and enforce that they only affect the intended resource 2020-06-30 21:08:22 +03:00			`+$ logged-update`
			`$% [%0 p=time q=logged-update-0]`
			`==`
			`::`
			`+$ logged-update-0`
			`$% [%add-nodes =resource nodes=(map index node)]`
wip: all JSON decoders but %add-graph work 2020-06-12 20:27:43 +03:00			`[%remove-nodes =resource indices=(set index)]`
graph-store: structure compiles 2020-06-02 00:07:31 +03:00			`[%add-signatures =uid =signatures]`
			`[%remove-signatures =uid =signatures]`
graph-store: enforce that only logged-updates may be sent via %run-updates, and enforce that they only affect the intended resource 2020-06-30 21:08:22 +03:00			`==`
			`::`
			`+$ update-0`
			`$% logged-update-0`
graph: hooks compile and higher-order mark implementation first-pass 2020-07-07 02:31:57 +03:00			`[%add-graph =resource =graph mark=(unit mark)]`
graph-store: enforce that only logged-updates may be sent via %run-updates, and enforce that they only affect the intended resource 2020-06-30 21:08:22 +03:00			`[%remove-graph =resource]`
graph-store: structure compiles 2020-06-02 00:07:31 +03:00			`::`
graph-store: added %add-signatures, action-log, stubbed signature verification 2020-06-09 00:44:51 +03:00			`[%add-tag =term =resource]`
			`[%remove-tag =term =resource]`
graph-store: added archiving functionality 2020-06-23 20:53:50 +03:00			`::`
			`[%archive-graph =resource]`
			`[%unarchive-graph =resource]`
graph-store: updated action-log to update-log and added timestamp to +update 2020-06-30 04:14:55 +03:00			`[%run-updates =resource =update-log]`
graph-store+view: added a variety of query types for subset fetching, individual post fetching, child fetching, etc 2020-06-26 21:38:11 +03:00			`::`
			`:: NOTE: cannot be sent as pokes`
			`::`
			`[%keys =resources]`
			`[%tags tags=(set term)]`
			`[%tag-queries =tag-queries]`
graph-store: structure compiles 2020-06-02 00:07:31 +03:00			`==`
			`--`