@fncts/base 0.0.19 → 0.0.20

package/data/EnvironmentPatch.d.ts

@@ -0,0 +1,73 @@
+import { Has } from "@fncts/base/typeclass/Has";
+import { Tag } from "@fncts/base/data/Tag/definition";
+import { Environment } from "@fncts/base/data/Environment/definition";
+import { List } from "@fncts/base/collection/immutable/List/definition";
+export declare const enum EnvironmentPatchTag {
+    AddService = 0,
+    RemoveService = 1,
+    UpdateService = 2,
+    Combine = 3,
+    Empty = 4
+}
+export declare const EnvironmentPatchTypeId: unique symbol;
+export type EnvironmentPatchTypeId = typeof EnvironmentPatchTypeId;
+/**
+ * @tsplus type fncts.Environment.Patch
+ * @tsplus companion fncts.Environment.PatchOps
+ */
+export declare abstract class EnvironmentPatch<In, Out> {
+    readonly _typeId: EnvironmentPatchTypeId;
+    readonly _R: (_: In) => void;
+    readonly _A: () => Out;
+}
+export declare class AddService<Env, Service> extends EnvironmentPatch<Env, Env & Has<Service>> {
+    readonly service: Service;
+    readonly tag: Tag<Service>;
+    readonly _tag = EnvironmentPatchTag.AddService;
+    constructor(service: Service, tag: Tag<Service>);
+}
+export declare class Combine<In, Out, Out2> extends EnvironmentPatch<In, Out2> {
+    readonly first: EnvironmentPatch<In, Out>;
+    readonly second: EnvironmentPatch<Out, Out2>;
+    readonly _tag = EnvironmentPatchTag.Combine;
+    constructor(first: EnvironmentPatch<In, Out>, second: EnvironmentPatch<Out, Out2>);
+}
+export declare class Empty<Env> extends EnvironmentPatch<Env, Env> {
+    readonly _tag = EnvironmentPatchTag.Empty;
+}
+export declare class RemoveService<Env, Service> extends EnvironmentPatch<Env & Has<Service>, Env> {
+    readonly tag: Tag<Service>;
+    readonly _tag = EnvironmentPatchTag.RemoveService;
+    constructor(tag: Tag<Service>);
+}
+export declare class UpdateService<Env, Service> extends EnvironmentPatch<Env & Has<Service>, Env & Has<Service>> {
+    readonly update: (_: Service) => Service;
+    readonly tag: Tag<Service>;
+    readonly _tag = EnvironmentPatchTag.UpdateService;
+    constructor(update: (_: Service) => Service, tag: Tag<Service>);
+}
+export type Concrete = AddService<any, any> | Combine<any, any, any> | Empty<any> | RemoveService<any, any> | UpdateService<any, any>;
+/**
+ * @tsplus macro remove
+ */
+export declare function concrete(_: EnvironmentPatch<any, any>): asserts _ is Concrete;
+/**
+ * @tsplus fluent fncts.Environment.Patch __call
+ * @tsplus location "@fncts/base/data/EnvironmentPatch"
+ */
+export declare function apply<In, Out>(patch: EnvironmentPatch<In, Out>, environment: Environment<In>): Environment<Out>;
+/**
+ * @tsplus fluent fncts.Environment.Patch combine
+ * @tsplus location "@fncts/base/data/EnvironmentPatch"
+ */
+export declare function combine<In, Out, Out2>(self: EnvironmentPatch<In, Out>, that: EnvironmentPatch<Out, Out2>): EnvironmentPatch<In, Out2>;
+/**
+ * @tsplus static fncts.Environment.PatchOps diff
+ * @tsplus location "@fncts/base/data/EnvironmentPatch"
+ */
+export declare function diff<In, Out>(oldValue: Environment<In>, newValue: Environment<Out>): EnvironmentPatch<In, Out>;
+/**
+ * @tsplus static fncts.Environment.PatchOps empty
+ * @tsplus location "@fncts/base/data/EnvironmentPatch"
+ */
+export declare function empty<A>(): EnvironmentPatch<A, A>;

package/data.d.ts

@@ -10,6 +10,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";
@@ -22,7 +23,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/global.d.ts

