Node as value

TODO.md

@@ -1,3 +1,8 @@
+`Node` as word
+`Ports` as builtin
+remove syntax of rearrange
+update docs about using `@ports` to do rearrange
+
 `(cons)` -- unconnected node as value -- redesign syntax of rearrange
 
 ```

src/lang/net/addNode.ts

@@ -14,7 +14,13 @@ export function addNode(
 ): Node {
   const id = createNodeId(mod, name)
 
-  const node: Node = { id, url: mod.url, name }
+  const node: Node = {
+    "@type": "Value",
+    "@kind": "Node",
+    id,
+    url: mod.url,
+    name,
+  }
 
   const ports: PortRecord = {}
   net.nodeEntries.set(nodeKey(node), { id, url: mod.url, name, ports })

src/lang/net/createNodeFromNodeEntry.ts

@@ -3,6 +3,8 @@ import { NodeEntry } from "./Net"
 
 export function createNodeFromNodeEntry(nodeEntry: NodeEntry): Node {
   return {
+    "@type": "Value",
+    "@kind": "Node",
     id: nodeEntry.id,
     name: nodeEntry.name,
     url: nodeEntry.url,

src/lang/node/Node.ts

@@ -1,4 +1,6 @@
 export type Node = {
+  "@type": "Value"
+  "@kind": "Node"
   id: string
   url: URL
   name: string

src/lang/value/Value.ts

@@ -1,6 +1,7 @@
+import { Node } from "../node"
 import { Port } from "../port"
 
-export type Value = Port | Type | Symbol | TypeTerm | Labeled
+export type Value = Port | Node | Type | Symbol | TypeTerm | Labeled
 
 export type Type = {
   "@type": "Value"

src/lang/value/formatValue.ts

@@ -11,6 +11,10 @@ export function formatValue(value: Value): string {
       }
     }
 
+    case "Node": {
+      return `(${formatNode(value)})`
+    }
+
     case "Type": {
       return "Type"
     }