ballerina-core 1.0.205 → 1.0.206

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

@@ -0,0 +1,212 @@
+import { Map } from "immutable";
+import {
+  BasicFun,
+  EntityFormTemplate,
+  FieldValidationWithPath,
+  OnChange,
+  CommonFormState,
+  FieldName,
+  PredicateValue,
+  ParsedType,
+  ValueOrErrors,
+  TableApiSource,
+} from "../../../../main";
+import { Template } from "../../../template/state";
+import { Value } from "../../../value/state";
+export declare const RecordForm: <
+  FieldStates extends {
+    formFieldStates: any;
+  },
+  Context extends {
+    tableApiSource: TableApiSource;
+    fromApiParserByType: (
+      value: any,
+      type: ParsedType<any>,
+    ) => ValueOrErrors<PredicateValue, string>;
+  },
+  ForeignMutationsExpected,
+>() => {
+  Default: <Fields extends keyof FieldStates["formFieldStates"]>() => {
+    config: (_: {
+      [f in Fields]: Template<
+        Context & {
+          customFormState: {
+            [f_1 in Fields]: {
+              customFormState: FieldStates[f_1];
+              commonFormState: CommonFormState;
+              formFieldStates: FieldStates[f_1];
+              elementFormStates: FieldStates[f_1];
+            };
+          }[f]["customFormState"];
+          commonFormState: {
+            [f_1 in Fields]: {
+              customFormState: FieldStates[f_1];
+              commonFormState: CommonFormState;
+              formFieldStates: FieldStates[f_1];
+              elementFormStates: FieldStates[f_1];
+            };
+          }[f]["commonFormState"];
+        } & Value<f> & {
+            disabled: boolean;
+            visible: boolean;
+            type: ParsedType<any>;
+            tableApiSource: TableApiSource;
+            fromApiParserByType: (
+              value: any,
+              type: ParsedType<any>,
+            ) => ValueOrErrors<PredicateValue, string>;
+          },
+        {
+          customFormState: {
+            [f_1 in Fields]: {
+              customFormState: FieldStates[f_1];
+              commonFormState: CommonFormState;
+              formFieldStates: FieldStates[f_1];
+              elementFormStates: FieldStates[f_1];
+            };
+          }[f]["customFormState"];
+          commonFormState: {
+            [f_1 in Fields]: {
+              customFormState: FieldStates[f_1];
+              commonFormState: CommonFormState;
+              formFieldStates: FieldStates[f_1];
+              elementFormStates: FieldStates[f_1];
+            };
+          }[f]["commonFormState"];
+        },
+        ForeignMutationsExpected & {
+          onChange: OnChange<PredicateValue>;
+        }
+      >;
+    }) => {
+      [f in Fields]: Template<
+        Context & {
+          customFormState: {
+            [f_1 in Fields]: {
+              customFormState: FieldStates[f_1];
+              commonFormState: CommonFormState;
+              formFieldStates: FieldStates[f_1];
+              elementFormStates: FieldStates[f_1];
+            };
+          }[f]["customFormState"];
+          commonFormState: {
+            [f_1 in Fields]: {
+              customFormState: FieldStates[f_1];
+              commonFormState: CommonFormState;
+              formFieldStates: FieldStates[f_1];
+              elementFormStates: FieldStates[f_1];
+            };
+          }[f]["commonFormState"];
+        } & Value<f> & {
+            disabled: boolean;
+            visible: boolean;
+            type: ParsedType<any>;
+            tableApiSource: TableApiSource;
+            fromApiParserByType: (
+              value: any,
+              type: ParsedType<any>,
+            ) => ValueOrErrors<PredicateValue, string>;
+          },
+        {
+          customFormState: {
+            [f_1 in Fields]: {
+              customFormState: FieldStates[f_1];
+              commonFormState: CommonFormState;
+              formFieldStates: FieldStates[f_1];
+              elementFormStates: FieldStates[f_1];
+            };
+          }[f]["customFormState"];
+          commonFormState: {
+            [f_1 in Fields]: {
+              customFormState: FieldStates[f_1];
+              commonFormState: CommonFormState;
+              formFieldStates: FieldStates[f_1];
+              elementFormStates: FieldStates[f_1];
+            };
+          }[f]["commonFormState"];
+        },
+        ForeignMutationsExpected & {
+          onChange: OnChange<PredicateValue>;
+        }
+      >;
+    };
+    template: (
+      config: {
+        [f in Fields]: Template<
+          Context & {
+            customFormState: {
+              [f_1 in Fields]: {
+                customFormState: FieldStates[f_1];
+                commonFormState: CommonFormState;
+                formFieldStates: FieldStates[f_1];
+                elementFormStates: FieldStates[f_1];
+              };
+            }[f]["customFormState"];
+            commonFormState: {
+              [f_1 in Fields]: {
+                customFormState: FieldStates[f_1];
+                commonFormState: CommonFormState;
+                formFieldStates: FieldStates[f_1];
+                elementFormStates: FieldStates[f_1];
+              };
+            }[f]["commonFormState"];
+          } & Value<f> & {
+              disabled: boolean;
+              visible: boolean;
+              type: ParsedType<any>;
+              tableApiSource: TableApiSource;
+              fromApiParserByType: (
+                value: any,
+                type: ParsedType<any>,
+              ) => ValueOrErrors<PredicateValue, string>;
+            },
+          {
+            customFormState: {
+              [f_1 in Fields]: {
+                customFormState: FieldStates[f_1];
+                commonFormState: CommonFormState;
+                formFieldStates: FieldStates[f_1];
+                elementFormStates: FieldStates[f_1];
+              };
+            }[f]["customFormState"];
+            commonFormState: {
+              [f_1 in Fields]: {
+                customFormState: FieldStates[f_1];
+                commonFormState: CommonFormState;
+                formFieldStates: FieldStates[f_1];
+                elementFormStates: FieldStates[f_1];
+              };
+            }[f]["commonFormState"];
+          },
+          ForeignMutationsExpected & {
+            onChange: OnChange<PredicateValue>;
+          }
+        >;
+      },
+      fieldLabels: Map<FieldName, string | undefined>,
+      validation?: BasicFun<PredicateValue, Promise<FieldValidationWithPath>>,
+    ) => EntityFormTemplate<
+      Fields,
+      FieldStates,
+      Context,
+      ForeignMutationsExpected
+    >;
+  };
+};
+export declare const ValidateRunner: <
+  Context,
+  FormState extends {
+    commonFormState: CommonFormState;
+  },
+  ForeignMutationsExpected,
+  Entity extends PredicateValue,
+>(
+  validation?: BasicFun<Entity, Promise<FieldValidationWithPath>>,
+) => Template<
+  Context & Value<Entity> & FormState,
+  FormState,
+  ForeignMutationsExpected & {
+    onChange: OnChange<Entity>;
+  }
+>;
+//# sourceMappingURL=template.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"template.d.ts","sourceRoot":"","sources":["../../../../../src/forms/domains/singleton/template.tsx"],"names":[],"mappings":"AAAA,OAAO,EAAc,GAAG,EAAc,MAAM,WAAW,CAAC;AACxD,OAAO,EAWL,QAAQ,EAIR,kBAAkB,EAGlB,uBAAuB,EAEvB,QAAQ,EACR,eAAe,EAEf,SAAS,EACT,cAAc,EAGd,UAAU,EAKV,aAAa,EACb,cAAc,EACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE7C,eAAO,MAAM,UAAU,GACrB,WAAW,SAAS;IAAE,eAAe,EAAE,GAAG,CAAA;CAAE,EAC5C,OAAO,SAAS;IACd,cAAc,EAAE,cAAc,CAAC;IAC/B,mBAAmB,EAAE,CACnB,KAAK,EAAE,GAAG,EACV,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,KAClB,aAAa,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;CAC5C,EACD,wBAAwB;cAEd,MAAM,SAAS,MAAM,WAAW,CAAC,iBAAiB,CAAC;uBA2BhC,CAAC;;;;;;;;;;;;;;sBAfZ,OAAO;qBACR,OAAO;kBACV,UAAU,CAAC,GAAG,CAAC;4BACL,cAAc;iCACT,CACnB,KAAK,EAAE,GAAG,EACV,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,KAClB,aAAa,CAAC,cAAc,EAAE,MAAM,CAAC;;;;;;;;;;;;;;;sBAMP,QAAQ,CAAC,cAAc,CAAC;qBAEtC,CAAC;;;;;;;;;;;;;;sBAfZ,OAAO;qBACR,OAAO;kBACV,UAAU,CAAC,GAAG,CAAC;4BACL,cAAc;iCACT,CACnB,KAAK,EAAE,GAAG,EACV,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,KAClB,aAAa,CAAC,cAAc,EAAE,MAAM,CAAC;;;;;;;;;;;;;;;sBAMP,QAAQ,CAAC,cAAc,CAAC;;8BAEtC,CAAC;;;;;;;;;;;;;;sBAfZ,OAAO;qBACR,OAAO;kBACV,UAAU,CAAC,GAAG,CAAC;4BACL,cAAc;iCACT,CACnB,KAAK,EAAE,GAAG,EACV,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,KAClB,aAAa,CAAC,cAAc,EAAE,MAAM,CAAC;;;;;;;;;;;;;;;sBAMP,QAAQ,CAAC,cAAc,CAAC;4BAQhD,GAAG,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC,eAClC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,uBAAuB,CAAC,CAAC,KACtE,kBAAkB,CACnB,MAAM,EACN,WAAW,EACX,OAAO,EACP,wBAAwB,CACzB;;CA2RL,CAAC;AAGH,eAAO,MAAM,cAAc,GACzB,OAAO,EACP,SAAS,SAAS;IAAE,eAAe,EAAE,eAAe,CAAA;CAAE,EACtD,wBAAwB,EACxB,MAAM,SAAS,cAAc,EAE7B,aAAa,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,uBAAuB,CAAC,CAAC;cAGL,QAAQ,CAAC,MAAM,CAAC;EAuC3E,CAAC"}

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