@@ -118,6 +118,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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fncts/base",
-  "version": "0.0.19",
+  "version": "0.0.20",
   "dependencies": {
     "@fncts/typelevel": "0.0.14",
     "uuid": "^9.0.0"

package/_cjs/data/Patch/api.cjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;AACA;;AAEA;;;;;;MAsCgBA,OAAO;;MA+BPC,KAAK;;;AAjErB;;;AAGA,SAASC,SAAT,CAAmBC,WAAnB,EAAkDC,OAAlD,EAAgF;sBAA7DD;MAAAE,YAA+BD;sBAA/BD;MAAAG,YAA+BF;;YAAkD;IAClG,IAAIG,kCAAJ,EAAuB;MACrB;IACD;;IACD,MAAMC,IAAI,GAAGH,UAAQG,IAArB;IACA,MAAMC,IAAI,GAAGJ,UAAQI,IAArB;IACA;;IACA,QAAQD,IAAI,CAACE,IAAb;MACE,KAAK,YAAL;wBACmBC,mCAAgBH,IAAI,CAACI,OAArB,EAA8BJ,IAAI,CAACK,GAAnC;oBAAyCJ;;;;;MAC5D,KAAK,SAAL;;oBACgCK,qBAAKN,IAAI,CAACO,KAAV,EAAiBD,qBAAKN,IAAI,CAACQ,MAAV,EAAkBP,IAAlB,CAAjB;;;;;MAChC,KAAK,OAAL;;oBACgCA;;;;;MAChC,KAAK,eAAL;;oBACgCA;;;;;MAChC,KAAK,eAAL;wBACmBE,sCAAmBH,IAAI,CAACS,MAAxB,EAAgCT,IAAI,CAACK,GAArC;oBAA2CJ;;;;IAVhE;EAYD;AAAA;AAED;;;;;AAGM,SAAUS,KAAV,CAAyBC,KAAzB,EAAgDhB,WAAhD,EAA4E;EAChF,OAAOD,SAAS,CAACC,WAAD,EAAcW,qBAAKK,KAAL,CAAd,CAAhB;AACD;AAED;;;;;AAGA,mBAAuCC,IAAvC,EAA6DC,IAA7D,EAAmF;EACjF,OAAO,IAAIC,oBAAJ,CAAYF,IAAZ,EAAkBC,IAAlB,CAAP;AACD;;AAED,MAAME,iBAAiB,gBAAGC,+CAAsBC,CAAD,IAA4DA,CAAC,CAAC,CAAD,CAAD,CAAK,CAAL,CAAjF,CAA1B;AAEA;;;;AAGM,SAAUC,IAAV,CAAwBC,QAAxB,EAAmDC,QAAnD,EAA6E;EACjF,MAAMC,MAAM,2BAAqBD,QAAQ,CAACE,GAA9B,CAAZ;EACA,MAAM,CAACC,eAAD,EAAkBZ,KAAlB,IAA2Ba,iCAC/B,+BAACL,QAAQ,CAACG,GAAV,GAA6BG,SAA7B,CAD+B,EAE/B,CAAC,CAACH,GAAD,EAAMX,KAAN,CAAD,EAAe,CAACN,GAAD,EAAMqB,UAAN,CAAf,KACEC,iDAAQtB,GAAR,GACE,MAAM,CAACuB,6BAAWvB,GAAX,CAAD,EAAkBwB,iBAAc,IAAIC,iBAAJ,CAAeJ,UAAf,EAA2BrB,GAA3B,CAAd,CAAlB,CADR,EAEG0B,UAAD,IAAe;IACb,IAAIA,UAAU,KAAKL,UAAnB,EAA+B;MAC7B,OAAO,CAACE,6BAAWvB,GAAX,CAAD,EAAkBM,KAAlB,CAAP;IACD,CAFD,MAEO;MACL,OAAO,CAACiB,6BAAWvB,GAAX,CAAD,EAAkBwB,iBAAc,IAAIG,oBAAJ,CAAmBf,CAAD,IAAYS,UAA9B,EAA0CrB,GAA1C,CAAd,CAAlB,CAAP;IACD;EACF,CARH,CAH6B,CAAjC;EAcA,OAAOuB,oDAAkCjB,KAAlC,EAAyC,CAACN,GAAD,EAAMM,KAAN,KAAgBkB,iBAAc,IAAII,oBAAJ,CAAkB5B,GAAlB,CAAd,CAAzD,CAAP;AACD;AAED;;;;;AAGA;EACE,OAAO,IAAI6B,kBAAJ,EAAP;AACD","names":["compose","empty","applyLoop","environment","patches","patches_1","patches_2","tsplus_module_1","head","tail","_tag","tsplus_module_2","service","tag","tsplus_module_3","first","second","update","apply","patch","self","that","Compose","OrdEnvironmentMap","tsplus_module_5","_","diff","oldValue","newValue","sorted","map","missingServices","tsplus_module_8","empty_1","newService","tsplus_module_7","tsplus_module_6","compose_1","AddService","oldService","UpdateService","RemoveService","Empty"],"sourceRoot":"","sources":["../../../_src/data/Patch/api.ts"],"sourcesContent":[null]}

package/_cjs/data/Patch/definition.cjs

@@ -1,88 +0,0 @@
-"use strict";
-
-Object.defineProperty(exports, "__esModule", {
-  value: true
-});
-exports.UpdateService = exports.RemoveService = exports.PatchTypeId = exports.Patch = exports.Empty = exports.Compose = exports.AddService = void 0;
-exports.concrete = concrete;
-const PatchTypeId = /*#__PURE__*/Symbol.for("fncts.Patch");
-/**
- * @tsplus type fncts.Environment.Patch
- * @tsplus companion fncts.Environment.PatchOps
- */
-
-exports.PatchTypeId = PatchTypeId;
-
-class Patch {
-  constructor() {
-    this._typeId = PatchTypeId;
-  }
-
-}
-
-exports.Patch = Patch;
-
-class AddService extends Patch {
-  constructor(service, tag) {
-    super();
-    this.service = service;
-    this.tag = tag;
-    this._tag = "AddService";
-  }
-
-}
-
-exports.AddService = AddService;
-
-class Compose extends Patch {
-  constructor(first, second) {
-    super();
-    this.first = first;
-    this.second = second;
-    this._tag = "Compose";
-  }
-
-}
-
-exports.Compose = Compose;
-
-class Empty extends Patch {
-  constructor() {
-    super(...arguments);
-    this._tag = "Empty";
-  }
-
-}
-
-exports.Empty = Empty;
-
-class RemoveService extends Patch {
-  constructor(tag) {
-    super();
-    this.tag = tag;
-    this._tag = "RemoveService";
-  }
-
-}
-
-exports.RemoveService = RemoveService;
-
-class UpdateService extends Patch {
-  constructor(update, tag) {
-    super();
-    this.update = update;
-    this.tag = tag;
-    this._tag = "UpdateService";
-  }
-
-}
-/**
- * @tsplus macro remove
- */
-
-
-exports.UpdateService = UpdateService;
-
-function concrete(_) {//
-}
-//# sourceMappingURL=definition.cjs.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"definition.cjs","mappings":";;;;;;;AAAO,MAAMA,WAAW,gBAAGC,MAAM,CAACC,GAAP,CAAW,aAAX,CAApB;AAGP;;;;;;;AAIM,MAAgBC,KAAhB,CAAqB;EAA3BC;IACW,eAAuBJ,WAAvB;EAGV;;AAJ0B;;;;AAMrB,MAAOK,UAAP,SAAwCF,KAAxC,CAAsE;EAE1EC,YAAqBE,OAArB,EAAgDC,GAAhD,EAAiE;IAC/D;IADmB;IAA2B;IADvC,YAAO,YAAP;EAGR;;AAJyE;;;;AAOtE,MAAOC,OAAP,SAAsCL,KAAtC,CAAqD;EAEzDC,YAAqBK,KAArB,EAAqDC,MAArD,EAA6E;IAC3E;IADmB;IAAgC;IAD5C,YAAO,SAAP;EAGR;;AAJwD;;;;AAOrD,MAAOC,KAAP,SAA0BR,KAA1B,CAAyC;EAA/CC;;IACW,YAAO,OAAP;EACV;;AAF8C;;;;AAIzC,MAAOQ,aAAP,SAA2CT,KAA3C,CAAyE;EAE7EC,YAAqBG,GAArB,EAAsC;IACpC;IADmB;IADZ,YAAO,eAAP;EAGR;;AAJ4E;;;;AAOzE,MAAOM,aAAP,SAA2CV,KAA3C,CAAwF;EAE5FC,YAAqBU,MAArB,EAA+DP,GAA/D,EAAgF;IAC9E;IADmB;IAA0C;IADtD,YAAO,eAAP;EAGR;;AAJ2F;AAc9F;;;;;;;AAGM,SAAUQ,QAAV,CAAmBC,CAAnB,EAAqC,CACzC;AACD","names":["PatchTypeId","Symbol","for","Patch","constructor","AddService","service","tag","Compose","first","second","Empty","RemoveService","UpdateService","update","concrete","_"],"sourceRoot":"","sources":["../../../_src/data/Patch/definition.ts"],"sourcesContent":[null]}

package/_cjs/data/Patch.cjs

@@ -1,32 +0,0 @@
-"use strict";
-
-Object.defineProperty(exports, "__esModule", {
-  value: true
-});
-
-var _api = /*#__PURE__*/require("./Patch/api.cjs");
-
-Object.keys(_api).forEach(function (key) {
-  if (key === "default" || key === "__esModule") return;
-  if (key in exports && exports[key] === _api[key]) return;
-  Object.defineProperty(exports, key, {
-    enumerable: true,
-    get: function () {
-      return _api[key];
-    }
-  });
-});
-
-var _definition = /*#__PURE__*/require("./Patch/definition.cjs");
-
-Object.keys(_definition).forEach(function (key) {
-  if (key === "default" || key === "__esModule") return;
-  if (key in exports && exports[key] === _definition[key]) return;
-  Object.defineProperty(exports, key, {
-    enumerable: true,
-    get: function () {
-      return _definition[key];
-    }
-  });
-});
-//# sourceMappingURL=Patch.cjs.map

package/_cjs/data/Patch.cjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"Patch.cjs","mappings":";;;;;;AACA;;AAAA;EAAA;EAAA;EAAA;IAAA;IAAA;MAAA;IAAA;EAAA;AAAA;;AACA;;AAAA;EAAA;EAAA;EAAA;IAAA;IAAA;MAAA;IAAA;EAAA;AAAA","names":[],"sourceRoot":"","sources":["../../_src/data/Patch.ts"],"sourcesContent":[null]}

