Skip to content

Instantly share code, notes, and snippets.

@okram
Created Oct 13, 2020
Embed
What would you like to do?
(nat;attr);(nat;attr) => edge
((nat;attr);(nat;attr)),
(vertex;vertex),
[combine,(vertex<=(nat;attr)[split,('id'->nat<=(nat;attr)[get,0,_],
'attrs'->attr<=(nat;attr)[get,1,_])];
vertex<=(nat;attr)[split,('id'->nat<=(nat;attr)[get,0,_],
'attrs'->attr<=(nat;attr)[get,1,_])])],
[split,('outV'->vertex<=(vertex;vertex)[get,0,_],
'inV'->vertex<=(vertex;vertex)[get,1,_])],
edge<=(vertex;vertex)
[split,('outV'->vertex<=(vertex;vertex)[get,0,_],
'inV'->vertex<=(vertex;vertex)[get,1,_])]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment