ballerina-core 1.0.198 → 1.0.200

package/bin/src/collections/domains/product/state.js

@@ -0,0 +1,23 @@
+import { id } from "../../../fun/domains/id/state";
+import { Updater } from "../../../fun/domains/updater/state";
+import { Fun } from "../../../fun/state";
+export const Product = Object.assign(() => ({
+    Default: (left, right) => ({ left, right }),
+    Updaters: {
+        left: Fun((_) => Updater(Product().Operations.map2(_, id))),
+        right: Fun((_) => Updater(Product().Operations.map2(id, _))),
+    },
+    Operations: {
+        map2: (l, r) => Fun((_) => Product.Default(l(_.left), r(_.right))),
+    },
+}), {
+    Default: (left, right) => ({ left, right }),
+    Updaters: {
+        left: (_) => Updater(Product().Operations.map2(_, id)),
+        right: (_) => Updater(Product().Operations.map2(id, _)),
+    },
+    Operations: {
+        map2: (l, r) => Fun((_) => Product.Default(l(_.left), r(_.right))),
+    },
+});
+//# sourceMappingURL=state.js.map

package/bin/src/collections/domains/product/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../../src/collections/domains/product/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,+BAA+B,CAAC;AAEnD,OAAO,EAAgB,OAAO,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAY,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAInD,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAClC,GAAS,EAAE,CAAC,CAAC;IACX,OAAO,EAAE,CAAC,IAAO,EAAE,KAAQ,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAChE,QAAQ,EAAE;QACR,IAAI,EAAE,GAAG,CACP,CAAC,CAAkB,EAA0B,EAAE,CAC7C,OAAO,CAAC,OAAO,EAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAClD;QACD,KAAK,EAAE,GAAG,CACR,CAAC,CAAkB,EAA0B,EAAE,CAC7C,OAAO,CAAC,OAAO,EAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAClD;KACF;IACD,UAAU,EAAE;QACV,IAAI,EAAE,CACJ,CAAkB,EAClB,CAAkB,EACmB,EAAE,CACvC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;KACrD;CACF,CAAC,EACF;IACE,OAAO,EAAE,CAAO,IAAO,EAAE,KAAQ,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACtE,QAAQ,EAAE;QACR,IAAI,EAAE,CAAO,CAAkB,EAA0B,EAAE,CACzD,OAAO,CAAC,OAAO,EAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjD,KAAK,EAAE,CAAO,CAAkB,EAA0B,EAAE,CAC1D,OAAO,CAAC,OAAO,EAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;KAClD;IACD,UAAU,EAAE;QACV,IAAI,EAAE,CACJ,CAAkB,EAClB,CAAkB,EACmB,EAAE,CACvC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;KACrD;CACF,CACF,CAAC"}

package/bin/src/collections/domains/sum/state.d.ts

@@ -0,0 +1,98 @@
+import { Unit } from "../../../fun/domains/unit/state";
+import { BasicUpdater, Updater } from "../../../fun/domains/updater/state";
+import { BasicFun, Fun } from "../../../fun/state";
+export type LeftValue<a> = {
+    value: a;
+    kind: "l";
+};
+export declare const LeftValue: {
+    Updaters: {
+        value: <a>(_: BasicUpdater<a>) => Updater<LeftValue<a>>;
+    };
+};
+export type RightValue<b> = {
+    value: b;
+    kind: "r";
+};
+export declare const RightValue: {
+    Updaters: {
+        value: <b>(_: BasicUpdater<b>) => Updater<RightValue<b>>;
+    };
+};
+export type Sum<a, b> = {
+    value: a;
+    kind: "l";
+} | {
+    value: b;
+    kind: "r";
+};
+export type Either<a, b> = Sum<a, b>;
+export type Option<a> = Sum<Unit, a>;
+export declare const Sum: (<a, b>() => {
+    Default: {
+        left: Fun<a, Sum<a, b>>;
+        right: Fun<b, Sum<a, b>>;
+    };
+    Updaters: {
+        left: Fun<BasicUpdater<a>, Updater<Sum<a, b>>>;
+        right: Fun<BasicUpdater<b>, Updater<Sum<a, b>>>;
+        map2: <a_1, b_1, a1, b1>(l: BasicFun<a_1, a1>, r: BasicFun<b_1, b1>) => Fun<Sum<a_1, b_1>, Sum<a1, b1>>;
+    };
+    Operations: {
+        fold: <a_1, b_2, c>(l: BasicFun<a_1, c>, r: BasicFun<b_2, c>) => Fun<Sum<a_1, b_2>, c>;
+    };
+}) & {
+    Default: {
+        left: <a, b>(_: a) => Sum<a, b>;
+        right: <a, b>(_: b) => Sum<a, b>;
+    };
+    Updaters: {
+        left: <a, b>(_: BasicUpdater<a>) => Updater<Sum<a, b>>;
+        right: <a, b>(_: BasicUpdater<b>) => Updater<Sum<a, b>>;
+        map2: <a, b, a1, b1>(l: BasicFun<a, a1>, r: BasicFun<b, b1>) => Fun<Sum<a, b>, Sum<a1, b1>>;
+    };
+    Operations: {
+        fold: <a, b, c>(l: BasicFun<a, c>, r: BasicFun<b, c>) => Fun<Sum<a, b>, c>;
+        ofOption: <a, b>(onNone: BasicFun<Unit, b>) => BasicFun<Option<a>, Sum<b, a>>;
+    };
+};
+export declare const Either: (<a, b>() => {
+    Default: {
+        left: Fun<a, Sum<a, b>>;
+        right: Fun<b, Sum<a, b>>;
+    };
+    Updaters: {
+        left: Fun<BasicUpdater<a>, Updater<Sum<a, b>>>;
+        right: Fun<BasicUpdater<b>, Updater<Sum<a, b>>>;
+        map2: <a_1, b_1, a1, b1>(l: BasicFun<a_1, a1>, r: BasicFun<b_1, b1>) => Fun<Sum<a_1, b_1>, Sum<a1, b1>>;
+    };
+    Operations: {
+        fold: <a_1, b_2, c>(l: BasicFun<a_1, c>, r: BasicFun<b_2, c>) => Fun<Sum<a_1, b_2>, c>;
+    };
+}) & {
+    Default: {
+        left: <a, b>(_: a) => Sum<a, b>;
+        right: <a, b>(_: b) => Sum<a, b>;
+    };
+    Updaters: {
+        left: <a, b>(_: BasicUpdater<a>) => Updater<Sum<a, b>>;
+        right: <a, b>(_: BasicUpdater<b>) => Updater<Sum<a, b>>;
+        map2: <a, b, a1, b1>(l: BasicFun<a, a1>, r: BasicFun<b, b1>) => Fun<Sum<a, b>, Sum<a1, b1>>;
+    };
+    Operations: {
+        fold: <a, b, c>(l: BasicFun<a, c>, r: BasicFun<b, c>) => Fun<Sum<a, b>, c>;
+        ofOption: <a, b>(onNone: BasicFun<Unit, b>) => BasicFun<Option<a>, Sum<b, a>>;
+    };
+};
+export declare const Option: {
+    Default: {
+        none: <a>() => Option<a>;
+        some: <a>(_: a) => Option<a>;
+    };
+    Updaters: {
+        none: <a>() => Updater<Option<a>>;
+        some: <a>(_: BasicUpdater<a>) => Updater<Option<a>>;
+        map2: <a, a1>(some: BasicFun<a, a1>) => Fun<Option<a>, Option<a1>>;
+    };
+};
+//# sourceMappingURL=state.d.ts.map