package/_mjs/data/Patch/api.mjs

@@ -1,112 +0,0 @@
-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/data/number/instances";
-import * as tsplus_module_5 from "@fncts/base/typeclass/Ord/api/contramap";
-import * as tsplus_module_6 from "@fncts/base/collection/immutable/HashMap/api";
-import * as tsplus_module_7 from "@fncts/base/data/Maybe/destructors";
-import * as tsplus_module_8 from "@fncts/base/collection/compat/Array/api";
-export const compose = compose_1;
-export const empty = empty_1;
-import { Cons } from "@fncts/base/collection/immutable/List";
-import { AddService, RemoveService, UpdateService } from "@fncts/base/data/Patch";
-import { Empty } from "@fncts/base/data/Patch/definition";
-import { Compose } from "@fncts/base/data/Patch/definition";
-import { concrete } from "@fncts/base/data/Patch/definition";
-/**
- * @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 "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":
-        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":
-        environment_2 = environment_1;
-        patches_2 = tail;
-        environment_1 = environment_2;
-        patches_1 = patches_2;
-        continue;
-
-      case "RemoveService":
-        environment_2 = environment_1;
-        patches_2 = tail;
-        environment_1 = environment_2;
-        patches_1 = patches_2;
-        continue;
-
-      case "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 compose
- */
-
-function compose_1(self, that) {
-  return new Compose(self, that);
-}
-
-const OrdEnvironmentMap = /*#__PURE__*/tsplus_module_5.contramap(tsplus_module_4.Ord, _ => _[1][1]);
-/**
- * @tsplus static fncts.Environment.PatchOps diff
- */
-
-export 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 AddService(newService, tag))], oldService => {
-    if (oldService === newService) {
-      return [tsplus_module_6.remove_(map, tag), patch];
-    } else {
-      return [tsplus_module_6.remove_(map, tag), compose_1(patch, new UpdateService(_ => newService, tag))];
-    }
-  }));
-  return tsplus_module_6.foldLeftWithIndex_(missingServices, patch, (tag, patch) => compose_1(patch, new RemoveService(tag)));
-}
-/**
- * @tsplus static fncts.Environment.PatchOps empty
- */
-
-function empty_1() {
-  return new Empty();
-}
-//# sourceMappingURL=api.mjs.map

