ballerina-core 1.0.186 → 1.0.187

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

@@ -1,404 +1,720 @@
-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 == "inlinedType-lookupRenderer" ||
-                renderer.kind == "lookupType-inlinedRenderer") {
-                if (renderer.kind == "lookupType-lookupRenderer" ||
-                    renderer.kind == "inlinedType-lookupRenderer") {
-                    // renderer.renderer.renderer is the form name
-                    // this is a form lookup, so "local" changes here to the traversed value
-                    return LookupRenderer.Operations.ResolveRenderer(renderer, traversalContext.forms).Then((resolvedRenderer) => rec(resolvedRenderer, traversalContext).Then((valueTraversal) => ValueOrErrors.Default.return(mapEvalContext((ctx) => (Object.assign(Object.assign({}, ctx), { local: ctx.traversalIterator })))(valueTraversal))));
-                }
-                // otherwise the form is inlined, so the local doesn't change
-                return LookupRenderer.Operations.ResolveRenderer(renderer, traversalContext.forms).Then((resolvedRenderer) => rec(resolvedRenderer, traversalContext).Then((valueTraversal) => ValueOrErrors.Default.return(valueTraversal)));
-            }
-            if (renderer.type.kind == "record" && renderer.kind == "recordRenderer") {
-                return ValueOrErrors.Operations.All(List(renderer.fields
-                    .map((fieldRenderer, fieldName) => rec(fieldRenderer.renderer, traversalContext).Then((fieldTraversal) => {
+  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 == "inlinedType-lookupRenderer" ||
+        renderer.kind == "lookupType-inlinedRenderer"
+      ) {
+        if (
+          renderer.kind == "lookupType-lookupRenderer" ||
+          renderer.kind == "inlinedType-lookupRenderer"
+        ) {
+          // renderer.renderer.renderer is the form name
+          // this is a form lookup, so "local" changes here to the traversed value
+          return LookupRenderer.Operations.ResolveRenderer(
+            renderer,
+            traversalContext.forms,
+          ).Then((resolvedRenderer) =>
+            rec(resolvedRenderer, traversalContext).Then((valueTraversal) =>
+              ValueOrErrors.Default.return(
+                mapEvalContext((ctx) =>
+                  Object.assign(Object.assign({}, ctx), {
+                    local: ctx.traversalIterator,
+                  }),
+                )(valueTraversal),
+              ),
+            ),
+          );
+        }
+        // otherwise the form is inlined, so the local doesn't change
+        return LookupRenderer.Operations.ResolveRenderer(
+          renderer,
+          traversalContext.forms,
+        ).Then((resolvedRenderer) =>
+          rec(resolvedRenderer, traversalContext).Then((valueTraversal) =>
+            ValueOrErrors.Default.return(valueTraversal),
+          ),
+        );
+      }
+      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,
+                      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 [
-                                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());
+                  },
+                ),
+              )
+              .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 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);
+                  }
+                  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,
+                                    ]),
+                                  );
                                 });
-                            }
-                            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 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(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({
+                        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));
-                    }));
-                });
-            }
-            // TODO -- add recursion for the detailsRenderer, but requires state
-            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((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),
+                    );
+            }),
+          );
+        });
+      }
+      // TODO -- add recursion for the detailsRenderer, but requires state
+      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) => {
-                    if (columnTraversals.every((c) => c.columnTraversal.kind == "l") &&
-                        traverseNode.kind == "l") {
-                        return ValueOrErrors.Default.return(Option.Default.none());
+                  },
+                );
+              })
+              .valueSeq(),
+          ),
+        ).Then((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 [];
                     }
-                    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 })),
-                                    ];
-                                });
-                            })).Then((columnResults) => {
-                                return traverseNode.kind == "r"
-                                    ? traverseNode
-                                        .value(evalContext)
-                                        .Then((nodeResult) => ValueOrErrors.Default.return(columnResults.reduce((acc, res) => traversalContext.joinRes([acc, res]), nodeResult)))
-                                    : ValueOrErrors.Default.return(columnResults.reduce((acc, res) => traversalContext.joinRes([acc, res]), traversalContext.zeroRes(unit)));
-                            });
-                        });
-                    }));
+                    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,
+                          }),
+                        ),
+                      ];
+                    });
+                  }),
+                ).Then((columnResults) => {
+                  return traverseNode.kind == "r"
+                    ? traverseNode
+                        .value(evalContext)
+                        .Then((nodeResult) =>
+                          ValueOrErrors.Default.return(
+                            columnResults.reduce(
+                              (acc, res) =>
+                                traversalContext.joinRes([acc, res]),
+                              nodeResult,
+                            ),
+                          ),
+                        )
+                    : ValueOrErrors.Default.return(
+                        columnResults.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());
             }
-            // 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}`);
-                        }
-                        const isSome = PredicateValue.Operations.IsOption(iterator) &&
-                            iterator.isSome;
-                        if (!isSome) {
-                            return traverseNode.kind == "r"
-                                ? traverseNode.value(evalContext)
-                                : 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,
-                                        ]));
-                                    })
-                                    : ValueOrErrors.Default.return(nodeResult);
+            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}`,
+                  );
+                }
+                const isSome =
+                  PredicateValue.Operations.IsOption(iterator) &&
+                  iterator.isSome;
+                if (!isSome) {
+                  return traverseNode.kind == "r"
+                    ? traverseNode.value(evalContext)
+                    : 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,
+                                ]),
+                              );
                             })
-                            : itemTraversal.kind == "r"
-                                ? itemTraversal.value(Object.assign(Object.assign({}, evalContext), { traversalIterator: iterator.value }))
-                                : ValueOrErrors.Default.return(traversalContext.zeroRes(unit));
-                    }));
-                });
+                        : 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());
             }
-            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.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) => {
+                        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.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());
+                        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;
                         }
-                        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)));
-                            });
-                        }));
+                        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