@typed/fx 1.17.4 → 1.18.0

package/dist/cjs/internal/sync-operator.js

@@ -0,0 +1,92 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.Map = exports.FilterMap = exports.Filter = void 0;
+exports.compileSyncOperatorFailureSink = compileSyncOperatorFailureSink;
+exports.compileSyncOperatorSink = compileSyncOperatorSink;
+exports.compileSyncReducer = compileSyncReducer;
+exports.fuseSyncOperators = fuseSyncOperators;
+exports.matchSyncOperator = matchSyncOperator;
+var Effect = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Effect"));
+var Option = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Option"));
+var _Sink = /*#__PURE__*/require("../Sink");
+function _getRequireWildcardCache(e) { if ("function" != typeof WeakMap) return null; var r = new WeakMap(), t = new WeakMap(); return (_getRequireWildcardCache = function (e) { return e ? t : r; })(e); }
+function _interopRequireWildcard(e, r) { if (!r && e && e.__esModule) return e; if (null === e || "object" != typeof e && "function" != typeof e) return { default: e }; var t = _getRequireWildcardCache(r); if (t && t.has(e)) return t.get(e); var n = { __proto__: null }, a = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var u in e) if ("default" !== u && Object.prototype.hasOwnProperty.call(e, u)) { var i = a ? Object.getOwnPropertyDescriptor(e, u) : null; i && (i.get || i.set) ? Object.defineProperty(n, u, i) : n[u] = e[u]; } return n.default = e, t && t.set(e, n), n; }
+const Map = f => ({
+  _tag: "Map",
+  f
+});
+exports.Map = Map;
+const Filter = f => ({
+  _tag: "Filter",
+  f
+});
+exports.Filter = Filter;
+const FilterMap = f => ({
+  _tag: "FilterMap",
+  f
+});
+exports.FilterMap = FilterMap;
+const SyncOperatorFusionMap = {
+  Map: {
+    Map: (op1, op2) => Map(a => op2.f(op1.f(a))),
+    Filter: (op1, op2) => FilterMap(a => {
+      const b = op1.f(a);
+      return op2.f(b) ? Option.some(b) : Option.none();
+    }),
+    FilterMap: (op1, op2) => FilterMap(a => op2.f(op1.f(a)))
+  },
+  Filter: {
+    Map: (op1, op2) => FilterMap(a => op1.f(a) ? Option.some(op2.f(a)) : Option.none()),
+    Filter: (op1, op2) => Filter(a => op1.f(a) && op2.f(a)),
+    FilterMap: (op1, op2) => FilterMap(a => op1.f(a) ? op2.f(a) : Option.none())
+  },
+  FilterMap: {
+    Map: (op1, op2) => FilterMap(a => Option.map(op1.f(a), op2.f)),
+    Filter: (op1, op2) => FilterMap(a => Option.flatMap(op1.f(a), b => op2.f(b) ? Option.some(b) : Option.none())),
+    FilterMap: (op1, op2) => FilterMap(a => Option.flatMap(op1.f(a), op2.f))
+  }
+};
+function fuseSyncOperators(op1, op2) {
+  return SyncOperatorFusionMap[op1._tag][op2._tag](op1, op2);
+}
+function matchSyncOperator(operator, matchers) {
+  switch (operator._tag) {
+    case "Map":
+      return matchers.Map(operator);
+    case "Filter":
+      return matchers.Filter(operator);
+    case "FilterMap":
+      return matchers.FilterMap(operator);
+  }
+}
+function compileSyncOperatorSink(operator, sink) {
+  return matchSyncOperator(operator, {
+    Map: op => (0, _Sink.WithContext)(sink.onFailure, a => sink.onSuccess(op.f(a))),
+    Filter: op => (0, _Sink.WithContext)(sink.onFailure, a => op.f(a) ? sink.onSuccess(a) : Effect.unit),
+    FilterMap: op => (0, _Sink.WithContext)(sink.onFailure, a => Option.match(op.f(a), {
+      onNone: () => Effect.unit,
+      onSome: sink.onSuccess
+    }))
+  });
+}
+function compileSyncOperatorFailureSink(operator, sink) {
+  return matchSyncOperator(operator, {
+    Map: op => (0, _Sink.WithContext)(a => sink.onFailure(op.f(a)), sink.onSuccess),
+    Filter: op => (0, _Sink.WithContext)(a => op.f(a) ? sink.onFailure(a) : Effect.unit, sink.onSuccess),
+    FilterMap: op => (0, _Sink.WithContext)(a => Option.match(op.f(a), {
+      onNone: () => Effect.unit,
+      onSome: sink.onFailure
+    }), sink.onSuccess)
+  });
+}
+function compileSyncReducer(operator, f) {
+  return matchSyncOperator(operator, {
+    Map: op => (b, a) => Option.some(f(b, op.f(a))),
+    Filter: op => (b, a) => op.f(a) ? Option.some(f(b, a)) : Option.none(),
+    FilterMap: op => (b, i) => Option.map(op.f(i), a => f(b, a))
+  });
+}
+//# sourceMappingURL=sync-operator.js.map

package/dist/cjs/internal/sync-operator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-operator.js","names":["Effect","_interopRequireWildcard","require","Option","_Sink","_getRequireWildcardCache","e","WeakMap","r","t","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","Map","f","_tag","exports","Filter","FilterMap","SyncOperatorFusionMap","op1","op2","b","some","none","map","flatMap","fuseSyncOperators","matchSyncOperator","operator","matchers","compileSyncOperatorSink","sink","op","WithContext","onFailure","onSuccess","unit","match","onNone","onSome","compileSyncOperatorFailureSink","compileSyncReducer"],"sources":["../../../src/internal/sync-operator.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;AAAA,IAAAA,MAAA,gBAAAC,uBAAA,eAAAC,OAAA;AACA,IAAAC,MAAA,gBAAAF,uBAAA,eAAAC,OAAA;AACA,IAAAE,KAAA,gBAAAF,OAAA;AAAqC,SAAAG,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAL,wBAAAK,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAI,UAAA,SAAAJ,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAK,OAAA,EAAAL,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAG,GAAA,CAAAN,CAAA,UAAAG,CAAA,CAAAI,GAAA,CAAAP,CAAA,OAAAQ,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAd,CAAA,oBAAAc,CAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAjB,CAAA,EAAAc,CAAA,SAAAI,CAAA,GAAAR,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAb,CAAA,EAAAc,CAAA,UAAAI,CAAA,KAAAA,CAAA,CAAAX,GAAA,IAAAW,CAAA,CAAAC,GAAA,IAAAR,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAI,CAAA,IAAAV,CAAA,CAAAM,CAAA,IAAAd,CAAA,CAAAc,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAL,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAgB,GAAA,CAAAnB,CAAA,EAAAQ,CAAA,GAAAA,CAAA;AAc9B,MAAMY,GAAG,GAAUC,CAAc,KAAiB;EAAEC,IAAI,EAAE,KAAK;EAAED;AAAC,CAAE,CAAC;AAAAE,OAAA,CAAAH,GAAA,GAAAA,GAAA;AAOrE,MAAMI,MAAM,GAAOH,CAAoB,KAAiB;EAAEC,IAAI,EAAE,QAAQ;EAAED;AAAC,CAAE,CAAC;AAAAE,OAAA,CAAAC,MAAA,GAAAA,MAAA;AAO9E,MAAMC,SAAS,GAAUJ,CAA6B,KAAuB;EAAEC,IAAI,EAAE,WAAW;EAAED;AAAC,CAAE,CAAC;AAAAE,OAAA,CAAAE,SAAA,GAAAA,SAAA;AAW7G,MAAMC,qBAAqB,GAA0B;EACnDN,GAAG,EAAE;IACHA,GAAG,EAAEA,CAACO,GAAG,EAAEC,GAAG,KAAKR,GAAG,CAAEV,CAAM,IAAKkB,GAAG,CAACP,CAAC,CAACM,GAAG,CAACN,CAAC,CAACX,CAAC,CAAC,CAAC,CAAC;IACnDc,MAAM,EAAEA,CAACG,GAAG,EAAEC,GAAG,KACfH,SAAS,CAAEf,CAAM,IAAI;MACnB,MAAMmB,CAAC,GAAGF,GAAG,CAACN,CAAC,CAACX,CAAC,CAAC;MAClB,OAAOkB,GAAG,CAACP,CAAC,CAACQ,CAAC,CAAC,GAAGhC,MAAM,CAACiC,IAAI,CAACD,CAAC,CAAC,GAAGhC,MAAM,CAACkC,IAAI,EAAE;IAClD,CAAC,CAAC;IACJN,SAAS,EAAEA,CAACE,GAAG,EAAEC,GAAG,KAAKH,SAAS,CAAEf,CAAM,IAAKkB,GAAG,CAACP,CAAC,CAACM,GAAG,CAACN,CAAC,CAACX,CAAC,CAAC,CAAC;GAC/D;EACDc,MAAM,EAAE;IACNJ,GAAG,EAAEA,CAACO,GAAG,EAAEC,GAAG,KAAKH,SAAS,CAAEf,CAAM,IAAKiB,GAAG,CAACN,CAAC,CAACX,CAAC,CAAC,GAAGb,MAAM,CAACiC,IAAI,CAACF,GAAG,CAACP,CAAC,CAACX,CAAC,CAAC,CAAC,GAAGb,MAAM,CAACkC,IAAI,EAAE,CAAC;IAC1FP,MAAM,EAAEA,CAACG,GAAG,EAAEC,GAAG,KAAKJ,MAAM,CAAEd,CAAM,IAAKiB,GAAG,CAACN,CAAC,CAACX,CAAC,CAAC,IAAIkB,GAAG,CAACP,CAAC,CAACX,CAAC,CAAC,CAAC;IAC9De,SAAS,EAAEA,CAACE,GAAG,EAAEC,GAAG,KAAKH,SAAS,CAAEf,CAAC,IAAKiB,GAAG,CAACN,CAAC,CAACX,CAAC,CAAC,GAAGkB,GAAG,CAACP,CAAC,CAACX,CAAC,CAAC,GAAGb,MAAM,CAACkC,IAAI,EAAE;GAC9E;EACDN,SAAS,EAAE;IACTL,GAAG,EAAEA,CAACO,GAAG,EAAEC,GAAG,KAAKH,SAAS,CAAEf,CAAM,IAAKb,MAAM,CAACmC,GAAG,CAACL,GAAG,CAACN,CAAC,CAACX,CAAC,CAAC,EAAEkB,GAAG,CAACP,CAAC,CAAC,CAAC;IACrEG,MAAM,EAAEA,CAACG,GAAG,EAAEC,GAAG,KACfH,SAAS,CAAEf,CAAM,IAAKb,MAAM,CAACoC,OAAO,CAACN,GAAG,CAACN,CAAC,CAACX,CAAC,CAAC,EAAGmB,CAAC,IAAKD,GAAG,CAACP,CAAC,CAACQ,CAAC,CAAC,GAAGhC,MAAM,CAACiC,IAAI,CAACD,CAAC,CAAC,GAAGhC,MAAM,CAACkC,IAAI,EAAE,CAAC,CAAC;IACnGN,SAAS,EAAEA,CAACE,GAAG,EAAEC,GAAG,KAAKH,SAAS,CAAEf,CAAM,IAAKb,MAAM,CAACoC,OAAO,CAACN,GAAG,CAACN,CAAC,CAACX,CAAC,CAAC,EAAEkB,GAAG,CAACP,CAAC,CAAC;;CAEjF;AAEK,SAAUa,iBAAiBA,CAACP,GAAiB,EAAEC,GAAiB;EACpE,OAAOF,qBAAqB,CAACC,GAAG,CAACL,IAAI,CAAC,CAACM,GAAG,CAACN,IAAI,CAAC,CAACK,GAAU,EAAEC,GAAU,CAAC;AAC1E;AAEM,SAAUO,iBAAiBA,CAAIC,QAAsB,EAAEC,QAI5D;EACC,QAAQD,QAAQ,CAACd,IAAI;IACnB,KAAK,KAAK;MACR,OAAOe,QAAQ,CAACjB,GAAG,CAACgB,QAAQ,CAAC;IAC/B,KAAK,QAAQ;MACX,OAAOC,QAAQ,CAACb,MAAM,CAACY,QAAQ,CAAC;IAClC,KAAK,WAAW;MACd,OAAOC,QAAQ,CAACZ,SAAS,CAACW,QAAQ,CAAC;EACvC;AACF;AAEM,SAAUE,uBAAuBA,CACrCF,QAAsB,EACtBG,IAA8B;EAE9B,OAAOJ,iBAAiB,CAACC,QAAQ,EAAE;IACjChB,GAAG,EAAGoB,EAAE,IAAK,IAAAC,iBAAW,EAACF,IAAI,CAACG,SAAS,EAAGhC,CAAC,IAAK6B,IAAI,CAACI,SAAS,CAACH,EAAE,CAACnB,CAAC,CAACX,CAAC,CAAC,CAAC,CAAC;IACxEc,MAAM,EAAGgB,EAAE,IAAK,IAAAC,iBAAW,EAACF,IAAI,CAACG,SAAS,EAAGhC,CAAC,IAAK8B,EAAE,CAACnB,CAAC,CAACX,CAAC,CAAC,GAAG6B,IAAI,CAACI,SAAS,CAACjC,CAAC,CAAC,GAAGhB,MAAM,CAACkD,IAAI,CAAC;IAC7FnB,SAAS,EAAGe,EAAE,IACZ,IAAAC,iBAAW,EAACF,IAAI,CAACG,SAAS,EAAGhC,CAAC,IAC5Bb,MAAM,CAACgD,KAAK,CAACL,EAAE,CAACnB,CAAC,CAACX,CAAC,CAAC,EAAE;MACpBoC,MAAM,EAAEA,CAAA,KAAMpD,MAAM,CAACkD,IAAI;MACzBG,MAAM,EAAER,IAAI,CAACI;KACd,CAAC;GACP,CAAC;AACJ;AAEM,SAAUK,8BAA8BA,CAC5CZ,QAAsB,EACtBG,IAA8B;EAE9B,OAAOJ,iBAAiB,CAACC,QAAQ,EAAE;IACjChB,GAAG,EAAGoB,EAAE,IAAK,IAAAC,iBAAW,EAAE/B,CAAC,IAAK6B,IAAI,CAACG,SAAS,CAACF,EAAE,CAACnB,CAAC,CAACX,CAAC,CAAC,CAAC,EAAE6B,IAAI,CAACI,SAAS,CAAC;IACxEnB,MAAM,EAAGgB,EAAE,IAAK,IAAAC,iBAAW,EAAE/B,CAAC,IAAK8B,EAAE,CAACnB,CAAC,CAACX,CAAC,CAAC,GAAG6B,IAAI,CAACG,SAAS,CAAChC,CAAC,CAAC,GAAGhB,MAAM,CAACkD,IAAI,EAAEL,IAAI,CAACI,SAAS,CAAC;IAC7FlB,SAAS,EAAGe,EAAE,IACZ,IAAAC,iBAAW,EAAE/B,CAAC,IACZb,MAAM,CAACgD,KAAK,CAACL,EAAE,CAACnB,CAAC,CAACX,CAAC,CAAC,EAAE;MACpBoC,MAAM,EAAEA,CAAA,KAAMpD,MAAM,CAACkD,IAAI;MACzBG,MAAM,EAAER,IAAI,CAACG;KACd,CAAC,EAAEH,IAAI,CAACI,SAAS;GACvB,CAAC;AACJ;AAEM,SAAUM,kBAAkBA,CAChCb,QAAsB,EACtBf,CAAoB;EAEpB,OAAOc,iBAAiB,CAACC,QAAQ,EAAE;IACjChB,GAAG,EAAGoB,EAAE,IAAK,CAACX,CAAC,EAAEnB,CAAC,KAAKb,MAAM,CAACiC,IAAI,CAACT,CAAC,CAACQ,CAAC,EAAEW,EAAE,CAACnB,CAAC,CAACX,CAAC,CAAC,CAAC,CAAC;IACjDc,MAAM,EAAGgB,EAAE,IAAK,CAACX,CAAC,EAAEnB,CAAC,KAAK8B,EAAE,CAACnB,CAAC,CAACX,CAAC,CAAC,GAAGb,MAAM,CAACiC,IAAI,CAACT,CAAC,CAACQ,CAAC,EAAEnB,CAAC,CAAC,CAAC,GAAGb,MAAM,CAACkC,IAAI,EAAE;IACxEN,SAAS,EAAGe,EAAE,IAAK,CAACX,CAAC,EAAEX,CAAC,KAAKrB,MAAM,CAACmC,GAAG,CAACQ,EAAE,CAACnB,CAAC,CAACH,CAAC,CAAC,EAAGR,CAAC,IAAKW,CAAC,CAACQ,CAAC,EAAEnB,CAAC,CAAC;GAChE,CAAC;AACJ"}