package/_mjs/data/Patch/api.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"api.mjs","mappings":";;;;;;;;aAyCgBA,OAAO;aA+BPC,KAAK;AAxErB,SAASC,IAAT,QAAqB,uCAArB;AACA,SAASC,UAAT,EAAqBC,aAArB,EAAoCC,aAApC,QAAyD,wBAAzD;AAEA,SAASC,KAAT,QAAsB,mCAAtB;AACA,SAASC,OAAT,QAAwB,mCAAxB;AACA,SAASC,QAAT,QAAyB,mCAAzB;AAEA;;;;AAGA,SAASC,SAAT,CAAmBC,WAAnB,EAAkDC,OAAlD,EAAgF;sBAA7DD;MAAAE,YAA+BD;sBAA/BD;MAAAG,YAA+BF;;YAAkD;IAClG,IAAIG,kCAAJ,EAAuB;MACrB;IACD;;IACD,MAAMC,IAAI,GAAGH,UAAQG,IAArB;IACA,MAAMC,IAAI,GAAGJ,UAAQI,IAArB;IACA;;IACA,QAAQD,IAAI,CAACE,IAAb;MACE,KAAK,YAAL;wBACmBC,mCAAgBH,IAAI,CAACI,OAArB,EAA8BJ,IAAI,CAACK,GAAnC;oBAAyCJ;;;;;MAC5D,KAAK,SAAL;;oBACgCK,qBAAKN,IAAI,CAACO,KAAV,EAAiBD,qBAAKN,IAAI,CAACQ,MAAV,EAAkBP,IAAlB,CAAjB;;;;;MAChC,KAAK,OAAL;;oBACgCA;;;;;MAChC,KAAK,eAAL;;oBACgCA;;;;;MAChC,KAAK,eAAL;wBACmBE,sCAAmBH,IAAI,CAACS,MAAxB,EAAgCT,IAAI,CAACK,GAArC;oBAA2CJ;;;;IAVhE;EAYD;AAAA;AAED;;;;;AAGA,OAAM,SAAUS,KAAV,CAAyBC,KAAzB,EAAgDhB,WAAhD,EAA4E;EAChF,OAAOD,SAAS,CAACC,WAAD,EAAcW,qBAAKK,KAAL,CAAd,CAAhB;AACD;AAED;;;;AAGA,mBAAuCC,IAAvC,EAA6DC,IAA7D,EAAmF;EACjF,OAAO,IAAIrB,OAAJ,CAAYoB,IAAZ,EAAkBC,IAAlB,CAAP;AACD;;AAED,MAAMC,iBAAiB,gBAAGC,+CAAsBC,CAAD,IAA4DA,CAAC,CAAC,CAAD,CAAD,CAAK,CAAL,CAAjF,CAA1B;AAEA;;;;AAGA,OAAM,SAAUC,IAAV,CAAwBC,QAAxB,EAAmDC,QAAnD,EAA6E;EACjF,MAAMC,MAAM,2BAAqBD,QAAQ,CAACE,GAA9B,CAAZ;EACA,MAAM,CAACC,eAAD,EAAkBX,KAAlB,IAA2BY,iCAC/B,+BAACL,QAAQ,CAACG,GAAV,GAA6BG,SAA7B,CAD+B,EAE/B,CAAC,CAACH,GAAD,EAAMV,KAAN,CAAD,EAAe,CAACN,GAAD,EAAMoB,UAAN,CAAf,KACEC,iDAAQrB,GAAR,GACE,MAAM,CAACsB,6BAAWtB,GAAX,CAAD,EAAkBuB,iBAAc,IAAIxC,UAAJ,CAAeqC,UAAf,EAA2BpB,GAA3B,CAAd,CAAlB,CADR,EAEGwB,UAAD,IAAe;IACb,IAAIA,UAAU,KAAKJ,UAAnB,EAA+B;MAC7B,OAAO,CAACE,6BAAWtB,GAAX,CAAD,EAAkBM,KAAlB,CAAP;IACD,CAFD,MAEO;MACL,OAAO,CAACgB,6BAAWtB,GAAX,CAAD,EAAkBuB,iBAAc,IAAItC,aAAJ,CAAmB0B,CAAD,IAAYS,UAA9B,EAA0CpB,GAA1C,CAAd,CAAlB,CAAP;IACD;EACF,CARH,CAH6B,CAAjC;EAcA,OAAOsB,oDAAkChB,KAAlC,EAAyC,CAACN,GAAD,EAAMM,KAAN,KAAgBiB,iBAAc,IAAIvC,aAAJ,CAAkBgB,GAAlB,CAAd,CAAzD,CAAP;AACD;AAED;;;;AAGA;EACE,OAAO,IAAId,KAAJ,EAAP;AACD","names":["compose","empty","Cons","AddService","RemoveService","UpdateService","Empty","Compose","concrete","applyLoop","environment","patches","patches_1","patches_2","tsplus_module_1","head","tail","_tag","tsplus_module_2","service","tag","tsplus_module_3","first","second","update","apply","patch","self","that","OrdEnvironmentMap","tsplus_module_5","_","diff","oldValue","newValue","sorted","map","missingServices","tsplus_module_8","empty_1","newService","tsplus_module_7","tsplus_module_6","compose_1","oldService"],"sourceRoot":"","sources":["../../../_src/data/Patch/api.ts"],"sourcesContent":[null]}

