ballerina-core 1.0.205 → 1.0.206

package/bin/src/fun/domains/updater/domains/simpleUpdater/state.d.ts

@@ -0,0 +1,72 @@
+import { Fun } from "../../../../state";
+import { Unit } from "../../../unit/state";
+import { BasicUpdater, Updater } from "../../state";
+export type Widening<p, c extends keyof p> = Fun<
+  BasicUpdater<p[c]>,
+  Updater<p>
+>;
+export type SimpleUpdater<Entity, Field extends keyof Entity> = Required<{
+  [f in Field]: Widening<Entity, Field>;
+}>;
+export declare const simpleUpdater: <Entity>() => <Field extends keyof Entity>(
+  field: Field,
+) => SimpleUpdater<Entity, Field>;
+export type WidenedChildren<p, children> = {
+  [k in Exclude<
+    keyof children,
+    "Core" | "Template" | "Coroutine"
+  >]: children[k] extends WideningWithChildren<
+    infer child,
+    infer nephew,
+    infer nephews
+  >
+    ? Fun<BasicUpdater<child[nephew]>, Updater<p>> & {
+        children: WidenedChildren<p, nephews>;
+      }
+    : children[k] extends Widening<infer child, infer nephew>
+      ? Fun<BasicUpdater<child[nephew]>, Updater<p>>
+      : "cannot invoke custom updaters through automated nesting";
+} & (children extends {
+  Core: Unit;
+}
+  ? {
+      Core: WidenedChildren<p, children["Core"]>;
+    }
+  : Unit) &
+  (children extends {
+    Template: Unit;
+  }
+    ? {
+        Template: WidenedChildren<p, children["Template"]>;
+      }
+    : Unit) &
+  (children extends {
+    Coroutine: Unit;
+  }
+    ? {
+        Coroutine: WidenedChildren<p, children["Coroutine"]>;
+      }
+    : Unit);
+export type WideningWithChildren<p, c extends keyof p, children> = Fun<
+  BasicUpdater<p[c]>,
+  Updater<p>
+> & {
+  children: WidenedChildren<p, children>;
+};
+export type SimpleUpdaterWithChildren<
+  Entity,
+  Field extends keyof Entity,
+  children,
+> = {
+  [f in Field]: WideningWithChildren<Entity, Field, children>;
+};
+export declare const simpleUpdaterWithChildren: <Entity>() => <children>(
+  children: children,
+) => <Field extends keyof Entity>(
+  field: Field,
+) => SimpleUpdaterWithChildren<Entity, Field, children>;
+export declare const widenChildren: <p, child, children>(
+  childToParent: Fun<BasicUpdater<child>, Updater<p>>,
+  children: children,
+) => WidenedChildren<p, children>;
+//# sourceMappingURL=state.d.ts.map