package/dist/cjs/internal/versioned-transform.js

@@ -0,0 +1,46 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.VersionedTransform = void 0;
+var Effect = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Effect"));
+var Option = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Option"));
+var _helpers = /*#__PURE__*/require("./helpers");
+var _protos = /*#__PURE__*/require("./protos");
+function _getRequireWildcardCache(e) { if ("function" != typeof WeakMap) return null; var r = new WeakMap(), t = new WeakMap(); return (_getRequireWildcardCache = function (e) { return e ? t : r; })(e); }
+function _interopRequireWildcard(e, r) { if (!r && e && e.__esModule) return e; if (null === e || "object" != typeof e && "function" != typeof e) return { default: e }; var t = _getRequireWildcardCache(r); if (t && t.has(e)) return t.get(e); var n = { __proto__: null }, a = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var u in e) if ("default" !== u && Object.prototype.hasOwnProperty.call(e, u)) { var i = a ? Object.getOwnPropertyDescriptor(e, u) : null; i && (i.get || i.set) ? Object.defineProperty(n, u, i) : n[u] = e[u]; } return n.default = e, t && t.set(e, n), n; }
+class VersionedTransform extends _protos.FxEffectBase {
+  input;
+  _transformFx;
+  _transformGet;
+  _version = 0;
+  _currentValue = Option.none();
+  constructor(input, _transformFx, _transformGet) {
+    super();
+    this.input = input;
+    this._transformFx = _transformFx;
+    this._transformGet = _transformGet;
+  }
+  version = Effect.sync(() => this._version);
+  toFx() {
+    return this._transformFx(this.input);
+  }
+  toEffect() {
+    // Use MulticastEffect to ensure at most 1 effect is running at a time
+    const update = new _helpers.MulticastEffect(Effect.gen(this, function* (_) {
+      const x = yield* _(this._transformGet(this.input));
+      this._currentValue = Option.some(x);
+      this._version = yield* _(this.input.version);
+      return x;
+    }));
+    return Effect.gen(this, function* (_) {
+      if (Option.isSome(this._currentValue) && (yield* _(this.input.version)) === this._version) {
+        return this._currentValue.value;
+      }
+      return yield* _(update);
+    });
+  }
+}
+exports.VersionedTransform = VersionedTransform;
+//# sourceMappingURL=versioned-transform.js.map

package/dist/cjs/internal/versioned-transform.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"versioned-transform.js","names":["Effect","_interopRequireWildcard","require","Option","_helpers","_protos","_getRequireWildcardCache","e","WeakMap","r","t","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","VersionedTransform","FxEffectBase","input","_transformFx","_transformGet","_version","_currentValue","none","constructor","version","sync","toFx","toEffect","update","MulticastEffect","gen","_","x","some","isSome","value","exports"],"sources":["../../../src/internal/versioned-transform.ts"],"sourcesContent":[null],"mappings":";;;;;;AAAA,IAAAA,MAAA,gBAAAC,uBAAA,eAAAC,OAAA;AACA,IAAAC,MAAA,gBAAAF,uBAAA,eAAAC,OAAA;AAGA,IAAAE,QAAA,gBAAAF,OAAA;AACA,IAAAG,OAAA,gBAAAH,OAAA;AAAuC,SAAAI,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAN,wBAAAM,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAI,UAAA,SAAAJ,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAK,OAAA,EAAAL,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAG,GAAA,CAAAN,CAAA,UAAAG,CAAA,CAAAI,GAAA,CAAAP,CAAA,OAAAQ,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAd,CAAA,oBAAAc,CAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAjB,CAAA,EAAAc,CAAA,SAAAI,CAAA,GAAAR,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAb,CAAA,EAAAc,CAAA,UAAAI,CAAA,KAAAA,CAAA,CAAAX,GAAA,IAAAW,CAAA,CAAAC,GAAA,IAAAR,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAI,CAAA,IAAAV,CAAA,CAAAM,CAAA,IAAAd,CAAA,CAAAc,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAL,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAgB,GAAA,CAAAnB,CAAA,EAAAQ,CAAA,GAAAA,CAAA;AAEjC,MAAOY,kBACX,SAAQC,oBAA4C;EAOzCC,KAAA;EACDC,YAAA;EACAC,aAAA;EANFC,QAAQ,GAAG,CAAC;EACVC,aAAa,GAAqB9B,MAAM,CAAC+B,IAAI,EAAE;EAEzDC,YACWN,KAA4C,EAC7CC,YAAgD,EAChDC,aAA6E;IAErF,KAAK,EAAE;IAJE,KAAAF,KAAK,GAALA,KAAK;IACN,KAAAC,YAAY,GAAZA,YAAY;IACZ,KAAAC,aAAa,GAAbA,aAAa;EAGvB;EAESK,OAAO,GAAGpC,MAAM,CAACqC,IAAI,CAAC,MAAM,IAAI,CAACL,QAAQ,CAAC;EAEnDM,IAAIA,CAAA;IACF,OAAO,IAAI,CAACR,YAAY,CAAC,IAAI,CAACD,KAAK,CAAC;EACtC;EAEAU,QAAQA,CAAA;IACN;IACA,MAAMC,MAAM,GAAG,IAAIC,wBAAe,CAACzC,MAAM,CAAC0C,GAAG,CAAC,IAAI,EAAE,WAAUC,CAAC;MAC7D,MAAMC,CAAC,GAAG,OAAOD,CAAC,CAAC,IAAI,CAACZ,aAAa,CAAC,IAAI,CAACF,KAAwC,CAAC,CAAC;MAErF,IAAI,CAACI,aAAa,GAAG9B,MAAM,CAAC0C,IAAI,CAACD,CAAC,CAAC;MACnC,IAAI,CAACZ,QAAQ,GAAG,OAAOW,CAAC,CAAC,IAAI,CAACd,KAAK,CAACO,OAAO,CAAC;MAE5C,OAAOQ,CAAC;IACV,CAAC,CAAC,CAAC;IAEH,OAAO5C,MAAM,CAAC0C,GAAG,CAAC,IAAI,EAAE,WAAUC,CAAC;MACjC,IAAIxC,MAAM,CAAC2C,MAAM,CAAC,IAAI,CAACb,aAAa,CAAC,IAAI,CAAC,OAAOU,CAAC,CAAC,IAAI,CAACd,KAAK,CAACO,OAAO,CAAC,MAAM,IAAI,CAACJ,QAAQ,EAAE;QACzF,OAAO,IAAI,CAACC,aAAa,CAACc,KAAK;MACjC;MAEA,OAAO,OAAOJ,CAAC,CAACH,MAAM,CAAC;IACzB,CAAC,CAAC;EACJ;;AACDQ,OAAA,CAAArB,kBAAA,GAAAA,kBAAA"}

