ambr NodePortRecord PortRecord

TODO.md

@@ -1,6 +1,8 @@
 # net
 
-`nodeInputPorts` & `nodeOutputPorts` return `Record` instead of `Array`
+`nodeInputPortRecord` & `nodeOutputPortRecord` return `Record`
+
+`rearrangeNodePorts` use record
 
 # connected component
 

src/lang/connect/connect.ts

@@ -1,7 +1,7 @@
 import { checkPortSigns } from "../check/checkPortSigns"
 import { Net } from "../net"
-import { findNodePortRecordOrFail } from "../net/findNodePortRecordOrFail"
 import { findPortEntry } from "../net/findPortEntry"
+import { findPortRecordOrFail } from "../net/findPortRecordOrFail"
 import { Port } from "../port"
 import { formatValue } from "../value/formatValue"
 
@@ -32,11 +32,11 @@ export function connect(net: Net, first: Port, second: Port): void {
 
   const edge = { first, second }
 
-  const firstNodePortRecord = findNodePortRecordOrFail(net, first.node)
-  firstNodePortRecord[first.name].connection = { edge, port: second }
+  const firstPortRecord = findPortRecordOrFail(net, first.node)
+  firstPortRecord[first.name].connection = { edge, port: second }
 
-  const secondNodePortRecord = findNodePortRecordOrFail(net, second.node)
-  secondNodePortRecord[second.name].connection = { edge, port: first }
+  const secondPortRecord = findPortRecordOrFail(net, second.node)
+  secondPortRecord[second.name].connection = { edge, port: first }
 
   if (first.isPrincipal && second.isPrincipal) {
     net.activeEdges.push(edge)

src/lang/freshen/refreshNode.ts

@@ -1,5 +1,5 @@
 import { Net } from "../net"
-import { findNodePortRecordOrFail } from "../net/findNodePortRecordOrFail"
+import { findPortRecordOrFail } from "../net/findPortRecordOrFail"
 import { Node } from "../node"
 import { freshenType } from "./freshenType"
 
@@ -19,7 +19,7 @@ export function refreshNode(
 ): void {
   const occurredNames = new Map()
 
-  const portRecord = findNodePortRecordOrFail(net, node)
+  const portRecord = findPortRecordOrFail(net, node)
   for (const portEntry of Object.values(portRecord)) {
     portEntry.t = freshenType(typeVarCounters, portEntry.t, occurredNames)
   }

src/lang/interact/interact.ts

@@ -4,7 +4,7 @@ import { Edge } from "../edge"
 import { Env } from "../env"
 import { lookupRuleByPorts } from "../mod/lookupRuleByPorts"
 import { deleteEdgesOfNode } from "../net/deleteEdgesOfNode"
-import { deleteNodePortRecord } from "../net/deleteNodePortRecord"
+import { deletePortRecord } from "../net/deletePortRecord"
 
 export type InteractOptions = {
   checking?: Checking
@@ -31,6 +31,6 @@ export function interact(
     })
   }
 
-  deleteNodePortRecord(env.net, activeEdge.first.node)
-  deleteNodePortRecord(env.net, activeEdge.second.node)
+  deletePortRecord(env.net, activeEdge.first.node)
+  deletePortRecord(env.net, activeEdge.second.node)
 }

src/lang/net/deleteNodePortRecord.ts → src/lang/net/deletePortRecord.ts

@@ -2,6 +2,6 @@ import { Node } from "../node"
 import { nodeKeyId } from "../node/nodeKeyId"
 import { Net } from "./Net"
 
-export function deleteNodePortRecord(net: Net, node: Node): void {
+export function deletePortRecord(net: Net, node: Node): void {
   net.nodePortRecords.delete(nodeKeyId(node))
 }

src/lang/net/findNodePortRecordOrFail.ts → src/lang/net/findPortRecordOrFail.ts

@@ -3,7 +3,7 @@ import { formatNode } from "../node/formatNode"
 import { nodeKeyId } from "../node/nodeKeyId"
 import { Net, PortRecord } from "./Net"
 
-export function findNodePortRecordOrFail(net: Net, node: Node): PortRecord {
+export function findPortRecordOrFail(net: Net, node: Node): PortRecord {
   let ports = net.nodePortRecords.get(nodeKeyId(node))
   if (ports === undefined) {
     throw new Error(

src/lang/net/nodeInputPorts.ts

@@ -1,10 +1,10 @@
 import { Node } from "../node"
 import { Port } from "../port"
 import { Net } from "./Net"
-import { findNodePortRecordOrFail } from "./findNodePortRecordOrFail"
+import { findPortRecordOrFail } from "./findPortRecordOrFail"
 
 export function nodeInputPorts(net: Net, node: Node): Array<Port> {
-  const portRecord = findNodePortRecordOrFail(net, node)
+  const portRecord = findPortRecordOrFail(net, node)
   return Object.values(portRecord)
     .filter(({ sign }) => sign === -1)
     .map((portEntry) => ({

src/lang/net/nodeOutputPorts.ts

@@ -1,10 +1,10 @@
 import { Node } from "../node"
 import { Port } from "../port"
 import { Net } from "./Net"
-import { findNodePortRecordOrFail } from "./findNodePortRecordOrFail"
+import { findPortRecordOrFail } from "./findPortRecordOrFail"
 
 export function nodeOutputPorts(net: Net, node: Node): Array<Port> {
-  const portRecord = findNodePortRecordOrFail(net, node)
+  const portRecord = findPortRecordOrFail(net, node)
   return Object.values(portRecord)
     .filter(({ sign }) => sign === 1)
     .map((portEntry) => ({