@@ -0,0 +1,296 @@
+import {
+  Fragment as _Fragment,
+  jsx as _jsx,
+  jsxs as _jsxs,
+} from "react/jsx-runtime";
+import { OrderedSet, OrderedMap } from "immutable";
+import {
+  id,
+  Debounced,
+  Synchronized,
+  unit,
+  replaceWith,
+  CoTypedFactory,
+  Debounce,
+  Synchronize,
+  PredicateValue,
+  Sum,
+  AsyncState,
+  FormLayout,
+} from "../../../../main";
+import { Template } from "../../../template/state";
+export const RecordForm = () => ({
+  Default: () => {
+    return {
+      config: id,
+      template: (config, fieldLabels, validation) => {
+        const fieldTemplates = {};
+        const setFieldTemplate = (field) => {
+          fieldTemplates[field] = config[field]
+            .mapContext((_) => {
+              var _a, _b, _c, _d;
+              // disabled flag is passed in from the wrapping container when mapping over fields
+              const visibilitiesFromParent =
+                ((_a = _.visibilities) === null || _a === void 0
+                  ? void 0
+                  : _a.kind) == "form"
+                  ? (_b = _.visibilities) === null || _b === void 0
+                    ? void 0
+                    : _b.fields.get(field)
+                  : undefined;
+              const disabledFieldsFromParent =
+                ((_c = _.disabledFields) === null || _c === void 0
+                  ? void 0
+                  : _c.kind) == "form"
+                  ? (_d = _.disabledFields) === null || _d === void 0
+                    ? void 0
+                    : _d.fields.get(field)
+                  : undefined;
+              return {
+                rootValue: _.rootValue,
+                value: _.value.fields.get(field),
+                extraContext: _.extraContext,
+                disabled: _.disabled,
+                visible: _.visible,
+                commonFormState: _.formFieldStates[field].commonFormState,
+                customFormState: _.formFieldStates[field].customFormState,
+                formFieldStates: _.formFieldStates[field].formFieldStates,
+                elementFormStates: _.formFieldStates[field].elementFormStates,
+                visibilities: visibilitiesFromParent,
+                disabledFields: disabledFieldsFromParent,
+                globalConfiguration: _.globalConfiguration,
+                tableApiSource: _.tableApiSource,
+                fromApiParserByType: _.fromApiParserByType,
+              };
+            })
+            .mapState((_) => (current) => {
+              return Object.assign(Object.assign({}, current), {
+                formFieldStates: Object.assign(
+                  Object.assign({}, current.formFieldStates),
+                  { [field]: _(current.formFieldStates[field]) },
+                ),
+              });
+            })
+            .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),
+                            },
+                          ),
+                          formFieldStates: Object.assign(
+                            Object.assign({}, _.formFieldStates),
+                            {
+                              [field]: Object.assign(
+                                Object.assign({}, _.formFieldStates[field]),
+                                {
+                                  commonFormState: Object.assign(
+                                    Object.assign(
+                                      {},
+                                      _.formFieldStates[field].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 },
+                          ),
+                          formFieldStates: Object.assign(
+                            Object.assign({}, _.formFieldStates),
+                            {
+                              [field]: Object.assign(
+                                Object.assign({}, _.formFieldStates[field]),
+                                {
+                                  commonFormState: Object.assign(
+                                    Object.assign(
+                                      {},
+                                      _.formFieldStates[field].commonFormState,
+                                    ),
+                                    { modifiedByUser: true },
+                                  ),
+                                },
+                              ),
+                            },
+                          ),
+                        });
+                  setTimeout(() => {
+                    props.setState(stateUpdater);
+                  }, 0);
+                  const delta = {
+                    kind: "RecordField",
+                    field: [field, nestedDelta],
+                    recordType: props.context.type,
+                  };
+                  props.foreignMutations.onChange(
+                    (current) =>
+                      PredicateValue.Operations.IsRecord(current)
+                        ? PredicateValue.Default.record(
+                            current.fields.update(
+                              field,
+                              PredicateValue.Default.unit(),
+                              _,
+                            ),
+                          )
+                        : current,
+                    delta,
+                  );
+                },
+              }),
+            );
+        };
+        Object.keys(config).forEach((_) => {
+          const field = _;
+          setFieldTemplate(field);
+        });
+        return Template.Default((props) => {
+          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 Layout = FormLayout.Operations.ComputeLayout(
+            OrderedMap([["global", globalConfig.value]]),
+            props.context.layout,
+          );
+          if (Layout.kind == "errors") {
+            return _jsxs(_Fragment, {
+              children: [
+                "Error parsing layout ",
+                JSON.stringify(Layout.errors),
+              ],
+            });
+          }
+          const visibleFieldKeys = (() => {
+            if (
+              props.context.visibilities == undefined ||
+              props.context.visible == false ||
+              props.context.visibilities.kind != "form"
+            )
+              return OrderedSet();
+            return props.context.visibilities.fields
+              .filter((_) => _.value == true)
+              .keySeq()
+              .toOrderedSet();
+          })();
+          const disabledFieldKeys = (() => {
+            if (
+              props.context.disabledFields == undefined ||
+              props.context.disabled ||
+              props.context.disabledFields.kind != "form"
+            )
+              return OrderedSet(Object.keys(props.context.value.fields.toJS()));
+            return props.context.disabledFields.fields
+              .filter((_) => _.value == true)
+              .keySeq()
+              .toOrderedSet();
+          })();
+          return _jsx(_Fragment, {
+            children: _jsx(
+              props.view,
+              Object.assign({}, props, {
+                context: Object.assign(Object.assign({}, props.context), {
+                  layout: Layout.value,
+                }),
+                VisibleFieldKeys: visibleFieldKeys,
+                DisabledFieldKeys: disabledFieldKeys,
+                EmbeddedFields: fieldTemplates,
+                FieldLabels: fieldLabels,
+              }),
+            ),
+          });
+        }).any([ValidateRunner(validation)]);
+      },
+    };
+  },
+});
+// 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
+export 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/template.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template.js","sourceRoot":"","sources":["../../../../../src/forms/domains/singleton/template.tsx"],"names":[],"mappings":";AAAA,OAAO,EAAE,UAAU,EAAO,UAAU,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,EAEL,EAAE,EAEF,SAAS,EACT,YAAY,EACZ,IAAI,EACJ,WAAW,EACX,cAAc,EACd,QAAQ,EACR,WAAW,EAcX,cAAc,EAId,GAAG,EACH,UAAU,EACV,UAAU,GAIX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGnD,MAAM,CAAC,MAAM,UAAU,GAAG,GAUtB,EAAE,CAAC,CAAC;IACN,OAAO,EAAE,GAAwD,EAAE;QA6BjE,OAAO;YACL,MAAM,EAAE,CAAA,EAAoB,CAAA;YAC5B,QAAQ,EAAE,CACR,MAAwB,EACxB,WAA+C,EAC/C,UAAuE,EAMvE,EAAE;gBACF,MAAM,cAAc,GAWhB,EAKH,CAAC;gBACF,MAAM,gBAAgB,GAAG,CAAuB,KAAY,EAAE,EAAE;oBAC9D,cAAc,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;yBAClC,UAAU,CAgBT,CAAC,CAAC,EAAE,EAAE;;wBACN,kFAAkF;wBAClF,MAAM,sBAAsB,GAC1B,CAAA,MAAA,CAAC,CAAC,YAAY,0CAAE,IAAI,KAAI,MAAM;4BAC5B,CAAC,CAAC,MAAA,CAAC,CAAC,YAAY,0CAAE,MAAM,CAAC,GAAG,CAAC,KAAe,CAAE;4BAC9C,CAAC,CAAC,SAAS,CAAC;wBAEhB,MAAM,wBAAwB,GAC5B,CAAA,MAAA,CAAC,CAAC,cAAc,0CAAE,IAAI,KAAI,MAAM;4BAC9B,CAAC,CAAC,MAAA,CAAC,CAAC,cAAc,0CAAE,MAAM,CAAC,GAAG,CAAC,KAAe,CAAE;4BAChD,CAAC,CAAC,SAAS,CAAC;wBAEhB,OAAO;4BACL,SAAS,EAAE,CAAC,CAAC,SAAS;4BACtB,KAAK,EAAG,CAAC,CAAC,KAAqB,CAAC,MAAM,CAAC,GAAG,CAAC,KAAe,CAAC;4BAC3D,YAAY,EAAE,CAAC,CAAC,YAAY;4BAC5B,QAAQ,EAAE,CAAC,CAAC,QAAQ;4BACpB,OAAO,EAAE,CAAC,CAAC,OAAO;4BAClB,eAAe,EAAE,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,eAAe;4BACzD,eAAe,EAAE,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,eAAe;4BACzD,eAAe,EAAE,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,eAAe;4BACzD,iBAAiB,EAAE,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,iBAAiB;4BAC7D,YAAY,EAAE,sBAAsB;4BACpC,cAAc,EAAE,wBAAwB;4BACxC,mBAAmB,EAAE,CAAC,CAAC,mBAAmB;4BAC1C,cAAc,EAAE,CAAC,CAAC,cAAc;4BAChC,mBAAmB,EAAE,CAAC,CAAC,mBAAmB;yBACpC,CAAC;oBACX,CAAC,CAAC;yBACD,QAAQ,CAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE;wBAClC,uCACK,OAAO,KACV,eAAe,kCACV,OAAO,CAAC,eAAe,KAC1B,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,OAE5C;oBACJ,CAAC,CAAC;yBACD,4BAA4B,CAO3B,CAAC,KAAK,EAAE,EAAE,CAAC,iCACR,KAAK,CAAC,gBAAgB,KACzB,QAAQ,EAAE,CAAC,CAA+B,EAAE,WAAW,EAAE,EAAE;4BACzD,MAAM,YAAY,GAOd,UAAU;gCACZ,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,KAEnC,eAAe,kCACV,CAAC,CAAC,eAAe,KACpB,CAAC,KAAK,CAAC,kCACF,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,KAC3B,eAAe,kCACV,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,eAAe,KAC3C,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,aAIvC;gCACJ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iCACF,CAAC,KACJ,eAAe,kCACV,CAAC,CAAC,eAAe,KACpB,cAAc,EAAE,IAAI,KAEtB,eAAe,kCACV,CAAC,CAAC,eAAe,KACpB,CAAC,KAAK,CAAC,kCACF,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,KAC3B,eAAe,kCACV,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,eAAe,KAC3C,cAAc,EAAE,IAAI,aAI1B,CAAC;4BACP,UAAU,CAAC,GAAG,EAAE;gCACd,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;4BAC/B,CAAC,EAAE,CAAC,CAAC,CAAC;4BAEN,MAAM,KAAK,GAAU;gCACnB,IAAI,EAAE,aAAa;gCACnB,KAAK,EAAE,CAAC,KAAe,EAAE,WAAW,CAAC;gCACrC,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI;6BAC/B,CAAC;4BAEF,KAAK,CAAC,gBAAgB,CAAC,QAAQ,CAC7B,CAAC,OAAuB,EAAkB,EAAE,CAC1C,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC;gCACzC,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAC3B,OAAO,CAAC,MAAM,CAAC,MAAM,CACnB,KAAe,EACf,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,EAC7B,CAAC,CACF,CACF;gCACH,CAAC,CAAC,OAAO,EACb,KAAK,CACN,CAAC;wBACJ,CAAC,IACD,CAAC,CAAC;gBACR,CAAC,CAAC;gBACF,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;oBAChC,MAAM,KAAK,GAAG,CAAW,CAAC;oBAC1B,gBAAgB,CAAC,KAAK,CAAC,CAAC;gBAC1B,CAAC,CAAC,CAAC;gBACH,OAAO,QAAQ,CAAC,OAAO,CAerB,CAAC,KAAK,EAAE,EAAE;oBACV,MAAM,YAAY,GAA2C,CAAC,GAAG,EAAE;wBACjE,IACE,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,IAAI,GAAG;4BAC7C,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,IAAI,GAAG,EAC7C,CAAC;4BACD,qCAAqC;4BACrC,IACE,UAAU,CAAC,UAAU,CAAC,QAAQ,CAC5B,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAClC,EACD,CAAC;gCACD,OAAO,GAAG,CAAC,OAAO,CAAC,IAAI,CACrB,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CACxC,CAAC;4BACJ,CAAC;4BACD,OAAO,GAAG,CAAC,OAAO,CAAC,KAAK,CACtB,iBAAiB,CAClB,CAAC;wBACJ,CAAC;wBACD,OAAO,KAAK,CAAC,OAAO,CAAC,mBAGpB,CAAC;oBACJ,CAAC,CAAC,EAAE,CAAC;oBAEL,IAAI,YAAY,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;wBAC7B,OAAO,CAAC,KAAK,CAAC,yCAAyC,CAAC,CAAC;wBACzD,OAAO,mBAAK,CAAC;oBACf,CAAC;oBAED,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,aAAa,CAChD,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAC5C,KAAK,CAAC,OAAO,CAAC,MAAM,CACrB,CAAC;oBACF,IAAI,MAAM,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;wBAC5B,OAAO,uDAAwB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;oBACnE,CAAC;oBACD,MAAM,gBAAgB,GAA0B,CAAC,GAAG,EAAE;wBACpD,IACE,KAAK,CAAC,OAAO,CAAC,YAAY,IAAI,SAAS;4BACvC,KAAK,CAAC,OAAO,CAAC,OAAO,IAAI,KAAK;4BAC9B,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,IAAI,MAAM;4BAEzC,OAAO,UAAU,EAAE,CAAC;wBAEtB,OAAO,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM;6BACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC;6BAC9B,MAAM,EAAE;6BACR,YAAY,EAAE,CAAC;oBACpB,CAAC,CAAC,EAAE,CAAC;oBAEL,MAAM,iBAAiB,GAA0B,CAAC,GAAG,EAAE;wBACrD,IACE,KAAK,CAAC,OAAO,CAAC,cAAc,IAAI,SAAS;4BACzC,KAAK,CAAC,OAAO,CAAC,QAAQ;4BACtB,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,IAAI,MAAM;4BAE3C,OAAO,UAAU,CACf,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAY,CAAC,CACzD,CAAC;wBAEJ,OAAO,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM;6BACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC;6BAC9B,MAAM,EAAE;6BACR,YAAY,EAAE,CAAC;oBACpB,CAAC,CAAC,EAAE,CAAC;oBAEL,OAAO,CACL,4BACE,KAAC,KAAK,CAAC,IAAI,oBACL,KAAK,IACT,OAAO,kCACF,KAAK,CAAC,OAAO,KAChB,MAAM,EAAE,MAAM,CAAC,KAAK,KAEtB,gBAAgB,EAAE,gBAAgB,EAClC,iBAAiB,EAAE,iBAAiB,EACpC,cAAc,EAAE,cAAc,EAC9B,WAAW,EAAE,WAAW,IACxB,GACD,CACJ,CAAC;gBACJ,CAAC,CAAC,CAAC,GAAG,CAAC;oBACL,cAAc,CAeZ,UAAU,CAAC;iBACd,CAAC,CAAC;YACL,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,6JAA6J;AAC7J,MAAM,CAAC,MAAM,cAAc,GAAG,CAM5B,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

