ballerina-core 1.0.187 → 1.0.189

package/bin/src/forms/domains/singleton-table/state.js

@@ -0,0 +1,72 @@
+import { Map, OrderedMap } from "immutable";
+import {
+  simpleUpdater,
+  simpleUpdaterWithChildren,
+  MapRepo,
+  PredicateValue,
+} from "../../../../main";
+import { Debounced } from "../../../debounced/state";
+import { CommonFormState } from "../singleton/state";
+import { ValueInfiniteStreamState } from "../../../value-infinite-data-stream/state";
+export const TableState = () => ({
+  Default: () => ({
+    commonFormState: CommonFormState.Default(),
+    customFormState: {
+      isInitialized: false,
+      streamParams: Debounced.Default(Map()),
+      getChunkWithParams: undefined,
+      stream: undefined,
+    },
+  }),
+  Updaters: {
+    Core: Object.assign(
+      {},
+      simpleUpdaterWithChildren()(
+        Object.assign(
+          Object.assign(
+            Object.assign(
+              Object.assign({}, simpleUpdater()("getChunkWithParams")),
+              simpleUpdater()("stream"),
+            ),
+            simpleUpdater()("streamParams"),
+          ),
+          simpleUpdater()("isInitialized"),
+        ),
+      )("customFormState"),
+    ),
+    Template: {
+      searchText: (key, _) =>
+        TableState().Updaters.Core.customFormState.children.streamParams(
+          Debounced.Updaters.Template.value(
+            MapRepo.Updaters.upsert(key, () => "", _),
+          ),
+        ),
+      loadMore: () =>
+        TableState().Updaters.Core.customFormState.children.stream(
+          ValueInfiniteStreamState().Updaters.Template.loadMore(),
+        ),
+    },
+  },
+  Operations: {
+    tableValuesToValueRecord: (values, fromApiRaw) => {
+      return PredicateValue.Default.record(
+        OrderedMap(
+          Object.entries(values)
+            .map(([Id, _]) => {
+              const parsedRow = fromApiRaw(_);
+              if (parsedRow.kind == "errors") {
+                console.error(parsedRow.errors.toJS());
+                return [Id, PredicateValue.Default.record(Map())];
+              }
+              return [Id, parsedRow.value];
+            })
+            .reduce((acc, [Id, value]) => {
+              acc[Id] = value;
+              return acc;
+            }, {}),
+        ),
+      );
+    },
+  },
+});
+//# sourceMappingURL=state.js.map

package/bin/src/forms/domains/singleton-table/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../../src/forms/domains/singleton-table/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C,OAAO,EACL,aAAa,EAIb,yBAAyB,EAEzB,OAAO,EAEP,cAAc,GAKf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAKrD,OAAO,EAAY,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,wBAAwB,EAAE,MAAM,2CAA2C,CAAC;AAsBrF,MAAM,CAAC,MAAM,UAAU,GAAG,GAAG,EAAE,CAAC,CAAC;IAC/B,OAAO,EAAE,GAAe,EAAE,CAAC,CAAC;QAC1B,eAAe,EAAE,eAAe,CAAC,OAAO,EAAE;QAC1C,eAAe,EAAE;YACf,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YACtC,kBAAkB,EAAE,SAAgB;YACpC,MAAM,EAAE,SAAgB;SACzB;KACF,CAAC;IACF,QAAQ,EAAE;QACR,IAAI,oBACC,yBAAyB,EAAc,6DACrC,aAAa,EAAiC,CAAC,oBAAoB,CAAC,GACpE,aAAa,EAAiC,CAAC,QAAQ,CAAC,GACxD,aAAa,EAAiC,CAAC,cAAc,CAAC,GAC9D,aAAa,EAAiC,CAAC,eAAe,CAAC,EAClE,CAAC,iBAAiB,CAAC,CACtB;QACD,QAAQ,EAAE;YACR,UAAU,EAAE,CAAC,GAAW,EAAE,CAAuB,EAAuB,EAAE,CACxE,UAAU,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,YAAY,CAC9D,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAC/B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAC1C,CACF;YACH,QAAQ,EAAE,GAAwB,EAAE,CAClC,UAAU,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,CACxD,wBAAwB,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,CACxD;SACJ;KACF;IACD,UAAU,EAAE;QACV,wBAAwB,EAAE,CACxB,MAAW,EACX,UAAiE,EACpD,EAAE;YACf,OAAO,cAAc,CAAC,OAAO,CAAC,MAAM,CAClC,UAAU,CACR,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;iBACnB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE;gBACf,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,SAAS,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;oBAC/B,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;oBACvC,OAAO,CAAC,EAAE,EAAE,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBACpD,CAAC;gBACD,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;YAC/B,CAAC,CAAC;iBACD,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE;gBAC3B,GAAG,CAAC,EAAY,CAAC,GAAG,KAAK,CAAC;gBAC1B,OAAO,GAAG,CAAC;YACb,CAAC,EAAE,EAAS,CAAC,CAChB,CACF,CAAC;QACJ,CAAC;KACF;CACF,CAAC,CAAC"}