package/bin/src/collections/domains/sum/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../../../src/collections/domains/sum/state.ts"],"names":[],"mappings":"AACA,OAAO,EAAQ,IAAI,EAAE,MAAM,iCAAiC,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AACnD,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,GAAG,CAAA;CAAE,CAAC;AACnD,eAAO,MAAM,SAAS;;gBAEV,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;;CAGxD,CAAC;AACF,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,GAAG,CAAA;CAAE,CAAC;AACpD,eAAO,MAAM,UAAU;;gBAEX,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;;CAGzD,CAAC;AACF,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,GAAG,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,GAAG,CAAA;CAAE,CAAC;AAC1E,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACrC,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACrC,eAAO,MAAM,GAAG,IACb,CAAC,EAAE,CAAC;;;;;;;;yBAcY,EAAE,EAAE,EAAE,KACd,QAAQ,CAAC,GAAC,EAAE,EAAE,CAAC,KACf,QAAQ,CAAC,GAAC,EAAE,EAAE,CAAC,KACjB,GAAG,CAAC,GAAG,CAAC,GAAC,EAAE,GAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;;;yBAOjB,CAAC,KACT,QAAQ,CAAC,GAAC,EAAE,CAAC,CAAC,KACd,QAAQ,CAAC,GAAC,EAAE,CAAC,CAAC,KAChB,GAAG,CAAC,GAAG,CAAC,GAAC,EAAE,GAAC,CAAC,EAAE,CAAC,CAAC;;;;eAMb,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrB,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;;;eAGvB,CAAC,EAAE,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAE5C,CAAC,EAAE,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;eAE9C,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,KACd,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,KACf,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,KACjB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;;;eAOvB,CAAC,EAAE,CAAC,EAAE,CAAC,KACT,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KACd,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;mBAET,CAAC,EAAE,CAAC,UACL,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,KACxB,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;;CAItC,CAAC;AACF,eAAO,MAAM,MAAM,IA/DhB,CAAC,EAAE,CAAC;;;;;;;;yBAcY,EAAE,EAAE,EAAE,KACd,QAAQ,CAAC,GAAC,EAAE,EAAE,CAAC,KACf,QAAQ,CAAC,GAAC,EAAE,EAAE,CAAC,KACjB,GAAG,CAAC,GAAG,CAAC,GAAC,EAAE,GAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;;;yBAOjB,CAAC,KACT,QAAQ,CAAC,GAAC,EAAE,CAAC,CAAC,KACd,QAAQ,CAAC,GAAC,EAAE,CAAC,CAAC,KAChB,GAAG,CAAC,GAAG,CAAC,GAAC,EAAE,GAAC,CAAC,EAAE,CAAC,CAAC;;;;eAMb,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrB,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;;;eAGvB,CAAC,EAAE,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAE5C,CAAC,EAAE,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;eAE9C,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,KACd,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,KACf,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,KACjB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;;;eAOvB,CAAC,EAAE,CAAC,EAAE,CAAC,KACT,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KACd,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;mBAET,CAAC,EAAE,CAAC,UACL,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,KACxB,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;;CAKd,CAAC;AAE1B,eAAO,MAAM,MAAM;;eAER,CAAC,OAAK,MAAM,CAAC,CAAC,CAAC;eACf,CAAC,KAAK,CAAC,KAAG,MAAM,CAAC,CAAC,CAAC;;;eAGnB,CAAC,OAAK,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;eACxB,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;eAE1C,CAAC,EAAE,EAAE,QAAQ,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,KAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;;CAGnE,CAAC"}

package/bin/src/collections/domains/sum/state.js

@@ -0,0 +1,55 @@
+import { id } from "../../../fun/domains/id/state";
+import { unit } from "../../../fun/domains/unit/state";
+import { Updater } from "../../../fun/domains/updater/state";
+import { Fun } from "../../../fun/state";
+export const LeftValue = {
+    Updaters: {
+        value: (_) => Updater((v) => (Object.assign(Object.assign({}, v), { value: _(v.value) }))),
+    },
+};
+export const RightValue = {
+    Updaters: {
+        value: (_) => Updater((v) => (Object.assign(Object.assign({}, v), { value: _(v.value) }))),
+    },
+};
+export const Sum = Object.assign(() => ({
+    Default: {
+        left: Fun((_) => ({ value: _, kind: "l" })),
+        right: Fun((_) => ({ value: _, kind: "r" })),
+    },
+    Updaters: {
+        left: Fun((_) => Updater(Sum().Updaters.map2(_, id))),
+        right: Fun((_) => Updater(Sum().Updaters.map2(id, _))),
+        map2: (l, r) => Sum().Operations.fold(Fun(l).then(Sum().Default.left), Fun(r).then(Sum().Default.right)),
+    },
+    Operations: {
+        fold: (l, r) => Fun((_) => (_.kind == "l" ? l(_.value) : r(_.value))),
+    },
+}), {
+    Default: {
+        left: (_) => ({ value: _, kind: "l" }),
+        right: (_) => ({ value: _, kind: "r" }),
+    },
+    Updaters: {
+        left: (_) => Updater(Sum.Updaters.map2(_, id)),
+        right: (_) => Updater(Sum.Updaters.map2(id, _)),
+        map2: (l, r) => Sum.Operations.fold(Fun(l).then((Sum.Default.left)), Fun(r).then((Sum.Default.right))),
+    },
+    Operations: {
+        fold: (l, r) => Fun((_) => (_.kind == "l" ? l(_.value) : r(_.value))),
+        ofOption: (onNone) => Sum.Updaters.map2(onNone, id),
+    },
+});
+export const Either = Sum;
+export const Option = {
+    Default: {
+        none: () => Sum.Default.left(unit),
+        some: (_) => Sum.Default.right(_),
+    },
+    Updaters: {
+        none: () => Sum.Updaters.left((_) => unit),
+        some: (_) => Sum.Updaters.right(_),
+        map2: (some) => Sum.Updaters.map2(id, some),
+    },
+};
+//# sourceMappingURL=state.js.map