package/_mjs/data/Patch/definition.mjs

@@ -1,61 +0,0 @@
-export const PatchTypeId = /*#__PURE__*/Symbol.for("fncts.Patch");
-/**
- * @tsplus type fncts.Environment.Patch
- * @tsplus companion fncts.Environment.PatchOps
- */
-
-export class Patch {
-  constructor() {
-    this._typeId = PatchTypeId;
-  }
-
-}
-export class AddService extends Patch {
-  constructor(service, tag) {
-    super();
-    this.service = service;
-    this.tag = tag;
-    this._tag = "AddService";
-  }
-
-}
-export class Compose extends Patch {
-  constructor(first, second) {
-    super();
-    this.first = first;
-    this.second = second;
-    this._tag = "Compose";
-  }
-
-}
-export class Empty extends Patch {
-  constructor() {
-    super(...arguments);
-    this._tag = "Empty";
-  }
-
-}
-export class RemoveService extends Patch {
-  constructor(tag) {
-    super();
-    this.tag = tag;
-    this._tag = "RemoveService";
-  }
-
-}
-export class UpdateService extends Patch {
-  constructor(update, tag) {
-    super();
-    this.update = update;
-    this.tag = tag;
-    this._tag = "UpdateService";
-  }
-
-}
-/**
- * @tsplus macro remove
- */
-
-export function concrete(_) {//
-}
-//# sourceMappingURL=definition.mjs.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"definition.mjs","mappings":"AAAA,OAAO,MAAMA,WAAW,gBAAGC,MAAM,CAACC,GAAP,CAAW,aAAX,CAApB;AAGP;;;;;AAIA,OAAM,MAAgBC,KAAhB,CAAqB;EAA3BC;IACW,eAAuBJ,WAAvB;EAGV;;AAJ0B;AAM3B,OAAM,MAAOK,UAAP,SAAwCF,KAAxC,CAAsE;EAE1EC,YAAqBE,OAArB,EAAgDC,GAAhD,EAAiE;IAC/D;IADmB;IAA2B;IADvC,YAAO,YAAP;EAGR;;AAJyE;AAO5E,OAAM,MAAOC,OAAP,SAAsCL,KAAtC,CAAqD;EAEzDC,YAAqBK,KAArB,EAAqDC,MAArD,EAA6E;IAC3E;IADmB;IAAgC;IAD5C,YAAO,SAAP;EAGR;;AAJwD;AAO3D,OAAM,MAAOC,KAAP,SAA0BR,KAA1B,CAAyC;EAA/CC;;IACW,YAAO,OAAP;EACV;;AAF8C;AAI/C,OAAM,MAAOQ,aAAP,SAA2CT,KAA3C,CAAyE;EAE7EC,YAAqBG,GAArB,EAAsC;IACpC;IADmB;IADZ,YAAO,eAAP;EAGR;;AAJ4E;AAO/E,OAAM,MAAOM,aAAP,SAA2CV,KAA3C,CAAwF;EAE5FC,YAAqBU,MAArB,EAA+DP,GAA/D,EAAgF;IAC9E;IADmB;IAA0C;IADtD,YAAO,eAAP;EAGR;;AAJ2F;AAc9F;;;;AAGA,OAAM,SAAUQ,QAAV,CAAmBC,CAAnB,EAAqC,CACzC;AACD","names":["PatchTypeId","Symbol","for","Patch","constructor","AddService","service","tag","Compose","first","second","Empty","RemoveService","UpdateService","update","concrete","_"],"sourceRoot":"","sources":["../../../_src/data/Patch/definition.ts"],"sourcesContent":[null]}