package/dist/cjs/internal/withKey.js

@@ -0,0 +1,69 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.withKey = withKey;
+var Effect = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Effect"));
+var _Equal = /*#__PURE__*/require("effect/Equal");
+var Fiber = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Fiber"));
+var Option = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Option"));
+var Scope = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Scope"));
+var RefSubject = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("../RefSubject"));
+var Sink = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("../Sink"));
+var core = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./core"));
+var _helpers = /*#__PURE__*/require("./helpers");
+var _run = /*#__PURE__*/require("./run");
+function _getRequireWildcardCache(e) { if ("function" != typeof WeakMap) return null; var r = new WeakMap(), t = new WeakMap(); return (_getRequireWildcardCache = function (e) { return e ? t : r; })(e); }
+function _interopRequireWildcard(e, r) { if (!r && e && e.__esModule) return e; if (null === e || "object" != typeof e && "function" != typeof e) return { default: e }; var t = _getRequireWildcardCache(r); if (t && t.has(e)) return t.get(e); var n = { __proto__: null }, a = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var u in e) if ("default" !== u && Object.prototype.hasOwnProperty.call(e, u)) { var i = a ? Object.getOwnPropertyDescriptor(e, u) : null; i && (i.get || i.set) ? Object.defineProperty(n, u, i) : n[u] = e[u]; } return n.default = e, t && t.set(e, n), n; }
+function withKey(fx, getKey, onValue) {
+  return core.withScopedFork(({
+    fork,
+    scope,
+    sink
+  }) => Effect.gen(function* (_) {
+    let current = Option.none();
+    const lock = (yield* _(Effect.makeSemaphore(1))).withPermits(1);
+    const make = a => Effect.uninterruptibleMask(restore => Effect.gen(function* (_) {
+      const key = getKey(a);
+      // We use a simple mutable object to track the current value
+      // of the state coming from the "outside", such that any internal
+      // usage of RefSubject.delete will reset to the latest value emitted
+      // from here.
+      const currentValue = {
+        value: a
+      };
+      const ref = yield* _(RefSubject.fromEffect(Effect.sync(() => currentValue.value)), Effect.provideService(Scope.Scope, scope));
+      const fiber = yield* _((0, _run.run)(core.from(onValue(ref, key)), sink), restore, fork);
+      // Save our state
+      current = Option.some([key, currentValue, ref, fiber]);
+      // Allow our Fibers to start
+      yield* _((0, _helpers.adjustTime)(1));
+    }));
+    yield* _((0, _run.run)(fx, Sink.WithContext(sink.onFailure, a => lock(Effect.gen(function* (_) {
+      if (Option.isNone(current)) {
+        yield _(make(a));
+      } else {
+        const [key, currentValue, ref, fiber] = current.value;
+        if ((0, _Equal.equals)(key, getKey(a))) {
+          // Key didn't change, so we just set an updated value.
+          currentValue.value = a;
+          yield* _(ref.set(a));
+        } else {
+          // Cleanup previous resources
+          yield* _(Fiber.interrupt(fiber));
+          // Create a new RefSubject
+          yield* _(make(a));
+        }
+      }
+    })))));
+    if (Option.isSome(current)) {
+      const [,, ref, fiber] = current.value;
+      // Signal there will be no more input events
+      yield* _(fork(ref.interrupt));
+      // Wait for the last Fiber to complete
+      yield* _(Effect.fromFiber(fiber));
+    }
+  }));
+}
+//# sourceMappingURL=withKey.js.map

