ballerina-core 1.0.258 → 1.0.260

package/bin/src/forms/domains/dispatched-forms/runner/domains/traversal/state.js

@@ -1,824 +1,464 @@
-import {
-  Option,
-  ValueOrErrors,
-  PredicateValue,
-  Expr,
-  Updater,
-  FormLayout,
-  unit,
-  TableLayout,
-} from "ballerina-core";
+import { Option, ValueOrErrors, PredicateValue, Expr, Updater, FormLayout, unit, TableLayout, } from "ballerina-core";
 import { List, Map } from "immutable";
 import { LookupRenderer } from "../../../deserializer/domains/specification/domains/forms/domains/renderer/domains/lookup/state";
 export const RendererTraversal = {
-  Operations: {
-    Run: (renderer, traversalContext) => {
-      const rec = RendererTraversal.Operations.Run;
-      const mapEvalContext = (f) =>
-        Updater(Option.Updaters.some((v) => (ctx) => v(f(ctx))));
-      const traverseNode = traversalContext.traverseSingleType(renderer.type);
-      if (
-        renderer.type.kind == "primitive" ||
-        renderer.type.kind == "singleSelection" ||
-        renderer.type.kind == "multiSelection"
-      ) {
-        return ValueOrErrors.Default.return(traverseNode);
-      }
-      if (
-        renderer.kind == "lookupType-lookupRenderer" ||
-        renderer.kind == "lookupType-inlinedRenderer" ||
-        renderer.kind == "inlinedType-lookupRenderer"
-      ) {
-        if (
-          renderer.kind == "lookupType-lookupRenderer" ||
-          renderer.kind == "lookupType-inlinedRenderer"
-        ) {
-          return LookupRenderer.Operations.ResolveRenderer(
-            renderer,
-            traversalContext.forms,
-          ).Then((resolvedRenderer) =>
-            rec(resolvedRenderer, traversalContext).Then((valueTraversal) =>
-              ValueOrErrors.Default.return(
-                // reassign local if it's a lookup renderer
-                renderer.kind == "lookupType-lookupRenderer"
-                  ? mapEvalContext((ctx) =>
-                      Object.assign(Object.assign({}, ctx), {
-                        local: ctx.traversalIterator,
-                      }),
-                    )(valueTraversal)
-                  : valueTraversal,
-              ).Then((resolvedTraversal) => {
-                if (traverseNode.kind == "l" && resolvedTraversal.kind == "l") {
-                  return ValueOrErrors.Default.return(Option.Default.none());
-                }
-                if (traverseNode.kind == "l") {
-                  return ValueOrErrors.Default.return(resolvedTraversal);
-                }
-                if (resolvedTraversal.kind == "l") {
-                  return ValueOrErrors.Default.return(
-                    Option.Default.some((evalContext) =>
-                      traverseNode
-                        .value(evalContext)
-                        .Then((nodeResult) =>
-                          ValueOrErrors.Default.return(nodeResult),
-                        ),
-                    ),
-                  );
-                }
-                return ValueOrErrors.Default.return(
-                  Option.Default.some((evalContext) => {
-                    return resolvedTraversal
-                      .value(evalContext)
-                      .Then((resolvedTraversal) =>
-                        traverseNode
-                          .value(evalContext)
-                          .Then((nodeResult) =>
-                            ValueOrErrors.Default.return(
-                              traversalContext.joinRes([
+    Operations: {
+        Run: (renderer, traversalContext) => {
+            const rec = (RendererTraversal.Operations.Run);
+            const mapEvalContext = (f) => Updater(Option.Updaters.some((v) => (ctx) => v(f(ctx))));
+            const traverseNode = traversalContext.traverseSingleType(renderer.type);
+            if (renderer.type.kind == "primitive" ||
+                renderer.type.kind == "singleSelection" ||
+                renderer.type.kind == "multiSelection") {
+                return ValueOrErrors.Default.return(traverseNode);
+            }
+            if (renderer.kind == "lookupType-lookupRenderer" ||
+                renderer.kind == "lookupType-inlinedRenderer" ||
+                renderer.kind == "inlinedType-lookupRenderer") {
+                if (renderer.kind == "lookupType-lookupRenderer" ||
+                    renderer.kind == "lookupType-inlinedRenderer") {
+                    return LookupRenderer.Operations.ResolveRenderer(renderer, traversalContext.forms).Then((resolvedRenderer) => rec(resolvedRenderer, traversalContext).Then((valueTraversal) => ValueOrErrors.Default.return(
+                    // reassign local if it's a lookup renderer
+                    renderer.kind == "lookupType-lookupRenderer"
+                        ? mapEvalContext((ctx) => (Object.assign(Object.assign({}, ctx), { local: ctx.traversalIterator })))(valueTraversal)
+                        : valueTraversal).Then((resolvedTraversal) => {
+                        if (traverseNode.kind == "l" &&
+                            resolvedTraversal.kind == "l") {
+                            return ValueOrErrors.Default.return(Option.Default.none());
+                        }
+                        if (traverseNode.kind == "l") {
+                            return ValueOrErrors.Default.return(resolvedTraversal);
+                        }
+                        if (resolvedTraversal.kind == "l") {
+                            return ValueOrErrors.Default.return(Option.Default.some((evalContext) => traverseNode
+                                .value(evalContext)
+                                .Then((nodeResult) => ValueOrErrors.Default.return(nodeResult))));
+                        }
+                        return ValueOrErrors.Default.return(Option.Default.some((evalContext) => {
+                            return resolvedTraversal
+                                .value(evalContext)
+                                .Then((resolvedTraversal) => traverseNode
+                                .value(evalContext)
+                                .Then((nodeResult) => ValueOrErrors.Default.return(traversalContext.joinRes([
                                 nodeResult,
                                 resolvedTraversal,
-                              ]),
-                            ),
-                          ),
-                      );
-                  }),
-                );
-              }),
-            ),
-          );
-        }
-        return LookupRenderer.Operations.ResolveRenderer(
-          renderer,
-          traversalContext.forms,
-        ).Then((resolvedRenderer) =>
-          rec(resolvedRenderer, traversalContext).Then((valueTraversal) =>
-            ValueOrErrors.Default.return(valueTraversal),
-          ),
-        );
-      }
-      if (
-        renderer.type.kind == "readOnly" &&
-        renderer.kind == "readOnlyRenderer"
-      ) {
-        return rec(renderer.childRenderer.renderer, traversalContext).Then(
-          (valueTraversal) => {
-            if (valueTraversal.kind == "l" && traverseNode.kind == "l") {
-              return ValueOrErrors.Default.return(Option.Default.none());
-            }
-            return ValueOrErrors.Default.return(
-              Option.Default.some((evalContext) => {
-                const iterator = evalContext.traversalIterator;
-                if (!PredicateValue.Operations.IsReadOnly(iterator)) {
-                  return ValueOrErrors.Default.throwOne(
-                    `Error: traversal iterator is not read only, got ${JSON.stringify(iterator, undefined, 2)}`,
-                  );
+                            ]))));
+                        }));
+                    })));
                 }
-                return (
-                  valueTraversal.kind == "r"
-                    ? valueTraversal.value(
-                        Object.assign(Object.assign({}, evalContext), {
-                          traversalIterator: iterator.ReadOnly,
-                        }),
-                      )
-                    : ValueOrErrors.Default.return(
-                        traversalContext.zeroRes(unit),
-                      )
-                ).Then((valueResult) =>
-                  traverseNode.kind == "r"
-                    ? traverseNode
-                        .value(evalContext)
-                        .Then((nodeResult) =>
-                          ValueOrErrors.Default.return(
-                            traversalContext.joinRes([valueResult, nodeResult]),
-                          ),
-                        )
-                    : ValueOrErrors.Default.return(valueResult),
-                );
-              }),
-            );
-          },
-        );
-      }
-      if (renderer.type.kind == "record" && renderer.kind == "recordRenderer") {
-        return ValueOrErrors.Operations.All(
-          List(
-            renderer.fields
-              .map((fieldRenderer, fieldName) =>
-                rec(fieldRenderer.renderer, traversalContext).Then(
-                  (fieldTraversal) => {
-                    return ValueOrErrors.Default.return({
-                      fieldName: fieldName,
-                      visibility: fieldRenderer.visible,
-                      fieldTraversal: fieldTraversal,
-                    });
-                  },
-                ),
-              )
-              .valueSeq(),
-          ),
-        ).Then((fieldTraversals) => {
-          if (
-            fieldTraversals.every((f) => f.fieldTraversal.kind == "l") &&
-            traverseNode.kind == "l"
-          ) {
-            return ValueOrErrors.Default.return(Option.Default.none());
-          }
-          return ValueOrErrors.Default.return(
-            Option.Default.some((evalContext) => {
-              if (
-                !PredicateValue.Operations.IsRecord(
-                  evalContext.traversalIterator,
-                )
-              )
-                return ValueOrErrors.Default.throwOne(
-                  `Error: traversal iterator is not a record, got ${JSON.stringify(evalContext.traversalIterator, undefined, 2)}`,
-                );
-              const visibleFieldsRes =
-                FormLayout.Operations.ComputeVisibleFieldsForRecord(
-                  Map([
-                    ["global", evalContext.global],
-                    ["local", evalContext.local],
-                    ["root", evalContext.root],
-                  ]),
-                  renderer.tabs,
-                );
-              // TODO later, make this monadic
-              if (visibleFieldsRes.kind == "errors") {
-                return visibleFieldsRes;
-              }
-              const visibleFields = visibleFieldsRes.value;
-              const traversalIteratorFields =
-                evalContext.traversalIterator.fields;
-              return ValueOrErrors.Operations.All(
-                fieldTraversals.flatMap((f) => {
-                  // should be a map and instead of flatmap and [] a VoE.default.return([]) then an All on this and then a flatmap, everything is returned in a VoE
-                  if (
-                    f.fieldTraversal.kind == "l" ||
-                    !visibleFields.includes(f.fieldName)
-                  )
-                    return [];
-                  if (f.visibility != undefined) {
-                    const visible = Expr.Operations.Evaluate(
-                      Map([
-                        ["global", evalContext.global],
-                        ["local", evalContext.local],
-                        ["root", evalContext.root],
-                      ]),
-                    )(f.visibility);
-                    if (visible.kind == "value" && !visible.value) {
-                      return [];
+                return LookupRenderer.Operations.ResolveRenderer(renderer, traversalContext.forms).Then((resolvedRenderer) => rec(resolvedRenderer, traversalContext).Then((valueTraversal) => ValueOrErrors.Default.return(valueTraversal)));
+            }
+            if (renderer.type.kind == "readOnly" &&
+                renderer.kind == "readOnlyRenderer") {
+                return rec(renderer.childRenderer.renderer, traversalContext).Then((valueTraversal) => {
+                    if (valueTraversal.kind == "l" && traverseNode.kind == "l") {
+                        return ValueOrErrors.Default.return(Option.Default.none());
                     }
-                  }
-                  return [
-                    f.fieldTraversal.value(
-                      Object.assign(Object.assign({}, evalContext), {
-                        traversalIterator: traversalIteratorFields.get(
-                          f.fieldName,
-                        ),
-                      }),
-                    ),
-                  ];
-                }),
-              ).Then((fieldResults) => {
-                return traverseNode.kind == "r"
-                  ? traverseNode
-                      .value(evalContext)
-                      .Then((nodeResult) =>
-                        ValueOrErrors.Default.return(
-                          fieldResults.reduce(
-                            (acc, res) => traversalContext.joinRes([acc, res]),
-                            nodeResult,
-                          ),
-                        ),
-                      )
-                  : ValueOrErrors.Default.return(
-                      fieldResults.reduce(
-                        (acc, res) => traversalContext.joinRes([acc, res]),
-                        traversalContext.zeroRes(unit),
-                      ),
-                    );
-              });
-            }),
-          );
-        });
-      }
-      if (
-        renderer.type.kind == "sum" &&
-        (renderer.kind == "sumRenderer" ||
-          renderer.kind == "sumUnitDateRenderer")
-      ) {
-        // this will be removed when sums become proper partials
-        if (renderer.kind == "sumUnitDateRenderer") {
-          if (traverseNode.kind == "l") {
-            return ValueOrErrors.Default.return(Option.Default.none());
-          }
-          return ValueOrErrors.Default.return(
-            Option.Default.some((evalContext) =>
-              traverseNode.value(evalContext),
-            ),
-          );
-        }
-        if (renderer.kind == "sumRenderer") {
-          return rec(renderer.leftRenderer.renderer, traversalContext).Then(
-            (leftTraversal) =>
-              rec(renderer.rightRenderer.renderer, traversalContext).Then(
-                (rightTraversal) => {
-                  if (
-                    leftTraversal.kind == "l" &&
-                    rightTraversal.kind == "l" &&
-                    traverseNode.kind == "l"
-                  ) {
-                    return ValueOrErrors.Default.return(Option.Default.none());
-                  }
-                  return ValueOrErrors.Default.return(
-                    Option.Default.some((evalContext) => {
-                      const iterator = evalContext.traversalIterator;
-                      if (!PredicateValue.Operations.IsSum(iterator)) {
-                        return ValueOrErrors.Default.throwOne(
-                          `Error: traversal iterator is not a sum, got ${evalContext.traversalIterator}`,
-                        );
-                      }
-                      const isRight = iterator.value.kind == "r";
-                      if (isRight && rightTraversal.kind == "r") {
-                        if (traverseNode.kind == "r") {
-                          return traverseNode
-                            .value(evalContext)
-                            .Then((nodeResult) => {
-                              return rightTraversal
-                                .value(
-                                  Object.assign(
-                                    Object.assign({}, evalContext),
-                                    { traversalIterator: iterator.value.value },
-                                  ),
-                                )
-                                .Then((rightRes) => {
-                                  return ValueOrErrors.Default.return(
-                                    traversalContext.joinRes([
-                                      nodeResult,
-                                      rightRes,
-                                    ]),
-                                  );
-                                });
-                            });
-                        }
-                        return rightTraversal
-                          .value(
-                            Object.assign(Object.assign({}, evalContext), {
-                              traversalIterator: iterator.value.value,
-                            }),
-                          )
-                          .Then((rightRes) => {
-                            return ValueOrErrors.Default.return(rightRes);
-                          });
-                      }
-                      if (!isRight && leftTraversal.kind == "r") {
-                        if (traverseNode.kind == "r") {
-                          return traverseNode
-                            .value(evalContext)
-                            .Then((nodeResult) => {
-                              return leftTraversal
-                                .value(
-                                  Object.assign(
-                                    Object.assign({}, evalContext),
-                                    { traversalIterator: iterator.value.value },
-                                  ),
-                                )
-                                .Then((leftRes) => {
-                                  return ValueOrErrors.Default.return(
-                                    traversalContext.joinRes([
-                                      nodeResult,
-                                      leftRes,
-                                    ]),
-                                  );
-                                });
-                            });
+                    return ValueOrErrors.Default.return(Option.Default.some((evalContext) => {
+                        const iterator = evalContext.traversalIterator;
+                        if (!PredicateValue.Operations.IsReadOnly(iterator)) {
+                            return ValueOrErrors.Default.throwOne(`Error: traversal iterator is not read only, got ${JSON.stringify(iterator, undefined, 2)}`);
                         }
-                        return leftTraversal
-                          .value(
-                            Object.assign(Object.assign({}, evalContext), {
-                              traversalIterator: iterator.value.value,
-                            }),
-                          )
-                          .Then((leftRes) => {
-                            return ValueOrErrors.Default.return(leftRes);
-                          });
-                      }
-                      return ValueOrErrors.Default.return(
-                        traversalContext.zeroRes(unit),
-                      );
-                    }),
-                  );
-                },
-              ),
-          );
-        }
-      }
-      if (renderer.type.kind == "tuple" && renderer.kind == "tupleRenderer") {
-        return ValueOrErrors.Operations.All(
-          List(
-            renderer.itemRenderers.map((itemRenderer, index) => {
-              return rec(itemRenderer.renderer, traversalContext).Then(
-                (itemTraversal) => {
-                  return ValueOrErrors.Default.return({
-                    index: index,
-                    itemTraversal: itemTraversal,
-                  });
-                },
-              );
-            }),
-          ),
-        ).Then((itemTraversals) => {
-          if (
-            itemTraversals.every((i) => i.itemTraversal.kind == "l") &&
-            traverseNode.kind == "l"
-          ) {
-            return ValueOrErrors.Default.return(Option.Default.none());
-          }
-          return ValueOrErrors.Default.return(
-            Option.Default.some((evalContext) => {
-              const iterator = evalContext.traversalIterator;
-              if (!PredicateValue.Operations.IsTuple(iterator)) {
-                return ValueOrErrors.Default.throwOne(
-                  `Error: traversal iterator is not a tuple, got ${evalContext.traversalIterator}`,
-                );
-              }
-              return ValueOrErrors.Operations.All(
-                itemTraversals.flatMap((i) =>
-                  i.itemTraversal.kind == "r"
-                    ? [
-                        i.itemTraversal.value(
-                          Object.assign(Object.assign({}, evalContext), {
-                            traversalIterator: iterator.values.get(i.index),
-                          }),
-                        ),
-                      ]
-                    : [],
-                ),
-              ).Then((itemResults) => {
-                return traverseNode.kind == "r"
-                  ? traverseNode
-                      .value(evalContext)
-                      .Then((nodeResult) =>
-                        ValueOrErrors.Default.return(
-                          itemResults.reduce(
-                            (acc, res) => traversalContext.joinRes([acc, res]),
-                            nodeResult,
-                          ),
-                        ),
-                      )
-                  : ValueOrErrors.Default.return(
-                      itemResults.reduce(
-                        (acc, res) => traversalContext.joinRes([acc, res]),
-                        traversalContext.zeroRes(unit),
-                      ),
-                    );
-              });
-            }),
-          );
-        });
-      }
-      if (renderer.type.kind == "union" && renderer.kind == "unionRenderer") {
-        return ValueOrErrors.Operations.All(
-          List(
-            renderer.cases
-              .map((caseRenderer, caseName) =>
-                rec(caseRenderer, traversalContext).Then((caseTraversal) =>
-                  ValueOrErrors.Default.return({
-                    caseName: caseName,
-                    caseTraversal: caseTraversal,
-                  }),
-                ),
-              )
-              .valueSeq(),
-          ),
-        ).Then((caseTraversals) => {
-          if (
-            caseTraversals.every((c) => c.caseTraversal.kind == "l") &&
-            traverseNode.kind == "l"
-          ) {
-            return ValueOrErrors.Default.return(Option.Default.none());
-          }
-          return ValueOrErrors.Default.return(
-            Option.Default.some((evalContext) => {
-              var _a;
-              const iterator = evalContext.traversalIterator;
-              if (!PredicateValue.Operations.IsUnionCase(iterator)) {
-                return ValueOrErrors.Default.throwOne(
-                  `Error: traversal iterator is not a union case, got ${evalContext.traversalIterator}`,
-                );
-              }
-              const caseName = iterator.caseName;
-              const caseTraversal =
-                (_a = caseTraversals.find((c) => c.caseName == caseName)) ===
-                  null || _a === void 0
-                  ? void 0
-                  : _a.caseTraversal;
-              if (!caseTraversal) {
-                return ValueOrErrors.Default.throwOne(
-                  `Error: cannot find case traversal for case ${caseName}`,
-                );
-              }
-              return caseTraversal.kind == "r"
-                ? caseTraversal
-                    .value(
-                      Object.assign(Object.assign({}, evalContext), {
-                        traversalIterator: iterator.fields,
-                      }),
-                    )
-                    .Then((caseRes) => {
-                      return traverseNode.kind == "r"
-                        ? traverseNode.value(evalContext).Then((nodeResult) => {
-                            return ValueOrErrors.Default.return(
-                              traversalContext.joinRes([nodeResult, caseRes]),
-                            );
-                          })
-                        : ValueOrErrors.Default.return(caseRes);
-                    })
-                : traverseNode.kind == "r"
-                  ? traverseNode.value(evalContext).Then((nodeResult) => {
-                      return ValueOrErrors.Default.return(nodeResult);
-                    })
-                  : ValueOrErrors.Default.return(
-                      traversalContext.zeroRes(unit),
-                    );
-            }),
-          );
-        });
-      }
-      if (renderer.type.kind == "table" && renderer.kind == "tableRenderer") {
-        return ValueOrErrors.Operations.All(
-          List(
-            renderer.columns
-              .map((column, columnName) => {
-                return rec(column.renderer, traversalContext).Then(
-                  (columnTraversal) => {
+                        return (valueTraversal.kind == "r"
+                            ? valueTraversal.value(Object.assign(Object.assign({}, evalContext), { traversalIterator: iterator.ReadOnly }))
+                            : ValueOrErrors.Default.return(traversalContext.zeroRes(unit))).Then((valueResult) => traverseNode.kind == "r"
+                            ? traverseNode
+                                .value(evalContext)
+                                .Then((nodeResult) => ValueOrErrors.Default.return(traversalContext.joinRes([valueResult, nodeResult])))
+                            : ValueOrErrors.Default.return(valueResult));
+                    }));
+                });
+            }
+            if (renderer.type.kind == "record" && renderer.kind == "recordRenderer") {
+                return ValueOrErrors.Operations.All(List(renderer.fields
+                    .map((fieldRenderer, fieldName) => rec(fieldRenderer.renderer, traversalContext).Then((fieldTraversal) => {
                     return ValueOrErrors.Default.return({
-                      columnName: columnName,
-                      columnTraversal: columnTraversal,
+                        fieldName: fieldName,
+                        visibility: fieldRenderer.visible,
+                        fieldTraversal: fieldTraversal,
                     });
-                  },
-                );
-              })
-              .valueSeq(),
-          ),
-        )
-          .Then((columnTraversals) =>
-            renderer.detailsRenderer
-              ? rec(renderer.detailsRenderer.renderer, traversalContext).Map(
-                  (detailsTraversal) => ({
-                    detailsTraversal: detailsTraversal,
-                    columnTraversals: columnTraversals,
-                  }),
-                )
-              : ValueOrErrors.Default.return({
-                  detailsTraversal: Option.Default.none(),
-                  columnTraversals: columnTraversals,
-                }),
-          )
-          .Then(({ detailsTraversal, columnTraversals }) => {
-            if (
-              columnTraversals.every((c) => c.columnTraversal.kind == "l") &&
-              traverseNode.kind == "l"
-            ) {
-              return ValueOrErrors.Default.return(Option.Default.none());
-            }
-            return ValueOrErrors.Default.return(
-              Option.Default.some((evalContext) => {
-                const iterator = evalContext.traversalIterator;
-                if (!PredicateValue.Operations.IsTable(iterator)) {
-                  return ValueOrErrors.Default.throwOne(
-                    `Error: traversal iterator is not a table, got ${evalContext.traversalIterator}`,
-                  );
-                }
-                return TableLayout.Operations.ComputeLayout(
-                  Map([
-                    ["global", evalContext.global],
-                    ["local", evalContext.local],
-                    ["root", evalContext.root],
-                  ]),
-                  renderer.visibleColumns,
-                ).Then((visibleColumns) => {
-                  // Note: we do not allow visiblity predicates on individual column cells
-                  return ValueOrErrors.Operations.All(
-                    columnTraversals
-                      .flatMap((c) => {
-                        const colTraversal = c.columnTraversal;
-                        if (
-                          colTraversal.kind == "l" ||
-                          !visibleColumns.columns.includes(c.columnName)
-                        ) {
-                          return [];
+                }))
+                    .valueSeq())).Then((fieldTraversals) => {
+                    if (fieldTraversals.every((f) => f.fieldTraversal.kind == "l") &&
+                        traverseNode.kind == "l") {
+                        return ValueOrErrors.Default.return(Option.Default.none());
+                    }
+                    return ValueOrErrors.Default.return(Option.Default.some((evalContext) => {
+                        if (!PredicateValue.Operations.IsRecord(evalContext.traversalIterator))
+                            return ValueOrErrors.Default.throwOne(`Error: traversal iterator is not a record, got ${JSON.stringify(evalContext.traversalIterator, undefined, 2)}`);
+                        const visibleFieldsRes = FormLayout.Operations.ComputeVisibleFieldsForRecord(Map([
+                            ["global", evalContext.global],
+                            ["local", evalContext.local],
+                            ["root", evalContext.root],
+                        ]), renderer.tabs);
+                        // TODO later, make this monadic
+                        if (visibleFieldsRes.kind == "errors") {
+                            return visibleFieldsRes;
                         }
-                        return iterator.data.valueSeq().flatMap((row) => {
-                          // TODO make this monadic
-                          const columnValue = row.fields.get(c.columnName);
-                          if (!columnValue) {
+                        const visibleFields = visibleFieldsRes.value;
+                        const traversalIteratorFields = evalContext.traversalIterator.fields;
+                        return ValueOrErrors.Operations.All(fieldTraversals.flatMap((f) => {
+                            // should be a map and instead of flatmap and [] a VoE.default.return([]) then an All on this and then a flatmap, everything is returned in a VoE
+                            if (f.fieldTraversal.kind == "l" ||
+                                !visibleFields.includes(f.fieldName))
+                                return [];
+                            if (f.visibility != undefined) {
+                                const visible = Expr.Operations.Evaluate(Map([
+                                    ["global", evalContext.global],
+                                    ["local", evalContext.local],
+                                    ["root", evalContext.root],
+                                ]))(f.visibility);
+                                if (visible.kind == "value" && !visible.value) {
+                                    return [];
+                                }
+                            }
                             return [
-                              ValueOrErrors.Default.throwOne(
-                                `Error: cannot find column ${c.columnName} in row ${JSON.stringify(row)}`,
-                              ),
+                                f.fieldTraversal.value(Object.assign(Object.assign({}, evalContext), { traversalIterator: traversalIteratorFields.get(f.fieldName) })),
                             ];
-                          }
-                          return [
-                            colTraversal.value(
-                              Object.assign(Object.assign({}, evalContext), {
-                                traversalIterator: columnValue,
-                              }),
-                            ),
-                          ];
+                        })).Then((fieldResults) => {
+                            return traverseNode.kind == "r"
+                                ? traverseNode
+                                    .value(evalContext)
+                                    .Then((nodeResult) => ValueOrErrors.Default.return(fieldResults.reduce((acc, res) => traversalContext.joinRes([acc, res]), nodeResult)))
+                                : ValueOrErrors.Default.return(fieldResults.reduce((acc, res) => traversalContext.joinRes([acc, res]), traversalContext.zeroRes(unit)));
                         });
-                      })
-                      .concat(
-                        detailsTraversal.kind == "l"
-                          ? []
-                          : iterator.data.valueSeq().map((row) => {
-                              return detailsTraversal.value(
-                                Object.assign(Object.assign({}, evalContext), {
-                                  traversalIterator: row,
-                                }),
-                              );
-                            }),
-                      ),
-                  ).Then((columnAndDetailsResults) => {
-                    return traverseNode.kind == "r"
-                      ? traverseNode
-                          .value(evalContext)
-                          .Then((nodeResult) =>
-                            ValueOrErrors.Default.return(
-                              columnAndDetailsResults.reduce(
-                                (acc, res) =>
-                                  traversalContext.joinRes([acc, res]),
-                                nodeResult,
-                              ),
-                            ),
-                          )
-                      : ValueOrErrors.Default.return(
-                          columnAndDetailsResults.reduce(
-                            (acc, res) => traversalContext.joinRes([acc, res]),
-                            traversalContext.zeroRes(unit),
-                          ),
-                        );
-                  });
+                    }));
                 });
-              }),
-            );
-          });
-      }
-      // TODO -- should we also look at the previewRenderer? Woud also requite state
-      if (renderer.type.kind == "one" && renderer.kind == "oneRenderer") {
-        return rec(renderer.detailsRenderer.renderer, traversalContext).Then(
-          (itemTraversal) => {
-            if (itemTraversal.kind == "l" && traverseNode.kind == "l") {
-              return ValueOrErrors.Default.return(Option.Default.none());
             }
-            return ValueOrErrors.Default.return(
-              Option.Default.some((evalContext) => {
-                const iterator = evalContext.traversalIterator;
-                // Handle partial ones
-                if (PredicateValue.Operations.IsUnit(iterator)) {
-                  return traverseNode.kind == "r"
-                    ? traverseNode.value(evalContext)
-                    : ValueOrErrors.Default.return(
-                        traversalContext.zeroRes(unit),
-                      );
-                }
-                if (!PredicateValue.Operations.IsOption(iterator)) {
-                  return ValueOrErrors.Default.throwOne(
-                    `Error: traversal iterator for one is not an option, got ${iterator}`,
-                  );
+            if (renderer.type.kind == "sum" &&
+                (renderer.kind == "sumRenderer" ||
+                    renderer.kind == "sumUnitDateRenderer")) {
+                // this will be removed when sums become proper partials
+                if (renderer.kind == "sumUnitDateRenderer") {
+                    if (traverseNode.kind == "l") {
+                        return ValueOrErrors.Default.return(Option.Default.none());
+                    }
+                    return ValueOrErrors.Default.return(Option.Default.some((evalContext) => traverseNode.value(evalContext)));
                 }
-                const isSome =
-                  PredicateValue.Operations.IsOption(iterator) &&
-                  iterator.isSome;
-                if (!isSome) {
-                  return traverseNode.kind == "r"
-                    ? traverseNode.value(evalContext)
-                    : ValueOrErrors.Default.return(
-                        traversalContext.zeroRes(unit),
-                      );
+                if (renderer.kind == "sumRenderer") {
+                    return rec(renderer.leftRenderer.renderer, traversalContext).Then((leftTraversal) => rec(renderer.rightRenderer.renderer, traversalContext).Then((rightTraversal) => {
+                        if (leftTraversal.kind == "l" &&
+                            rightTraversal.kind == "l" &&
+                            traverseNode.kind == "l") {
+                            return ValueOrErrors.Default.return(Option.Default.none());
+                        }
+                        return ValueOrErrors.Default.return(Option.Default.some((evalContext) => {
+                            const iterator = evalContext.traversalIterator;
+                            if (!PredicateValue.Operations.IsSum(iterator)) {
+                                return ValueOrErrors.Default.throwOne(`Error: traversal iterator is not a sum, got ${evalContext.traversalIterator}`);
+                            }
+                            const isRight = iterator.value.kind == "r";
+                            if (isRight && rightTraversal.kind == "r") {
+                                if (traverseNode.kind == "r") {
+                                    return traverseNode
+                                        .value(evalContext)
+                                        .Then((nodeResult) => {
+                                        return rightTraversal
+                                            .value(Object.assign(Object.assign({}, evalContext), { traversalIterator: iterator.value.value }))
+                                            .Then((rightRes) => {
+                                            return ValueOrErrors.Default.return(traversalContext.joinRes([
+                                                nodeResult,
+                                                rightRes,
+                                            ]));
+                                        });
+                                    });
+                                }
+                                return rightTraversal
+                                    .value(Object.assign(Object.assign({}, evalContext), { traversalIterator: iterator.value.value }))
+                                    .Then((rightRes) => {
+                                    return ValueOrErrors.Default.return(rightRes);
+                                });
+                            }
+                            if (!isRight && leftTraversal.kind == "r") {
+                                if (traverseNode.kind == "r") {
+                                    return traverseNode
+                                        .value(evalContext)
+                                        .Then((nodeResult) => {
+                                        return leftTraversal
+                                            .value(Object.assign(Object.assign({}, evalContext), { traversalIterator: iterator.value.value }))
+                                            .Then((leftRes) => {
+                                            return ValueOrErrors.Default.return(traversalContext.joinRes([
+                                                nodeResult,
+                                                leftRes,
+                                            ]));
+                                        });
+                                    });
+                                }
+                                return leftTraversal
+                                    .value(Object.assign(Object.assign({}, evalContext), { traversalIterator: iterator.value.value }))
+                                    .Then((leftRes) => {
+                                    return ValueOrErrors.Default.return(leftRes);
+                                });
+                            }
+                            return ValueOrErrors.Default.return(traversalContext.zeroRes(unit));
+                        }));
+                    }));
                 }
-                return traverseNode.kind == "r"
-                  ? traverseNode.value(evalContext).Then((nodeResult) => {
-                      return itemTraversal.kind == "r"
-                        ? itemTraversal
-                            .value(
-                              Object.assign(Object.assign({}, evalContext), {
-                                traversalIterator: iterator.value,
-                              }),
-                            )
-                            .Then((itemResult) => {
-                              return ValueOrErrors.Default.return(
-                                traversalContext.joinRes([
-                                  nodeResult,
-                                  itemResult,
-                                ]),
-                              );
+            }
+            if (renderer.type.kind == "tuple" && renderer.kind == "tupleRenderer") {
+                return ValueOrErrors.Operations.All(List(renderer.itemRenderers.map((itemRenderer, index) => {
+                    return rec(itemRenderer.renderer, traversalContext).Then((itemTraversal) => {
+                        return ValueOrErrors.Default.return({
+                            index: index,
+                            itemTraversal: itemTraversal,
+                        });
+                    });
+                }))).Then((itemTraversals) => {
+                    if (itemTraversals.every((i) => i.itemTraversal.kind == "l") &&
+                        traverseNode.kind == "l") {
+                        return ValueOrErrors.Default.return(Option.Default.none());
+                    }
+                    return ValueOrErrors.Default.return(Option.Default.some((evalContext) => {
+                        const iterator = evalContext.traversalIterator;
+                        if (!PredicateValue.Operations.IsTuple(iterator)) {
+                            return ValueOrErrors.Default.throwOne(`Error: traversal iterator is not a tuple, got ${evalContext.traversalIterator}`);
+                        }
+                        return ValueOrErrors.Operations.All(itemTraversals.flatMap((i) => i.itemTraversal.kind == "r"
+                            ? [
+                                i.itemTraversal.value(Object.assign(Object.assign({}, evalContext), { traversalIterator: iterator.values.get(i.index) })),
+                            ]
+                            : [])).Then((itemResults) => {
+                            return traverseNode.kind == "r"
+                                ? traverseNode
+                                    .value(evalContext)
+                                    .Then((nodeResult) => ValueOrErrors.Default.return(itemResults.reduce((acc, res) => traversalContext.joinRes([acc, res]), nodeResult)))
+                                : ValueOrErrors.Default.return(itemResults.reduce((acc, res) => traversalContext.joinRes([acc, res]), traversalContext.zeroRes(unit)));
+                        });
+                    }));
+                });
+            }
+            if (renderer.type.kind == "union" && renderer.kind == "unionRenderer") {
+                return ValueOrErrors.Operations.All(List(renderer.cases
+                    .map((caseRenderer, caseName) => rec(caseRenderer, traversalContext).Then((caseTraversal) => ValueOrErrors.Default.return({
+                    caseName: caseName,
+                    caseTraversal: caseTraversal,
+                })))
+                    .valueSeq())).Then((caseTraversals) => {
+                    if (caseTraversals.every((c) => c.caseTraversal.kind == "l") &&
+                        traverseNode.kind == "l") {
+                        return ValueOrErrors.Default.return(Option.Default.none());
+                    }
+                    return ValueOrErrors.Default.return(Option.Default.some((evalContext) => {
+                        var _a;
+                        const iterator = evalContext.traversalIterator;
+                        if (!PredicateValue.Operations.IsUnionCase(iterator)) {
+                            return ValueOrErrors.Default.throwOne(`Error: traversal iterator is not a union case, got ${evalContext.traversalIterator}`);
+                        }
+                        const caseName = iterator.caseName;
+                        const caseTraversal = (_a = caseTraversals.find((c) => c.caseName == caseName)) === null || _a === void 0 ? void 0 : _a.caseTraversal;
+                        if (!caseTraversal) {
+                            return ValueOrErrors.Default.throwOne(`Error: cannot find case traversal for case ${caseName}`);
+                        }
+                        return caseTraversal.kind == "r"
+                            ? caseTraversal
+                                .value(Object.assign(Object.assign({}, evalContext), { traversalIterator: iterator.fields }))
+                                .Then((caseRes) => {
+                                return traverseNode.kind == "r"
+                                    ? traverseNode
+                                        .value(evalContext)
+                                        .Then((nodeResult) => {
+                                        return ValueOrErrors.Default.return(traversalContext.joinRes([nodeResult, caseRes]));
+                                    })
+                                    : ValueOrErrors.Default.return(caseRes);
                             })
-                        : ValueOrErrors.Default.return(nodeResult);
-                    })
-                  : itemTraversal.kind == "r"
-                    ? itemTraversal.value(
-                        Object.assign(Object.assign({}, evalContext), {
-                          traversalIterator: iterator.value,
-                        }),
-                      )
-                    : ValueOrErrors.Default.return(
-                        traversalContext.zeroRes(unit),
-                      );
-              }),
-            );
-          },
-        );
-      }
-      if (renderer.type.kind == "list" && renderer.kind == "listRenderer") {
-        return rec(renderer.elementRenderer.renderer, traversalContext).Then(
-          (elementTraversal) => {
-            if (elementTraversal.kind == "l" && traverseNode.kind == "l") {
-              return ValueOrErrors.Default.return(Option.Default.none());
+                            : traverseNode.kind == "r"
+                                ? traverseNode.value(evalContext).Then((nodeResult) => {
+                                    return ValueOrErrors.Default.return(nodeResult);
+                                })
+                                : ValueOrErrors.Default.return(traversalContext.zeroRes(unit));
+                    }));
+                });
             }
-            return ValueOrErrors.Default.return(
-              Option.Default.some((evalContext) => {
-                const iterator = evalContext.traversalIterator;
-                if (!PredicateValue.Operations.IsTuple(iterator)) {
-                  return ValueOrErrors.Default.throwOne(
-                    `Error: traversal iterator for list is not a tuple, got ${JSON.stringify(iterator, null, 2)}`,
-                  );
-                }
-                return ValueOrErrors.Operations.All(
-                  iterator.values.map((value) =>
-                    elementTraversal.kind == "r"
-                      ? elementTraversal.value(
-                          Object.assign(Object.assign({}, evalContext), {
-                            traversalIterator: value,
-                          }),
-                        )
-                      : ValueOrErrors.Default.return(
-                          traversalContext.zeroRes(unit),
-                        ),
-                  ),
-                ).Then((elementResults) =>
-                  traverseNode.kind == "r"
-                    ? traverseNode
-                        .value(evalContext)
-                        .Then((nodeResult) =>
-                          ValueOrErrors.Default.return(
-                            elementResults.reduce(
-                              (acc, res) =>
-                                traversalContext.joinRes([acc, res]),
-                              nodeResult,
-                            ),
-                          ),
-                        )
-                    : ValueOrErrors.Default.return(
-                        elementResults.reduce(
-                          (acc, res) => traversalContext.joinRes([acc, res]),
-                          traversalContext.zeroRes(unit),
-                        ),
-                      ),
-                );
-              }),
-            );
-          },
-        );
-      }
-      if (renderer.type.kind == "map" && renderer.kind == "mapRenderer") {
-        return rec(renderer.keyRenderer.renderer, traversalContext).Then(
-          (keyTraversal) => {
-            return rec(renderer.valueRenderer.renderer, traversalContext).Then(
-              (valueTraversal) => {
-                if (
-                  keyTraversal.kind == "l" &&
-                  valueTraversal.kind == "l" &&
-                  traverseNode.kind == "l"
-                ) {
-                  return ValueOrErrors.Default.return(Option.Default.none());
-                }
-                return ValueOrErrors.Default.return(
-                  Option.Default.some((evalContext) => {
-                    if (
-                      keyTraversal.kind == "l" &&
-                      valueTraversal.kind == "l"
-                    ) {
-                      return traverseNode.kind == "r"
-                        ? traverseNode.value(evalContext)
-                        : ValueOrErrors.Default.return(
-                            traversalContext.zeroRes(unit),
-                          );
+            if (renderer.type.kind == "table" && renderer.kind == "tableRenderer") {
+                return ValueOrErrors.Operations.All(List(renderer.columns
+                    .map((column, columnName) => {
+                    return rec(column.renderer, traversalContext).Then((columnTraversal) => {
+                        return ValueOrErrors.Default.return({
+                            columnName: columnName,
+                            columnTraversal: columnTraversal,
+                        });
+                    });
+                })
+                    .valueSeq()))
+                    .Then((columnTraversals) => renderer.detailsRenderer
+                    ? rec(renderer.detailsRenderer.renderer, traversalContext).Map((detailsTraversal) => ({
+                        detailsTraversal: detailsTraversal,
+                        columnTraversals: columnTraversals,
+                    }))
+                    : ValueOrErrors.Default.return({
+                        detailsTraversal: Option.Default.none(),
+                        columnTraversals: columnTraversals,
+                    }))
+                    .Then(({ detailsTraversal, columnTraversals }) => {
+                    if (columnTraversals.every((c) => c.columnTraversal.kind == "l") &&
+                        traverseNode.kind == "l") {
+                        return ValueOrErrors.Default.return(Option.Default.none());
                     }
-                    const iterator = evalContext.traversalIterator;
-                    if (!PredicateValue.Operations.IsTuple(iterator)) {
-                      return ValueOrErrors.Default.throwOne(
-                        `Error: traversal iterator for map is not a tuple, got ${JSON.stringify(iterator, null, 2)}`,
-                      );
+                    return ValueOrErrors.Default.return(Option.Default.some((evalContext) => {
+                        const iterator = evalContext.traversalIterator;
+                        if (!PredicateValue.Operations.IsTable(iterator)) {
+                            return ValueOrErrors.Default.throwOne(`Error: traversal iterator is not a table, got ${evalContext.traversalIterator}`);
+                        }
+                        return TableLayout.Operations.ComputeLayout(Map([
+                            ["global", evalContext.global],
+                            ["local", evalContext.local],
+                            ["root", evalContext.root],
+                        ]), renderer.visibleColumns).Then((visibleColumns) => {
+                            // Note: we do not allow visiblity predicates on individual column cells
+                            return ValueOrErrors.Operations.All(columnTraversals
+                                .flatMap((c) => {
+                                const colTraversal = c.columnTraversal;
+                                if (colTraversal.kind == "l" ||
+                                    !visibleColumns.columns.includes(c.columnName)) {
+                                    return [];
+                                }
+                                return iterator.data.valueSeq().flatMap((row) => {
+                                    // TODO make this monadic
+                                    const columnValue = row.fields.get(c.columnName);
+                                    if (!columnValue) {
+                                        return [
+                                            ValueOrErrors.Default.throwOne(`Error: cannot find column ${c.columnName} in row ${JSON.stringify(row)}`),
+                                        ];
+                                    }
+                                    return [
+                                        colTraversal.value(Object.assign(Object.assign({}, evalContext), { traversalIterator: columnValue })),
+                                    ];
+                                });
+                            })
+                                .concat(detailsTraversal.kind == "l"
+                                ? []
+                                : iterator.data.valueSeq().map((row) => {
+                                    return detailsTraversal.value(Object.assign(Object.assign({}, evalContext), { traversalIterator: row }));
+                                }))).Then((columnAndDetailsResults) => {
+                                return traverseNode.kind == "r"
+                                    ? traverseNode
+                                        .value(evalContext)
+                                        .Then((nodeResult) => ValueOrErrors.Default.return(columnAndDetailsResults.reduce((acc, res) => traversalContext.joinRes([acc, res]), nodeResult)))
+                                    : ValueOrErrors.Default.return(columnAndDetailsResults.reduce((acc, res) => traversalContext.joinRes([acc, res]), traversalContext.zeroRes(unit)));
+                            });
+                        });
+                    }));
+                });
+            }
+            // TODO -- should we also look at the previewRenderer? Woud also requite state
+            if (renderer.type.kind == "one" && renderer.kind == "oneRenderer") {
+                return rec(renderer.detailsRenderer.renderer, traversalContext).Then((itemTraversal) => {
+                    if (itemTraversal.kind == "l" && traverseNode.kind == "l") {
+                        return ValueOrErrors.Default.return(Option.Default.none());
                     }
-                    return ValueOrErrors.Operations.All(
-                      iterator.values.map((value) => {
-                        if (!PredicateValue.Operations.IsTuple(value)) {
-                          return ValueOrErrors.Default.throwOne(
-                            `Error: traversal iterator for map keyValue is not a tuple, got ${JSON.stringify(value, null, 2)}`,
-                          );
+                    return ValueOrErrors.Default.return(Option.Default.some((evalContext) => {
+                        const iterator = evalContext.traversalIterator;
+                        // Handle partial ones
+                        if (PredicateValue.Operations.IsUnit(iterator)) {
+                            return traverseNode.kind == "r"
+                                ? traverseNode.value(evalContext)
+                                : ValueOrErrors.Default.return(traversalContext.zeroRes(unit));
                         }
-                        const keyRes =
-                          keyTraversal.kind == "r"
-                            ? keyTraversal.value(
-                                Object.assign(Object.assign({}, evalContext), {
-                                  traversalIterator: value.values.get(0),
-                                }),
-                              )
-                            : ValueOrErrors.Default.return(
-                                traversalContext.zeroRes(unit),
-                              );
-                        const valueRes =
-                          valueTraversal.kind == "r"
-                            ? valueTraversal.value(
-                                Object.assign(Object.assign({}, evalContext), {
-                                  traversalIterator: value.values.get(1),
-                                }),
-                              )
-                            : ValueOrErrors.Default.return(
-                                traversalContext.zeroRes(unit),
-                              );
-                        if (keyRes.kind == "errors") {
-                          return keyRes;
+                        if (!PredicateValue.Operations.IsOption(iterator)) {
+                            return ValueOrErrors.Default.throwOne(`Error: traversal iterator for one is not an option, got ${iterator}`);
                         }
-                        if (valueRes.kind == "errors") {
-                          return valueRes;
+                        const isSome = PredicateValue.Operations.IsOption(iterator) &&
+                            iterator.isSome;
+                        if (!isSome) {
+                            return traverseNode.kind == "r"
+                                ? traverseNode.value(evalContext)
+                                : ValueOrErrors.Default.return(traversalContext.zeroRes(unit));
                         }
-                        return ValueOrErrors.Default.return(
-                          traversalContext.joinRes([
-                            keyRes.value,
-                            valueRes.value,
-                          ]),
-                        );
-                      }),
-                    ).Then((keyValueResults) => {
-                      return traverseNode.kind == "r"
-                        ? traverseNode.value(evalContext).Then((nodeResult) => {
-                            return ValueOrErrors.Default.return(
-                              keyValueResults.reduce(
-                                (acc, res) =>
-                                  traversalContext.joinRes([acc, res]),
-                                nodeResult,
-                              ),
-                            );
-                          })
-                        : ValueOrErrors.Default.return(
-                            keyValueResults.reduce(
-                              (acc, res) =>
-                                traversalContext.joinRes([acc, res]),
-                              traversalContext.zeroRes(unit),
-                            ),
-                          );
+                        return traverseNode.kind == "r"
+                            ? traverseNode
+                                .value(evalContext)
+                                .Then((nodeResult) => {
+                                return itemTraversal.kind == "r"
+                                    ? itemTraversal
+                                        .value(Object.assign(Object.assign({}, evalContext), { traversalIterator: iterator.value }))
+                                        .Then((itemResult) => {
+                                        return ValueOrErrors.Default.return(traversalContext.joinRes([
+                                            nodeResult,
+                                            itemResult,
+                                        ]));
+                                    })
+                                    : ValueOrErrors.Default.return(nodeResult);
+                            })
+                            : itemTraversal.kind == "r"
+                                ? itemTraversal.value(Object.assign(Object.assign({}, evalContext), { traversalIterator: iterator.value }))
+                                : ValueOrErrors.Default.return(traversalContext.zeroRes(unit));
+                    }));
+                });
+            }
+            if (renderer.type.kind == "list" && renderer.kind == "listRenderer") {
+                return rec(renderer.elementRenderer.renderer, traversalContext).Then((elementTraversal) => {
+                    if (elementTraversal.kind == "l" && traverseNode.kind == "l") {
+                        return ValueOrErrors.Default.return(Option.Default.none());
+                    }
+                    return ValueOrErrors.Default.return(Option.Default.some((evalContext) => {
+                        const iterator = evalContext.traversalIterator;
+                        if (!PredicateValue.Operations.IsTuple(iterator)) {
+                            return ValueOrErrors.Default.throwOne(`Error: traversal iterator for list is not a tuple, got ${JSON.stringify(iterator, null, 2)}`);
+                        }
+                        return ValueOrErrors.Operations.All(iterator.values.map((value) => elementTraversal.kind == "r"
+                            ? elementTraversal.value(Object.assign(Object.assign({}, evalContext), { traversalIterator: value }))
+                            : ValueOrErrors.Default.return(traversalContext.zeroRes(unit)))).Then((elementResults) => traverseNode.kind == "r"
+                            ? traverseNode
+                                .value(evalContext)
+                                .Then((nodeResult) => ValueOrErrors.Default.return(elementResults.reduce((acc, res) => traversalContext.joinRes([acc, res]), nodeResult)))
+                            : ValueOrErrors.Default.return(elementResults.reduce((acc, res) => traversalContext.joinRes([acc, res]), traversalContext.zeroRes(unit))));
+                    }));
+                });
+            }
+            if (renderer.type.kind == "map" && renderer.kind == "mapRenderer") {
+                return rec(renderer.keyRenderer.renderer, traversalContext).Then((keyTraversal) => {
+                    return rec(renderer.valueRenderer.renderer, traversalContext).Then((valueTraversal) => {
+                        if (keyTraversal.kind == "l" &&
+                            valueTraversal.kind == "l" &&
+                            traverseNode.kind == "l") {
+                            return ValueOrErrors.Default.return(Option.Default.none());
+                        }
+                        return ValueOrErrors.Default.return(Option.Default.some((evalContext) => {
+                            if (keyTraversal.kind == "l" &&
+                                valueTraversal.kind == "l") {
+                                return traverseNode.kind == "r"
+                                    ? traverseNode.value(evalContext)
+                                    : ValueOrErrors.Default.return(traversalContext.zeroRes(unit));
+                            }
+                            const iterator = evalContext.traversalIterator;
+                            if (!PredicateValue.Operations.IsTuple(iterator)) {
+                                return ValueOrErrors.Default.throwOne(`Error: traversal iterator for map is not a tuple, got ${JSON.stringify(iterator, null, 2)}`);
+                            }
+                            return ValueOrErrors.Operations.All(iterator.values.map((value) => {
+                                if (!PredicateValue.Operations.IsTuple(value)) {
+                                    return ValueOrErrors.Default.throwOne(`Error: traversal iterator for map keyValue is not a tuple, got ${JSON.stringify(value, null, 2)}`);
+                                }
+                                const keyRes = keyTraversal.kind == "r"
+                                    ? keyTraversal.value(Object.assign(Object.assign({}, evalContext), { traversalIterator: value.values.get(0) }))
+                                    : ValueOrErrors.Default.return(traversalContext.zeroRes(unit));
+                                const valueRes = valueTraversal.kind == "r"
+                                    ? valueTraversal.value(Object.assign(Object.assign({}, evalContext), { traversalIterator: value.values.get(1) }))
+                                    : ValueOrErrors.Default.return(traversalContext.zeroRes(unit));
+                                if (keyRes.kind == "errors") {
+                                    return keyRes;
+                                }
+                                if (valueRes.kind == "errors") {
+                                    return valueRes;
+                                }
+                                return ValueOrErrors.Default.return(traversalContext.joinRes([
+                                    keyRes.value,
+                                    valueRes.value,
+                                ]));
+                            })).Then((keyValueResults) => {
+                                return traverseNode.kind == "r"
+                                    ? traverseNode
+                                        .value(evalContext)
+                                        .Then((nodeResult) => {
+                                        return ValueOrErrors.Default.return(keyValueResults.reduce((acc, res) => traversalContext.joinRes([acc, res]), nodeResult));
+                                    })
+                                    : ValueOrErrors.Default.return(keyValueResults.reduce((acc, res) => traversalContext.joinRes([acc, res]), traversalContext.zeroRes(unit)));
+                            });
+                        }));
                     });
-                  }),
-                );
-              },
-            );
-          },
-        );
-      }
-      return ValueOrErrors.Default.return(Option.Default.none());
+                });
+            }
+            return ValueOrErrors.Default.return(Option.Default.none());
+        },
     },
-  },
 };
-//# sourceMappingURL=state.js.map
+//# sourceMappingURL=state.js.map