package/bin/src/collections/domains/sum/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../../src/collections/domains/sum/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,+BAA+B,CAAC;AACnD,OAAO,EAAE,IAAI,EAAQ,MAAM,iCAAiC,CAAC;AAC7D,OAAO,EAAgB,OAAO,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAY,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAEnD,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,QAAQ,EAAE;QACR,KAAK,EAAE,CAAI,CAAkB,EAAyB,EAAE,CACtD,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iCAAM,CAAC,KAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAG,CAAC;KAChD;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,QAAQ,EAAE;QACR,KAAK,EAAE,CAAI,CAAkB,EAA0B,EAAE,CACvD,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iCAAM,CAAC,KAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAG,CAAC;KAChD;CACF,CAAC;AAIF,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAC9B,GAAS,EAAE,CAAC,CAAC;IACX,OAAO,EAAE;QACP,IAAI,EAAE,GAAG,CAAC,CAAC,CAAI,EAAa,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACzD,KAAK,EAAE,GAAG,CAAC,CAAC,CAAI,EAAa,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;KAC3D;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,GAAG,CACP,CAAC,CAAkB,EAAsB,EAAE,CACzC,OAAO,CAAC,GAAG,EAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAC5C;QACD,KAAK,EAAE,GAAG,CACR,CAAC,CAAkB,EAAsB,EAAE,CACzC,OAAO,CAAC,GAAG,EAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAC5C;QACD,IAAI,EAAE,CACJ,CAAkB,EAClB,CAAkB,EACW,EAAE,CAC/B,GAAG,EAAQ,CAAC,UAAU,CAAC,IAAI,CACzB,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EACvC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CACzC;KACJ;IACD,UAAU,EAAE;QACV,IAAI,EAAE,CACJ,CAAiB,EACjB,CAAiB,EACE,EAAE,CACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;KACxD;CACF,CAAC,EACF;IACE,OAAO,EAAE;QACP,IAAI,EAAE,CAAO,CAAI,EAAa,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC1D,KAAK,EAAE,CAAO,CAAI,EAAa,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;KAC5D;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,CAAO,CAAkB,EAAsB,EAAE,CACrD,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,KAAK,EAAE,CAAO,CAAkB,EAAsB,EAAE,CACtD,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,EAAE,CACJ,CAAkB,EAClB,CAAkB,EACW,EAAE,CAC/B,GAAG,CAAC,UAAU,CAAC,IAAI,CACjB,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA,GAAG,CAAC,OAAO,CAAC,IAAY,CAAA,CAAC,EACrC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA,GAAG,CAAC,OAAO,CAAC,KAAa,CAAA,CAAC,CACvC;KACJ;IACD,UAAU,EAAE;QACV,IAAI,EAAE,CACJ,CAAiB,EACjB,CAAiB,EACE,EAAE,CACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACvD,QAAQ,EAAE,CACR,MAAyB,EACO,EAAE,CAClC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAgB,MAAM,EAAE,EAAE,CAAC;KAC/C;CACF,CACF,CAAC;AACF,MAAM,CAAC,MAAM,MAAM,GAAG,GAAG,CAAC;AAE1B,MAAM,CAAC,MAAM,MAAM,GAAG;IACpB,OAAO,EAAE;QACP,IAAI,EAAE,GAAiB,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAU,IAAI,CAAC;QACzD,IAAI,EAAE,CAAI,CAAI,EAAa,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAU,CAAC,CAAC;KAC5D;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,GAA0B,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAU,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;QAC1E,IAAI,EAAE,CAAI,CAAkB,EAAsB,EAAE,CAClD,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAU,CAAC,CAAC;QAChC,IAAI,EAAE,CAAQ,IAAqB,EAA8B,EAAE,CACjE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAoB,EAAE,EAAE,IAAI,CAAC;KACjD;CACF,CAAC"}

package/bin/src/collections/domains/valueOrErrors/state.d.ts

@@ -0,0 +1,35 @@
+import { List } from "immutable";
+import { BasicFun, Fun } from "../../../fun/state";
+import { Value } from "../../../value/state";
+import { Errors } from "../errors/state";
+import { Unit, Option, Sum } from "../../../../main";
+export type ValueOrErrors<v, e> = ((Value<v> & {
+    kind: "value";
+}) | (Errors<e> & {
+    kind: "errors";
+})) & {
+    Map: <a, b, e>(this: ValueOrErrors<a, e>, f: BasicFun<a, b>) => ValueOrErrors<b, e>;
+    MapErrors: <a, e, e2>(this: ValueOrErrors<a, e>, f: BasicFun<List<e>, List<e2>>) => ValueOrErrors<a, e2>;
+    Flatten: <a, e>(this: ValueOrErrors<ValueOrErrors<a, e>, e>) => ValueOrErrors<a, e>;
+    Then: <a, b, e>(this: ValueOrErrors<a, e>, k: BasicFun<a, ValueOrErrors<b, e>>) => ValueOrErrors<b, e>;
+};
+export declare const ValueOrErrors: {
+    Default: {
+        return: <v, e>(_: v) => ValueOrErrors<v, e>;
+        throwOne: <v, e>(_: e) => ValueOrErrors<v, e>;
+        throw: <v, e>(_: List<e>) => ValueOrErrors<v, e>;
+        ofOption: <v, e>(v: Option<v>, e: BasicFun<Unit, e>) => ValueOrErrors<v, e>;
+    };
+    Operations: {
+        Return: <v, e>(_: v) => ValueOrErrors<v, e>;
+        Throw: <v, e>(_: List<e>) => ValueOrErrors<v, e>;
+        Map: <a, b, e>(f: BasicFun<a, b>) => Fun<ValueOrErrors<a, e>, ValueOrErrors<b, e>>;
+        MapErrors: <a, e, e2>(f: BasicFun<List<e>, List<e2>>) => BasicFun<ValueOrErrors<a, e>, ValueOrErrors<a, e2>>;
+        Flatten: <a, e>() => Fun<ValueOrErrors<ValueOrErrors<a, e>, e>, ValueOrErrors<a, e>>;
+        Then: <a, b, e>(k: BasicFun<a, ValueOrErrors<b, e>>) => Fun<ValueOrErrors<a, e>, ValueOrErrors<b, e>>;
+        Catch: <v, e>(_: ValueOrErrors<v, e>) => ValueOrErrors<Sum<v, List<e>>, e>;
+        Fold: <v, e, c>(l: BasicFun<v, c>, r: BasicFun<List<e>, c>) => Fun<ValueOrErrors<v, e>, c>;
+        All: <v, e>(_: List<ValueOrErrors<v, e>>) => ValueOrErrors<List<v>, e>;
+    };
+};
+//# sourceMappingURL=state.d.ts.map