@@ -0,0 +1,4 @@
+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.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../../../src/fun/domains/curry/state.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,MAC7B,GAAG,CAAC,MACJ,GAAG,CAAC,KAAG,CACC,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../../src/fun/domains/curry/state.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,KAAK,GAChB,CAAU,CAAoB,EAAE,EAAE,CAClC,CAAC,CAAI,EAAE,EAAE,CACT,CAAC,CAAI,EAAK,EAAE,CACV,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../../../src/fun/domains/id/state.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,EAAE,GAAI,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../../src/fun/domains/id/state.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,CAAI,EAAE,EAAE,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,64 @@
+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 LeafPredicatesEvaluators<Leaf, 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 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>;
+  };
+};
+//# sourceMappingURL=bool-expr.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"bool-expr.d.ts","sourceRoot":"","sources":["../../../../../../src/fun/domains/predicate/domains/bool-expr.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAErC,MAAM,MAAM,oBAAoB,CAAC,IAAI,IACjC;IACE,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,IAAI,CAAC;IACtB,SAAS,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;CAC7B,GACD;IACE,IAAI,EAAE,MAAM,CAAC;CACd,GACD;IACE,IAAI,EAAE,OAAO,CAAC;CACf,GACD;IACE,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC;IACnB,QAAQ,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;CACpE,GACD;IACE,IAAI,EAAE,KAAK,CAAC;IACZ,OAAO,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAC;CACrC,CAAC;AAEN,MAAM,MAAM,wBAAwB,CAAC,IAAI,EAAE,OAAO,IAAI;KACnD,IAAI,IAAI,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;CAC/D,CAAC;AACF,MAAM,MAAM,QAAQ,CAAC,IAAI,IAAI,CACzB;IACE,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,IAAI,CAAC;IACtB,SAAS,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;CAC7B,GACD;IACE,IAAI,EAAE,MAAM,CAAC;CACd,GACD;IACE,IAAI,EAAE,OAAO,CAAC;CACf,GACD;IACE,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC;IACnB,QAAQ,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;CAC5C,GACD;IACE,IAAI,EAAE,KAAK,CAAC;IACZ,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;CACzB,CACJ,GAAG;IACF,GAAG,EAAE,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1B,GAAG,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,EAAE,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7C,IAAI,EAAE,CAAC,OAAO,EACZ,QAAQ,EAAE,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,KAC9C,SAAS,CAAC,OAAO,CAAC,CAAC;CACzB,CAAC;AAEF,eAAO,MAAM,QAAQ;eAEhB,IAAI,KAAK,oBAAoB,CAAC,IAAI,CAAC,KAAG,QAAQ,CAAC,IAAI,CAAC;eA0E5C,IAAI,OAAK,QAAQ,CAAC,IAAI,CAAC;gBAItB,IAAI,OAAK,QAAQ,CAAC,IAAI,CAAC;eAK5B,IAAI,QACJ,SAAS,SAAS,MAAM,IAAI,aAChB,SAAS,QACd,IAAI,CAAC,SAAS,CAAC,KACpB,QAAQ,CAAC,IAAI,CAAC;;CAQxB,CAAC"}