package/dist/cjs/internal/withKey.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"withKey.js","names":["Effect","_interopRequireWildcard","require","_Equal","Fiber","Option","Scope","RefSubject","Sink","core","_helpers","_run","_getRequireWildcardCache","e","WeakMap","r","t","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","withKey","fx","getKey","onValue","withScopedFork","fork","scope","sink","gen","_","current","none","lock","makeSemaphore","withPermits","make","uninterruptibleMask","restore","key","currentValue","value","ref","fromEffect","sync","provideService","fiber","run","from","some","adjustTime","WithContext","onFailure","isNone","equals","interrupt","isSome","fromFiber"],"sources":["../../../src/internal/withKey.ts"],"sourcesContent":[null],"mappings":";;;;;;AAAA,IAAAA,MAAA,gBAAAC,uBAAA,eAAAC,OAAA;AACA,IAAAC,MAAA,gBAAAD,OAAA;AACA,IAAAE,KAAA,gBAAAH,uBAAA,eAAAC,OAAA;AACA,IAAAG,MAAA,gBAAAJ,uBAAA,eAAAC,OAAA;AACA,IAAAI,KAAA,gBAAAL,uBAAA,eAAAC,OAAA;AAEA,IAAAK,UAAA,gBAAAN,uBAAA,eAAAC,OAAA;AACA,IAAAM,IAAA,gBAAAP,uBAAA,eAAAC,OAAA;AACA,IAAAO,IAAA,gBAAAR,uBAAA,eAAAC,OAAA;AACA,IAAAQ,QAAA,gBAAAR,OAAA;AACA,IAAAS,IAAA,gBAAAT,OAAA;AAA2B,SAAAU,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAZ,wBAAAY,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAI,UAAA,SAAAJ,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAK,OAAA,EAAAL,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAG,GAAA,CAAAN,CAAA,UAAAG,CAAA,CAAAI,GAAA,CAAAP,CAAA,OAAAQ,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAd,CAAA,oBAAAc,CAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAjB,CAAA,EAAAc,CAAA,SAAAI,CAAA,GAAAR,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAb,CAAA,EAAAc,CAAA,UAAAI,CAAA,KAAAA,CAAA,CAAAX,GAAA,IAAAW,CAAA,CAAAC,GAAA,IAAAR,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAI,CAAA,IAAAV,CAAA,CAAAM,CAAA,IAAAd,CAAA,CAAAc,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAL,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAgB,GAAA,CAAAnB,CAAA,EAAAQ,CAAA,GAAAA,CAAA;AAErB,SAAUY,OAAOA,CACrBC,EAAe,EACfC,MAAmB,EACnBC,OAAoF;EAEpF,OAAO3B,IAAI,CAAC4B,cAAc,CAAC,CAAC;IAAEC,IAAI;IAAEC,KAAK;IAAEC;EAAI,CAAE,KAC/CxC,MAAM,CAACyC,GAAG,CAAC,WAAUC,CAAC;IACpB,IAAIC,OAAO,GAEPtC,MAAM,CAACuC,IAAI,EAAE;IAEjB,MAAMC,IAAI,GAAG,CAAC,OAAOH,CAAC,CAAC1C,MAAM,CAAC8C,aAAa,CAAC,CAAC,CAAC,CAAC,EAAEC,WAAW,CAAC,CAAC,CAAC;IAE/D,MAAMC,IAAI,GAAIzB,CAAI,IAChBvB,MAAM,CAACiD,mBAAmB,CAAEC,OAAO,IACjClD,MAAM,CAACyC,GAAG,CAAC,WAAUC,CAAC;MACpB,MAAMS,GAAG,GAAGhB,MAAM,CAACZ,CAAC,CAAC;MACrB;MACA;MACA;MACA;MACA,MAAM6B,YAAY,GAAG;QAAEC,KAAK,EAAE9B;MAAC,CAAE;MACjC,MAAM+B,GAAG,GAAG,OAAOZ,CAAC,CAClBnC,UAAU,CAACgD,UAAU,CAACvD,MAAM,CAACwD,IAAI,CAAC,MAAMJ,YAAY,CAACC,KAAK,CAAC,CAAC,EAC5DrD,MAAM,CAACyD,cAAc,CAACnD,KAAK,CAACA,KAAK,EAAEiC,KAAK,CAAC,CAC1C;MACD,MAAMmB,KAAK,GAAG,OAAOhB,CAAC,CACpB,IAAAiB,QAAG,EAAClD,IAAI,CAACmD,IAAI,CAACxB,OAAO,CAACkB,GAAG,EAAEH,GAAG,CAAC,CAAC,EAAEX,IAAI,CAAC,EACvCU,OAAO,EACPZ,IAAI,CACL;MAED;MACAK,OAAO,GAAGtC,MAAM,CAACwD,IAAI,CAAC,CAACV,GAAG,EAAEC,YAAY,EAAEE,GAAG,EAAEI,KAAK,CAAC,CAAC;MAEtD;MACA,OAAOhB,CAAC,CAAC,IAAAoB,mBAAU,EAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CACH;IAEH,OAAOpB,CAAC,CAAC,IAAAiB,QAAG,EACVzB,EAAE,EACF1B,IAAI,CAACuD,WAAW,CACdvB,IAAI,CAACwB,SAAS,EACbzC,CAAC,IACAsB,IAAI,CAAC7C,MAAM,CAACyC,GAAG,CAAC,WAAUC,CAAC;MACzB,IAAIrC,MAAM,CAAC4D,MAAM,CAACtB,OAAO,CAAC,EAAE;QAC1B,MAAMD,CAAC,CAACM,IAAI,CAACzB,CAAC,CAAC,CAAC;MAClB,CAAC,MAAM;QACL,MAAM,CAAC4B,GAAG,EAAEC,YAAY,EAAEE,GAAG,EAAEI,KAAK,CAAC,GAAGf,OAAO,CAACU,KAAK;QAErD,IAAI,IAAAa,aAAM,EAACf,GAAG,EAAEhB,MAAM,CAACZ,CAAC,CAAC,CAAC,EAAE;UAC1B;UAEA6B,YAAY,CAACC,KAAK,GAAG9B,CAAC;UACtB,OAAOmB,CAAC,CAACY,GAAG,CAACtB,GAAG,CAACT,CAAC,CAAC,CAAC;QACtB,CAAC,MAAM;UACL;UACA,OAAOmB,CAAC,CAACtC,KAAK,CAAC+D,SAAS,CAACT,KAAK,CAAC,CAAC;UAEhC;UACA,OAAOhB,CAAC,CAACM,IAAI,CAACzB,CAAC,CAAC,CAAC;QACnB;MACF;IACF,CAAC,CAAC,CAAC,CACN,CACF,CAAC;IAEF,IAAIlB,MAAM,CAAC+D,MAAM,CAACzB,OAAO,CAAC,EAAE;MAC1B,MAAM,IAAKW,GAAG,EAAEI,KAAK,CAAC,GAAGf,OAAO,CAACU,KAAK;MAEtC;MACA,OAAOX,CAAC,CAACJ,IAAI,CAACgB,GAAG,CAACa,SAAS,CAAC,CAAC;MAE7B;MACA,OAAOzB,CAAC,CAAC1C,MAAM,CAACqE,SAAS,CAACX,KAAK,CAAC,CAAC;IACnC;EACF,CAAC,CAAC,CACH;AACH"}

package/dist/dts/Computed.d.ts

@@ -0,0 +1,106 @@
+/**
+ * A Computed is a Subject that has a current value that can be read and observed
+ * @since 1.18.0
+ */
+import type { Tag } from "@typed/context";
+import type { Context, Equivalence, Layer, Runtime } from "effect";
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import { Filtered } from "./Filtered";
+import { type Fx } from "./Fx";
+import { ComputedTypeId } from "./TypeId";
+import * as Versioned from "./Versioned";
+/**
+ * A Computed is a Subject that has a current value that can be read and observed
+ * @since 1.18.0
+ * @category models
+ */
+export interface Computed<out R, out E, out A> extends Versioned.Versioned<R, never, R, E, A, R, E, A> {
+    readonly [ComputedTypeId]: ComputedTypeId;
+    /**
+     * Map the current value of this Computed to a new value using an Effect
+     * @since 1.18.0
+     */
+    readonly mapEffect: <R2, E2, B>(f: (a: A) => Effect.Effect<R2, E2, B>) => Computed<R | R2, E | E2, B>;
+    /**
+     * Map the current value of this Computed to a new value
+     * @since 1.18.0
+     */
+    readonly map: <B>(f: (a: A) => B) => Computed<R, E, B>;
+    /**
+     * Map the current value of this Filtered to a new value using an Effect
+     * @since 1.18.0
+     */
+    readonly filterMapEffect: <R2, E2, B>(f: (a: A) => Effect.Effect<R2, E2, Option.Option<B>>) => Filtered<R | R2, E | E2, B>;
+    /**
+     * Map the current value of this Filtered to a new value
+     * @since 1.18.0
+     */
+    readonly filterMap: <B>(f: (a: A) => Option.Option<B>) => Filtered<R, E, B>;
+    /**
+     * Filter the current value of this Filtered to a new value using an Effect
+     */
+    readonly filterEffect: <R2, E2>(f: (a: A) => Effect.Effect<R2, E2, boolean>) => Filtered<R | R2, E | E2, A>;
+    /**
+     * Filter the current value of this Filtered to a new value
+     */
+    readonly filter: (f: (a: A) => boolean) => Filtered<R, E, A>;
+    /**
+     * Skip values that match the provided Equivalence instance
+     */
+    readonly skipRepeats: (eq?: Equivalence.Equivalence<A>) => Computed<R, E, A>;
+}
+/**
+ * Create a Computed from a data type which is an Fx and an Effect.
+ * @since 1.18.0
+ */
+export declare function Computed<R, E, A, R2, E2, B>(input: Versioned.Versioned<R, never, R, E, A, R, E, A>, f: (a: A) => Effect.Effect<R2, E2, B>): Computed<R | R2, E | E2, B>;
+/**
+ * @since 1.18.0
+ */
+export declare namespace Computed {
+    /**
+     * @since 1.18.0
+     */
+    type Context<T> = [T] extends [Computed<infer R, infer _E, infer _A>] ? R : never;
+    /**
+     * @since 1.18.0
+     */
+    type Error<T> = [T] extends [Computed<infer _R, infer E, infer _A>] ? E : never;
+    /**
+     * @since 1.18.0
+     */
+    type Success<T> = [T] extends [Computed<infer _R, infer _E, infer A>] ? A : never;
+}
+/**
+ * @since 1.18.0
+ */
+export declare function combine<const Computeds extends ReadonlyArray<Computed<any, any, any>>>(computeds: Computeds): Computed<Fx.Context<Computeds[keyof Computeds]>, Fx.Error<Computeds[keyof Computeds]>, {
+    readonly [K in keyof Computeds]: Fx.Success<Computeds[keyof Computeds]>;
+}>;
+/**
+ * @since 1.18.0
+ */
+export declare function struct<const Computeds extends Readonly<Record<string, Computed<any, any, any>>>>(computeds: Computeds): Computed<Computed.Context<Computeds[keyof Computeds]>, Computed.Error<Computeds[keyof Computeds]>, {
+    readonly [K in keyof Computeds]: Computed.Success<Computeds[K]>;
+}>;
+/**
+ * @since 1.18.0
+ */
+export declare const fromTag: {
+    <S, R2, E2, B>(f: (s: S) => Computed<R2, E2, B>): <I>(tag: Tag<I, S>) => Computed<I | R2, E2, B>;
+    <I, S, R2, E2, B>(tag: Tag<I, S>, f: (s: S) => Computed<R2, E2, B>): Computed<I | R2, E2, B>;
+};
+/**
+ * @since 1.18.0
+ */
+export declare const provide: {
+    <R2, E2, S>(layer: Layer.Layer<R2, E2, S>): <R, E, A>(computed: Computed<R, E, A>) => Computed<R2 | Exclude<R, S>, E | E2, A>;
+    <S>(runtime: Runtime.Runtime<S>): <R, E, A>(computed: Computed<R, E, A>) => Computed<Exclude<R, S>, E, A>;
+    <S>(context: Context.Context<S>): <R, E, A>(computed: Computed<R, E, A>) => Computed<Exclude<R, S>, E, A>;
+    <R2, E2, S>(layer: Layer.Layer<R2, E2, S>): <R, E, A>(computed: Computed<R, E, A>) => Computed<R2 | Exclude<R, S>, E | E2, A>;
+    <R, E, A, R2, E2, S>(computed: Computed<R, E, A>, layer: Layer.Layer<R2, E2, S>): Computed<R2 | Exclude<R, S>, E | E2, A>;
+    <R, E, A, S>(computed: Computed<R, E, A>, runtime: Runtime.Runtime<S>): Computed<Exclude<R, S>, E, A>;
+    <R, E, A, S>(computed: Computed<R, E, A>, context: Context.Context<S>): Computed<Exclude<R, S>, E, A>;
+};
+//# sourceMappingURL=Computed.d.ts.map

package/dist/dts/Computed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Computed.d.ts","sourceRoot":"","sources":["../../src/Computed.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAClE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AACrC,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,MAAM,CAAA;AAM9B,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAA;AAExC;;;;GAIG;AACH,MAAM,WAAW,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAE,SAAQ,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACpG,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE,cAAc,CAAA;IAEzC;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;IAErG;;;OAGG;IACH,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAEtD;;;OAGG;IACH,QAAQ,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAClC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KACjD,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;IAEhC;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAE3E;;OAEG;IACH,QAAQ,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,EAAE,EAC5B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,KACxC,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;IAEhC;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAE5D;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC7E;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EACzC,KAAK,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACtD,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GACpC,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAE7B;AAED;;GAEG;AACH,yBAAiB,QAAQ,CAAC;IACxB;;OAEG;IACH,KAAY,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;IACxF;;OAEG;IACH,KAAY,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;IACtF;;OAEG;IACH,KAAY,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;CACzF;AAoDD;;GAEG;AACH,wBAAgB,OAAO,CAAC,KAAK,CAAC,SAAS,SAAS,aAAa,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,GAAG,QAAQ,CACrH,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,SAAS,CAAC,CAAC,EACtC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,SAAS,CAAC,CAAC,EACpC;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,SAAS,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,SAAS,CAAC,CAAC;CAAE,CAC5E,CAcA;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,KAAK,CAAC,SAAS,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAC9F,SAAS,EAAE,SAAS,GACnB,QAAQ,CACT,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,SAAS,CAAC,CAAC,EAC5C,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,SAAS,CAAC,CAAC,EAC1C;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;CAAE,CACpE,CAcA;AAED;;GAEG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;IAChG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;CAM7F,CAAA;AAyCD;;GAEG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EACR,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAC5B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;IAEpF,CAAC,CAAC,EACA,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAC1B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAE1E,CAAC,CAAC,EACA,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAC1B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAE1E,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EACR,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAC5B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;IAEpF,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EACjB,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC3B,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAC5B,QAAQ,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;IAE1C,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACrG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CASrG,CAAA"}

package/dist/dts/Emitter.d.ts

@@ -0,0 +1,31 @@
+/**
+ * An Emitter is a a Sink-like type which is can be utilized to adapt external
+ * APIs into an Fx.
+ * @since 1.18.0
+ */
+import type * as Cause from "effect/Cause";
+import * as Effect from "effect/Effect";
+import * as Exit from "effect/Exit";
+import type * as Fiber from "effect/Fiber";
+import type * as Scope from "effect/Scope";
+import type * as Sink from "./Sink";
+/**
+ * An Emitter is a a Sink-like type which is can be utilized to adapt external
+ * APIs into an Fx.
+ * @since 1.18.0
+ */
+export interface Emitter<E, A> {
+    (exit: Exit.Exit<E, A>): Fiber.Fiber<never, unknown>;
+    readonly succeed: (a: A) => Fiber.Fiber<never, unknown>;
+    readonly failCause: (e: Cause.Cause<E>) => Fiber.Fiber<never, unknown>;
+    readonly fail: (e: E) => Fiber.Fiber<never, unknown>;
+    readonly die: (e: unknown) => Fiber.Fiber<never, unknown>;
+    readonly end: () => Fiber.Fiber<never, unknown>;
+}
+/**
+ * Create an Emitter from a Sink
+ * @since 1.18.0
+ * @category constructors
+ */
+export declare function make<E, A>(sink: Sink.WithEarlyExit<E, A>): Effect.Effect<Scope.Scope, never, Emitter<E, A>>;
+//# sourceMappingURL=Emitter.d.ts.map

package/dist/dts/Emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Emitter.d.ts","sourceRoot":"","sources":["../../src/Emitter.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAA;AAG1C,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAA;AAEnC;;;;GAIG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,EAAE,CAAC;IAC3B,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IAEpD,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACvD,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACtE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACpD,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACzD,QAAQ,CAAC,GAAG,EAAE,MAAM,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;CAChD;AAED;;;;GAIG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAE3G"}

package/dist/dts/Filtered.d.ts

@@ -0,0 +1,97 @@
+/**
+ * A Filtered is a Subject that has a current value that can be read and observed
+ * but getting the value might not succeed
+ * @since 1.18.0
+ */
+import type { Tag } from "@typed/context";
+import type { Context, Layer, Runtime } from "effect";
+import type * as Cause from "effect/Cause";
+import * as Effect from "effect/Effect";
+import type { Equivalence } from "effect/Equivalence";
+import * as Option from "effect/Option";
+import { Computed } from "./Computed";
+import type * as Fx from "./Fx";
+import { FilteredTypeId } from "./TypeId";
+import * as Versioned from "./Versioned";
+/**
+ * A Filtered is a Subject that has a current value that can be read and observed
+ * but getting the value might not succeed
+ * @since 1.18.0
+ * @category models
+ */
+export interface Filtered<out R, out E, out A> extends Versioned.Versioned<R, never, R, E, A, R, E | Cause.NoSuchElementException, A> {
+    readonly [FilteredTypeId]: FilteredTypeId;
+    /**
+     * Map the current value of this Filtered to a new value using an Effect
+     * @since 1.18.0
+     */
+    readonly filterMapEffect: <R2, E2, B>(f: (a: A) => Effect.Effect<R2, E2, Option.Option<B>>) => Filtered<R | R2, E | E2, B>;
+    /**
+     * Map the current value of this Filtered to a new value
+     * @since 1.18.0
+     */
+    readonly filterMap: <B>(f: (a: A) => Option.Option<B>) => Filtered<R, E, B>;
+    /**
+     * Filter the current value of this Filtered to a new value using an Effect
+     */
+    readonly filterEffect: <R2, E2>(f: (a: A) => Effect.Effect<R2, E2, boolean>) => Filtered<R | R2, E | E2, A>;
+    /**
+     * Filter the current value of this Filtered to a new value
+     */
+    readonly filter: (f: (a: A) => boolean) => Filtered<R, E, A>;
+    /**
+     * Convert a Filtered back into a Computed of an Option
+     */
+    readonly option: Computed<R, E, Option.Option<A>>;
+    /**
+     * Map the current value of this Computed to a new value using an Effect
+     * @since 1.18.0
+     */
+    readonly mapEffect: <R2, E2, B>(f: (a: A) => Effect.Effect<R2, E2, B>) => Filtered<R | R2, E | E2, B>;
+    /**
+     * Map the current value of this Computed to a new value
+     * @since 1.18.0
+     */
+    readonly map: <B>(f: (a: A) => B) => Filtered<R, E, B>;
+    /**
+     * Skip values that match the provided Equivalence instance
+     */
+    readonly skipRepeats: (eq?: Equivalence<A>) => Filtered<R, E, A>;
+}
+/**
+ * Create a Filtered from a data type which is an Fx and an Effect.
+ * @since 1.18.0
+ */
+export declare function Filtered<R, E, A, R2, E2, B>(input: Versioned.Versioned<R, never, R, E, A, R, E | Cause.NoSuchElementException, A>, f: (a: A) => Effect.Effect<R2, E2, Option.Option<B>>): Filtered<R | R2, E | E2, B>;
+/**
+ * @since 1.18.0
+ */
+export declare function combine<const Computeds extends ReadonlyArray<Filtered<any, any, any> | Computed<any, any, any>>>(computeds: Computeds): Filtered<Fx.Fx.Context<Computeds[number]>, Fx.Fx.Error<Computeds[number]>, {
+    readonly [K in keyof Computeds]: Fx.Fx.Success<Computeds[number]>;
+}>;
+/**
+ * @since 1.18.0
+ */
+export declare function struct<const Computeds extends Readonly<Record<string, Filtered<any, any, any | Computed<any, any, any>>>>>(computeds: Computeds): Filtered<Fx.Fx.Context<Computeds[keyof Computeds]>, Fx.Fx.Error<Computeds[keyof Computeds]>, {
+    readonly [K in keyof Computeds]: Fx.Fx.Success<Computeds[K]>;
+}>;
+/**
+ * @since 1.18.0
+ */
+export declare const fromTag: {
+    <S, R2, E2, B>(f: (s: S) => Filtered<R2, E2, B>): <I>(tag: Tag<I, S>) => Filtered<I | R2, E2, B>;
+    <I, S, R2, E2, B>(tag: Tag<I, S>, f: (s: S) => Filtered<R2, E2, B>): Filtered<I | R2, E2, B>;
+};
+/**
+ * @since 1.18.0
+ */
+export declare const provide: {
+    <R2, E2, S>(layer: Layer.Layer<R2, E2, S>): <R, E, A>(filtered: Filtered<R, E, A>) => Filtered<R2 | Exclude<R, S>, E | E2, A>;
+    <S>(runtime: Runtime.Runtime<S>): <R, E, A>(filtered: Filtered<R, E, A>) => Filtered<Exclude<R, S>, E, A>;
+    <S>(context: Context.Context<S>): <R, E, A>(filtered: Filtered<R, E, A>) => Filtered<Exclude<R, S>, E, A>;
+    <R2, E2, S>(layer: Layer.Layer<R2, E2, S>): <R, E, A>(filtered: Filtered<R, E, A>) => Filtered<R2 | Exclude<R, S>, E | E2, A>;
+    <R, E, A, R2, E2, S>(filtered: Filtered<R, E, A>, layer: Layer.Layer<R2, E2, S>): Filtered<R2 | Exclude<R, S>, E | E2, A>;
+    <R, E, A, S>(filtered: Filtered<R, E, A>, runtime: Runtime.Runtime<S>): Filtered<Exclude<R, S>, E, A>;
+    <R, E, A, S>(filtered: Filtered<R, E, A>, context: Context.Context<S>): Filtered<Exclude<R, S>, E, A>;
+};
+//# sourceMappingURL=Filtered.d.ts.map