package/_mjs/data/Patch.mjs

@@ -1,4 +0,0 @@
-// codegen:start { preset: barrel, include: ./Patch/*.ts }
-export * from "./Patch/api.mjs";
-export * from "./Patch/definition.mjs";
-//# sourceMappingURL=Patch.mjs.map

package/_mjs/data/Patch.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"Patch.mjs","mappings":"AAAA;AACA,cAAc,iBAAd;AACA,cAAc,wBAAd","names":[],"sourceRoot":"","sources":["../../_src/data/Patch.ts"],"sourcesContent":[null]}

package/_src/data/Patch/api.ts

@@ -1,75 +0,0 @@
-import { Cons } from "@fncts/base/collection/immutable/List";
-import { AddService, RemoveService, UpdateService } from "@fncts/base/data/Patch";
-import { Patch } from "@fncts/base/data/Patch/definition";
-import { Empty } from "@fncts/base/data/Patch/definition";
-import { Compose } from "@fncts/base/data/Patch/definition";
-import { concrete } from "@fncts/base/data/Patch/definition";
-
-/**
- * @tsplus tailRec
- */
-function applyLoop(environment: Environment<any>, patches: List<Patch<any, any>>): Environment<any> {
-  if (patches.isEmpty()) {
-    return environment;
-  }
-  const head = patches.head;
-  const tail = patches.tail;
-  concrete(head);
-  switch (head._tag) {
-    case "AddService":
-      return applyLoop(environment.add(head.service, head.tag), tail);
-    case "Compose":
-      return applyLoop(environment, Cons(head.first, Cons(head.second, tail)));
-    case "Empty":
-      return applyLoop(environment, tail);
-    case "RemoveService":
-      return applyLoop(environment, tail);
-    case "UpdateService":
-      return applyLoop(environment.update(head.update, head.tag), tail);
-  }
-}
-
-/**
- * @tsplus fluent fncts.Environment.Patch __call
- */
-export function apply<In, Out>(patch: Patch<In, Out>, environment: Environment<In>): Environment<Out> {
-  return applyLoop(environment, Cons(patch));
-}
-
-/**
- * @tsplus fluent fncts.Environment.Patch compose
- */
-export function compose<In, Out, Out2>(self: Patch<In, Out>, that: Patch<Out, Out2>): Patch<In, Out2> {
-  return new Compose(self, that);
-}
-
-const OrdEnvironmentMap = Number.Ord.contramap((_: readonly [Tag<unknown>, readonly [unknown, number]]) => _[1][1]);
-
-/**
- * @tsplus static fncts.Environment.PatchOps diff
- */
-export function diff<In, Out>(oldValue: Environment<In>, newValue: Environment<Out>): Patch<In, Out> {
-  const sorted                   = newValue.map.toArray;
-  const [missingServices, patch] = sorted.foldLeft(
-    [oldValue.map.beginMutation, Patch.empty() as Patch<any, any>],
-    ([map, patch], [tag, newService]) =>
-      map.get(tag).match(
-        () => [map.remove(tag), patch.compose(new AddService(newService, tag))],
-        (oldService) => {
-          if (oldService === newService) {
-            return [map.remove(tag), patch];
-          } else {
-            return [map.remove(tag), patch.compose(new UpdateService((_: any) => newService, tag))];
-          }
-        },
-      ),
-  );
-  return missingServices.foldLeftWithIndex(patch, (tag, patch) => patch.compose(new RemoveService(tag)));
-}
-
-/**
- * @tsplus static fncts.Environment.PatchOps empty
- */
-export function empty<A>(): Patch<A, A> {
-  return new Empty();
-}