package/bin/src/fun/domains/updater/domains/simpleUpdater/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../../../../../src/fun/domains/updater/domains/simpleUpdater/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAEpD,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,IAAI,GAAG,CAC9C,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAClB,OAAO,CAAC,CAAC,CAAC,CACX,CAAC;AAEF,MAAM,MAAM,aAAa,CAAC,MAAM,EAAE,KAAK,SAAS,MAAM,MAAM,IAAI,QAAQ,CAAC;KACtE,CAAC,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;CACtC,CAAC,CAAC;AACH,eAAO,MAAM,aAAa,GACvB,MAAM,QACN,KAAK,SAAS,MAAM,MAAM,EAAE,OAAO,KAAK,KAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAanC,CAAC;AAEvC,MAAM,MAAM,eAAe,CAAC,CAAC,EAAE,QAAQ,IAAI;KACxC,CAAC,IAAI,OAAO,CACX,MAAM,QAAQ,EACd,MAAM,GAAG,UAAU,GAAG,WAAW,CAClC,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,oBAAoB,CAC1C,MAAM,KAAK,EACX,MAAM,MAAM,EACZ,MAAM,OAAO,CACd,GACG,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG;QAC7C,QAAQ,EAAE,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;KACvC,GACD,QAAQ,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,MAAM,KAAK,EAAE,MAAM,MAAM,CAAC,GACrD,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAC5C,yDAAyD;CAChE,GAAG,CAAC,QAAQ,SAAS;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,GAChC;IACE,IAAI,EAAE,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;CAC5C,GACD,IAAI,CAAC,GACP,CAAC,QAAQ,SAAS;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,GAChC;IACE,QAAQ,EAAE,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;CACpD,GACD,IAAI,CAAC,GACT,CAAC,QAAQ,SAAS;IAAE,SAAS,EAAE,IAAI,CAAA;CAAE,GACjC;IACE,SAAS,EAAE,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;CACtD,GACD,IAAI,CAAC,CAAC;AAEZ,MAAM,MAAM,oBAAoB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,EAAE,QAAQ,IAAI,GAAG,CACpE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAClB,OAAO,CAAC,CAAC,CAAC,CACX,GAAG;IAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;CAAE,CAAC;AAE/C,MAAM,MAAM,yBAAyB,CACnC,MAAM,EACN,KAAK,SAAS,MAAM,MAAM,EAC1B,QAAQ,IACN;KACD,CAAC,IAAI,KAAK,GAAG,oBAAoB,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC;CAC5D,CAAC;AACF,eAAO,MAAM,yBAAyB,GACnC,MAAM,QACN,QAAQ,EAAE,UAAU,QAAQ,MAC5B,KAAK,SAAS,MAAM,MAAM,EACzB,OAAO,KAAK,KACX,yBAAyB,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAiBM,CAAC;AAE7D,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAC9C,eAAe,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EACnD,UAAU,QAAQ,KACjB,eAAe,CAAC,CAAC,EAAE,QAAQ,CA8B7B,CAAC"}

package/bin/src/fun/domains/updater/domains/simpleUpdater/state.js

@@ -0,0 +1,51 @@
+import { Fun } from "../../../../state";
+import { Updater } from "../../state";
+export const simpleUpdater = () => (field) => ({
+  [field]: Fun((fieldUpdater) => {
+    return Updater((currentEntity) =>
+      Object.assign(Object.assign({}, currentEntity), {
+        [field]: fieldUpdater(currentEntity[field]),
+      }),
+    );
+  }),
+});
+export const simpleUpdaterWithChildren = () => (children) => (field) => ({
+  [field]: Object.assign(
+    Fun((fieldUpdater) => {
+      const basicUpdater = (currentEntity) =>
+        Object.assign(Object.assign({}, currentEntity), {
+          [field]: fieldUpdater(currentEntity[field]),
+        });
+      return Updater(basicUpdater);
+    }),
+    {
+      children: widenChildren(simpleUpdater()(field)[field], children),
+    },
+  ),
+});
+export const widenChildren = (childToParent, children) => {
+  if (children == undefined) return {};
+  const result = {};
+  Object.keys(children).forEach((key) => {
+    if (key == "Core" || key == "Template" || key == "Coroutine") return;
+    // Fun<BasicUpdater<child[key]>, Updater<child>>
+    const fieldOfChildUpdater = children[key];
+    result[key] = Fun((_) => childToParent(fieldOfChildUpdater(_)));
+    if (Object.keys(fieldOfChildUpdater).includes("children")) {
+      result[key]["children"] = widenChildren(
+        childToParent,
+        fieldOfChildUpdater["children"],
+      );
+    }
+  });
+  const updateBlock = (block) => {
+    if (children[block] != undefined) {
+      result[block] = widenChildren(childToParent, children[block]);
+    }
+  };
+  updateBlock("Core");
+  updateBlock("Template");
+  updateBlock("Coroutines");
+  return result;
+};
+//# sourceMappingURL=state.js.map

package/bin/src/fun/domains/updater/domains/simpleUpdater/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../../../../src/fun/domains/updater/domains/simpleUpdater/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAgB,OAAO,EAAE,MAAM,aAAa,CAAC;AAUpD,MAAM,CAAC,MAAM,aAAa,GACxB,GAAW,EAAE,CACb,CAA6B,KAAY,EAAgC,EAAE,CACzE,CAAC;IACC,CAAC,KAAK,CAAC,EAAE,GAAG,CACV,CAAC,YAAyC,EAAmB,EAAE;QAC7D,OAAO,OAAO,CACZ,CAAC,aAAa,EAAE,EAAE,CAChB,iCACK,aAAa,KAChB,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,IACjC,CACf,CAAC;IACJ,CAAC,CACF;CACF,CAAiC,CAAC;AA6CvC,MAAM,CAAC,MAAM,yBAAyB,GACpC,GAAW,EAAE,CACb,CAAW,QAAkB,EAAE,EAAE,CACjC,CACE,KAAY,EACwC,EAAE,CACtD,CAAC;IACC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CACpB,GAAG,CAAC,CAAC,YAAyC,EAAmB,EAAE;QACjE,MAAM,YAAY,GAAyB,CAAC,aAAa,EAAE,EAAE,CAAC,iCACzD,aAAa,KAChB,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,IAC3C,CAAC;QACH,OAAO,OAAO,CAAS,YAAY,CAAC,CAAC;IACvC,CAAC,CAAC,EACF;QACE,QAAQ,EAAE,aAAa,CACrB,aAAa,EAAU,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EACrC,QAAQ,CACT;KACF,CACF;CACF,CAAuD,CAAC;AAE7D,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,aAAmD,EACnD,QAAkB,EACY,EAAE;IAChC,IAAI,QAAQ,IAAI,SAAS;QAAE,OAAO,EAAS,CAAC;IAC5C,MAAM,MAAM,GAAG,EAAkC,CAAC;IAClD,MAAM,CAAC,IAAI,CAAC,QAAe,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;QAC3C,IAAI,GAAG,IAAI,MAAM,IAAI,GAAG,IAAI,UAAU,IAAI,GAAG,IAAI,WAAW;YAAE,OAAO;QACrE,gDAAgD;QAChD,MAAM,mBAAmB,GAAI,QAAgB,CAAC,GAAG,CAAQ,CAAC;QACzD,MAAc,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAEzE,IAAI,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACzD,MAAc,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,aAAa,CAC9C,aAAa,EACb,mBAAmB,CAAC,UAAU,CAAC,CAChC,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,CAAC,KAAa,EAAE,EAAE;QACpC,IAAK,QAAgB,CAAC,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;YACzC,MAAc,CAAC,KAAK,CAAC,GAAG,aAAa,CACpC,aAAa,EACZ,QAAgB,CAAC,KAAK,CAAC,CACzB,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;IACF,WAAW,CAAC,MAAM,CAAC,CAAC;IACpB,WAAW,CAAC,UAAU,CAAC,CAAC;IACxB,WAAW,CAAC,YAAY,CAAC,CAAC;IAE1B,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC"}

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

@@ -0,0 +1,9 @@
+import { BasicFun, Fun } from "../../state";
+export type BasicUpdater<e> = BasicFun<e, e>;
+export type Updater<e> = BasicUpdater<e> & {
+  fun: Fun<e, e>;
+  then(other: BasicUpdater<e>): Updater<e>;
+  thenMany(others: Array<BasicUpdater<e>>): Updater<e>;
+};
+export declare const Updater: <e>(u: BasicUpdater<e>) => Updater<e>;
+//# sourceMappingURL=state.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../../../src/fun/domains/updater/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,aAAa,CAAC;AAE5C,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE7C,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG;IACzC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACf,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;CACtD,CAAC;AAEF,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CAexD,CAAC"}

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

@@ -0,0 +1,78 @@
+import { Fun } from "../../state";
+export const Updater = (u) => {
+  return Object.assign(u, {
+    fun: Fun(u),
+    then: function (other) {
+      return Updater((_) => other(this(_)));
+    },
+    thenMany: function (others) {
+      return Updater(
+        others.map((_) => Updater(_)).reduce((f, g) => f.then(g), this),
+      );
+    },
+  });
+};
+/*export const Updater = Object.assign(<e>(_: BasicUpdater<e>): Updater<e> => {
+  const u = _ as Updater<e>;
+  u.fun = Fun(u);
+  u.thenMany = function (this: Updater<e>, others: Array<BasicUpdater<e>>): Updater<e> {
+    return Updater<e>(others.map(_ => Updater(_)).reduce((f, g) => f.then(g), this));
+  };
+  u.then = function (this: Updater<e>, other: BasicUpdater<e>): Updater<e> {
+    return Updater<e>(_ => other(this(_)));
+  };
+  return u;
+}, {
+  withState:<e>(_: BasicFun<e,BasicUpdater<e>>) : Updater<e> =>
+    Updater(e => _(e)(e))
+    });
+*/
+/*
+// little testing playground and microsample: please do not remove
+import { simpleUpdater, simpleUpdaterWithChildren } from "./domains/simpleUpdater/state";
+type City = { name: string, population: number }
+const City = {
+  Default: (): City => ({
+    name: "Mirano", population: 25000
+  }),
+  Updaters: {
+    Core: {
+      ...simpleUpdater<City>()("name"),
+      ...simpleUpdater<City>()("population"),
+    }
+  }
+}
+type Address = { street: string, number: number, city: City}
+const Address = {
+  Default: (): Address => ({
+    street: "via Don Minzoni", number: 20, city: City.Default()
+  }),
+  Updaters: {
+    Core: {
+    ...simpleUpdater<Address>()("street"),
+    ...simpleUpdater<Address>()("number"),
+       ...simpleUpdaterWithChildren<Address>()(City.Updaters)("city"),
+    }
+  }
+}
+type Person = { name: string, surname: string, address: Address }
+const Person = {
+  Default: (): Person => ({
+    name: "John", surname: "Doe", address: Address.Default()
+  }),
+  Updaters: {
+    Core: {
+      ...simpleUpdater<Person>()("name"),
+      ...simpleUpdater<Person>()("surname"),
+      ...simpleUpdaterWithChildren<Person>()(Address.Updaters)("address"),
+    }
+  }
+}
+const personAndAddressUpdater:Updater<Person> =
+    Person.Updaters.Core.name(_ => `Dr. ${_}`).then(
+    Person.Updaters.Core.surname(_ => `${_}, von`)
+    ).then(
+    Person.Updaters.Core.address.children.Core.city.Core.name(_ => `${_} the Great`)
+    )
+*/
+//# sourceMappingURL=state.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../../src/fun/domains/updater/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,GAAG,EAAE,MAAM,aAAa,CAAC;AAU5C,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,CAAkB,EAAc,EAAE;IAC3D,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE;QACtB,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACX,IAAI,EAAE,UAA4B,KAAsB;YACtD,OAAO,OAAO,CAAI,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,QAAQ,EAAE,UAER,MAA8B;YAE9B,OAAO,OAAO,CACZ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAChE,CAAC;QACJ,CAAC;KACF,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;;;;;;;;;;;;;EAcE;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+CE"}

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

@@ -0,0 +1,11 @@
+export type BasicFun<a, b> = (_: a) => b;
+export type Fun<a, b> = BasicFun<a, b> & {
+  then<c>(other: BasicFun<b, c>): Fun<a, c>;
+};
+export declare const Fun: <a, b>(_: BasicFun<a, b>) => Fun<a, b>;
+export type BasicFun2<a, b, c> = (_: a, __: b) => c;
+export type Fun2<a, b, c> = BasicFun2<a, b, c> & {
+  then<d>(other: BasicFun<c, d>): Fun2<a, b, d>;
+};
+export declare const Fun2: <a, b, c>(_: BasicFun2<a, b, c>) => Fun2<a, b, c>;
+//# sourceMappingURL=state.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../src/fun/state.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAEzC,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;IACvC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAC;AAEF,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAKlD,CAAC;AAEL,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;AAEpD,MAAM,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG;IAC/C,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAC/C,CAAC;AACF,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAQ9D,CAAC"}

package/bin/src/fun/state.js

@@ -0,0 +1,23 @@
+export const Fun = (_) =>
+  Object.assign(_, {
+    then: function (other) {
+      return Fun((_) => other(this(_)));
+    },
+  });
+export const Fun2 = (_) =>
+  Object.assign(_, {
+    then: function (other) {
+      return Fun2((a, b) => other(this(a, b)));
+    },
+  });
+/*
+// samples
+const incr: Fun<number,number> = Fun(_ => _ + 1)
+const decr: Fun<number,number> = Fun(_ => _ - 1)
+const doub: Fun<number,number> = Fun(_ => _ * 2)
+const halv: Fun<number,number> = Fun(_ => _ / 2)
+
+const f = incr.then(doub).then(decr)
+console.log(f(5)) // prints 11
+*/
+//# sourceMappingURL=state.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/fun/state.ts"],"names":[],"mappings":"AAMA,MAAM,CAAC,MAAM,GAAG,GAAG,CAAO,CAAiB,EAAa,EAAE,CACxD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE;IACf,IAAI,EAAE,UAA8B,KAAqB;QACvD,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;CACF,CAAC,CAAC;AAOL,MAAM,CAAC,MAAM,IAAI,GAAG,CAAU,CAAqB,EAAiB,EAAE,CACpE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE;IACf,IAAI,EAAE,UAEJ,KAAqB;QAErB,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC;CACF,CAAC,CAAC;AAEL;;;;;;;;;EASE"}

package/bin/src/infinite-data-stream/coroutines/builder.d.ts

@@ -0,0 +1,212 @@
+import { InfiniteStreamWritableState } from "../state";
+export declare const StreamCo: <
+  Element extends {
+    Id: string;
+  },
+>() => {
+  Seq: (
+    ps: import("../../coroutines/state").Coroutine<
+      InfiniteStreamWritableState<Element>,
+      InfiniteStreamWritableState<Element>,
+      import("../../../main").Unit
+    >[],
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    import("../../../main").Unit
+  >;
+  GetState: () => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>
+  >;
+  SetState: (
+    stateUpdater: import("../../../main").BasicUpdater<
+      InfiniteStreamWritableState<Element>
+    >,
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    import("../../../main").Unit
+  >;
+  UpdateState: (
+    stateUpdater: import("../../fun/state").BasicFun<
+      InfiniteStreamWritableState<Element>,
+      import("../../../main").BasicUpdater<InfiniteStreamWritableState<Element>>
+    >,
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    import("../../../main").Unit
+  >;
+  Any: (
+    ps: import("../../coroutines/state").Coroutine<
+      InfiniteStreamWritableState<Element>,
+      InfiniteStreamWritableState<Element>,
+      import("../../../main").Unit
+    >[],
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    import("../../../main").Unit
+  >;
+  All: <result>(
+    ps: import("../../coroutines/state").Coroutine<
+      InfiniteStreamWritableState<Element>,
+      InfiniteStreamWritableState<Element>,
+      result
+    >[],
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    result[]
+  >;
+  Yield: (
+    next: import("../../coroutines/state").Coroutine<
+      InfiniteStreamWritableState<Element>,
+      InfiniteStreamWritableState<Element>,
+      import("../../../main").Unit
+    >,
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    import("../../../main").Unit
+  >;
+  Wait: (
+    ms: number,
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    import("../../../main").Unit
+  >;
+  Await: <r, err>(
+    p: import("../../fun/state").BasicFun<
+      import("../../../main").Unit,
+      Promise<r>
+    >,
+    onErr: import("../../fun/state").BasicFun<any, err>,
+    debugName?: string,
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    import("../../../main").Sum<r, err>
+  >;
+  Repeat: (
+    p: import("../../coroutines/state").Coroutine<
+      InfiniteStreamWritableState<Element>,
+      InfiniteStreamWritableState<Element>,
+      import("../../../main").Unit
+    >,
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    import("../../../main").Unit
+  >;
+  Return: <r>(
+    res: r,
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    r
+  >;
+  While: (
+    predicate: import("../../fun/state").BasicFun<
+      [InfiniteStreamWritableState<Element>],
+      boolean
+    >,
+    p: import("../../coroutines/state").Coroutine<
+      InfiniteStreamWritableState<Element>,
+      InfiniteStreamWritableState<Element>,
+      import("../../../main").Unit
+    >,
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    import("../../../main").Unit
+  >;
+  For: <element>(
+    collection: import("immutable").Collection<number, element>,
+  ) => (
+    p: import("../../fun/state").BasicFun<
+      element,
+      import("../../coroutines/state").Coroutine<
+        InfiniteStreamWritableState<Element>,
+        InfiniteStreamWritableState<Element>,
+        import("../../../main").Unit
+      >
+    >,
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    import("../../../main").Unit
+  >;
+  Embed: <parentContext, parentState, result>(
+    p: import("../../coroutines/state").Coroutine<
+      InfiniteStreamWritableState<Element>,
+      InfiniteStreamWritableState<Element>,
+      result
+    >,
+    narrow: import("../../fun/state").BasicFun<
+      parentContext & parentState,
+      InfiniteStreamWritableState<Element>
+    >,
+    widen: import("../../fun/state").BasicFun<
+      import("../../../main").BasicUpdater<
+        InfiniteStreamWritableState<Element>
+      >,
+      import("../../../main").BasicUpdater<parentState>
+    >,
+  ) => import("../../coroutines/state").Coroutine<
+    parentContext & parentState,
+    parentState,
+    result
+  >;
+  Template: <fm>(
+    initialCoroutine: import("../../coroutines/state").Coroutine<
+      InfiniteStreamWritableState<Element>,
+      InfiniteStreamWritableState<Element>,
+      import("../../../main").Unit
+    >,
+    options?:
+      | import("../../coroutines/template").CoroutineComponentOptions<
+          InfiniteStreamWritableState<Element>,
+          InfiniteStreamWritableState<Element>
+        >
+      | undefined,
+  ) => import("../../template/state").Template<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    fm
+  >;
+  Trigger: <
+    event_1 extends {
+      id: import("../../../main").Guid;
+      kind: kind;
+    },
+    kind extends string,
+  >(
+    event: event_1,
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element> & {
+      outboundEvents: import("immutable").Map<
+        kind,
+        import("immutable").OrderedMap<string, event_1>
+      >;
+    },
+    InfiniteStreamWritableState<Element> & {
+      outboundEvents: import("immutable").Map<
+        kind,
+        import("immutable").OrderedMap<string, event_1>
+      >;
+    },
+    import("../../../main").Unit
+  >;
+  Do: (
+    action: import("../../../main").SimpleCallback<void>,
+  ) => import("../../coroutines/state").Coroutine<
+    InfiniteStreamWritableState<Element>,
+    InfiniteStreamWritableState<Element>,
+    import("../../../main").Unit
+  >;
+};
+//# sourceMappingURL=builder.d.ts.map

package/bin/src/infinite-data-stream/coroutines/builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["../../../../src/infinite-data-stream/coroutines/builder.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,2BAA2B,EAC5B,MAAM,UAAU,CAAC;AAElB,eAAO,MAAM,QAAQ,GAAI,OAAO,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE;;;;;;;;;;;;;;;;;;;;;;;;;CAIlD,CAAC"}

package/bin/src/infinite-data-stream/coroutines/builder.js

@@ -0,0 +1,3 @@
+import { CoTypedFactory } from "../../coroutines/builder";
+export const StreamCo = () => CoTypedFactory();
+//# sourceMappingURL=builder.js.map

package/bin/src/infinite-data-stream/coroutines/builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builder.js","sourceRoot":"","sources":["../../../../src/infinite-data-stream/coroutines/builder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAM1D,MAAM,CAAC,MAAM,QAAQ,GAAG,GAAmC,EAAE,CAC3D,cAAc,EAGX,CAAC"}

package/bin/src/infinite-data-stream/coroutines/infiniteLoader.d.ts

@@ -0,0 +1,26 @@
+import { Coroutine } from "../../coroutines/state";
+import { Unit } from "../../fun/domains/unit/state";
+import { InfiniteStreamWritableState } from "../state";
+export declare const InfiniteStreamLoader: <
+  Element extends {
+    Id: string;
+  },
+>(
+  maxRetries?: number,
+) => Coroutine<
+  InfiniteStreamWritableState<Element>,
+  InfiniteStreamWritableState<Element>,
+  Unit
+>;
+export declare const Loader: <
+  Element extends {
+    Id: string;
+  },
+>(
+  maxRetries?: number,
+) => Coroutine<
+  InfiniteStreamWritableState<Element>,
+  InfiniteStreamWritableState<Element>,
+  Unit
+>;
+//# sourceMappingURL=infiniteLoader.d.ts.map

package/bin/src/infinite-data-stream/coroutines/infiniteLoader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"infiniteLoader.d.ts","sourceRoot":"","sources":["../../../../src/infinite-data-stream/coroutines/infiniteLoader.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAC;AAEpD,OAAO,EAEL,2BAA2B,EAE5B,MAAM,UAAU,CAAC;AAGlB,eAAO,MAAM,oBAAoB,GAAI,OAAO,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,EACjE,aAAY,MAAU,gGA2DvB,CAAC;AAEF,eAAO,MAAM,MAAM,GA9DkB,OAAO,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,eACrD,MAAM,gGA6DsB,CAAC"}

package/bin/src/infinite-data-stream/coroutines/infiniteLoader.js

@@ -0,0 +1,54 @@
+import { AsyncState } from "../../async/state";
+import { replaceWith } from "../../fun/domains/updater/domains/replaceWith/state";
+import { InfiniteStreamState, StreamPosition } from "../state";
+import { StreamCo } from "./builder";
+export const InfiniteStreamLoader = (maxRetries = 3) => {
+  const Co = StreamCo();
+  const updaters = InfiniteStreamState().Updaters;
+  const attemptLoad = (retryCount = 0) =>
+    Co.GetState().then((current) => {
+      if (current.loadingMore.kind === "loaded") {
+        return Co.Return(true);
+      }
+      return Co.Await(
+        () => current.getChunk([current.position]),
+        () => "error",
+      ).then((apiResult) =>
+        apiResult.kind === "l"
+          ? Co.SetState(
+              updaters.Core.loadingMore(
+                replaceWith(AsyncState.Default.loaded({})),
+              ).then(
+                updaters.Coroutine.addLoadedChunk(
+                  current.position.chunkIndex,
+                  apiResult.value,
+                ).then(
+                  updaters.Core.position(
+                    StreamPosition.Updaters.Core.shouldLoad(replaceWith(false)),
+                  ),
+                ),
+              ),
+            )
+          : retryCount < maxRetries
+            ? Co.Wait(500).then(() => attemptLoad(retryCount + 1))
+            : Co.Return(false),
+      );
+    });
+  return Co.Seq([
+    Co.SetState(
+      updaters.Core.loadingMore(replaceWith(AsyncState.Default.loading())),
+    ),
+    attemptLoad(),
+    Co.GetState().then((current) =>
+      current.loadingMore.kind !== "loaded"
+        ? Co.SetState(
+            updaters.Core.loadingMore(
+              replaceWith(AsyncState.Default.error("max retries reached")),
+            ),
+          )
+        : Co.Wait(0),
+    ),
+  ]);
+};
+export const Loader = InfiniteStreamLoader;
+//# sourceMappingURL=infiniteLoader.js.map

package/bin/src/infinite-data-stream/coroutines/infiniteLoader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"infiniteLoader.js","sourceRoot":"","sources":["../../../../src/infinite-data-stream/coroutines/infiniteLoader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAG/C,OAAO,EAAE,WAAW,EAAE,MAAM,qDAAqD,CAAC;AAClF,OAAO,EACL,mBAAmB,EAEnB,cAAc,GACf,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,aAAqB,CAAC,EACtB,EAAE;IACF,MAAM,EAAE,GAAG,QAAQ,EAAW,CAAC;IAC/B,MAAM,QAAQ,GAAG,mBAAmB,EAAW,CAAC,QAAQ,CAAC;IAEzD,MAAM,WAAW,GAAG,CAClB,UAAU,GAAG,CAAC,EAKd,EAAE,CACF,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;QAC7B,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1C,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QAED,OAAO,EAAE,CAAC,KAAK,CACb,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EAC1C,GAAG,EAAE,CAAC,OAAgB,CACvB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACnB,SAAS,CAAC,IAAI,KAAK,GAAG;YACpB,CAAC,CAAC,EAAE,CAAC,QAAQ,CACT,QAAQ,CAAC,IAAI,CAAC,WAAW,CACvB,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAC3C,CAAC,IAAI,CACJ,QAAQ,CAAC,SAAS,CAAC,cAAc,CAC/B,OAAO,CAAC,QAAQ,CAAC,UAAU,EAC3B,SAAS,CAAC,KAAK,CAChB,CAAC,IAAI,CACJ,QAAQ,CAAC,IAAI,CAAC,QAAQ,CACpB,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CACrC,WAAW,CAA+B,KAAK,CAAC,CACjD,CACF,CACF,CACF,CACF;YACH,CAAC,CAAC,UAAU,GAAG,UAAU;gBACvB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC;gBACtD,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CACvB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEL,OAAO,EAAE,CAAC,GAAG,CAAC;QACZ,EAAE,CAAC,QAAQ,CACT,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CACrE;QACD,WAAW,EAAE;QACb,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAC7B,OAAO,CAAC,WAAW,CAAC,IAAI,KAAK,QAAQ;YACnC,CAAC,CAAC,EAAE,CAAC,QAAQ,CACT,QAAQ,CAAC,IAAI,CAAC,WAAW,CACvB,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAC7D,CACF;YACH,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CACf;KACF,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,oBAAoB,CAAC"}

package/bin/src/infinite-data-stream/coroutines/runner.d.ts

@@ -0,0 +1,13 @@
+import { InfiniteStreamWritableState } from "../state";
+export declare const StreamDataLoader: <
+  Element extends {
+    Id: string;
+  },
+  foreignMutations,
+>() => import("../../template/state").Template<
+  InfiniteStreamWritableState<Element>,
+  InfiniteStreamWritableState<Element>,
+  foreignMutations,
+  import("../../../main").Unit
+>;
+//# sourceMappingURL=runner.d.ts.map

package/bin/src/infinite-data-stream/coroutines/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../../../src/infinite-data-stream/coroutines/runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,2BAA2B,EAE5B,MAAM,UAAU,CAAC;AAIlB,eAAO,MAAM,gBAAgB,GAC3B,OAAO,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,EAC9B,gBAAgB,0KAYjB,CAAC"}

package/bin/src/infinite-data-stream/coroutines/runner.js

@@ -0,0 +1,11 @@
+import { InfiniteStreamState } from "../state";
+import { StreamCo } from "./builder";
+import { Loader } from "./infiniteLoader";
+export const StreamDataLoader = () => {
+  const operations = InfiniteStreamState().Operations;
+  const LoaderTemplate = StreamCo().Template(Loader(), {
+    runFilter: (props) => operations.shouldCoroutineRun(props.context),
+  });
+  return LoaderTemplate.mapContext((_) => _);
+};
+//# sourceMappingURL=runner.js.map

package/bin/src/infinite-data-stream/coroutines/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../../../src/infinite-data-stream/coroutines/runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,mBAAmB,GACpB,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE1C,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAG5B,EAAE;IACJ,MAAM,UAAU,GAAG,mBAAmB,EAAW,CAAC,UAAU,CAAC;IAC7D,MAAM,cAAc,GAAG,QAAQ,EAAW,CAAC,QAAQ,CACjD,MAAM,EAAW,EACjB;QACE,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC;KACnE,CACF,CAAC;IACF,OAAO,cAAc,CAAC,UAAU,CAE9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AACd,CAAC,CAAC"}