mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-11-10 10:05:09 +03:00
graph-view: delete for now
This commit is contained in:
Logan Allen
parent
4cd093df1a
commit
80d67c2f16
@ -8,17 +8,19 @@
|
||||
$% state-0
|
||||
state-1
|
||||
state-2
|
||||
state-3
|
||||
==
|
||||
::
|
||||
+$ state-0 [%0 =inbox:store]
|
||||
+$ state-1 [%1 =inbox:store]
|
||||
+$ state-2 [%2 =inbox:store]
|
||||
+$ state-3 [%3 =inbox:store]
|
||||
+$ admin-action
|
||||
$% [%trim ~]
|
||||
==
|
||||
--
|
||||
::
|
||||
=| state-2
|
||||
=| state-3
|
||||
=* state -
|
||||
::
|
||||
%- agent:dbug
|
||||
@ -39,11 +41,34 @@
|
||||
^- (quip card _this)
|
||||
|^
|
||||
=/ old !<(versioned-state old-vase)
|
||||
=? old ?=(%0 -.old)
|
||||
(old-to-2 inbox.old)
|
||||
=? old ?=(%1 -.old)
|
||||
(old-to-2 inbox.old)
|
||||
[~ this(state [%2 inbox.old])]
|
||||
=| cards=(list card)
|
||||
|-
|
||||
^- (quip card _this)
|
||||
?- -.old
|
||||
%3 [cards this(state old)]
|
||||
::
|
||||
%2
|
||||
=/ =inbox:store
|
||||
(migrate-path-map:group-store inbox.old)
|
||||
=/ kick-paths
|
||||
%~ tap in
|
||||
%+ roll
|
||||
~(val by sup.bowl)
|
||||
|= [[=ship sub=path] subs=(set path)]
|
||||
^- (set path)
|
||||
?. ?=([@ @ *] sub)
|
||||
subs
|
||||
?. &(=(%mailbox i.sub) =('~' i.t.sub))
|
||||
subs
|
||||
(~(put in subs) sub)
|
||||
=? cards ?=(^ kick-paths)
|
||||
:_ cards
|
||||
[%give %kick kick-paths ~]
|
||||
$(old [%3 inbox.old])
|
||||
::
|
||||
?(%0 %1) $(old (old-to-2 inbox.old))
|
||||
::
|
||||
==
|
||||
::
|
||||
++ old-to-2
|
||||
|= =inbox:store
|
||||
|
||||
@ -1,368 +0,0 @@
|
||||
/+ view=graph-view
|
||||
/+ store=graph-store
|
||||
/+ sigs=signatures
|
||||
/+ graph
|
||||
/+ default-agent
|
||||
/+ dbug
|
||||
~% %graph-view-top ..is ~
|
||||
|%
|
||||
+$ card card:agent:gall
|
||||
+$ versioned-state
|
||||
$% state-0
|
||||
==
|
||||
::
|
||||
+$ state-0
|
||||
$: %0
|
||||
connections=(map atom:store time)
|
||||
==
|
||||
--
|
||||
::
|
||||
=| state-0
|
||||
=* state -
|
||||
::
|
||||
%- agent:dbug
|
||||
^- agent:gall
|
||||
~% %graph-view-agent ..card ~
|
||||
|_ =bowl:gall
|
||||
+* this .
|
||||
def ~(. (default-agent this %|) bowl)
|
||||
gra ~(. graph bowl)
|
||||
::
|
||||
++ on-init
|
||||
^- (quip card _this)
|
||||
:_ this
|
||||
:~ [%pass /updates %agent [our.bowl %graph-store] %watch /updates]
|
||||
:* %pass /serve %agent [our.bowl %file-server]
|
||||
%poke %file-server-action
|
||||
!>([%serve-dir /'~post' /app/landscape %.n])
|
||||
==
|
||||
:* %pass /launch %agent [our.bowl %launch]
|
||||
%poke %launch-action
|
||||
!> :+ %add %post
|
||||
[[%basic 'Post' '/~landscape/img/Post.png' '/~post'] %.y]
|
||||
==
|
||||
==
|
||||
::
|
||||
++ on-watch
|
||||
~/ %graph-view-watch
|
||||
|= =path
|
||||
^- (quip card _this)
|
||||
?> (team:title our.bowl src.bowl)
|
||||
?+ path (on-watch:def path)
|
||||
[%updates @ ~]
|
||||
:- [%give %fact ~ %json !>([(frond:enjs:format %graph-view s+'bound')])]~
|
||||
this(connections (~(put by connections) (slav %ud i.t.path) now.bowl))
|
||||
==
|
||||
::
|
||||
++ on-agent
|
||||
|= [=wire =sign:agent:gall]
|
||||
^- (quip card _this)
|
||||
|^
|
||||
?+ -.sign (on-agent:def wire sign)
|
||||
%kick
|
||||
:_ this
|
||||
[%pass /updates %agent [our.bowl %graph-store] %watch /updates]~
|
||||
::
|
||||
%fact
|
||||
?+ p.cage.sign (on-agent:def wire sign)
|
||||
%graph-update
|
||||
:_ this
|
||||
%+ give
|
||||
%+ turn ~(tap by connections)
|
||||
|= [=atom:store *]
|
||||
^- path
|
||||
/updates/(scot %ud atom)
|
||||
cage.sign
|
||||
==
|
||||
==
|
||||
::
|
||||
++ give
|
||||
|= [paths=(list path) =cage]
|
||||
^- (list card)
|
||||
[%give %fact paths cage]~
|
||||
--
|
||||
::
|
||||
++ on-poke
|
||||
~/ %graph-view-poke
|
||||
|= [=mark =vase]
|
||||
^- (quip card _this)
|
||||
|^
|
||||
?> (team:title our.bowl src.bowl)
|
||||
=^ cards state
|
||||
?+ mark (on-poke:def mark vase)
|
||||
%graph-update (update !<(update:store vase))
|
||||
%json (update (update:dejs:store !<(json vase)))
|
||||
%graph-view-action (view-action !<(action:view vase))
|
||||
==
|
||||
[cards this]
|
||||
::
|
||||
++ update
|
||||
|= =update:store
|
||||
^- (quip card _state)
|
||||
|^
|
||||
:: TODO: decide who to send it to based on resource
|
||||
::
|
||||
?> ?=(%0 -.update)
|
||||
:_ state
|
||||
?+ -.q.update [(poke-store q.update) ~]
|
||||
%add-nodes (add-nodes +.q.update)
|
||||
%add-signatures (add-signatures +.q.update)
|
||||
==
|
||||
::
|
||||
++ add-nodes
|
||||
|= [=resource:store nodes=(map index:store node:store)]
|
||||
^- (list card)
|
||||
:_ ~
|
||||
%- poke-store
|
||||
:+ %add-nodes
|
||||
resource
|
||||
(sign-nodes resource nodes)
|
||||
::
|
||||
++ add-signatures
|
||||
|= [=uid:store =signatures:store]
|
||||
^- (list card)
|
||||
:_ ~
|
||||
%- poke-store
|
||||
:+ %add-signatures
|
||||
uid
|
||||
=* resource resource.uid
|
||||
=* index index.uid
|
||||
=* ship entity.resource.uid
|
||||
=* name name.resource.uid
|
||||
%- ~(gas in *signatures:store)
|
||||
:_ ~
|
||||
-:(sign-node resource (scry-for-node ship name index))
|
||||
::
|
||||
++ sign-nodes
|
||||
|= [=resource:store nodes=(map index:store node:store)]
|
||||
^- (map index:store node:store)
|
||||
%- ~(run by nodes)
|
||||
|= =node:store
|
||||
^- node:store
|
||||
+:(sign-node resource node)
|
||||
::
|
||||
++ sign-node
|
||||
|= [=resource:store =node:store]
|
||||
^- [signature:store node:store]
|
||||
=* p post.node
|
||||
=* ship entity.resource
|
||||
=* name name.resource
|
||||
=/ parent-hash (scry-for-parent-hash ship name index.p)
|
||||
=/ =validated-portion:store
|
||||
[parent-hash author.p index.p time-sent.p contents.p]
|
||||
=/ =hash:store (mug validated-portion)
|
||||
=/ =signature:store (sign:sigs our.bowl now.bowl hash)
|
||||
:- signature
|
||||
%_ node
|
||||
hash.post `hash
|
||||
signatures.post
|
||||
%- ~(uni in signatures.post.node)
|
||||
(~(gas in *signatures:store) [signature]~)
|
||||
==
|
||||
::
|
||||
++ scry-for-node
|
||||
|= [=ship =term =index:store]
|
||||
^- node:store
|
||||
%+ scry-for:gra node:store
|
||||
%+ weld
|
||||
/node/(scot %p ship)/[term]
|
||||
(index-to-path index)
|
||||
::
|
||||
++ scry-for-parent-hash
|
||||
|= [=ship =term =index:store]
|
||||
^- (unit hash:store)
|
||||
?~ index ~
|
||||
?~ t.index ~
|
||||
=/ lngth=@ (dec (lent index))
|
||||
=/ ind=index:store `(list atom)`(scag lngth `(list atom)`index)
|
||||
=/ parent=node:store
|
||||
%+ scry-for:gra node:store
|
||||
%+ weld
|
||||
/node/(scot %p ship)/[term]
|
||||
(index-to-path ind)
|
||||
hash.post.parent
|
||||
::
|
||||
++ index-to-path
|
||||
|= =index:store
|
||||
^- path
|
||||
%+ turn index
|
||||
|= i=atom:store
|
||||
(scot %ud i)
|
||||
::
|
||||
++ poke-store
|
||||
|= =update-0:store
|
||||
^- card
|
||||
:* %pass
|
||||
/(scot %da now.bowl)
|
||||
%agent
|
||||
[our.bowl %graph-store]
|
||||
%poke
|
||||
[%graph-update !>([%0 now.bowl update-0])]
|
||||
==
|
||||
--
|
||||
::
|
||||
++ view-action
|
||||
|= =action:view
|
||||
^- (quip card _state)
|
||||
?- -.action
|
||||
%fetch (fetch +.action)
|
||||
==
|
||||
::
|
||||
++ fetch
|
||||
|= [con=atom:store typ=query-type:view]
|
||||
^- (quip card _state)
|
||||
?- -.typ
|
||||
%all
|
||||
=/ keys (scry-for:gra resources:store /keys)
|
||||
:_ state
|
||||
:- (give con [%graph-update !>([%0 now.bowl [%keys keys]])])
|
||||
%+ turn ~(tap in keys)
|
||||
|= [=ship =term]
|
||||
(give con [%graph-update !>((add-graph ship term))])
|
||||
::
|
||||
%keys
|
||||
:_ state
|
||||
:_ ~
|
||||
%+ give con
|
||||
:- %graph-update
|
||||
!>([%0 now.bowl [%keys (scry-for:gra resources:store /keys)]])
|
||||
::
|
||||
%tags
|
||||
:_ state
|
||||
:_ ~
|
||||
%+ give con
|
||||
:- %graph-update
|
||||
!>([%0 now.bowl [%tags (scry-for:gra (set term) /tags)]])
|
||||
::
|
||||
%tag-queries
|
||||
:_ state
|
||||
:_ ~
|
||||
%+ give con
|
||||
:- %graph-update
|
||||
!>
|
||||
[%0 now.bowl [%tag-queries (scry-for:gra tag-queries:store /tag-queries)]]
|
||||
::
|
||||
%graph
|
||||
:_ state
|
||||
:_ ~
|
||||
(give con [%graph-update !>((add-graph resource.typ))])
|
||||
::
|
||||
%graph-subset
|
||||
:_ state
|
||||
:_ ~
|
||||
%+ give con
|
||||
:- %graph-view-update
|
||||
!>((graph-subset resource.typ start.typ end.typ))
|
||||
::
|
||||
%node
|
||||
:_ state
|
||||
:_ ~
|
||||
%+ give con
|
||||
[%graph-view-update !>((node resource.typ index.typ))]
|
||||
::
|
||||
%post
|
||||
:_ state
|
||||
:_ ~
|
||||
%+ give con
|
||||
[%graph-view-update !>((post resource.typ index.typ))]
|
||||
::
|
||||
%node-children
|
||||
:_ state
|
||||
:_ ~
|
||||
%+ give con
|
||||
[%graph-view-update !>((node-children resource.typ index.typ))]
|
||||
::
|
||||
%node-children-subset
|
||||
:_ state
|
||||
:_ ~
|
||||
%+ give con
|
||||
:- %graph-view-update
|
||||
!>((node-children-subset resource.typ start.typ end.typ index.typ))
|
||||
==
|
||||
::
|
||||
++ add-graph
|
||||
|= [=ship =term]
|
||||
^- update:store
|
||||
:- %0
|
||||
:- now.bowl
|
||||
:+ %add-graph
|
||||
[ship term]
|
||||
[(scry-for:gra graph:store /graph/(scot %p ship)/[term]) ~]
|
||||
::
|
||||
++ graph-subset
|
||||
|= [res=resource:store start=(unit atom:store) end=(unit atom:store)]
|
||||
^- update:view
|
||||
=/ st ?~(start %'~' (scot %ud u.start))
|
||||
=/ en ?~(end %'~' (scot %ud u.end))
|
||||
:- %0
|
||||
:* %graph-subset
|
||||
res
|
||||
start
|
||||
end
|
||||
%+ scry-for:gra graph:store
|
||||
/graph-subset/(scot %p entity.res)/[name.res]/[st]/[en]
|
||||
==
|
||||
::
|
||||
++ node
|
||||
|= [res=resource:store =index:store]
|
||||
^- update:view
|
||||
:- %0
|
||||
:* %node
|
||||
res
|
||||
index
|
||||
%+ scry-for:gra node:store
|
||||
%+ weld /node/(scot %p entity.res)/[name.res]
|
||||
(turn index |=(=atom:store (scot %ud atom)))
|
||||
==
|
||||
::
|
||||
++ post
|
||||
|= [res=resource:store =index:store]
|
||||
^- update:view
|
||||
:- %0
|
||||
:* %post
|
||||
res
|
||||
index
|
||||
%+ scry-for:gra post:store
|
||||
%+ weld /post/(scot %p entity.res)/[name.res]
|
||||
(turn index |=(=atom:store (scot %ud atom)))
|
||||
==
|
||||
::
|
||||
++ node-children
|
||||
|= [res=resource:store =index:store]
|
||||
^- update:view
|
||||
:- %0
|
||||
:* %node-children
|
||||
res
|
||||
index
|
||||
%+ scry-for:gra graph:store
|
||||
%+ weld /node-children/(scot %p entity.res)/[name.res]
|
||||
(turn index |=(=atom:store (scot %ud atom)))
|
||||
==
|
||||
::
|
||||
++ node-children-subset
|
||||
|= [res=resource:store start=(unit atom) end=(unit atom) =index:store]
|
||||
^- update:view
|
||||
:- %0
|
||||
:* %node-children-subset
|
||||
res
|
||||
start
|
||||
end
|
||||
index
|
||||
%+ scry-for:gra graph:store
|
||||
%+ weld /node-children-subset/(scot %p entity.res)/[name.res]
|
||||
(turn index |=(=atom:store (scot %ud atom)))
|
||||
==
|
||||
::
|
||||
++ give
|
||||
|= [conn=atom:store =cage]
|
||||
^- card
|
||||
[%give %fact [/updates/(scot %ud conn)]~ cage]
|
||||
--
|
||||
::
|
||||
++ on-save !>(state)
|
||||
++ on-load on-load:def
|
||||
++ on-arvo on-arvo:def
|
||||
++ on-leave on-leave:def
|
||||
++ on-peek on-peek:def
|
||||
++ on-fail on-fail:def
|
||||
--
|
||||
@ -1,94 +0,0 @@
|
||||
/- sur=graph-view
|
||||
/+ res=resource
|
||||
^?
|
||||
=< [sur .]
|
||||
=, sur
|
||||
|%
|
||||
++ enjs
|
||||
=, enjs:format
|
||||
|%
|
||||
++ update
|
||||
|= upd=^update
|
||||
^- json
|
||||
?> ?=(%0 -.upd)
|
||||
|^ (frond %graph-view-update (pairs ~[(encode +.upd)]))
|
||||
::
|
||||
++ encode
|
||||
|= upd=update-0
|
||||
^- [cord json]
|
||||
?- -.upd
|
||||
%graph-subset
|
||||
[%graph-subset ~]
|
||||
::
|
||||
%node
|
||||
[%node ~]
|
||||
::
|
||||
%post
|
||||
[%post ~]
|
||||
::
|
||||
%node-children
|
||||
[%node-children ~]
|
||||
::
|
||||
%node-children-subset
|
||||
[%node-children-subset ~]
|
||||
==
|
||||
--
|
||||
--
|
||||
::
|
||||
++ dejs
|
||||
=, dejs:format
|
||||
|%
|
||||
++ action
|
||||
|= jon=json
|
||||
^- ^action
|
||||
=< (decode jon)
|
||||
|%
|
||||
++ decode
|
||||
%- of
|
||||
:~ [%fetch fetch]
|
||||
==
|
||||
::
|
||||
++ fetch
|
||||
%- ot
|
||||
:~ [%connection ni]
|
||||
[%type query-type]
|
||||
==
|
||||
::
|
||||
++ query-type
|
||||
%- of
|
||||
:~ [%all ul]
|
||||
[%keys ul]
|
||||
[%tags ul]
|
||||
[%tag-queries ul]
|
||||
[%graph dejs:res]
|
||||
[%graph-subset graph-subset]
|
||||
[%node node]
|
||||
[%post node]
|
||||
[%node-children node]
|
||||
[%node-children-subset node-children-subset]
|
||||
==
|
||||
::
|
||||
++ index (su ;~(pfix net (more net dem)))
|
||||
++ graph-subset
|
||||
%- ot
|
||||
:~ [%resource dejs:res]
|
||||
[%start (mu ni)]
|
||||
[%end (mu ni)]
|
||||
==
|
||||
::
|
||||
++ node
|
||||
%- ot
|
||||
:~ [%resource dejs:res]
|
||||
[%index index]
|
||||
==
|
||||
::
|
||||
++ node-children-subset
|
||||
%- ot
|
||||
:~ [%resource dejs:res]
|
||||
[%start (mu ni)]
|
||||
[%end (mu ni)]
|
||||
[%index index]
|
||||
==
|
||||
--
|
||||
--
|
||||
--
|
||||
@ -104,7 +104,6 @@
|
||||
%s3-store
|
||||
%file-server
|
||||
%graph-store
|
||||
%graph-view
|
||||
%graph-push-hook
|
||||
%graph-pull-hook
|
||||
==
|
||||
|
||||
@ -1,8 +0,0 @@
|
||||
/+ *graph-view
|
||||
|_ act=action
|
||||
++ grab
|
||||
|%
|
||||
++ noun action
|
||||
++ json action:dejs
|
||||
--
|
||||
--
|
||||
@ -1,12 +0,0 @@
|
||||
/+ *graph-view
|
||||
|_ upd=update
|
||||
++ grow
|
||||
|%
|
||||
++ json (update:enjs upd)
|
||||
--
|
||||
::
|
||||
++ grab
|
||||
|%
|
||||
++ noun update
|
||||
--
|
||||
--
|
||||
@ -1,37 +0,0 @@
|
||||
/- *graph-store, *post
|
||||
|%
|
||||
+$ query-type
|
||||
$% [%all ~]
|
||||
[%keys ~]
|
||||
[%tags ~]
|
||||
[%tag-queries ~]
|
||||
[%graph =resource]
|
||||
[%graph-subset =resource start=(unit atom) end=(unit atom)]
|
||||
[%node =resource =index]
|
||||
[%post =resource =index]
|
||||
[%node-children =resource =index]
|
||||
[%node-children-subset =resource start=(unit atom) end=(unit atom) =index]
|
||||
==
|
||||
::
|
||||
+$ action
|
||||
$% [%fetch connection=@ type=query-type]
|
||||
==
|
||||
::
|
||||
+$ update
|
||||
$% [%0 update-0]
|
||||
==
|
||||
::
|
||||
+$ update-0
|
||||
$% [%graph-subset =resource start=(unit atom) end=(unit atom) =graph]
|
||||
[%node =resource =index =node]
|
||||
[%post =resource =index =post]
|
||||
[%node-children =resource =index =graph]
|
||||
$: %node-children-subset
|
||||
=resource
|
||||
start=(unit atom)
|
||||
end=(unit atom)
|
||||
=index
|
||||
=graph
|
||||
==
|
||||
==
|
||||
--
|
||||
Loading…
Reference in New Issue
Block a user