package/bin/src/forms/domains/singleton-table/template.d.ts

@@ -0,0 +1,25 @@
+import { Map } from "immutable";
+import {
+  BasicFun,
+  FieldValidationWithPath,
+  CommonFormState,
+  PredicateValue,
+  ParsedType,
+  ParsedRecordType,
+} from "../../../../main";
+import { Template } from "../../../template/state";
+export declare const TableForm: {
+  Default: () => {
+    template: (
+      config: Record<string, Template<any, any, any, any>>,
+      columnHeaders: Map<string, string | undefined>,
+      tableType: ParsedRecordType<any>,
+      defaultState: (t: ParsedType<any>) => {
+        commonFormState: CommonFormState;
+        customFormState: object;
+      },
+      validation?: BasicFun<PredicateValue, Promise<FieldValidationWithPath>>,
+    ) => Template<any, any, any, any>;
+  };
+};
+//# sourceMappingURL=template.d.ts.map

package/bin/src/forms/domains/singleton-table/template.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"template.d.ts","sourceRoot":"","sources":["../../../../../src/forms/domains/singleton-table/template.tsx"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAChC,OAAO,EAWL,QAAQ,EACR,uBAAuB,EAGvB,eAAe,EAEf,cAAc,EAGd,UAAU,EAMV,gBAAgB,EAEjB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAQnD,eAAO,MAAM,SAAS;;2BAGR,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,iBACrC,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,aACnC,gBAAgB,CAAC,GAAG,CAAC,gBAClB,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK;YACpC,eAAe,EAAE,eAAe,CAAC;YACjC,eAAe,EAAE,MAAM,CAAC;SACzB,eACY,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,uBAAuB,CAAC,CAAC,KACtE,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;;CAuMlC,CAAC"}

package/bin/src/forms/domains/singleton-table/template.js

@@ -0,0 +1,283 @@
+import { Fragment as _Fragment, jsx as _jsx } from "react/jsx-runtime";
+import { Map } from "immutable";
+import {
+  id,
+  Debounced,
+  Synchronized,
+  unit,
+  replaceWith,
+  CoTypedFactory,
+  Debounce,
+  Synchronize,
+  Sum,
+  AsyncState,
+  TableState,
+  MapRepo,
+  TableLayout,
+  ValueInfiniteStreamTemplate,
+} from "../../../../main";
+import { Template } from "../../../template/state";
+import {
+  StateChunk,
+  ValueInfiniteStreamState,
+} from "../../../value-infinite-data-stream/state";
+import { TableRunner } from "./coroutines/runner";
+export const TableForm = {
+  Default: () => ({
+    template: (config, columnHeaders, tableType, defaultState, validation) => {
+      const EmbeddedValueInfiniteStreamTemplate =
+        ValueInfiniteStreamTemplate.mapContext(
+          (_) => _.customFormState.stream,
+        ).mapState(TableState().Updaters.Core.customFormState.children.stream);
+      const cellTemplates = {};
+      const setCellTemplate = (column) => {
+        const cellType = tableType.fields.get(column);
+        cellTemplates[column] = (chunkIndex) => (rowId) =>
+          config[column]
+            .mapContext((_) => {
+              // disabled flag is passed in from the wrapping container when mapping over fields
+              var _a, _b, _c, _d, _e, _f;
+              const rowData = (
+                (_a =
+                  _.customFormState.stream.loadedElements.get(chunkIndex)) ===
+                  null || _a === void 0
+                  ? void 0
+                  : _a.data
+              ).fields.get(rowId);
+              const rowState =
+                (_c =
+                  (_b =
+                    _.customFormState.stream.chunkStates.get(chunkIndex)) ===
+                    null || _b === void 0
+                    ? void 0
+                    : _b.state) === null || _c === void 0
+                  ? void 0
+                  : _c[rowId];
+              // TODO - could use default value here
+              const cellData =
+                (_d =
+                  rowData === null || rowData === void 0
+                    ? void 0
+                    : rowData.fields) === null || _d === void 0
+                  ? void 0
+                  : _d.get(column);
+              const cellState =
+                (_f =
+                  (_e =
+                    rowState === null || rowState === void 0
+                      ? void 0
+                      : rowState.fields) === null || _e === void 0
+                    ? void 0
+                    : _e.get(column)) !== null && _f !== void 0
+                  ? _f
+                  : defaultState(cellType);
+              return {
+                rootValue: _.rootValue,
+                extraContext: _.extraContext,
+                globalConfiguration: _.globalConfiguration,
+                disabled: _.disabled,
+                value: cellData,
+                commonFormState: _.commonFormState,
+                customFormState: cellState.customFormState,
+                formFieldStates: cellState.formFieldStates,
+                elementFormStates: cellState.elementFormStates,
+              };
+            })
+            .mapState((_) => {
+              return TableState().Updaters.Core.customFormState.children.stream(
+                ValueInfiniteStreamState().Updaters.Core.chunkStates(
+                  MapRepo.Updaters.upsert(
+                    chunkIndex,
+                    () => Map(),
+                    MapRepo.Updaters.upsert(
+                      rowId,
+                      () => StateChunk.Default(defaultState(cellType)),
+                      MapRepo.Updaters.update(rowId, (current) =>
+                        Object.assign(Object.assign({}, current), {
+                          [column]: _(current[column]),
+                        }),
+                      ),
+                    ),
+                  ),
+                ),
+              );
+            })
+            .mapForeignMutationsFromProps((props) =>
+              Object.assign(Object.assign({}, props.foreignMutations), {
+                onChange: (_, nestedDelta) => {
+                  const stateUpdater = validation
+                    ? (_) =>
+                        Object.assign(Object.assign({}, _), {
+                          commonFormState: Object.assign(
+                            Object.assign({}, _.commonFormState),
+                            {
+                              modifiedByUser: true,
+                              validation: Debounced.Updaters.Template.value(
+                                Synchronized.Updaters.value(replaceWith(unit)),
+                              )(_.commonFormState.validation),
+                            },
+                          ),
+                        })
+                    : (_) =>
+                        Object.assign(Object.assign({}, _), {
+                          commonFormState: Object.assign(
+                            Object.assign({}, _.commonFormState),
+                            { modifiedByUser: true },
+                          ),
+                        });
+                  setTimeout(() => {
+                    props.setState(stateUpdater);
+                  }, 0);
+                  const delta = {
+                    kind: "TableValue",
+                    id: rowId,
+                    nestedDelta: nestedDelta,
+                    tableType: props.context.type,
+                  };
+                  props.foreignMutations.onChange(id, delta);
+                },
+              }),
+            );
+      };
+      Object.keys(config).forEach((_) => {
+        setCellTemplate(_);
+      });
+      return Template.Default((props) => {
+        var _a, _b, _c;
+        const globalConfig = (() => {
+          if (
+            props.context.globalConfiguration.kind != "l" &&
+            props.context.globalConfiguration.kind != "r"
+          ) {
+            // global config is in an async state
+            if (
+              AsyncState.Operations.hasValue(props.context.globalConfiguration)
+            ) {
+              return Sum.Default.left(props.context.globalConfiguration.value);
+            }
+            return Sum.Default.right("not initialized");
+          }
+          return props.context.globalConfiguration;
+        })();
+        if (globalConfig.kind == "r") {
+          console.error("global configuration is not initialized");
+          return _jsx(_Fragment, {});
+        }
+        const visibleColumns = TableLayout.Operations.CalculateLayout(
+          Map([["global", globalConfig.value]]),
+          props.context.visibleColumns,
+        );
+        if (visibleColumns.kind == "errors") {
+          console.error(visibleColumns.errors.toJS());
+          return _jsx(_Fragment, {});
+        }
+        // const disabledFieldKeys: OrderedSet<FieldName> = (() => {
+        //   if (
+        //     props.context.disabledFields == undefined ||
+        //     props.context.disabled ||
+        //     props.context.disabledFields.kind != "form"
+        //   )
+        //     return OrderedSet(
+        //       Object.keys(props.context.value.fields.toJS() as object),
+        //     );
+        //   return props.context.disabledFields.fields
+        //     .filter((_) => _.value == true)
+        //     .keySeq()
+        //     .toOrderedSet();
+        // })();
+        const tableValues = (
+          (_b =
+            (_a = props.context.customFormState) === null || _a === void 0
+              ? void 0
+              : _a.stream) === null || _b === void 0
+            ? void 0
+            : _b.loadedElements
+        )
+          ? ValueInfiniteStreamState().Operations.flatChunksWithIndexes(
+              (_c = props.context.customFormState) === null || _c === void 0
+                ? void 0
+                : _c.stream,
+            )
+          : [];
+        if (!props.context.customFormState.isInitialized) {
+          return _jsx(_Fragment, {});
+        }
+        return _jsx(_Fragment, {
+          children: _jsx(
+            props.view,
+            Object.assign({}, props, {
+              context: Object.assign({}, props.context),
+              foreignMutations: Object.assign(
+                Object.assign({}, props.foreignMutations),
+                {
+                  loadMore: () =>
+                    props.setState(TableState().Updaters.Template.loadMore()),
+                },
+              ),
+              VisibleColumns: visibleColumns.value.columns,
+              // TODO
+              // DisabledFieldKeys={disabledFieldKeys}
+              EmbeddedCellTemplates: cellTemplates,
+              ColumnHeaders: columnHeaders,
+              TableValues: tableValues,
+            }),
+          ),
+        });
+      }).any([
+        ValidateRunner(validation),
+        TableRunner,
+        EmbeddedValueInfiniteStreamTemplate,
+      ]);
+    },
+  }),
+};
+// TODO: Validate runner and dirty status are also used to ensure to element is initialised, but this should be further debugged with a more correct solution
+const ValidateRunner = (validation) => {
+  const Co = CoTypedFactory();
+  return Co.Template(
+    validation
+      ? Co.Repeat(
+          Debounce(
+            Synchronize(
+              (_) => (validation ? validation(_.value) : Promise.resolve([])),
+              () => "transient failure",
+              3,
+              50,
+            ),
+            50,
+          ).embed(
+            (_) =>
+              Object.assign(Object.assign({}, _.commonFormState.validation), {
+                value: _.value,
+              }),
+            (_) => (curr) =>
+              Object.assign(Object.assign({}, curr), {
+                commonFormState: Object.assign(
+                  Object.assign({}, curr.commonFormState),
+                  { validation: _(curr.commonFormState.validation) },
+                ),
+              }),
+          ),
+        )
+      : Co.SetState((curr) =>
+          Object.assign(Object.assign({}, curr), {
+            commonFormState: Object.assign(
+              Object.assign({}, curr.commonFormState),
+              {
+                validation: Debounced.Updaters.Core.dirty(
+                  replaceWith("not dirty"),
+                ),
+              },
+            ),
+          }),
+        ),
+    {
+      interval: 15,
+      runFilter: (props) =>
+        Debounced.Operations.shouldCoroutineRun(
+          props.context.commonFormState.validation,
+        ),
+    },
+  );
+};
+//# sourceMappingURL=template.js.map

package/bin/src/forms/domains/singleton-table/template.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template.js","sourceRoot":"","sources":["../../../../../src/forms/domains/singleton-table/template.tsx"],"names":[],"mappings":";AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAChC,OAAO,EAEL,EAAE,EAEF,SAAS,EACT,YAAY,EACZ,IAAI,EACJ,WAAW,EACX,cAAc,EACd,QAAQ,EACR,WAAW,EAWX,GAAG,EACH,UAAU,EACV,UAAU,EACV,OAAO,EACP,WAAW,EAEX,2BAA2B,GAC5B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAEnD,OAAO,EACL,UAAU,EACV,wBAAwB,GACzB,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAElD,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;QACd,QAAQ,EAAE,CACR,MAAoD,EACpD,aAA8C,EAC9C,SAAgC,EAChC,YAGC,EACD,UAAuE,EACzC,EAAE;YAChC,MAAM,mCAAmC,GACvC,2BAA2B,CAAC,UAAU,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAChC,CAAC,QAAQ,CACR,UAAU,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,CAC3D,CAAC;YACJ,MAAM,aAAa,GAGf,EAAE,CAAC;YACP,MAAM,eAAe,GAAG,CAAC,MAAc,EAAE,EAAE;gBACzC,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;gBAC/C,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,UAAkB,EAAE,EAAE,CAAC,CAAC,KAAa,EAAE,EAAE,CAChE,MAAM,CAAC,MAAM,CAAC;qBACX,UAAU,CAAM,CAAC,CAAM,EAAE,EAAE;oBAC1B,kFAAkF;;oBAElF,MAAM,OAAO,GAAG,CACd,MAAA,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,0CACnD,IACL,CAAA,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAgB,CAAC;oBAEnC,MAAM,QAAQ,GAAG,MACf,MAAA,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,0CAChD,KACL,0CAAG,KAAK,CAAC,CAAC;oBACX,sCAAsC;oBACtC,MAAM,QAAQ,GAAG,MAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,MAAM,0CAAE,GAAG,CAAC,MAAgB,CAAC,CAAC;oBACxD,MAAM,SAAS,GACb,MAAA,MAAA,QAAQ,aAAR,QAAQ,uBAAR,QAAQ,CAAE,MAAM,0CAAE,GAAG,CAAC,MAAgB,CAAC,mCACvC,YAAY,CAAC,QAAQ,CAAC,CAAC;oBAEzB,OAAO;wBACL,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,YAAY,EAAE,CAAC,CAAC,YAAY;wBAC5B,mBAAmB,EAAE,CAAC,CAAC,mBAAmB;wBAC1C,QAAQ,EAAE,CAAC,CAAC,QAAQ;wBACpB,KAAK,EAAE,QAAQ;wBACf,eAAe,EAAE,CAAC,CAAC,eAAe;wBAClC,eAAe,EAAE,SAAS,CAAC,eAAe;wBAC1C,eAAe,EAAE,SAAS,CAAC,eAAe;wBAC1C,iBAAiB,EAAE,SAAS,CAAC,iBAAiB;qBAC/C,CAAC;gBACJ,CAAC,CAAC;qBACD,QAAQ,CAAM,CAAC,CAAC,EAAE,EAAE;oBACnB,OAAO,UAAU,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,CAC/D,wBAAwB,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAClD,OAAO,CAAC,QAAQ,CAAC,MAAM,CACrB,UAAU,EACV,GAAG,EAAE,CAAC,GAAG,EAAE,EACX,OAAO,CAAC,QAAQ,CAAC,MAAM,CACrB,KAAK,EACL,GAAG,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,EAChD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,iCACvC,OAAO,KACV,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAC5B,CAAC,CACJ,CACF,CACF,CACF,CAAC;gBACJ,CAAC,CAAC;qBACD,4BAA4B,CAAM,CAAC,KAAK,EAAE,EAAE,CAAC,iCACzC,KAAK,CAAC,gBAAgB,KACzB,QAAQ,EAAE,CACR,CAA+B,EAC/B,WAAkB,EAClB,EAAE;wBACF,MAAM,YAAY,GAAsB,UAAU;4BAChD,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iCACF,CAAC,KACJ,eAAe,kCACV,CAAC,CAAC,eAAe,KACpB,cAAc,EAAE,IAAI,EACpB,UAAU,EACR,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAC/B,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAC/C,CAAC,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,OAEnC;4BACJ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iCACF,CAAC,KACJ,eAAe,kCACV,CAAC,CAAC,eAAe,KACpB,cAAc,EAAE,IAAI,OAEtB,CAAC;wBACP,UAAU,CAAC,GAAG,EAAE;4BACd,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;wBAC/B,CAAC,EAAE,CAAC,CAAC,CAAC;wBAEN,MAAM,KAAK,GAAU;4BACnB,IAAI,EAAE,YAAY;4BAClB,EAAE,EAAE,KAAK;4BACT,WAAW,EAAE,WAAW;4BACxB,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI;yBAC9B,CAAC;wBAEF,KAAK,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;oBAC7C,CAAC,IACD,CAAC,CAAC;YACV,CAAC,CAAC;YACF,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;gBAChC,eAAe,CAAC,CAAC,CAAC,CAAC;YACrB,CAAC,CAAC,CAAC;YACH,OAAO,QAAQ,CAAC,OAAO,CAAqB,CAAC,KAAK,EAAE,EAAE;;gBACpD,MAAM,YAAY,GAA2C,CAAC,GAAG,EAAE;oBACjE,IACE,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,IAAI,GAAG;wBAC7C,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,IAAI,GAAG,EAC7C,CAAC;wBACD,qCAAqC;wBACrC,IACE,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAAC,EACjE,CAAC;4BACD,OAAO,GAAG,CAAC,OAAO,CAAC,IAAI,CACrB,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CACxC,CAAC;wBACJ,CAAC;wBACD,OAAO,GAAG,CAAC,OAAO,CAAC,KAAK,CACtB,iBAAiB,CAClB,CAAC;oBACJ,CAAC;oBACD,OAAO,KAAK,CAAC,OAAO,CAAC,mBAGpB,CAAC;gBACJ,CAAC,CAAC,EAAE,CAAC;gBAEL,IAAI,YAAY,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;oBAC7B,OAAO,CAAC,KAAK,CAAC,yCAAyC,CAAC,CAAC;oBACzD,OAAO,mBAAK,CAAC;gBACf,CAAC;gBAED,MAAM,cAAc,GAAG,WAAW,CAAC,UAAU,CAAC,eAAe,CAC3D,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EACrC,KAAK,CAAC,OAAO,CAAC,cAAc,CAC7B,CAAC;gBACF,IAAI,cAAc,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;oBACpC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;oBAC5C,OAAO,mBAAK,CAAC;gBACf,CAAC;gBAED,4DAA4D;gBAC5D,SAAS;gBACT,mDAAmD;gBACnD,gCAAgC;gBAChC,kDAAkD;gBAClD,MAAM;gBACN,yBAAyB;gBACzB,kEAAkE;gBAClE,SAAS;gBAET,+CAA+C;gBAC/C,sCAAsC;gBACtC,gBAAgB;gBAChB,uBAAuB;gBACvB,QAAQ;gBAER,MAAM,WAAW,GAAG,CAAA,MAAA,MAAA,KAAK,CAAC,OAAO,CAAC,eAAe,0CAAE,MAAM,0CACrD,cAAc;oBAChB,CAAC,CAAC,wBAAwB,EAAE,CAAC,UAAU,CAAC,qBAAqB,CACzD,MAAA,KAAK,CAAC,OAAO,CAAC,eAAe,0CAAE,MAAM,CACtC;oBACH,CAAC,CAAC,EAAE,CAAC;gBAEP,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,aAAa,EAAE,CAAC;oBACjD,OAAO,mBAAK,CAAC;gBACf,CAAC;gBAED,OAAO,CACL,4BACE,KAAC,KAAK,CAAC,IAAI,oBACL,KAAK,IACT,OAAO,oBACF,KAAK,CAAC,OAAO,GAElB,gBAAgB,kCACX,KAAK,CAAC,gBAAgB,KACzB,QAAQ,EAAE,GAAG,EAAE,CACb,KAAK,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAE7D,cAAc,EAAE,cAAc,CAAC,KAAK,CAAC,OAAO;wBAC5C,OAAO;wBACP,wCAAwC;wBACxC,qBAAqB,EAAE,aAAa,EACpC,aAAa,EAAE,aAAa,EAC5B,WAAW,EAAE,WAAW,IACxB,GACD,CACJ,CAAC;YACJ,CAAC,CAAC,CAAC,GAAG,CAAC;gBACL,cAAc,CAAqB,UAAU,CAAC;gBAC9C,WAAW;gBACX,mCAAmC;aACpC,CAAC,CAAC;QACL,CAAC;KACF,CAAC;CACH,CAAC;AAEF,6JAA6J;AAC7J,MAAM,cAAc,GAAG,CAMrB,UAA+D,EAC/D,EAAE;IACF,MAAM,EAAE,GAAG,cAAc,EAAkD,CAAC;IAC5E,OAAO,EAAE,CAAC,QAAQ,CAChB,UAAU;QACR,CAAC,CAAC,EAAE,CAAC,MAAM,CACP,QAAQ,CACN,WAAW,CACT,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAC/D,GAAG,EAAE,CAAC,mBAAmB,EACzB,CAAC,EACD,EAAE,CACH,EACD,EAAE,CACH,CAAC,KAAK,CACL,CAAC,CAAC,EAAE,EAAE,CAAC,iCAAM,CAAC,CAAC,eAAe,CAAC,UAAU,KAAE,KAAK,EAAE,CAAC,CAAC,KAAK,IAAG,EAC5D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iCACZ,IAAI,KACP,eAAe,kCACV,IAAI,CAAC,eAAe,KACvB,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,OAEhD,CACH,CACF;QACH,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iCACjB,IAAI,KACP,eAAe,kCACV,IAAI,CAAC,eAAe,KACvB,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CACvC,WAAW,CAAc,WAAW,CAAC,CACtC,OAEH,CAAC,EACP;QACE,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CACnB,SAAS,CAAC,UAAU,CAAC,kBAAkB,CACrC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,UAAU,CACzC;KACJ,CACF,CAAC;AACJ,CAAC,CAAC"}

package/bin/src/fun/domains/curry/state.d.ts

@@ -1,4 +1,2 @@
-export declare const curry: <A, B, C>(
-  f: (a: A, b: B) => C,
-) => (a: A) => (b: B) => C;
-//# sourceMappingURL=state.d.ts.map
+export declare const curry: <A, B, C>(f: (a: A, b: B) => C) => (a: A) => (b: B) => C;
+//# sourceMappingURL=state.d.ts.map

package/bin/src/fun/domains/curry/state.js

@@ -1,2 +1,2 @@
 export const curry = (f) => (a) => (b) => f(a, b);
-//# sourceMappingURL=state.js.map
+//# sourceMappingURL=state.js.map

package/bin/src/fun/domains/id/state.d.ts

@@ -1,2 +1,2 @@
 export declare const id: <a>(_: a) => a;
-//# sourceMappingURL=state.d.ts.map
+//# sourceMappingURL=state.d.ts.map

package/bin/src/fun/domains/id/state.js

@@ -1,2 +1,2 @@
 export const id = (_) => _;
-//# sourceMappingURL=state.js.map
+//# sourceMappingURL=state.js.map

package/bin/src/fun/domains/predicate/domains/bool-expr.d.ts

@@ -1,64 +1,48 @@
 import { BasicFun } from "../../../state";
 import { Predicate } from "../state";
-export type BoolExprSerializable<Leaf> =
-  | {
-      kind: "leaf";
-      operation: keyof Leaf;
-      arguments: Leaf[keyof Leaf];
-    }
-  | {
-      kind: "true";
-    }
-  | {
-      kind: "false";
-    }
-  | {
-      kind: "and" | "or";
-      operands: [BoolExprSerializable<Leaf>, BoolExprSerializable<Leaf>];
-    }
-  | {
-      kind: "not";
-      operand: BoolExprSerializable<Leaf>;
-    };
+export type BoolExprSerializable<Leaf> = {
+    kind: "leaf";
+    operation: keyof Leaf;
+    arguments: Leaf[keyof Leaf];
+} | {
+    kind: "true";
+} | {
+    kind: "false";
+} | {
+    kind: "and" | "or";
+    operands: [BoolExprSerializable<Leaf>, BoolExprSerializable<Leaf>];
+} | {
+    kind: "not";
+    operand: BoolExprSerializable<Leaf>;
+};
 export type LeafPredicatesEvaluators<Leaf, Context> = {
-  [leaf in keyof Leaf]: BasicFun<Leaf[leaf], Predicate<Context>>;
+    [leaf in keyof Leaf]: BasicFun<Leaf[leaf], Predicate<Context>>;
 };
-export type BoolExpr<Leaf> = (
-  | {
-      kind: "leaf";
-      operation: keyof Leaf;
-      arguments: Leaf[keyof Leaf];
-    }
-  | {
-      kind: "true";
-    }
-  | {
-      kind: "false";
-    }
-  | {
-      kind: "and" | "or";
-      operands: [BoolExpr<Leaf>, BoolExpr<Leaf>];
-    }
-  | {
-      kind: "not";
-      operand: BoolExpr<Leaf>;
-    }
-) & {
-  not: () => BoolExpr<Leaf>;
-  and: BasicFun<BoolExpr<Leaf>, BoolExpr<Leaf>>;
-  or: BasicFun<BoolExpr<Leaf>, BoolExpr<Leaf>>;
-  eval: <Context>(
-    evalLeaf: LeafPredicatesEvaluators<Leaf, Context>,
-  ) => Predicate<Context>;
+export type BoolExpr<Leaf> = ({
+    kind: "leaf";
+    operation: keyof Leaf;
+    arguments: Leaf[keyof Leaf];
+} | {
+    kind: "true";
+} | {
+    kind: "false";
+} | {
+    kind: "and" | "or";
+    operands: [BoolExpr<Leaf>, BoolExpr<Leaf>];
+} | {
+    kind: "not";
+    operand: BoolExpr<Leaf>;
+}) & {
+    not: () => BoolExpr<Leaf>;
+    and: BasicFun<BoolExpr<Leaf>, BoolExpr<Leaf>>;
+    or: BasicFun<BoolExpr<Leaf>, BoolExpr<Leaf>>;
+    eval: <Context>(evalLeaf: LeafPredicatesEvaluators<Leaf, Context>) => Predicate<Context>;
 };
 export declare const BoolExpr: {
-  Default: (<Leaf>(_: BoolExprSerializable<Leaf>) => BoolExpr<Leaf>) & {
-    true: <Leaf>() => BoolExpr<Leaf>;
-    false: <Leaf>() => BoolExpr<Leaf>;
-    leaf: <Leaf>() => <operation extends keyof Leaf>(
-      operation: operation,
-      args: Leaf[operation],
-    ) => BoolExpr<Leaf>;
-  };
+    Default: (<Leaf>(_: BoolExprSerializable<Leaf>) => BoolExpr<Leaf>) & {
+        true: <Leaf>() => BoolExpr<Leaf>;
+        false: <Leaf>() => BoolExpr<Leaf>;
+        leaf: <Leaf>() => <operation extends keyof Leaf>(operation: operation, args: Leaf[operation]) => BoolExpr<Leaf>;
+    };
 };
-//# sourceMappingURL=bool-expr.d.ts.map
+//# sourceMappingURL=bool-expr.d.ts.map