package/bin/src/collections/domains/valueOrErrors/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../../../src/collections/domains/valueOrErrors/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAa,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAQ,IAAI,EAAW,MAAM,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAC;AAEpE,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI,CAC9B,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,GAC9B,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,CACnC,GAAG;IACF,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACX,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EACzB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KACd,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzB,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAClB,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EACzB,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,KAC3B,aAAa,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1B,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EACZ,IAAI,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,KACxC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACZ,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EACzB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAChC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAC1B,CAAC;AAwCF,eAAO,MAAM,aAAa;;iBAEb,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC;mBAK9B,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC;gBAKnC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,KAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC;mBAKnC,CAAC,EAAE,CAAC,KACV,MAAM,CAAC,CAAC,CAAC,KACT,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,KACnB,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC;;;iBAMb,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC;gBAEjC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,KAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC;cAExC,CAAC,EAAE,CAAC,EAAE,CAAC,KACR,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,GAAG,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBAIpC,CAAC,EAAE,CAAC,EAAE,EAAE,KACf,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,KAC7B,QAAQ,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;kBAI5C,CAAC,EAAE,CAAC,OAAK,GAAG,CACpB,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EACrC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CACpB;eAQM,CAAC,EAAE,CAAC,EAAE,CAAC,KACT,QAAQ,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAClC,GAAG,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAMxC,CAAC,EAAE,CAAC,KAAK,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;eAIjE,CAAC,EAAE,CAAC,EAAE,CAAC,KACT,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KACd,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KACtB,GAAG,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;cAExB,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;;CAcvE,CAAC"}

package/bin/src/collections/domains/valueOrErrors/state.js

@@ -0,0 +1,64 @@
+import { List } from "immutable";
+import { Fun } from "../../../fun/state";
+import { Value } from "../../../value/state";
+import { unit, Sum } from "../../../../main";
+const operations = {
+    Map: function (f) {
+        if (this.kind == "errors") {
+            return this;
+        }
+        return ValueOrErrors.Default.return(f(this.value));
+    },
+    MapErrors: function (f) {
+        if (this.kind == "errors") {
+            return ValueOrErrors.Default.throw(f(this.errors));
+        }
+        return this;
+    },
+    Flatten: function () {
+        if (this.kind == "errors") {
+            return this;
+        }
+        else if (this.value.kind == "errors") {
+            return ValueOrErrors.Default.throw(this.value.errors);
+        }
+        else {
+            return this.value;
+        }
+    },
+    Then: function (k) {
+        return this.Map(k).Flatten();
+    },
+};
+export const ValueOrErrors = {
+    Default: {
+        return: (_) => (Object.assign(Object.assign(Object.assign({}, Value.Default(_)), { kind: "value" }), operations)),
+        throwOne: (_) => (Object.assign({ errors: List([_]), kind: "errors" }, operations)),
+        throw: (_) => (Object.assign({ errors: _, kind: "errors" }, operations)),
+        ofOption: (v, e) => v.kind == "l"
+            ? ValueOrErrors.Default.throwOne(e(unit))
+            : ValueOrErrors.Default.return(v.value),
+    },
+    Operations: {
+        Return: (_) => ValueOrErrors.Default.return(_),
+        Throw: (_) => ValueOrErrors.Default.throw(_),
+        Map: (f) => Fun((_) => _.kind == "errors" ? _ : ValueOrErrors.Default.return(f(_.value))),
+        MapErrors: (f) => Fun((_) => _.kind == "errors" ? ValueOrErrors.Default.throw(f(_.errors)) : _),
+        Flatten: () => Fun((_) => _.kind == "errors"
+            ? _
+            : _.value.kind == "errors"
+                ? ValueOrErrors.Default.throw(_.value.errors)
+                : _.value),
+        Then: (k) => Fun((_) => ValueOrErrors.Operations.Flatten()(ValueOrErrors.Operations.Map(k)(_))),
+        Catch: (_) => _.kind == "errors"
+            ? ValueOrErrors.Default.return(Sum.Default.right(_.errors))
+            : ValueOrErrors.Default.return(Sum.Default.left(_.value)),
+        Fold: (l, r) => Fun((_) => (_.kind == "value" ? l(_.value) : r(_.errors))),
+        All: (_) => _.size == 0
+            ? ValueOrErrors.Default.return(List())
+            : ValueOrErrors.Operations.Catch(_.first()).Then((res_p) => res_p.kind == "l"
+                ? ValueOrErrors.Operations.All(_.slice(1).toList()).Then((values) => ValueOrErrors.Default.return(List().push(res_p.value).concat(values)))
+                : ValueOrErrors.Default.throw(res_p.value)),
+    },
+};
+//# sourceMappingURL=state.js.map

