@fncts/base 0.0.19 → 0.0.20

package/_cjs/data/Environment/definition.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;AAAA;;;AAGO,MAAMA,2BAAYC,MAAM,CAACC,GAAP,CAAW,WAAX,CAAlB;MAAMC,SAAS;AAItB;;;;;;;AAIM,MAAOC,WAAP,CAAkB;EAGtBC,YACWC,GADX,EAESC,QAAoCC,6BAF7C,EAEkE;IADvD;IACF;IAJA,eAAOR,WAAP;EAKL;;EAEA,mCAAa;IACf,OAAOS,4BAAiB,KAAKF,KAAtB,CAAP;EACD;;EAED,+BAAgBG,IAAhB,EAA6B;IAC3B,OAAOC,aAAa,CAACD,IAAD,CAAb,GAAqBE,6BAAC,KAAKN,GAAN,EAAaI,IAAI,CAACJ,GAAlB,CAArB,GAA6C,KAApD;EACD;;AAdqB;;;;AAiBlB,SAAUK,aAAV,CAAwBE,CAAxB,EAAkC;EACtC,OAAOC,0BAAUD,CAAV,EAAWb,WAAX,CAAP;AACD","names":["EnvSymbol_1","Symbol","for","EnvSymbol","Environment","constructor","map","cache","tsplus_module_1","tsplus_module_3","that","isEnvironment","tsplus_module_5","u","tsplus_module_6"],"sourceRoot":"","sources":["../../../_src/data/Environment/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;AAEA;;;AAGO,MAAMA,2BAAYC,MAAM,CAACC,GAAP,CAAW,WAAX,CAAlB;MAAMC,SAAS;AAItB;;;;;;;AAIM,MAAOC,WAAP,CAAkB;EAGtBC,YACWC,GADX,EAESC,QAAoCC,6BAF7C,EAEkE;IADvD;IACF;IAJA,eAAOR,WAAP;EAKL;;EAEA,mCAAa;IACf,OAAOS,4BAAiB,KAAKF,KAAtB,CAAP;EACD;;EAED,+BAAgBG,IAAhB,EAA6B;IAC3B,OAAOC,aAAa,CAACD,IAAD,CAAb,GAAqBE,6BAAC,KAAKN,GAAN,EAAaI,IAAI,CAACJ,GAAlB,CAArB,GAA6C,KAApD;EACD;;AAdqB;;;;AAqBlB,SAAUK,aAAV,CAAwBE,CAAxB,EAAkC;EACtC,OAAOC,0BAAUD,CAAV,EAAWb,WAAX,CAAP;AACD","names":["EnvSymbol_1","Symbol","for","EnvSymbol","Environment","constructor","map","cache","tsplus_module_1","tsplus_module_3","that","isEnvironment","tsplus_module_5","u","tsplus_module_6"],"sourceRoot":"","sources":["../../../_src/data/Environment/definition.ts"],"sourcesContent":[null]}

package/_cjs/data/{Patch/api.cjs → EnvironmentPatch.cjs}

@@ -3,8 +3,10 @@
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
+exports.UpdateService = exports.RemoveService = exports.EnvironmentPatchTypeId = exports.EnvironmentPatch = exports.Empty = exports.Combine = exports.AddService = void 0;
 exports.apply = apply;
-exports.compose = void 0;
+exports.combine = void 0;
+exports.concrete = concrete;
 exports.diff = diff;
 exports.empty = void 0;
 
@@ -14,34 +16,115 @@ var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require
 
 var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/List/constructors"));
 
-var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/number/instances"));
+var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/HashMap/api"));
 
-var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/typeclass/Ord/api/contramap"));
+var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
 
-var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/HashMap/api"));
+var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/compat/Array/api"));
 
-var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
 
-var tsplus_module_8 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/compat/Array/api"));
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
 
-var _List = /*#__PURE__*/require("@fncts/base/collection/immutable/List");
+const combine = combine_1;
+exports.combine = combine;
+const empty = empty_1;
+exports.empty = empty;
+const EnvironmentPatchTypeId = /*#__PURE__*/Symbol.for("fncts.Environment.Patch");
+/**
+ * @tsplus type fncts.Environment.Patch
+ * @tsplus companion fncts.Environment.PatchOps
+ */
 
-var _Patch = /*#__PURE__*/require("@fncts/base/data/Patch");
+exports.EnvironmentPatchTypeId = EnvironmentPatchTypeId;
 
-var _definition2 = /*#__PURE__*/require("@fncts/base/data/Patch/definition");
+class EnvironmentPatch {
+  constructor() {
+    this._typeId = EnvironmentPatchTypeId;
+  }
 
-function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+}
 
-function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+exports.EnvironmentPatch = EnvironmentPatch;
 