package/_src/data/Patch/definition.ts

@@ -1,58 +0,0 @@
-export const PatchTypeId = Symbol.for("fncts.Patch");
-export type PatchTypeId = typeof PatchTypeId;
-
-/**
- * @tsplus type fncts.Environment.Patch
- * @tsplus companion fncts.Environment.PatchOps
- */
-export abstract class Patch<In, Out> {
-  readonly _typeId: PatchTypeId = PatchTypeId;
-  readonly _R!: (_: In) => void;
-  readonly _A!: () => Out;
-}
-
-export class AddService<Env, Service> extends Patch<Env, Env & Has<Service>> {
-  readonly _tag = "AddService";
-  constructor(readonly service: Service, readonly tag: Tag<Service>) {
-    super();
-  }
-}
-
-export class Compose<In, Out, Out2> extends Patch<In, Out2> {
-  readonly _tag = "Compose";
-  constructor(readonly first: Patch<In, Out>, readonly second: Patch<Out, Out2>) {
-    super();
-  }
-}
-
-export class Empty<Env> extends Patch<Env, Env> {
-  readonly _tag = "Empty";
-}
-
-export class RemoveService<Env, Service> extends Patch<Env & Has<Service>, Env> {
-  readonly _tag = "RemoveService";
-  constructor(readonly tag: Tag<Service>) {
-    super();
-  }
-}
-
-export class UpdateService<Env, Service> extends Patch<Env & Has<Service>, Env & Has<Service>> {
-  readonly _tag = "UpdateService";
-  constructor(readonly update: (_: Service) => Service, readonly tag: Tag<Service>) {
-    super();
-  }
-}
-
-export type Concrete =
-  | AddService<any, any>
-  | Compose<any, any, any>
-  | Empty<any>
-  | RemoveService<any, any>
-  | UpdateService<any, any>;
-
-/**
- * @tsplus macro remove
- */
-export function concrete(_: Patch<any, any>): asserts _ is Concrete {
-  //
-}