package/bin/src/collections/domains/valueOrErrors/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../../src/collections/domains/valueOrErrors/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAuB,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE7C,OAAO,EAAE,IAAI,EAAyB,GAAG,EAAE,MAAM,kBAAkB,CAAC;AAuBpE,MAAM,UAAU,GAAG;IACjB,GAAG,EAAE,UAEH,CAAiB;QAEjB,IAAI,IAAI,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,SAAS,EAAE,UAET,CAA8B;QAE9B,IAAI,IAAI,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC1B,OAAO,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE;QAGP,IAAI,IAAI,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC;QACd,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YACvC,OAAO,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxD,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,CAAC;IACH,CAAC;IACD,IAAI,EAAE,UAEJ,CAAmC;QAEnC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC/B,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,OAAO,EAAE;QACP,MAAM,EAAE,CAAO,CAAI,EAAuB,EAAE,CAAC,+CACxC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KACnB,IAAI,EAAE,OAAO,KACV,UAAU,EACb;QACF,QAAQ,EAAE,CAAO,CAAI,EAAuB,EAAE,CAAC,iBAC7C,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EACjB,IAAI,EAAE,QAAQ,IACX,UAAU,EACb;QACF,KAAK,EAAE,CAAO,CAAU,EAAuB,EAAE,CAAC,iBAChD,MAAM,EAAE,CAAC,EACT,IAAI,EAAE,QAAQ,IACX,UAAU,EACb;QACF,QAAQ,EAAE,CACR,CAAY,EACZ,CAAoB,EACC,EAAE,CACvB,CAAC,CAAC,IAAI,IAAI,GAAG;YACX,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACzC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;KAC5C;IACD,UAAU,EAAE;QACV,MAAM,EAAE,CAAO,CAAI,EAAuB,EAAE,CAC1C,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QACjC,KAAK,EAAE,CAAO,CAAU,EAAuB,EAAE,CAC/C,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAChC,GAAG,EAAE,CACH,CAAiB,EAC8B,EAAE,CACjD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACR,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAClE;QACH,SAAS,EAAE,CACT,CAA8B,EACuB,EAAE,CACvD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACR,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAClE;QACH,OAAO,EAAE,GAGP,EAAE,CACF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACR,CAAC,CAAC,IAAI,IAAI,QAAQ;YAChB,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,QAAQ;gBACxB,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;gBAC7C,CAAC,CAAC,CAAC,CAAC,KAAK,CACd;QACH,IAAI,EAAE,CACJ,CAAmC,EACY,EAAE,CACjD,GAAG,CAAC,CAAC,CAAsB,EAAE,EAAE,CAC7B,aAAa,CAAC,UAAU,CAAC,OAAO,EAAQ,CACtC,aAAa,CAAC,UAAU,CAAC,GAAG,CAA4B,CAAC,CAAC,CAAC,CAAC,CAAC,CAC9D,CACF;QACH,KAAK,EAAE,CAAO,CAAsB,EAAqC,EAAE,CACzE,CAAC,CAAC,IAAI,IAAI,QAAQ;YAChB,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC3D,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC7D,IAAI,EAAE,CACJ,CAAiB,EACjB,CAAuB,EACM,EAAE,CAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5D,GAAG,EAAE,CAAO,CAA4B,EAA6B,EAAE,CACrE,CAAC,CAAC,IAAI,IAAI,CAAC;YACT,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACtC,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACxD,KAAK,CAAC,IAAI,IAAI,GAAG;gBACf,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACpD,CAAC,MAAM,EAAE,EAAE,CACT,aAAa,CAAC,OAAO,CAAC,MAAM,CAC1B,IAAI,EAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAC3C,CACJ;gBACH,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAC7C;KACR;CACF,CAAC"}

package/bin/src/coroutines/builder.d.ts

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