-const compose = compose_1;
-exports.compose = compose;
-const empty = empty_1;
-exports.empty = empty;
+class AddService extends EnvironmentPatch {
+  constructor(service, tag) {
+    super();
+    this.service = service;
+    this.tag = tag;
+    this._tag = 0
+    /* EnvironmentPatchTag.AddService */
+    ;
+  }
+
+}
+
+exports.AddService = AddService;
+
+class Combine extends EnvironmentPatch {
+  constructor(first, second) {
+    super();
+    this.first = first;
+    this.second = second;
+    this._tag = 3
+    /* EnvironmentPatchTag.Combine */
+    ;
+  }
+
+}
+
+exports.Combine = Combine;
+
+class Empty extends EnvironmentPatch {
+  constructor() {
+    super(...arguments);
+    this._tag = 4
+    /* EnvironmentPatchTag.Empty */
+    ;
+  }
+
+}
+
+exports.Empty = Empty;
+
+class RemoveService extends EnvironmentPatch {
+  constructor(tag) {
+    super();
+    this.tag = tag;
+    this._tag = 1
+    /* EnvironmentPatchTag.RemoveService */
+    ;
+  }
+
+}
+
+exports.RemoveService = RemoveService;
+
+class UpdateService extends EnvironmentPatch {
+  constructor(update, tag) {
+    super();
+    this.update = update;
+    this.tag = tag;
+    this._tag = 2
+    /* EnvironmentPatchTag.UpdateService */
+    ;
+  }
 
+}
+/**
+ * @tsplus macro remove
+ */
+
+
+exports.UpdateService = UpdateService;
+
+function concrete(_) {//
+}
 /**
  * @tsplus tailRec
  */
+
+
 function applyLoop(environment, patches) {
   var environment_1 = environment,
       patches_1 = patches;
@@ -58,35 +141,45 @@ function applyLoop(environment, patches) {
     void 0;
 
     switch (head._tag) {
-      case "AddService":
+      case 0
+      /* EnvironmentPatchTag.AddService */
+      :
         environment_2 = tsplus_module_2.add(environment_1, head.service, head.tag);
         patches_2 = tail;
         environment_1 = environment_2;
         patches_1 = patches_2;
         continue;
 
-      case "Compose":
+      case 3
+      /* EnvironmentPatchTag.Combine */
+      :
         environment_2 = environment_1;
         patches_2 = tsplus_module_3.cons(head.first, tsplus_module_3.cons(head.second, tail));
         environment_1 = environment_2;
         patches_1 = patches_2;
         continue;
 
-      case "Empty":
+      case 4
+      /* EnvironmentPatchTag.Empty */
+      :
         environment_2 = environment_1;
         patches_2 = tail;
         environment_1 = environment_2;
         patches_1 = patches_2;
         continue;
 
-      case "RemoveService":
+      case 1
+      /* EnvironmentPatchTag.RemoveService */
+      :
         environment_2 = environment_1;
         patches_2 = tail;
         environment_1 = environment_2;
         patches_1 = patches_2;
         continue;
 
-      case "UpdateService":
+      case 2
+      /* EnvironmentPatchTag.UpdateService */
+      :
         environment_2 = tsplus_module_2.update(environment_1, head.update, head.tag);
         patches_2 = tail;
         environment_1 = environment_2;
@@ -104,29 +197,28 @@ function apply(patch, environment) {
   return applyLoop(environment, tsplus_module_3.cons(patch));
 }
 /**
- * @tsplus fluent fncts.Environment.Patch compose
+ * @tsplus fluent fncts.Environment.Patch combine
  */
 
 
-function compose_1(self, that) {
-  return new _definition2.Compose(self, that);
+function combine_1(self, that) {
+  return new Combine(self, that);
 }
-
-const OrdEnvironmentMap = /*#__PURE__*/tsplus_module_5.contramap(tsplus_module_4.Ord, _ => _[1][1]);
 /**
  * @tsplus static fncts.Environment.PatchOps diff
  */
 
+
 function diff(oldValue, newValue) {
-  const sorted = tsplus_module_6.toArray(newValue.map);
-  const [missingServices, patch] = tsplus_module_8.foldLeft(sorted, [tsplus_module_6.beginMutation(oldValue.map), empty_1()], ([map, patch], [tag, newService]) => tsplus_module_7.match_(tsplus_module_6.get_(map, tag), () => [tsplus_module_6.remove_(map, tag), compose_1(patch, new _Patch.AddService(newService, tag))], oldService => {
+  const sorted = tsplus_module_4.toArray(newValue.map);
+  const [missingServices, patch] = tsplus_module_6.foldLeft(sorted, [tsplus_module_4.beginMutation(oldValue.map), empty_1()], ([map, patch], [tag, newService]) => tsplus_module_5.match_(tsplus_module_4.get_(map, tag), () => [tsplus_module_4.remove_(map, tag), combine_1(patch, new AddService(newService, tag))], oldService => {
     if (oldService === newService) {
-      return [tsplus_module_6.remove_(map, tag), patch];
+      return [tsplus_module_4.remove_(map, tag), patch];
     } else {
-      return [tsplus_module_6.remove_(map, tag), compose_1(patch, new _Patch.UpdateService(_ => newService, tag))];
+      return [tsplus_module_4.remove_(map, tag), combine_1(patch, new UpdateService(_ => newService, tag))];
     }
   }));
-  return tsplus_module_6.foldLeftWithIndex_(missingServices, patch, (tag, patch) => compose_1(patch, new _Patch.RemoveService(tag)));
+  return tsplus_module_4.foldLeftWithIndex_(missingServices, patch, (tag, patch) => combine_1(patch, new RemoveService(tag)));
 }
 /**
  * @tsplus static fncts.Environment.PatchOps empty
@@ -134,6 +226,6 @@ function diff(oldValue, newValue) {
 
 
 function empty_1() {
-  return new _definition2.Empty();
+  return new Empty();
 }
-//# sourceMappingURL=api.cjs.map
+//# sourceMappingURL=EnvironmentPatch.cjs.map

package/_cjs/data/EnvironmentPatch.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"EnvironmentPatch.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;MAqGgBA,OAAO;;MAgCPC,KAAK;;AA7Hd,MAAMC,sBAAsB,gBAAGC,MAAM,CAACC,GAAP,CAAW,yBAAX,CAA/B;AAGP;;;;;;;AAIM,MAAgBC,gBAAhB,CAAgC;EAAtCC;IACW,eAAkCJ,sBAAlC;EAGV;;AAJqC;;;;AAMhC,MAAOK,UAAP,SAAwCF,gBAAxC,CAAiF;EAErFC,YAAqBE,OAArB,EAAgDC,GAAhD,EAAiE;IAC/D;IADmB;IAA2B;IADvC,YAAI;IAAA;IAAJ;EAGR;;AAJoF;;;;AAOjF,MAAOC,OAAP,SAAsCL,gBAAtC,CAAgE;EAEpEC,YAAqBK,KAArB,EAAgEC,MAAhE,EAAmG;IACjG;IADmB;IAA2C;IADvD,YAAI;IAAA;IAAJ;EAGR;;AAJmE;;;;AAOhE,MAAOC,KAAP,SAA0BR,gBAA1B,CAAoD;EAA1DC;;IACW,YAAI;IAAA;IAAJ;EACV;;AAFyD;;;;AAIpD,MAAOQ,aAAP,SAA2CT,gBAA3C,CAAoF;EAExFC,YAAqBG,GAArB,EAAsC;IACpC;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJuF;;;;AAOpF,MAAOM,aAAP,SAA2CV,gBAA3C,CAAmG;EAEvGC,YAAqBU,MAArB,EAA+DP,GAA/D,EAAgF;IAC9E;IADmB;IAA0C;IADtD,YAAI;IAAA;IAAJ;EAGR;;AAJsG;AAczG;;;;;;;AAGM,SAAUQ,QAAV,CAAmBC,CAAnB,EAAgD,CACpD;AACD;AAED;;;;;AAGA,SAASC,SAAT,CAAmBC,WAAnB,EAAkDC,OAAlD,EAA2F;sBAAxED;MAAAE,YAA+BD;sBAA/BD;MAAAG,YAA+BF;;YAA6D;IAC7G,IAAIG,kCAAJ,EAAuB;MACrB;IACD;;IACD,MAAMC,IAAI,GAAGH,UAAQG,IAArB;IACA,MAAMC,IAAI,GAAGJ,UAAQI,IAArB;IACA;;IACA,QAAQD,IAAI,CAACE,IAAb;MACE;MAAA;MAAA;wBACmBC,mCAAgBH,IAAI,CAACjB,OAArB,EAA8BiB,IAAI,CAAChB,GAAnC;oBAAyCiB;;;;;MAC5D;MAAA;MAAA;;oBACgCG,qBAAKJ,IAAI,CAACd,KAAV,EAAiBkB,qBAAKJ,IAAI,CAACb,MAAV,EAAkBc,IAAlB,CAAjB;;;;;MAChC;MAAA;MAAA;;oBACgCA;;;;;MAChC;MAAA;MAAA;;oBACgCA;;;;;MAChC;MAAA;MAAA;wBACmBE,sCAAmBH,IAAI,CAACT,MAAxB,EAAgCS,IAAI,CAAChB,GAArC;oBAA2CiB;;;;IAVhE;EAYD;AAAA;AAED;;;;;AAGM,SAAUI,KAAV,CAAyBC,KAAzB,EAA2DX,WAA3D,EAAuF;EAC3F,OAAOD,SAAS,CAACC,WAAD,EAAcS,qBAAKE,KAAL,CAAd,CAAhB;AACD;AAED;;;;;AAGA,mBACEC,IADF,EAEEC,IAFF,EAEmC;EAEjC,OAAO,IAAIvB,OAAJ,CAAYsB,IAAZ,EAAkBC,IAAlB,CAAP;AACD;AAED;;;;;AAGM,SAAUC,IAAV,CAAwBC,QAAxB,EAAmDC,QAAnD,EAA6E;EACjF,MAAMC,MAAM,2BAAqBD,QAAQ,CAACE,GAA9B,CAAZ;EACA,MAAM,CAACC,eAAD,EAAkBR,KAAlB,IAA2BS,iCAC/B,+BAACL,QAAQ,CAACG,GAAV,GAA6BG,SAA7B,CAD+B,EAE/B,CAAC,CAACH,GAAD,EAAMP,KAAN,CAAD,EAAe,CAACtB,GAAD,EAAMiC,UAAN,CAAf,KACEC,iDAAQlC,GAAR,GACE,MAAM,CAACmC,6BAAWnC,GAAX,CAAD,EAAkBoC,iBAAc,IAAItC,UAAJ,CAAemC,UAAf,EAA2BjC,GAA3B,CAAd,CAAlB,CADR,EAEGqC,UAAD,IAAe;IACb,IAAIA,UAAU,KAAKJ,UAAnB,EAA+B;MAC7B,OAAO,CAACE,6BAAWnC,GAAX,CAAD,EAAkBsB,KAAlB,CAAP;IACD,CAFD,MAEO;MACL,OAAO,CAACa,6BAAWnC,GAAX,CAAD,EAAkBoC,iBAAc,IAAI9B,aAAJ,CAAmBG,CAAD,IAAYwB,UAA9B,EAA0CjC,GAA1C,CAAd,CAAlB,CAAP;IACD;EACF,CARH,CAH6B,CAAjC;EAcA,OAAOmC,oDAAkCb,KAAlC,EAAyC,CAACtB,GAAD,EAAMsB,KAAN,KAAgBc,iBAAc,IAAI/B,aAAJ,CAAkBL,GAAlB,CAAd,CAAzD,CAAP;AACD;AAED;;;;;AAGA;EACE,OAAO,IAAII,KAAJ,EAAP;AACD","names":["combine","empty","EnvironmentPatchTypeId","Symbol","for","EnvironmentPatch","constructor","AddService","service","tag","Combine","first","second","Empty","RemoveService","UpdateService","update","concrete","_","applyLoop","environment","patches","patches_1","patches_2","tsplus_module_1","head","tail","_tag","tsplus_module_2","tsplus_module_3","apply","patch","self","that","diff","oldValue","newValue","sorted","map","missingServices","tsplus_module_6","empty_1","newService","tsplus_module_5","tsplus_module_4","combine_1","oldService"],"sourceRoot":"","sources":["../../_src/data/EnvironmentPatch.ts"],"sourcesContent":[null]}

package/_mjs/data/Environment/definition.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.mjs","mappings":";;;;;;AAAA;;;;AAGO,MAAMA,2BAAYC,MAAM,CAACC,GAAP,CAAW,WAAX,CAAlB;aAAMC,SAAS;AAItB;;;;;AAIA,OAAM,MAAOC,WAAP,CAAkB;EAGtBC,YACWC,GADX,EAESC,QAAoCC,6BAF7C,EAEkE;IADvD;IACF;IAJA,eAAOR,WAAP;EAKL;;EAEA,mCAAa;IACf,OAAOS,4BAAiB,KAAKF,KAAtB,CAAP;EACD;;EAED,+BAAgBG,IAAhB,EAA6B;IAC3B,OAAOC,aAAa,CAACD,IAAD,CAAb,GAAqBE,6BAAC,KAAKN,GAAN,EAAaI,IAAI,CAACJ,GAAlB,CAArB,GAA6C,KAApD;EACD;;AAdqB;AAiBxB,OAAM,SAAUK,aAAV,CAAwBE,CAAxB,EAAkC;EACtC,OAAOC,0BAAUD,CAAV,EAAWb,WAAX,CAAP;AACD","names":["EnvSymbol_1","Symbol","for","EnvSymbol","Environment","constructor","map","cache","tsplus_module_1","tsplus_module_3","that","isEnvironment","tsplus_module_5","u","tsplus_module_6"],"sourceRoot":"","sources":["../../../_src/data/Environment/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.mjs","mappings":";;;;;;AAEA;;;;AAGO,MAAMA,2BAAYC,MAAM,CAACC,GAAP,CAAW,WAAX,CAAlB;aAAMC,SAAS;AAItB;;;;;AAIA,OAAM,MAAOC,WAAP,CAAkB;EAGtBC,YACWC,GADX,EAESC,QAAoCC,6BAF7C,EAEkE;IADvD;IACF;IAJA,eAAOR,WAAP;EAKL;;EAEA,mCAAa;IACf,OAAOS,4BAAiB,KAAKF,KAAtB,CAAP;EACD;;EAED,+BAAgBG,IAAhB,EAA6B;IAC3B,OAAOC,aAAa,CAACD,IAAD,CAAb,GAAqBE,6BAAC,KAAKN,GAAN,EAAaI,IAAI,CAACJ,GAAlB,CAArB,GAA6C,KAApD;EACD;;AAdqB;AAqBxB,OAAM,SAAUK,aAAV,CAAwBE,CAAxB,EAAkC;EACtC,OAAOC,0BAAUD,CAAV,EAAWb,WAAX,CAAP;AACD","names":["EnvSymbol_1","Symbol","for","EnvSymbol","Environment","constructor","map","cache","tsplus_module_1","tsplus_module_3","that","isEnvironment","tsplus_module_5","u","tsplus_module_6"],"sourceRoot":"","sources":["../../../_src/data/Environment/definition.ts"],"sourcesContent":[null]}

package/_mjs/data/EnvironmentPatch.mjs

@@ -0,0 +1,184 @@
+import * as tsplus_module_1 from "@fncts/base/collection/immutable/List/definition";
+import * as tsplus_module_2 from "@fncts/base/data/Environment/api";
+import * as tsplus_module_3 from "@fncts/base/collection/immutable/List/constructors";
+import * as tsplus_module_4 from "@fncts/base/collection/immutable/HashMap/api";
+import * as tsplus_module_5 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_6 from "@fncts/base/collection/compat/Array/api";
+export const combine = combine_1;
+export const empty = empty_1;
+export const EnvironmentPatchTypeId = /*#__PURE__*/Symbol.for("fncts.Environment.Patch");
+/**
+ * @tsplus type fncts.Environment.Patch
+ * @tsplus companion fncts.Environment.PatchOps
+ */
+
+export class EnvironmentPatch {
+  constructor() {
+    this._typeId = EnvironmentPatchTypeId;
+  }
+
+}
+export class AddService extends EnvironmentPatch {
+  constructor(service, tag) {
+    super();
+    this.service = service;
+    this.tag = tag;
+    this._tag = 0
+    /* EnvironmentPatchTag.AddService */
+    ;
+  }
+
+}
+export class Combine extends EnvironmentPatch {
+  constructor(first, second) {
+    super();
+    this.first = first;
+    this.second = second;
+    this._tag = 3
+    /* EnvironmentPatchTag.Combine */
+    ;
+  }
+
+}
+export class Empty extends EnvironmentPatch {
+  constructor() {
+    super(...arguments);
+    this._tag = 4
+    /* EnvironmentPatchTag.Empty */
+    ;
+  }
+
+}
+export class RemoveService extends EnvironmentPatch {
+  constructor(tag) {
+    super();
+    this.tag = tag;
+    this._tag = 1
+    /* EnvironmentPatchTag.RemoveService */
+    ;
+  }
+
+}
+export class UpdateService extends EnvironmentPatch {
+  constructor(update, tag) {
+    super();
+    this.update = update;
+    this.tag = tag;
+    this._tag = 2
+    /* EnvironmentPatchTag.UpdateService */
+    ;
+  }
+
+}
+/**
+ * @tsplus macro remove
+ */
+
+export function concrete(_) {//
+}
+/**
+ * @tsplus tailRec
+ */
+
+function applyLoop(environment, patches) {
+  var environment_1 = environment,
+      patches_1 = patches;
+  var environment_2 = environment,
+      patches_2 = patches;
+
+  while (1) {
+    if (tsplus_module_1.isEmpty(patches_1)) {
+      return environment_1;
+    }
+
+    const head = patches_1.head;
+    const tail = patches_1.tail;
+    void 0;
+
+    switch (head._tag) {
+      case 0
+      /* EnvironmentPatchTag.AddService */
+      :
+        environment_2 = tsplus_module_2.add(environment_1, head.service, head.tag);
+        patches_2 = tail;
+        environment_1 = environment_2;
+        patches_1 = patches_2;
+        continue;
+
+      case 3
+      /* EnvironmentPatchTag.Combine */
+      :
+        environment_2 = environment_1;
+        patches_2 = tsplus_module_3.cons(head.first, tsplus_module_3.cons(head.second, tail));
+        environment_1 = environment_2;
+        patches_1 = patches_2;
+        continue;
+
+      case 4
+      /* EnvironmentPatchTag.Empty */
+      :
+        environment_2 = environment_1;
+        patches_2 = tail;
+        environment_1 = environment_2;
+        patches_1 = patches_2;
+        continue;
+
+      case 1
+      /* EnvironmentPatchTag.RemoveService */
+      :
+        environment_2 = environment_1;
+        patches_2 = tail;
+        environment_1 = environment_2;
+        patches_1 = patches_2;
+        continue;
+
+      case 2
+      /* EnvironmentPatchTag.UpdateService */
+      :
+        environment_2 = tsplus_module_2.update(environment_1, head.update, head.tag);
+        patches_2 = tail;
+        environment_1 = environment_2;
+        patches_1 = patches_2;
+        continue;
+    }
+  }
+}
+/**
+ * @tsplus fluent fncts.Environment.Patch __call
+ */
+
+
+export function apply(patch, environment) {
+  return applyLoop(environment, tsplus_module_3.cons(patch));
+}
+/**
+ * @tsplus fluent fncts.Environment.Patch combine
+ */
+
+function combine_1(self, that) {
+  return new Combine(self, that);
+}
+/**
+ * @tsplus static fncts.Environment.PatchOps diff
+ */
+
+
+export function diff(oldValue, newValue) {
+  const sorted = tsplus_module_4.toArray(newValue.map);
+  const [missingServices, patch] = tsplus_module_6.foldLeft(sorted, [tsplus_module_4.beginMutation(oldValue.map), empty_1()], ([map, patch], [tag, newService]) => tsplus_module_5.match_(tsplus_module_4.get_(map, tag), () => [tsplus_module_4.remove_(map, tag), combine_1(patch, new AddService(newService, tag))], oldService => {
+    if (oldService === newService) {
+      return [tsplus_module_4.remove_(map, tag), patch];
+    } else {
+      return [tsplus_module_4.remove_(map, tag), combine_1(patch, new UpdateService(_ => newService, tag))];
+    }
+  }));
+  return tsplus_module_4.foldLeftWithIndex_(missingServices, patch, (tag, patch) => combine_1(patch, new RemoveService(tag)));
+}
+/**
+ * @tsplus static fncts.Environment.PatchOps empty
+ */
+
+function empty_1() {
+  return new Empty();
+}
+//# sourceMappingURL=EnvironmentPatch.mjs.map

package/_mjs/data/EnvironmentPatch.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"EnvironmentPatch.mjs","mappings":";;;;;;aAqGgBA,OAAO;aAgCPC,KAAK;AA7HrB,OAAO,MAAMC,sBAAsB,gBAAGC,MAAM,CAACC,GAAP,CAAW,yBAAX,CAA/B;AAGP;;;;;AAIA,OAAM,MAAgBC,gBAAhB,CAAgC;EAAtCC;IACW,eAAkCJ,sBAAlC;EAGV;;AAJqC;AAMtC,OAAM,MAAOK,UAAP,SAAwCF,gBAAxC,CAAiF;EAErFC,YAAqBE,OAArB,EAAgDC,GAAhD,EAAiE;IAC/D;IADmB;IAA2B;IADvC,YAAI;IAAA;IAAJ;EAGR;;AAJoF;AAOvF,OAAM,MAAOC,OAAP,SAAsCL,gBAAtC,CAAgE;EAEpEC,YAAqBK,KAArB,EAAgEC,MAAhE,EAAmG;IACjG;IADmB;IAA2C;IADvD,YAAI;IAAA;IAAJ;EAGR;;AAJmE;AAOtE,OAAM,MAAOC,KAAP,SAA0BR,gBAA1B,CAAoD;EAA1DC;;IACW,YAAI;IAAA;IAAJ;EACV;;AAFyD;AAI1D,OAAM,MAAOQ,aAAP,SAA2CT,gBAA3C,CAAoF;EAExFC,YAAqBG,GAArB,EAAsC;IACpC;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJuF;AAO1F,OAAM,MAAOM,aAAP,SAA2CV,gBAA3C,CAAmG;EAEvGC,YAAqBU,MAArB,EAA+DP,GAA/D,EAAgF;IAC9E;IADmB;IAA0C;IADtD,YAAI;IAAA;IAAJ;EAGR;;AAJsG;AAczG;;;;AAGA,OAAM,SAAUQ,QAAV,CAAmBC,CAAnB,EAAgD,CACpD;AACD;AAED;;;;AAGA,SAASC,SAAT,CAAmBC,WAAnB,EAAkDC,OAAlD,EAA2F;sBAAxED;MAAAE,YAA+BD;sBAA/BD;MAAAG,YAA+BF;;YAA6D;IAC7G,IAAIG,kCAAJ,EAAuB;MACrB;IACD;;IACD,MAAMC,IAAI,GAAGH,UAAQG,IAArB;IACA,MAAMC,IAAI,GAAGJ,UAAQI,IAArB;IACA;;IACA,QAAQD,IAAI,CAACE,IAAb;MACE;MAAA;MAAA;wBACmBC,mCAAgBH,IAAI,CAACjB,OAArB,EAA8BiB,IAAI,CAAChB,GAAnC;oBAAyCiB;;;;;MAC5D;MAAA;MAAA;;oBACgCG,qBAAKJ,IAAI,CAACd,KAAV,EAAiBkB,qBAAKJ,IAAI,CAACb,MAAV,EAAkBc,IAAlB,CAAjB;;;;;MAChC;MAAA;MAAA;;oBACgCA;;;;;MAChC;MAAA;MAAA;;oBACgCA;;;;;MAChC;MAAA;MAAA;wBACmBE,sCAAmBH,IAAI,CAACT,MAAxB,EAAgCS,IAAI,CAAChB,GAArC;oBAA2CiB;;;;IAVhE;EAYD;AAAA;AAED;;;;;AAGA,OAAM,SAAUI,KAAV,CAAyBC,KAAzB,EAA2DX,WAA3D,EAAuF;EAC3F,OAAOD,SAAS,CAACC,WAAD,EAAcS,qBAAKE,KAAL,CAAd,CAAhB;AACD;AAED;;;;AAGA,mBACEC,IADF,EAEEC,IAFF,EAEmC;EAEjC,OAAO,IAAIvB,OAAJ,CAAYsB,IAAZ,EAAkBC,IAAlB,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUC,IAAV,CAAwBC,QAAxB,EAAmDC,QAAnD,EAA6E;EACjF,MAAMC,MAAM,2BAAqBD,QAAQ,CAACE,GAA9B,CAAZ;EACA,MAAM,CAACC,eAAD,EAAkBR,KAAlB,IAA2BS,iCAC/B,+BAACL,QAAQ,CAACG,GAAV,GAA6BG,SAA7B,CAD+B,EAE/B,CAAC,CAACH,GAAD,EAAMP,KAAN,CAAD,EAAe,CAACtB,GAAD,EAAMiC,UAAN,CAAf,KACEC,iDAAQlC,GAAR,GACE,MAAM,CAACmC,6BAAWnC,GAAX,CAAD,EAAkBoC,iBAAc,IAAItC,UAAJ,CAAemC,UAAf,EAA2BjC,GAA3B,CAAd,CAAlB,CADR,EAEGqC,UAAD,IAAe;IACb,IAAIA,UAAU,KAAKJ,UAAnB,EAA+B;MAC7B,OAAO,CAACE,6BAAWnC,GAAX,CAAD,EAAkBsB,KAAlB,CAAP;IACD,CAFD,MAEO;MACL,OAAO,CAACa,6BAAWnC,GAAX,CAAD,EAAkBoC,iBAAc,IAAI9B,aAAJ,CAAmBG,CAAD,IAAYwB,UAA9B,EAA0CjC,GAA1C,CAAd,CAAlB,CAAP;IACD;EACF,CARH,CAH6B,CAAjC;EAcA,OAAOmC,oDAAkCb,KAAlC,EAAyC,CAACtB,GAAD,EAAMsB,KAAN,KAAgBc,iBAAc,IAAI/B,aAAJ,CAAkBL,GAAlB,CAAd,CAAzD,CAAP;AACD;AAED;;;;AAGA;EACE,OAAO,IAAII,KAAJ,EAAP;AACD","names":["combine","empty","EnvironmentPatchTypeId","Symbol","for","EnvironmentPatch","constructor","AddService","service","tag","Combine","first","second","Empty","RemoveService","UpdateService","update","concrete","_","applyLoop","environment","patches","patches_1","patches_2","tsplus_module_1","head","tail","_tag","tsplus_module_2","tsplus_module_3","apply","patch","self","that","diff","oldValue","newValue","sorted","map","missingServices","tsplus_module_6","empty_1","newService","tsplus_module_5","tsplus_module_4","combine_1","oldService"],"sourceRoot":"","sources":["../../_src/data/EnvironmentPatch.ts"],"sourcesContent":[null]}

package/_src/data/Environment/definition.ts

@@ -1,3 +1,5 @@
+import type { EnvironmentPatch } from "@fncts/base/data/EnvironmentPatch";
+
 /**
  * @tsplus static fncts.prelude.builtin.SymbolOps env
  */
@@ -26,6 +28,10 @@ export class Environment<R> implements Hashable, Equatable {
   }
 }
 
+export declare namespace Environment {
+  type Patch<In, Out> = EnvironmentPatch<In, Out>;
+}
+
 export function isEnvironment(u: unknown): u is Environment<unknown> {
   return hasTypeId(u, EnvSymbol);
 }

package/_src/data/EnvironmentPatch.ts

@@ -0,0 +1,136 @@
+export const enum EnvironmentPatchTag {
+  AddService,
+  RemoveService,
+  UpdateService,
+  Combine,
+  Empty,
+}
+
+export const EnvironmentPatchTypeId = Symbol.for("fncts.Environment.Patch");
+export type EnvironmentPatchTypeId = typeof EnvironmentPatchTypeId;
+
+/**
+ * @tsplus type fncts.Environment.Patch
+ * @tsplus companion fncts.Environment.PatchOps
+ */
+export abstract class EnvironmentPatch<In, Out> {
+  readonly _typeId: EnvironmentPatchTypeId = EnvironmentPatchTypeId;
+  readonly _R!: (_: In) => void;
+  readonly _A!: () => Out;
+}
+
+export class AddService<Env, Service> extends EnvironmentPatch<Env, Env & Has<Service>> {
+  readonly _tag = EnvironmentPatchTag.AddService;
+  constructor(readonly service: Service, readonly tag: Tag<Service>) {
+    super();
+  }
+}
+
+export class Combine<In, Out, Out2> extends EnvironmentPatch<In, Out2> {
+  readonly _tag = EnvironmentPatchTag.Combine;
+  constructor(readonly first: EnvironmentPatch<In, Out>, readonly second: EnvironmentPatch<Out, Out2>) {
+    super();
+  }
+}
+
+export class Empty<Env> extends EnvironmentPatch<Env, Env> {
+  readonly _tag = EnvironmentPatchTag.Empty;
+}
+
+export class RemoveService<Env, Service> extends EnvironmentPatch<Env & Has<Service>, Env> {
+  readonly _tag = EnvironmentPatchTag.RemoveService;
+  constructor(readonly tag: Tag<Service>) {
+    super();
+  }
+}
+
+export class UpdateService<Env, Service> extends EnvironmentPatch<Env & Has<Service>, Env & Has<Service>> {
+  readonly _tag = EnvironmentPatchTag.UpdateService;
+  constructor(readonly update: (_: Service) => Service, readonly tag: Tag<Service>) {
+    super();
+  }
+}
+
+export type Concrete =
+  | AddService<any, any>
+  | Combine<any, any, any>
+  | Empty<any>
+  | RemoveService<any, any>
+  | UpdateService<any, any>;
+
+/**
+ * @tsplus macro remove
+ */
+export function concrete(_: EnvironmentPatch<any, any>): asserts _ is Concrete {
+  //
+}
+
+/**
+ * @tsplus tailRec
+ */
+function applyLoop(environment: Environment<any>, patches: List<EnvironmentPatch<any, any>>): Environment<any> {
+  if (patches.isEmpty()) {
+    return environment;
+  }
+  const head = patches.head;
+  const tail = patches.tail;
+  concrete(head);
+  switch (head._tag) {
+    case EnvironmentPatchTag.AddService:
+      return applyLoop(environment.add(head.service, head.tag), tail);
+    case EnvironmentPatchTag.Combine:
+      return applyLoop(environment, Cons(head.first, Cons(head.second, tail)));
+    case EnvironmentPatchTag.Empty:
+      return applyLoop(environment, tail);
+    case EnvironmentPatchTag.RemoveService:
+      return applyLoop(environment, tail);
+    case EnvironmentPatchTag.UpdateService:
+      return applyLoop(environment.update(head.update, head.tag), tail);
+  }
+}
+
+/**
+ * @tsplus fluent fncts.Environment.Patch __call
+ */
+export function apply<In, Out>(patch: EnvironmentPatch<In, Out>, environment: Environment<In>): Environment<Out> {
+  return applyLoop(environment, Cons(patch));
+}
+
+/**
+ * @tsplus fluent fncts.Environment.Patch combine
+ */
+export function combine<In, Out, Out2>(
+  self: EnvironmentPatch<In, Out>,
+  that: EnvironmentPatch<Out, Out2>,
+): EnvironmentPatch<In, Out2> {
+  return new Combine(self, that);
+}
+
+/**
+ * @tsplus static fncts.Environment.PatchOps diff
+ */
+export function diff<In, Out>(oldValue: Environment<In>, newValue: Environment<Out>): EnvironmentPatch<In, Out> {
+  const sorted                   = newValue.map.toArray;
+  const [missingServices, patch] = sorted.foldLeft(
+    [oldValue.map.beginMutation, EnvironmentPatch.empty() as EnvironmentPatch<any, any>],
+    ([map, patch], [tag, newService]) =>
+      map.get(tag).match(
+        () => [map.remove(tag), patch.combine(new AddService(newService, tag))],
+        (oldService) => {
+          if (oldService === newService) {
+            return [map.remove(tag), patch];
+          } else {
+            return [map.remove(tag), patch.combine(new UpdateService((_: any) => newService, tag))];
+          }
+        },
+      ),
+  );
+  return missingServices.foldLeftWithIndex(patch, (tag, patch) => patch.combine(new RemoveService(tag)));
+}
+
+/**
+ * @tsplus static fncts.Environment.PatchOps empty
+ */
+export function empty<A>(): EnvironmentPatch<A, A> {
+  return new Empty();
+}

package/_src/data.ts

@@ -11,6 +11,7 @@ export type {} from "./data/Decoder.js";
 export type {} from "./data/Duration.js";
 export type {} from "./data/Either.js";
 export type {} from "./data/Environment.js";
+export type {} from "./data/EnvironmentPatch.js";
 export type {} from "./data/exceptions.js";
 export type {} from "./data/ExecutionStrategy.js";
 export type {} from "./data/Exit.js";
@@ -23,7 +24,6 @@ export type {} from "./data/Maybe.js";
 export type {} from "./data/Newtype.js";
 export type {} from "./data/number.js";
 export type {} from "./data/object.js";
-export type {} from "./data/Patch.js";
 export type {} from "./data/Predicate.js";
 export type {} from "./data/Refinement.js";
 export type {} from "./data/string.js";

package/_src/global.ts

@@ -123,6 +123,10 @@ import { Either } from "@fncts/base/data/Either/definition";
  * @tsplus global
  */
 import { Environment } from "@fncts/base/data/Environment/definition";
+/**
+ * @tsplus global
+ */
+import { EnvironmentPatch } from "@fncts/base/data/EnvironmentPatch";
 /**
  * @tsplus global
  */

package/data/Environment/definition.d.ts

@@ -2,6 +2,7 @@ import { Hashable } from "@fncts/base/typeclass/Hashable";
 import { Equatable } from "@fncts/base/typeclass/Equatable";
 import { HashMap } from "@fncts/base/collection/immutable/HashMap/definition";
 import { Tag } from "@fncts/base/data/Tag/definition";
+import type { EnvironmentPatch } from "@fncts/base/data/EnvironmentPatch";
 /**
  * @tsplus static fncts.prelude.builtin.SymbolOps env
  * @tsplus location "@fncts/base/data/Environment/definition"
@@ -21,4 +22,7 @@ export declare class Environment<R> implements Hashable, Equatable {
     get [Symbol.hash](): number;
     [Symbol.equals](that: unknown): boolean;
 }
+export declare namespace Environment {
+    type Patch<In, Out> = EnvironmentPatch<In, Out>;
+}
 export declare function isEnvironment(u: unknown): u is Environment<unknown>;