package/dist/dts/Filtered.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Filtered.d.ts","sourceRoot":"","sources":["../../src/Filtered.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AACrD,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAErD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AACrC,OAAO,KAAK,KAAK,EAAE,MAAM,MAAM,CAAA;AAK/B,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAA;AAExC;;;;;GAKG;AACH,MAAM,WAAW,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAC3C,SAAQ,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,sBAAsB,EAAE,CAAC,CAAC;IAEtF,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE,cAAc,CAAA;IAEzC;;;OAGG;IACH,QAAQ,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAClC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KACjD,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;IAEhC;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAE3E;;OAEG;IACH,QAAQ,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,EAAE,EAC5B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,KACxC,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;IAEhC;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAE5D;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IAEjD;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;IAErG;;;OAGG;IACH,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAEtD;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACjE;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EACzC,KAAK,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,sBAAsB,EAAE,CAAC,CAAC,EACrF,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GACnD,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAE7B;AAuED;;GAEG;AACH,wBAAgB,OAAO,CAAC,KAAK,CAAC,SAAS,SAAS,aAAa,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAC9G,SAAS,EAAE,SAAS,GACnB,QAAQ,CACT,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAChC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAC9B;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;CAAE,CACtE,CAcA;AAED;;GAEG;AACH,wBAAgB,MAAM,CACpB,KAAK,CAAC,SAAS,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAEnG,SAAS,EAAE,SAAS,GACnB,QAAQ,CACT,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,SAAS,CAAC,CAAC,EACzC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,SAAS,CAAC,CAAC,EACvC;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;CAAE,CACjE,CAcA;AAED;;GAEG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;IAChG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;CAe7F,CAAA;AAED;;GAEG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EACR,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAC5B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;IAEpF,CAAC,CAAC,EACA,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAC1B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAE1E,CAAC,CAAC,EACA,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAC1B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAE1E,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EACR,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAC5B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;IAEpF,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EACjB,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC3B,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAC5B,QAAQ,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;IAE1C,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACrG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CASrG,CAAA"}

package/dist/dts/Form.d.ts

@@ -0,0 +1,126 @@
+import type { ParseError } from "@effect/schema/ParseResult";
+import * as S from "@effect/schema/Schema";
+import type { Scope } from "effect";
+import { Effect } from "effect";
+import { Computed } from "./Computed";
+import * as FormEntry from "./FormEntry";
+import type { Fx } from "./Fx";
+import type { RefSubject } from "./RefSubject";
+import type * as Versioned from "./Versioned";
+/**
+ * @since 1.18.0
+ */
+export declare const FormTypeId: unique symbol;
+/**
+ * @since 1.18.0
+ */
+export type FormTypeId = typeof FormTypeId;
+type AnyObject = Readonly<Record<PropertyKey, any>>;
+type AnyObjectWithKeys<K extends PropertyKey> = Readonly<Record<K, any>>;
+/**
+ * @since 1.18.0
+ */
+export interface Form<Entries extends Form.AnyEntries> extends Form.Base<Form.Error<Entries[keyof Entries]>, Form.Input<Entries>, Form.Output<Entries>, Entries> {
+}
+/**
+ * @since 1.18.0
+ */
+export declare namespace Form {
+    /**
+     * Base interface is to improve type-checking performance by memoizing the derived R, E, I, and O values.
+     */
+    /**
+     * @since 1.18.0
+     */
+    interface Base<E, I, O, Entries extends Form.AnyEntries> extends Versioned.Versioned<never, never, never, E | ParseError, I, never, E | ParseError, I> {
+        readonly [FormTypeId]: FormTypeId;
+        readonly entries: Entries;
+        readonly schema: S.Schema<I, O>;
+        readonly get: <K extends keyof Entries>(key: K) => Entries[K];
+        readonly decoded: Computed<never, E | ParseError, O>;
+    }
+    /**
+     * @since 1.18.0
+     */
+    type AnyEntry = FormEntry.FormEntry<any, any, any> | FormEntry.FormEntry<never, any, any> | FormEntry.FormEntry<any, never, any> | FormEntry.FormEntry<never, never, any> | Base<any, any, any, any>;
+    /**
+     * @since 1.18.0
+     */
+    type AnyEntries = Readonly<Record<PropertyKey, AnyEntry>>;
+    /**
+     * @since 1.18.0
+     */
+    type Error<T> = [T] extends [FormEntry.FormEntry<infer E, infer _I, infer _>] ? E : [
+        T
+    ] extends [Base<infer _E, infer _I, infer _O, infer _Entries>] ? _E : never;
+    /**
+     * @since 1.18.0
+     */
+    type Input<T> = [T] extends [FormEntry.FormEntry<infer _E, infer I, infer _>] ? I : T extends Form<infer Entries> ? {
+        readonly [K in keyof Entries]: Input<Entries[K]>;
+    } : T extends AnyEntries ? {
+        readonly [K in keyof T]: Input<T[K]>;
+    } : never;
+    /**
+     * @since 1.18.0
+     */
+    type Output<T> = [T] extends [FormEntry.FormEntry<infer _E, infer _I, infer O>] ? O : T extends Form<infer Entries> ? {
+        readonly [K in keyof Entries]: Output<Entries[K]>;
+    } : T extends AnyEntries ? {
+        readonly [K in keyof T]: Output<T[K]>;
+    } : never;
+    /**
+     * @since 1.18.0
+     */
+    interface Derived<R, Entries extends AnyEntries> extends Form<Entries> {
+        readonly persist: Effect.Effect<R, Error<Entries>, Output<Entries>>;
+    }
+}
+/**
+ * @since 1.18.0
+ */
+export declare function Form<Entries extends Form.AnyEntries>(entries: Entries): Form<Entries>;
+/**
+ * @since 1.18.0
+ */
+export type MakeForm<I extends AnyObject, O extends AnyObjectWithKeys<keyof I>> = {
+    <R, E>(fx: RefSubject<R, E, O>): Effect.Effect<R | Scope.Scope, never, [
+        DerivedFromIO<R, E, I, O>
+    ] extends [Form.Derived<infer R, infer R2>] ? Form.Derived<R, R2> : never>;
+    <R, E>(fx: Fx<R, E, O>): Effect.Effect<R | Scope.Scope, never, [
+        FormFromIO<E, I, O>
+    ] extends [Form<infer R>] ? Form<R> : never>;
+    <R, E>(effect: Effect.Effect<R, E, O>): Effect.Effect<R, never, [
+        FormFromIO<E, I, O>
+    ] extends [Form<infer R>] ? Form<R> : never>;
+};
+/**
+ * @since 1.18.0
+ */
+export type FormFromIO<E, I extends AnyObject, O extends AnyObjectWithKeys<keyof I>> = Form<[
+    FormEntriesFromIO<E, I, O>
+] extends [infer R] ? {
+    readonly [K in keyof R]: R[K];
+} : never>;
+/**
+ * @since 1.18.0
+ */
+export type FormEntriesFromIO<E, I extends AnyObject, O extends AnyObjectWithKeys<keyof I>> = {
+    readonly [K in keyof I]-?: [I[K], O[K]] extends [AnyObject, AnyObjectWithKeys<keyof I[K]>] ? Form<[
+        FormEntriesFromIO<E, I[K], O[K]>
+    ] extends [infer R] ? {
+        readonly [K in keyof R]: R[K];
+    } : never> : FormEntry.FormEntry<E, I[K], O[K]>;
+};
+/**
+ * @since 1.18.0
+ */
+export type DerivedFromIO<R, E, I extends Readonly<Record<PropertyKey, any>>, O extends Readonly<Record<keyof I, any>>> = Form.Derived<R, {
+    readonly [K in keyof I]-?: FormEntry.FormEntry<E, I[K], O[K]>;
+}>;
+/**
+ * @since 1.18.0
+ */
+export declare function make<I extends Partial<Readonly<Record<PropertyKey, any>>>, O extends Partial<AnyObjectWithKeys<keyof I>>>(schema: S.Schema<I, O>): MakeForm<I, O>;
+export {};
+//# sourceMappingURL=Form.d.ts.map