package/bin/src/coroutines/builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["../../../src/coroutines/builder.tsx"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAkB,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EACL,SAAS,EACT,uBAAuB,EACvB,sBAAsB,EACvB,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,yBAAyB,EAAqB,MAAM,YAAY,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,0CAA0C,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAErE,eAAO,MAAM,cAAc,IACxB,CAAC,EAAE,CAAC;;;;;;UAMG,MAAM,MAAO,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;;;YAI7C,CAAC,EAAE,GAAG,KACT,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SACtB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,cACb,MAAM;;aAGX,CAAC,OAAQ,CAAC;;UAGhB,OAAO,cAAe,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,SAC9C,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YAE1C,aAAa,EAAE,WAAW,EAAE,MAAM,KACrC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,UACtB,QAAQ,CAAC,aAAa,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,SAC7C,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,KAC1D,SAAS,CAAC,aAAa,GAAG,WAAW,EAAE,WAAW,EAAE,MAAM,CAAC;eAEnD,EAAE,oBACO,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,YACjC,yBAAyB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAC5C,QAAQ,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;cAkBf,KAAK,SAAS;QAAE,EAAE,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,IAAI,CAAA;KAAE,EAAE,IAAI,SAAS,MAAM,SAC5D,KAAK,KACX,SAAS,CACV,CAAC,GAAG,CAAC,GAAG;QAAE,cAAc,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;KAAE,EAC9D,CAAC,GAAG;QAAE,cAAc,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;KAAE,EAC1D,IAAI,CACL;iBAOY,cAAc,CAAC,IAAI,CAAC,KAAG,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC;;aAK3D,SAAS,EACT,KAAK,EACL,CAAC,EACD,CAAC,SAAS;QAAE,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;KAAE;aAG/D,YAAY,SAAS,sBAAsB,CAAC,CAAC,GAAG,CAAC,CAAC,QAC/C,YAAY,WACT,QAAQ,CACf,CAAC,uBAAuB,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG;YAAE,IAAI,EAAE,YAAY,CAAA;SAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAChE,OAAO,CACR,KACA,SAAS,CACV,CAAC,GAAG,CAAC,EACL,CAAC,EACD,uBAAuB,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG;YAAE,IAAI,EAAE,YAAY,CAAA;SAAE,CACxD;;;;;;cA7EG,MAAM;;;gBAIJ,CAAC,EAAE,GAAG,wEAGA,MAAM;;iBAGX,CAAC;;cAGP,OAAO;gBAGF,aAAa,EAAE,WAAW,EAAE,MAAM;mBAM/B,EAAE;;gBAqBiB,IAAI;;WAAgB,IAAI,SAAS,MAAM;;;;;qBAaxD,cAAc,CAAC,IAAI,CAAC;;CA6BpC,CAAC"}

package/bin/src/coroutines/builder.js

@@ -0,0 +1,29 @@
+import { Fragment as _Fragment, jsx as _jsx } from "react/jsx-runtime";
+import { createTemplate } from "../template/state";
+import { Coroutine, } from "./state";
+import { CoroutineTemplate } from "./template";
+export const CoTypedFactory = Object.assign(() => ({
+    Seq: (Coroutine.Seq),
+    GetState: (Coroutine.GetState),
+    SetState: (Coroutine.SetState),
+    UpdateState: (Coroutine.UpdateState),
+    Any: (Coroutine.Any),
+    All: (ps) => Coroutine.All(ps),
+    Yield: (Coroutine.Yield),
+    Wait: (Coroutine.Wait),
+    Await: (p, onErr, debugName) => Coroutine.Await(p, onErr, debugName),
+    Repeat: (Coroutine.Repeat),
+    Return: (res) => Coroutine.Return(res),
+    While: (Coroutine.While),
+    For: (collection) => (p) => Coroutine.For(collection, p),
+    Embed: (p, narrow, widen) => Coroutine.Embed(p, narrow, widen),
+    Template: (initialCoroutine, options) => createTemplate((props) => ((options === null || options === void 0 ? void 0 : options.runFilter) || ((_) => true))(Object.assign(Object.assign({}, props), { foreignMutations: {} })) ? (CoroutineTemplate()(Object.assign(Object.assign({}, props), { context: Object.assign(Object.assign({}, props.context), { initialCoroutine,
+            options }) }))) : (_jsx(_Fragment, {}))),
+    Trigger: (event) => Coroutine.Trigger(event),
+    Do: (action) => Coroutine.Do(action),
+}), {
+    withOn: () => (Object.assign(Object.assign({}, CoTypedFactory()), { On: (kind, filter) => {
+            return Coroutine.On(kind, filter);
+        } })),
+});
+//# sourceMappingURL=builder.js.map

package/bin/src/coroutines/builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builder.js","sourceRoot":"","sources":["../../../src/coroutines/builder.tsx"],"names":[],"mappings":";AAIA,OAAO,EAAY,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EACL,SAAS,GAGV,MAAM,SAAS,CAAC;AACjB,OAAO,EAA6B,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAI1E,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CACzC,GAAS,EAAE,CAAC,CAAC;IACX,GAAG,EAAE,CAAA,SAAS,CAAC,GAAa,CAAA;IAC5B,QAAQ,EAAE,CAAA,SAAS,CAAC,QAAkB,CAAA;IACtC,QAAQ,EAAE,CAAA,SAAS,CAAC,QAAkB,CAAA;IACtC,WAAW,EAAE,CAAA,SAAS,CAAC,WAAqB,CAAA;IAC5C,GAAG,EAAE,CAAA,SAAS,CAAC,GAAmB,CAAA;IAClC,GAAG,EAAE,CAAU,EAAsC,EAAE,EAAE,CACvD,SAAS,CAAC,GAAG,CAAmB,EAAE,CAAC;IACrC,KAAK,EAAE,CAAA,SAAS,CAAC,KAAqB,CAAA;IACtC,IAAI,EAAE,CAAA,SAAS,CAAC,IAAc,CAAA;IAC9B,KAAK,EAAE,CACL,CAA6B,EAC7B,KAAyB,EACzB,SAAkB,EAClB,EAAE,CAAC,SAAS,CAAC,KAAK,CAAmB,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC;IAC3D,MAAM,EAAE,CAAA,SAAS,CAAC,MAAgB,CAAA;IAClC,MAAM,EAAE,CAAK,GAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAc,GAAG,CAAC;IAC1D,KAAK,EAAE,CAAA,SAAS,CAAC,KAAe,CAAA;IAChC,GAAG,EACD,CAAW,UAAuC,EAAE,EAAE,CACtD,CAAC,CAA+C,EAAE,EAAE,CAClD,SAAS,CAAC,GAAG,CAAoB,UAAU,EAAE,CAAC,CAAC;IACnD,KAAK,EAAE,CACL,CAA8B,EAC9B,MAAoD,EACpD,KAA2D,EACE,EAAE,CAC/D,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC;IACnC,QAAQ,EAAE,CACR,gBAA2C,EAC3C,OAA6C,EACrB,EAAE,CAC1B,cAAc,CAAC,CAAC,KAAK,EAAE,EAAE,CACvB,CAAC,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,SAAS,KAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,iCAChC,KAAK,KACR,gBAAgB,EAAE,EAAE,IACpB,CAAC,CAAC,CAAC,CACH,iBAAiB,EAAgB,iCAC5B,KAAK,KACR,OAAO,kCACF,KAAK,CAAC,OAAO,KAChB,gBAAgB;YAChB,OAAO,OAET,CACH,CAAC,CAAC,CAAC,CACF,mBAAK,CACN,CACF;IACH,OAAO,EAAE,CACP,KAAY,EAKZ,EAAE,CACF,SAAS,CAAC,OAAO,CAKf,KAAK,CAAC;IACV,EAAE,EAAE,CAAC,MAA4B,EAA6B,EAAE,CAC9D,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC;CACvB,CAAC,EACF;IACE,MAAM,EAAE,GAKJ,EAAE,CAAC,iCACF,cAAc,EAAQ,KACzB,EAAE,EAAE,CACF,IAAkB,EAClB,MAGC,EAKD,EAAE;YACF,OAAO,SAAS,CAAC,EAAE,CACjB,IAAI,EACJ,MAAM,CACP,CAAC;QACJ,CAAC,IACD;CACH,CACF,CAAC"}

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

@@ -0,0 +1,94 @@
+import { Map, Collection, OrderedMap } from "immutable";
+import { Sum } from "../collections/domains/sum/state";
+import { Unit } from "../fun/domains/unit/state";
+import { BasicUpdater } from "../fun/domains/updater/state";
+import { BasicFun } from "../fun/state";
+import { Guid, SimpleCallback } from "../../main";
+export type DeltaT = number;
+export type Coroutine<context, state, result> = {
+    ([context, deltaT]: [context, DeltaT]): CoroutineStep<context, state, result>;
+    embed: <parentContext, parentState>(narrow: BasicFun<parentContext, context | undefined>, widen: BasicFun<BasicUpdater<state>, BasicUpdater<parentState>>) => Coroutine<parentContext, parentState, result>;
+    then: <nextResult>(f: BasicFun<result, Coroutine<context, state, nextResult>>) => Coroutine<context, state, nextResult>;
+    seq: <nextResult>(k: Coroutine<context, state, nextResult>) => Coroutine<context, state, nextResult>;
+};
+export declare const Coroutine: {
+    Create: <context, state, result>(p: BasicFun<[context, DeltaT], CoroutineStep<context, state, result>>) => Coroutine<context, state, result>;
+    UpdateState: <context, state>(stateUpdater: BasicFun<state, BasicUpdater<state>>) => Coroutine<context, state, Unit>;
+    SetState: <context, state>(stateUpdater: BasicUpdater<state>) => Coroutine<context, state, Unit>;
+    GetState: <context, state>() => Coroutine<context, state, context>;
+    Start: <context, state>() => Coroutine<context, state, Unit>;
+    Return: <context, state, result>(result: result) => Coroutine<context, state, result>;
+    Yield: <context, state, result>(next: Coroutine<context, state, result>) => Coroutine<context, state, result>;
+    Waiting: <context, state, result>(msLeft: number, next: Coroutine<context, state, result>) => Coroutine<context, state, result>;
+    MapContext: <childContext, result, parentContext, state>(p: Coroutine<childContext, state, result>, narrow: BasicFun<parentContext, childContext | undefined>) => Coroutine<parentContext, state, result>;
+    Embed: <childContext, childState, result, parentContext, parentState>(p: Coroutine<childContext, childState, result>, narrow: BasicFun<parentContext, childContext | undefined>, widen: BasicFun<BasicUpdater<childState>, BasicUpdater<parentState>>) => Coroutine<parentContext, parentState, result>;
+    MapState: <context, state, newState, result>(p: Coroutine<context, state, result>, f: BasicFun<BasicUpdater<state>, BasicUpdater<newState>>) => Coroutine<context, newState, result>;
+    Tick: <context, state, result>(context: context, p: Coroutine<context, state, result>, deltaT: number) => {
+        kind: "continuing";
+        excludeOthers?: true;
+        state: BasicUpdater<state> | undefined;
+        next: Coroutine<context, state, result>;
+    } | {
+        kind: "done";
+        state: BasicUpdater<state> | undefined;
+        result: result;
+    };
+    Nothing: <context, state, result>() => Coroutine<context, state, result>;
+    Any: <context, state, result>(ps: Array<Coroutine<context, state, result>>) => Coroutine<context, state, result>;
+    All: <context, state, result>(ps: Array<Coroutine<context, state, result>>) => Coroutine<context, state, Array<result>>;
+    Repeat: <context, state>(p: Coroutine<context, state, Unit>) => Coroutine<context, state, Unit>;
+    Seq: <context, state>(ps: Array<Coroutine<context, state, Unit>>) => Coroutine<context, state, Unit>;
+    For: <context, state, element>(collection: Collection<number, element>, p: BasicFun<element, Coroutine<context, state, Unit>>) => Coroutine<context, state, Unit>;
+    While: <context, state>(predicate: BasicFun<[context], boolean>, p: Coroutine<context, state, Unit>) => Coroutine<context, state, Unit>;
+    Wait: <context, state>(ms: number) => Coroutine<context, state, Unit>;
+    Await: <context, state, result, error>(promise: BasicFun<Unit, Promise<result>>, onCatch: BasicFun<any, error>, debugName?: string) => Coroutine<context, state, Sum<result, error>>;
+    On: <eventKind, event, context extends {
+        inboundEvents: Map<eventKind, OrderedMap<Guid, event>>;
+    }, state extends {
+        inboundEvents: Map<eventKind, OrderedMap<Guid, event>>;
+    }, matchedEvent extends InboundKindFromContext<context>>(kind: matchedEvent, filter?: BasicFun<[InboundEventFromContext<context & state> & {
+        kind: matchedEvent;
+    }, context & state], boolean>) => Coroutine<context & state, state, InboundEventFromContext<context & state> & {
+        kind: matchedEvent;
+    }>;
+    Trigger: <context, state extends {
+        outboundEvents: Map<kind, OrderedMap<Guid, event>>;
+    }, event extends {
+        id: Guid;
+        kind: kind;
+    }, kind extends string>(event: event) => Coroutine<context & state, state, Unit>;
+    Do: <context, state>(action: SimpleCallback<void>) => Coroutine<context, state, Unit>;
+};
+export type CoroutineStep<context, state, result> = {
+    newState: BasicUpdater<state> | undefined;
+} & ({
+    kind: "result";
+    result: result;
+} | {
+    kind: "then";
+    p: Coroutine<context, state, any>;
+    k: BasicFun<any, Coroutine<context, state, result>>;
+} | {
+    kind: "yield";
+    next: Coroutine<context, state, result>;
+} | {
+    kind: "waiting";
+    msLeft: number;
+    next: Coroutine<context, state, result>;
+}) & {};
+export declare const CoroutineStep: {
+    Result: <context, state, result>(newState: BasicUpdater<state> | undefined, result: result) => CoroutineStep<context, state, result>;
+    Then: <context, state, result>(newState: BasicUpdater<state> | undefined, p: Coroutine<context, state, any>, k: BasicFun<any, Coroutine<context, state, result>>) => CoroutineStep<context, state, result>;
+    Yield: <context, state, result>(newState: BasicUpdater<state> | undefined, next: Coroutine<context, state, result>) => CoroutineStep<context, state, result>;
+    Waiting: <context, state, result>(newState: BasicUpdater<state> | undefined, msLeft: number, next: Coroutine<context, state, result>) => CoroutineStep<context, state, result>;
+    MapContext: <childContext, parentContext, state, result>(p: CoroutineStep<childContext, state, result>, narrow: BasicFun<parentContext, childContext | undefined>) => CoroutineStep<parentContext, state, result>;
+    MapState: <context, state, newState, result>(p: CoroutineStep<context, state, result>, f: BasicFun<BasicUpdater<state>, BasicUpdater<newState>>) => CoroutineStep<context, newState, result>;
+    Embed: <childContext, childState, result, parentContext, parentState>(p: CoroutineStep<childContext, childState, result>, narrow: BasicFun<parentContext, childContext | undefined>, widen: BasicFun<BasicUpdater<childState>, BasicUpdater<parentState>>) => CoroutineStep<parentContext, parentState, result>;
+};
+export type InboundEventFromContext<s> = s extends {
+    inboundEvents: Map<infer _kind, OrderedMap<Guid, infer event>>;
+} ? event : never;
+export type InboundKindFromContext<s> = s extends {
+    inboundEvents: Map<infer kind, OrderedMap<Guid, infer _event>>;
+} ? kind : never;
+//# sourceMappingURL=state.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../src/coroutines/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,MAAM,kCAAkC,CAAC;AAEvD,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAO,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAClD,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAC5B,MAAM,MAAM,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,IAAI;IAC9C,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAO9E,KAAK,EAAE,CAAC,aAAa,EAAE,WAAW,EAChC,MAAM,EAAE,QAAQ,CAAC,aAAa,EAAE,OAAO,GAAG,SAAS,CAAC,EACpD,KAAK,EAAE,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,KAC5D,SAAS,CAAC,aAAa,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IACnD,IAAI,EAAE,CAAC,UAAU,EACf,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,KACvD,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAC3C,GAAG,EAAE,CAAC,UAAU,EACd,CAAC,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,KACrC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;CAC5C,CAAC;AAeF,eAAO,MAAM,SAAS;aACX,OAAO,EAAE,KAAK,EAAE,MAAM,KAC1B,QAAQ,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,KACpE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;kBAsCtB,OAAO,EAAE,KAAK,gBACZ,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,KACjD,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC;eAIvB,OAAO,EAAE,KAAK,gBACT,YAAY,CAAC,KAAK,CAAC,KAChC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC;eAIvB,OAAO,EAAE,KAAK,OAAK,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC;YAIxD,OAAO,EAAE,KAAK,OAAK,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC;aAEjD,OAAO,EAAE,KAAK,EAAE,MAAM,UACrB,MAAM,KACb,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;YAE5B,OAAO,EAAE,KAAK,EAAE,MAAM,QACtB,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KACtC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;cAE1B,OAAO,EAAE,KAAK,EAAE,MAAM,UACtB,MAAM,QACR,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KACtC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;iBASvB,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,KAClD,SAAS,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,UACjC,QAAQ,CAAC,aAAa,EAAE,YAAY,GAAG,SAAS,CAAC,KACxD,SAAS,CAAC,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC;YAOlC,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,WAAW,KAC/D,SAAS,CAAC,YAAY,EAAE,UAAU,EAAE,MAAM,CAAC,UACtC,QAAQ,CAAC,aAAa,EAAE,YAAY,GAAG,SAAS,CAAC,SAClD,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,KACnE,SAAS,CAAC,aAAa,EAAE,WAAW,EAAE,MAAM,CAAC;eAOrC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,KACtC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KACjC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,KACvD,SAAS,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC;WA+BhC,OAAO,EAAE,KAAK,EAAE,MAAM,WAClB,OAAO,KACb,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,UAC5B,MAAM,KAEZ;QACE,IAAI,EAAE,YAAY,CAAC;QACnB,aAAa,CAAC,EAAE,IAAI,CAAC;QACrB,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC;QACvC,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;KACzC,GACD;QACE,IAAI,EAAE,MAAM,CAAC;QACb,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC;QACvC,MAAM,EAAE,MAAM,CAAC;KAChB;cA6BK,OAAO,EAAE,KAAK,EAAE,MAAM,OAAK,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;UAIhE,OAAO,EAAE,KAAK,EAAE,MAAM,MACtB,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,KAC3C,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;UAwB9B,OAAO,EAAE,KAAK,EAAE,MAAM,MACtB,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,KAC3C,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;aAqBlC,OAAO,EAAE,KAAK,KAClB,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KACjC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC;UAE5B,OAAO,EAAE,KAAK,MACd,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,KACzC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC;UAI5B,OAAO,EAAE,KAAK,EAAE,OAAO,cACf,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,KACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,KACpD,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC;YAO1B,OAAO,EAAE,KAAK,aACT,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,KACpC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KACjC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC;WAS3B,OAAO,EAAE,KAAK,MAAM,MAAM,KAAG,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC;YAE3D,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,WAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,WAC/B,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,cACjB,MAAM,KACjB,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;SAmD9C,SAAS,EACT,KAAK,EACL,OAAO,SAAS;QAAE,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;KAAE,EAC1E,KAAK,SAAS;QAAE,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;KAAE,EACxE,YAAY,SAAS,sBAAsB,CAAC,OAAO,CAAC,QAE9C,YAAY,WACT,QAAQ,CACf,CACE,uBAAuB,CAAC,OAAO,GAAG,KAAK,CAAC,GAAG;QAAE,IAAI,EAAE,YAAY,CAAA;KAAE,EACjE,OAAO,GAAG,KAAK,CAChB,EACD,OAAO,CACR,KACA,SAAS,CACV,OAAO,GAAG,KAAK,EACf,KAAK,EACL,uBAAuB,CAAC,OAAO,GAAG,KAAK,CAAC,GAAG;QAAE,IAAI,EAAE,YAAY,CAAA;KAAE,CAClE;cAuDC,OAAO,EACP,KAAK,SAAS;QAAE,cAAc,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;KAAE,EACpE,KAAK,SAAS;QAAE,EAAE,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,IAAI,CAAA;KAAE,EACtC,IAAI,SAAS,MAAM,SAEZ,KAAK,KACX,SAAS,CAAC,OAAO,GAAG,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC;SAQrC,OAAO,EAAE,KAAK,UACT,cAAc,CAAC,IAAI,CAAC,KAC3B,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC;CAKnC,CAAC;AAEF,MAAM,MAAM,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,IAAI;IAClD,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC;CAC3C,GAAG,CACA;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAClC;IACE,IAAI,EAAE,MAAM,CAAC;IACb,CAAC,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD,GACD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GAC1D;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;CACzC,CACJ,GAAG,EAOD,CAAC;AACJ,eAAO,MAAM,aAAa;aACf,OAAO,EAAE,KAAK,EAAE,MAAM,YACnB,YAAY,CAAC,KAAK,CAAC,GAAG,SAAS,UACjC,MAAM,KACb,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;WAajC,OAAO,EAAE,KAAK,EAAE,MAAM,YACjB,YAAY,CAAC,KAAK,CAAC,GAAG,SAAS,KACtC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAC9B,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,KAClD,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;YAchC,OAAO,EAAE,KAAK,EAAE,MAAM,YAClB,YAAY,CAAC,KAAK,CAAC,GAAG,SAAS,QACnC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KACtC,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;cAa9B,OAAO,EAAE,KAAK,EAAE,MAAM,YACpB,YAAY,CAAC,KAAK,CAAC,GAAG,SAAS,UACjC,MAAM,QACR,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KACtC,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;iBA4B3B,YAAY,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,KAClD,aAAa,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,UACrC,QAAQ,CAAC,aAAa,EAAE,YAAY,GAAG,SAAS,CAAC,KACxD,aAAa,CAAC,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC;eAgBnC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,KACtC,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KACrC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,KACvD,aAAa,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC;YAmBnC,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,WAAW,KAC/D,aAAa,CAAC,YAAY,EAAE,UAAU,EAAE,MAAM,CAAC,UAC1C,QAAQ,CAAC,aAAa,EAAE,YAAY,GAAG,SAAS,CAAC,SAClD,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,KACnE,aAAa,CAAC,aAAa,EAAE,WAAW,EAAE,MAAM,CAAC;CAErD,CAAC;AAEF,MAAM,MAAM,uBAAuB,CAAC,CAAC,IAAI,CAAC,SAAS;IACjD,aAAa,EAAE,GAAG,CAAC,MAAM,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC;CAChE,GACG,KAAK,GACL,KAAK,CAAC;AAEV,MAAM,MAAM,sBAAsB,CAAC,CAAC,IAAI,CAAC,SAAS;IAChD,aAAa,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,MAAM,CAAC,CAAC,CAAC;CAChE,GACG,IAAI,GACJ,KAAK,CAAC"}