package/_src/data/Patch.ts

@@ -1,4 +0,0 @@
-// codegen:start { preset: barrel, include: ./Patch/*.ts }
-export * from "./Patch/api.js";
-export * from "./Patch/definition.js";
-// codegen:end

package/data/Patch/api.d.ts

@@ -1,24 +0,0 @@
-import { Environment } from "@fncts/base/data/Environment/definition";
-import { List } from "@fncts/base/collection/immutable/List/definition";
-import { Tag } from "@fncts/base/data/Tag/definition";
-import { Patch } from "@fncts/base/data/Patch/definition";
-/**
- * @tsplus fluent fncts.Environment.Patch __call
- * @tsplus location "@fncts/base/data/Patch/api"
- */
-export declare function apply<In, Out>(patch: Patch<In, Out>, environment: Environment<In>): Environment<Out>;
-/**
- * @tsplus fluent fncts.Environment.Patch compose
- * @tsplus location "@fncts/base/data/Patch/api"
- */
-export declare function compose<In, Out, Out2>(self: Patch<In, Out>, that: Patch<Out, Out2>): Patch<In, Out2>;
-/**
- * @tsplus static fncts.Environment.PatchOps diff
- * @tsplus location "@fncts/base/data/Patch/api"
- */
-export declare function diff<In, Out>(oldValue: Environment<In>, newValue: Environment<Out>): Patch<In, Out>;
-/**
- * @tsplus static fncts.Environment.PatchOps empty
- * @tsplus location "@fncts/base/data/Patch/api"
- */
-export declare function empty<A>(): Patch<A, A>;

package/data/Patch/definition.d.ts

@@ -1,44 +0,0 @@
-import { Has } from "@fncts/base/typeclass/Has";
-import { Tag } from "@fncts/base/data/Tag/definition";
-export declare const PatchTypeId: unique symbol;
-export type PatchTypeId = typeof PatchTypeId;
-/**
- * @tsplus type fncts.Environment.Patch
- * @tsplus companion fncts.Environment.PatchOps
- */
-export declare abstract class Patch<In, Out> {
-    readonly _typeId: PatchTypeId;
-    readonly _R: (_: In) => void;
-    readonly _A: () => Out;
-}
-export declare class AddService<Env, Service> extends Patch<Env, Env & Has<Service>> {
-    readonly service: Service;
-    readonly tag: Tag<Service>;
-    readonly _tag = "AddService";
-    constructor(service: Service, tag: Tag<Service>);
-}
-export declare class Compose<In, Out, Out2> extends Patch<In, Out2> {
-    readonly first: Patch<In, Out>;
-    readonly second: Patch<Out, Out2>;
-    readonly _tag = "Compose";
-    constructor(first: Patch<In, Out>, second: Patch<Out, Out2>);
-}
-export declare class Empty<Env> extends Patch<Env, Env> {
-    readonly _tag = "Empty";
-}
-export declare class RemoveService<Env, Service> extends Patch<Env & Has<Service>, Env> {
-    readonly tag: Tag<Service>;
-    readonly _tag = "RemoveService";
-    constructor(tag: Tag<Service>);
-}
-export declare class UpdateService<Env, Service> extends Patch<Env & Has<Service>, Env & Has<Service>> {
-    readonly update: (_: Service) => Service;
-    readonly tag: Tag<Service>;
-    readonly _tag = "UpdateService";
-    constructor(update: (_: Service) => Service, tag: Tag<Service>);
-}
-export type Concrete = AddService<any, any> | Compose<any, any, any> | Empty<any> | RemoveService<any, any> | UpdateService<any, any>;
-/**
- * @tsplus macro remove
- */
-export declare function concrete(_: Patch<any, any>): asserts _ is Concrete;

package/data/Patch.d.ts

@@ -1,2 +0,0 @@
-export * from "./Patch/api.js";
-export * from "./Patch/definition.js";