@typed/fx 1.26.0 → 1.27.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/cjs/Match.js +2 -5
- package/dist/cjs/Match.js.map +1 -1
- package/dist/cjs/index.js +1 -4
- package/dist/cjs/index.js.map +1 -1
- package/dist/dts/Match.d.ts +5 -11
- package/dist/dts/Match.d.ts.map +1 -1
- package/dist/dts/index.d.ts +0 -5
- package/dist/dts/index.d.ts.map +1 -1
- package/dist/esm/Match.js +1 -5
- package/dist/esm/Match.js.map +1 -1
- package/dist/esm/index.js +0 -5
- package/dist/esm/index.js.map +1 -1
- package/package.json +3 -10
- package/src/Match.ts +9 -21
- package/src/index.ts +0 -6
- package/Guard/package.json +0 -6
- package/dist/cjs/Guard.js +0 -75
- package/dist/cjs/Guard.js.map +0 -1
- package/dist/dts/Guard.d.ts +0 -102
- package/dist/dts/Guard.d.ts.map +0 -1
- package/dist/esm/Guard.js +0 -60
- package/dist/esm/Guard.js.map +0 -1
- package/src/Guard.ts +0 -170
package/dist/cjs/Match.js
CHANGED
|
@@ -4,6 +4,7 @@ Object.defineProperty(exports, "__esModule", {
|
|
|
4
4
|
value: true
|
|
5
5
|
});
|
|
6
6
|
exports.value = exports.type = exports.MatcherTypeId = void 0;
|
|
7
|
+
var _guard = /*#__PURE__*/require("@typed/guard");
|
|
7
8
|
var Cause = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Cause"));
|
|
8
9
|
var Chunk = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Chunk"));
|
|
9
10
|
var Effect = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Effect"));
|
|
@@ -78,7 +79,7 @@ class TypeMatcherImpl {
|
|
|
78
79
|
this.run = this.run.bind(this);
|
|
79
80
|
}
|
|
80
81
|
when(guard, onMatch) {
|
|
81
|
-
return new TypeMatcherImpl(Chunk.append(this.cases, new When(getGuard(guard), onMatch)));
|
|
82
|
+
return new TypeMatcherImpl(Chunk.append(this.cases, new When((0, _guard.getGuard)(guard), onMatch)));
|
|
82
83
|
}
|
|
83
84
|
to(guard, onMatch) {
|
|
84
85
|
return this.when(guard, () => Fx.succeed(onMatch));
|
|
@@ -187,8 +188,4 @@ class ValueMatcherImpl extends _protos.FxBase {
|
|
|
187
188
|
}
|
|
188
189
|
getOrElse = f => Fx.getOrElse(this.matcher.run(this.value), f);
|
|
189
190
|
}
|
|
190
|
-
function getGuard(guard) {
|
|
191
|
-
if (typeof guard === "function") return guard;
|
|
192
|
-
return guard.asGuard();
|
|
193
|
-
}
|
|
194
191
|
//# sourceMappingURL=Match.js.map
|
package/dist/cjs/Match.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Match.js","names":["
|
|
1
|
+
{"version":3,"file":"Match.js","names":["_guard","require","Cause","_interopRequireWildcard","Chunk","Effect","ExecutionStrategy","Exit","Fiber","_Function","MutableRef","Option","_ReadonlyArray","Scope","Fx","_helpers","_protos","RefSubject","Sink","Subject","_getRequireWildcardCache","e","WeakMap","r","t","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","MatcherTypeId","exports","Symbol","for","type","TypeMatcherImpl","empty","value","input","ValueMatcherImpl","variance","_R","identity","_E","_I","_O","When","guard","onMatch","constructor","Matched","when","ref","fiber","interrupt","cases","_tag","bind","run","append","getGuard","to","succeed","make","sink","withScopedFork","fork","parentScope","previous","gen","_","undefined","refSubject","of","hasEnded","endSignal","unsafeMake","mergeFirst","tap","cause","isInterruptedOnly","unit","onFailure","onSuccess","some","all","interruptFork","discard","pipe","provideService","matchWhen","matched","isSome","matchInput","causes","matchedExit","exit","isFailure","push","isNonEmptyReadonlyArray","first","rest","reduce","sequential","none","skipRepeats","FxBase","matcher","getOrElse","f"],"sources":["../../src/Match.ts"],"sourcesContent":[null],"mappings":";;;;;;AAIA,IAAAA,MAAA,gBAAAC,OAAA;AACA,IAAAC,KAAA,gBAAAC,uBAAA,eAAAF,OAAA;AACA,IAAAG,KAAA,gBAAAD,uBAAA,eAAAF,OAAA;AACA,IAAAI,MAAA,gBAAAF,uBAAA,eAAAF,OAAA;AACA,IAAAK,iBAAA,gBAAAH,uBAAA,eAAAF,OAAA;AACA,IAAAM,IAAA,gBAAAJ,uBAAA,eAAAF,OAAA;AACA,IAAAO,KAAA,gBAAAL,uBAAA,eAAAF,OAAA;AACA,IAAAQ,SAAA,gBAAAR,OAAA;AACA,IAAAS,UAAA,gBAAAP,uBAAA,eAAAF,OAAA;AACA,IAAAU,MAAA,gBAAAR,uBAAA,eAAAF,OAAA;AACA,IAAAW,cAAA,gBAAAX,OAAA;AACA,IAAAY,KAAA,gBAAAV,uBAAA,eAAAF,OAAA;AACA,IAAAa,EAAA,gBAAAX,uBAAA,eAAAF,OAAA;AACA,IAAAc,QAAA,gBAAAd,OAAA;AACA,IAAAe,OAAA,gBAAAf,OAAA;AACA,IAAAgB,UAAA,gBAAAd,uBAAA,eAAAF,OAAA;AACA,IAAAiB,IAAA,gBAAAf,uBAAA,eAAAF,OAAA;AACA,IAAAkB,OAAA,gBAAAhB,uBAAA,eAAAF,OAAA;AAAuC,SAAAmB,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,SAAAlB,wBAAAkB,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;AArBvC;;;;AAuBA;;;AAGO,MAAMY,aAAa,GAAAC,OAAA,CAAAD,aAAA,gBAAkBE,MAAM,CAACC,GAAG,CAAC,mBAAmB,CAAC;AAqE3E;;;AAGO,MAAMC,IAAI,GAAGA,CAAA,KAAyB,IAAIC,eAAe,CAAyB1C,KAAK,CAAC2C,KAAK,EAAE,CAAC;AAEvG;;;AAAAL,OAAA,CAAAG,IAAA,GAAAA,IAAA;AAGO,MAAMG,KAAK,GAA6BC,KAAqB,IAClE,IAAIC,gBAAgB,CAACD,KAAK,EAAEJ,IAAI,EAAK,CAAC;AAExC;AAAAH,OAAA,CAAAM,KAAA,GAAAA,KAAA;AAEA,MAAMG,QAAQ,GAAyC;EACrDC,EAAE,EAAEC,kBAAQ;EACZC,EAAE,EAAED,kBAAQ;EACZE,EAAE,EAAEF,kBAAQ;EACZG,EAAE,EAAEH;CACL;AAED,MAAMI,IAAI;EAEGC,KAAA;EACAC,OAAA;EAFXC,YACWF,KAA0D,EAC1DC,OAA4D;IAD5D,KAAAD,KAAK,GAALA,KAAK;IACL,KAAAC,OAAO,GAAPA,OAAO;EACf;;AAGL,MAAME,OAAO;EAEAC,IAAA;EACAC,GAAA;EACAC,KAAA;EACAC,SAAA;EAJXL,YACWE,IAAyB,EACzBC,GAA6B,EAC7BC,KAA2B,EAC3BC,SAA8B;IAH9B,KAAAH,IAAI,GAAJA,IAAI;IACJ,KAAAC,GAAG,GAAHA,GAAG;IACH,KAAAC,KAAK,GAALA,KAAK;IACL,KAAAC,SAAS,GAATA,SAAS;EACjB;;AAGL,MAAMnB,eAAe;EAIEoB,KAAA;EAHZC,IAAI,GAAG,aAAa;EACpB,CAAC1B,aAAa,IAA4CU,QAAe;EAElFS,YAAqBM,KAA+C;IAA/C,KAAAA,KAAK,GAALA,KAAK;IACxB,IAAI,CAACJ,IAAI,GAAG,IAAI,CAACA,IAAI,CAACM,IAAI,CAAC,IAAI,CAAC;IAChC,IAAI,CAACC,GAAG,GAAG,IAAI,CAACA,GAAG,CAACD,IAAI,CAAC,IAAI,CAAC;EAChC;EAEAN,IAAIA,CACFJ,KAA+B,EAC/BC,OAA8D;IAE9D,OAAO,IAAIb,eAAe,CACxB1C,KAAK,CAACkE,MAAM,CAAC,IAAI,CAACJ,KAAK,EAAE,IAAIT,IAAI,CAAwC,IAAAc,eAAQ,EAACb,KAAK,CAAC,EAAEC,OAAO,CAAC,CAAC,CACpG;EACH;EAEAa,EAAEA,CACAd,KAA+B,EAC/BC,OAAU;IAEV,OAAO,IAAI,CAACG,IAAI,CAACJ,KAAK,EAAE,MAAM5C,EAAE,CAAC2D,OAAO,CAACd,OAAO,CAAC,CAAC;EACpD;EAEAU,GAAGA,CAASpB,KAAuB;IACjC,MAAM;MAAEiB;IAAK,CAAE,GAAG,IAAI;IAEtB,OAAOpD,EAAE,CAAC4D,IAAI,CAAkDC,IAAI,IAClE,IAAAC,uBAAc,EACZ,CAACC,IAAI,EAAEC,WAAW,KAAI;MACpB,IAAIC,QAAsC;MAE1C,MAAMpB,OAAO,GAAGA,CACdG,IAAiD,EACjDd,KAAQ,KAER3C,MAAM,CAAC2E,GAAG,CAAC,WAAUC,CAAC;QACpB,IAAIF,QAAQ,EAAEjB,IAAI,KAAKA,IAAI,EAAE;UAC3B,OAAOmB,CAAC,CAAChE,UAAU,CAACuB,GAAG,CAACuC,QAAQ,CAAChB,GAAG,EAAEf,KAAK,CAAC,CAAC;QAC/C,CAAC,MAAM;UACL;UACA,IAAI+B,QAAQ,KAAKG,SAAS,EAAE;YAC1B,OAAOD,CAAC,CAACF,QAAQ,CAACd,SAAS,CAAC;UAC9B;UAEA;UACA,MAAMkB,UAAU,GAAG,OAAOF,CAAC,CAAChE,UAAU,CAACmE,EAAE,CAACpC,KAAK,CAAC,CAAC;UAEjD;UACA,MAAMqC,QAAQ,GAAG3E,UAAU,CAACgE,IAAI,CAAC,KAAK,CAAC;UACvC;UACA,MAAMY,SAAS,GAAGnE,OAAO,CAACoE,UAAU,CAAO,CAAC,CAAC;UAE7C;UACA,MAAMvB,KAAK,GAAG,OAAOiB,CAAC,CACpBJ,IAAI,CACF/D,EAAE,CAAC0E,UAAU,CAAC1B,IAAI,CAACH,OAAO,CAACwB,UAAU,CAAC,EAAErE,EAAE,CAAC2E,GAAG,CAACH,SAAS,EAAE,MAAM5E,UAAU,CAAC8B,GAAG,CAAC6C,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAC7FhB,GAAG,CACFnD,IAAI,CAACwD,IAAI,CACNgB,KAAK,IACJhF,UAAU,CAACkB,GAAG,CAACyD,QAAQ,CAAC,IAAInF,KAAK,CAACyF,iBAAiB,CAACD,KAAK,CAAC,GACtDrF,MAAM,CAACuF,IAAI,GACXjB,IAAI,CAACkB,SAAS,CAACH,KAAK,CAAC,EAC1B1C,KAAK,IAAKtC,UAAU,CAACkB,GAAG,CAACyD,QAAQ,CAAC,GAAGhF,MAAM,CAACuF,IAAI,GAAGjB,IAAI,CAACmB,SAAS,CAACnF,MAAM,CAACoF,IAAI,CAAC/C,KAAK,CAAC,CAAC,CACvF,CACF,CACJ,CACF;UAED+B,QAAQ,GAAG,IAAIlB,OAAO,CACpBC,IAAI,EACJqB,UAAU,EACVnB,KAAK;UACL;UACA;UACA3D,MAAM,CAAC2F,GAAG,CAAC,CAACV,SAAS,CAACQ,SAAS,CAACZ,SAAS,CAAC,EAAE1E,KAAK,CAACyF,aAAa,CAACjC,KAAK,CAAC,CAAC,EAAE;YAAEkC,OAAO,EAAE;UAAI,CAAE,CAAC,CAC5F;QACH;MACF,CAAC,CAAC,CAACC,IAAI,CAAC9F,MAAM,CAAC+F,cAAc,CAACvF,KAAK,CAACA,KAAK,EAAEiE,WAAW,CAAC,CAAC;MAE1D,SAASuB,SAASA,CAAIpD,KAAQ,EAAEa,IAAiD;QAC/E,OAAOzD,MAAM,CAAC2E,GAAG,CAAC,WAAUC,CAAC;UAC3B,MAAMqB,OAAO,GAAG,OAAOrB,CAAC,CAACnB,IAAI,CAACJ,KAAK,CAACT,KAAK,CAAC,CAAC;UAE3C,IAAItC,MAAM,CAAC4F,MAAM,CAACD,OAAO,CAAC,EAAE;YAC1B,OAAOrB,CAAC,CAACtB,OAAO,CAACG,IAAI,EAAEwC,OAAO,CAACtD,KAAK,CAAC,CAAC;YAEtC,OAAO,IAAI;UACb,CAAC,MAAM;YACL,OAAO,KAAK;UACd;QACF,CAAC,CAAC;MACJ;MAEA,SAASwD,UAAUA,CAACvD,KAAQ;QAC1B,OAAO5C,MAAM,CAAC2E,GAAG,CAAC,WAAUC,CAAC;UAC3B;UACA;UACA,MAAMwB,MAAM,GAA+B,EAAE;UAE7C;UACA,IAAI1B,QAAQ,KAAKG,SAAS,EAAE;YAC1B,MAAMwB,WAAW,GAAG,OAAOzB,CAAC,CAACoB,SAAS,CAACpD,KAAK,EAAE8B,QAAQ,CAACjB,IAAI,CAAC,EAAEzD,MAAM,CAACsG,IAAI,CAAC;YAE1E,IAAIpG,IAAI,CAACqG,SAAS,CAACF,WAAW,CAAC,EAAE;cAC/BD,MAAM,CAACI,IAAI,CAACH,WAAW,CAAChB,KAAK,CAAC;YAChC,CAAC,MAAM,IAAIgB,WAAW,CAAC1D,KAAK,EAAE;cAC5B;YACF;UACF;UAEA,KAAK,MAAMc,IAAI,IAAII,KAAK,EAAE;YACxB;YACA,IAAIJ,IAAI,KAAKiB,QAAQ,EAAEjB,IAAI,EAAE;YAE7B,MAAM4C,WAAW,GAAG,OAAOzB,CAAC,CAACoB,SAAS,CAACpD,KAAK,EAAEa,IAAI,CAAC,EAAEzD,MAAM,CAACsG,IAAI,CAAC;YAEjE,IAAIpG,IAAI,CAACqG,SAAS,CAACF,WAAW,CAAC,EAAE;cAC/BD,MAAM,CAACI,IAAI,CAACH,WAAW,CAAChB,KAAK,CAAC;YAChC,CAAC,MAAM,IAAIgB,WAAW,CAAC1D,KAAK,EAAE;cAC5B;YACF;UACF;UAEA,IAAI,IAAA8D,sCAAuB,EAACL,MAAM,CAAC,EAAE;YACnC,MAAM,CAACM,KAAK,EAAE,GAAGC,IAAI,CAAC,GAAGP,MAAM;YAC/B,OAAOxB,CAAC,CAACN,IAAI,CAACkB,SAAS,CAAC,IAAAoB,qBAAM,EAACD,IAAI,EAAED,KAAK,EAAE7G,KAAK,CAACgH,UAAU,CAAC,CAAC,CAAC;UACjE,CAAC,MAAM;YACL,IAAInC,QAAQ,KAAKG,SAAS,EAAE;cAC1B,OAAOD,CAAC,CAACF,QAAQ,CAACd,SAAS,CAAC;YAC9B;YAEA,OAAOgB,CAAC,CAACN,IAAI,CAACmB,SAAS,CAACnF,MAAM,CAACwG,IAAI,EAAE,CAAC,CAAC;UACzC;QACF,CAAC,CAAC;MACJ;MAEA,OAAOrG,EAAE,CAACsG,WAAW,CAACnE,KAAK,CAAC,CAACoB,GAAG,CAACnD,IAAI,CAACwD,IAAI,CACxCC,IAAI,CAACkB,SAAS,EACdW,UAAU,CACX,CAAC;IACJ,CAAC,EACDlG,iBAAiB,CAAC4G,UAAU,CAC7B,CACF;EACH;;AAGF,MAAMhE,gBAA6B,SAAQmE,cAA4C;EAMhErE,KAAA;EAAgCsE,OAAA;EAH5CnD,IAAI,GAAG,cAAc;EACrB,CAAC1B,aAAa,IAA6CU,QAAQ;EAE5ES,YAAqBZ,KAAqB,EAAWsE,OAAgC;IACnF,KAAK,EAAE;IADY,KAAAtE,KAAK,GAALA,KAAK;IAA2B,KAAAsE,OAAO,GAAPA,OAAO;IAE1D,IAAI,CAACxD,IAAI,GAAG,IAAI,CAACA,IAAI,CAACM,IAAI,CAAC,IAAI,CAAC;IAChC,IAAI,CAACI,EAAE,GAAG,IAAI,CAACA,EAAE,CAACJ,IAAI,CAAC,IAAI,CAAC;IAC5B,IAAI,CAACmD,SAAS,GAAG,IAAI,CAACA,SAAS,CAACnD,IAAI,CAAC,IAAI,CAAC;EAC5C;EAEAC,GAAGA,CAAKM,IAAwC;IAC9C,OAAO,IAAI,CAAC2C,OAAO,CAACjD,GAAG,CAAC,IAAI,CAACrB,KAAK,CAAC,CAACqB,GAAG,CAACM,IAAI,CAAC;EAC/C;EAEAb,IAAIA,CACFJ,KAA+B,EAC/BC,OAA8D;IAE9D,OAAO,IAAIT,gBAAgB,CACzB,IAAI,CAACF,KAAK,EACV,IAAI,CAACsE,OAAO,CAACxD,IAAI,CAACJ,KAAK,EAAEC,OAAO,CAAC,CAClC;EACH;EAEAa,EAAEA,CACAd,KAA+B,EAC/BC,OAAU;IAEV,OAAO,IAAI,CAACG,IAAI,CAACJ,KAAK,EAAE,MAAM5C,EAAE,CAAC2D,OAAO,CAACd,OAAO,CAAC,CAAC;EACpD;EAEA4D,SAAS,GAA2CC,CAAC,IAAK1G,EAAE,CAACyG,SAAS,CAAC,IAAI,CAACD,OAAO,CAACjD,GAAG,CAAC,IAAI,CAACrB,KAAK,CAAC,EAAEwE,CAAC,CAAC"}
|
package/dist/cjs/index.js
CHANGED
|
@@ -8,7 +8,6 @@ var _exportNames = {
|
|
|
8
8
|
Emitter: true,
|
|
9
9
|
Form: true,
|
|
10
10
|
FormEntry: true,
|
|
11
|
-
Guard: true,
|
|
12
11
|
Idle: true,
|
|
13
12
|
Match: true,
|
|
14
13
|
Pull: true,
|
|
@@ -24,7 +23,7 @@ var _exportNames = {
|
|
|
24
23
|
Typeclass: true,
|
|
25
24
|
Versioned: true
|
|
26
25
|
};
|
|
27
|
-
exports.Versioned = exports.Typeclass = exports.Subject = exports.Stream = exports.Sink = exports.RefSubject = exports.RefHashSet = exports.RefHashMap = exports.RefChunk = exports.RefArray = exports.Push = exports.Pull = exports.Match = exports.Idle = exports.
|
|
26
|
+
exports.Versioned = exports.Typeclass = exports.Subject = exports.Stream = exports.Sink = exports.RefSubject = exports.RefHashSet = exports.RefHashMap = exports.RefChunk = exports.RefArray = exports.Push = exports.Pull = exports.Match = exports.Idle = exports.FormEntry = exports.Form = exports.Emitter = exports.AsyncData = void 0;
|
|
28
27
|
var _Fx = /*#__PURE__*/require("./Fx.js");
|
|
29
28
|
Object.keys(_Fx).forEach(function (key) {
|
|
30
29
|
if (key === "default" || key === "__esModule") return;
|
|
@@ -45,8 +44,6 @@ var _Form = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Form.j
|
|
|
45
44
|
exports.Form = _Form;
|
|
46
45
|
var _FormEntry = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./FormEntry.js"));
|
|
47
46
|
exports.FormEntry = _FormEntry;
|
|
48
|
-
var _Guard = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Guard.js"));
|
|
49
|
-
exports.Guard = _Guard;
|
|
50
47
|
var _Idle = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Idle.js"));
|
|
51
48
|
exports.Idle = _Idle;
|
|
52
49
|
var _Match = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Match.js"));
|
package/dist/cjs/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","names":["_Fx","require","Object","keys","forEach","key","prototype","hasOwnProperty","call","_exportNames","exports","defineProperty","enumerable","get","_AsyncData","_interopRequireWildcard","AsyncData","_Emitter","Emitter","_Form","Form","_FormEntry","FormEntry","
|
|
1
|
+
{"version":3,"file":"index.js","names":["_Fx","require","Object","keys","forEach","key","prototype","hasOwnProperty","call","_exportNames","exports","defineProperty","enumerable","get","_AsyncData","_interopRequireWildcard","AsyncData","_Emitter","Emitter","_Form","Form","_FormEntry","FormEntry","_Idle","Idle","_Match","Match","_Pull","Pull","_Push","Push","_RefArray","RefArray","_RefChunk","RefChunk","_RefHashMap","RefHashMap","_RefHashSet","RefHashSet","_RefSubject","RefSubject","_Sink","Sink","_Stream","Stream","_Subject","Subject","_Typeclass","Typeclass","_TypeId","_Versioned","Versioned","_getRequireWildcardCache","e","WeakMap","r","t","__esModule","default","has","n","__proto__","a","getOwnPropertyDescriptor","u","i","set"],"sources":["../../src/index.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AAeA,IAAAA,GAAA,gBAAAC,OAAA;AAAAC,MAAA,CAAAC,IAAA,CAAAH,GAAA,EAAAI,OAAA,WAAAC,GAAA;EAAA,IAAAA,GAAA,kBAAAA,GAAA;EAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAC,YAAA,EAAAJ,GAAA;EAAA,IAAAA,GAAA,IAAAK,OAAA,IAAAA,OAAA,CAAAL,GAAA,MAAAL,GAAA,CAAAK,GAAA;EAAAH,MAAA,CAAAS,cAAA,CAAAD,OAAA,EAAAL,GAAA;IAAAO,UAAA;IAAAC,GAAA,WAAAA,CAAA;MAAA,OAAAb,GAAA,CAAAK,GAAA;IAAA;EAAA;AAAA;AAAuB,IAAAS,UAAA,gBAAAC,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAM,SAAA,GAAAF,UAAA;AAAA,IAAAG,QAAA,gBAAAF,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAQ,OAAA,GAAAD,QAAA;AAAA,IAAAE,KAAA,gBAAAJ,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAU,IAAA,GAAAD,KAAA;AAAA,IAAAE,UAAA,gBAAAN,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAY,SAAA,GAAAD,UAAA;AAAA,IAAAE,KAAA,gBAAAR,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAc,IAAA,GAAAD,KAAA;AAAA,IAAAE,MAAA,gBAAAV,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAgB,KAAA,GAAAD,MAAA;AAAA,IAAAE,KAAA,gBAAAZ,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAkB,IAAA,GAAAD,KAAA;AAAA,IAAAE,KAAA,gBAAAd,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAoB,IAAA,GAAAD,KAAA;AAAA,IAAAE,SAAA,gBAAAhB,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAsB,QAAA,GAAAD,SAAA;AAAA,IAAAE,SAAA,gBAAAlB,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAwB,QAAA,GAAAD,SAAA;AAAA,IAAAE,WAAA,gBAAApB,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAA0B,UAAA,GAAAD,WAAA;AAAA,IAAAE,WAAA,gBAAAtB,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAA4B,UAAA,GAAAD,WAAA;AAAA,IAAAE,WAAA,gBAAAxB,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAA8B,UAAA,GAAAD,WAAA;AAAA,IAAAE,KAAA,gBAAA1B,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAgC,IAAA,GAAAD,KAAA;AAAA,IAAAE,OAAA,gBAAA5B,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAkC,MAAA,GAAAD,OAAA;AAAA,IAAAE,QAAA,gBAAA9B,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAoC,OAAA,GAAAD,QAAA;AAAA,IAAAE,UAAA,gBAAAhC,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAsC,SAAA,GAAAD,UAAA;AA4GvB,IAAAE,OAAA,gBAAAhD,OAAA;AAAAC,MAAA,CAAAC,IAAA,CAAA8C,OAAA,EAAA7C,OAAA,WAAAC,GAAA;EAAA,IAAAA,GAAA,kBAAAA,GAAA;EAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAC,YAAA,EAAAJ,GAAA;EAAA,IAAAA,GAAA,IAAAK,OAAA,IAAAA,OAAA,CAAAL,GAAA,MAAA4C,OAAA,CAAA5C,GAAA;EAAAH,MAAA,CAAAS,cAAA,CAAAD,OAAA,EAAAL,GAAA;IAAAO,UAAA;IAAAC,GAAA,WAAAA,CAAA;MAAA,OAAAoC,OAAA,CAAA5C,GAAA;IAAA;EAAA;AAAA;AAA2B,IAAA6C,UAAA,gBAAAnC,uBAAA,eAAAd,OAAA;AAAAS,OAAA,CAAAyC,SAAA,GAAAD,UAAA;AAAA,SAAAE,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,SAAAtC,wBAAAsC,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,CAAA3C,GAAA,CAAAwC,CAAA,OAAAO,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAA5D,MAAA,CAAAS,cAAA,IAAAT,MAAA,CAAA6D,wBAAA,WAAAC,CAAA,IAAAX,CAAA,oBAAAW,CAAA,IAAA9D,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAA6C,CAAA,EAAAW,CAAA,SAAAC,CAAA,GAAAH,CAAA,GAAA5D,MAAA,CAAA6D,wBAAA,CAAAV,CAAA,EAAAW,CAAA,UAAAC,CAAA,KAAAA,CAAA,CAAApD,GAAA,IAAAoD,CAAA,CAAAC,GAAA,IAAAhE,MAAA,CAAAS,cAAA,CAAAiD,CAAA,EAAAI,CAAA,EAAAC,CAAA,IAAAL,CAAA,CAAAI,CAAA,IAAAX,CAAA,CAAAW,CAAA,YAAAJ,CAAA,CAAAF,OAAA,GAAAL,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAU,GAAA,CAAAb,CAAA,EAAAO,CAAA,GAAAA,CAAA"}
|
package/dist/dts/Match.d.ts
CHANGED
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* @since 1.18.0
|
|
3
3
|
*/
|
|
4
|
+
import { type GuardInput } from "@typed/guard";
|
|
4
5
|
import * as Option from "effect/Option";
|
|
5
6
|
import * as Scope from "effect/Scope";
|
|
6
7
|
import * as Fx from "./Fx.js";
|
|
7
|
-
import type { Guard } from "./Guard.js";
|
|
8
8
|
import * as RefSubject from "./RefSubject.js";
|
|
9
9
|
/**
|
|
10
10
|
* @since 1.18.0
|
|
@@ -20,8 +20,8 @@ export type MatcherTypeId = typeof MatcherTypeId;
|
|
|
20
20
|
export interface TypeMatcher<I, O = never, E = never, R = never> {
|
|
21
21
|
readonly _tag: "TypeMatcher";
|
|
22
22
|
readonly [MatcherTypeId]: Matcher.Variance<I, O, E, R>;
|
|
23
|
-
readonly when: <R2 = never, E2 = never, A = never, R3 = never, E3 = never, B = never>(guard:
|
|
24
|
-
readonly to: <R2 = never, E2 = never, A = never, B = never>(guard:
|
|
23
|
+
readonly when: <R2 = never, E2 = never, A = never, R3 = never, E3 = never, B = never>(guard: GuardInput<I, A, E2, R2>, onMatch: (value: RefSubject.RefSubject<A>) => Fx.Fx<B, E3, R3>) => TypeMatcher<I, O | B, E | E2 | E3, R | R2 | R3>;
|
|
24
|
+
readonly to: <R2 = never, E2 = never, A = never, B = never>(guard: GuardInput<I, A, E2, R2>, onMatch: B) => TypeMatcher<I, O | B, E | E2, R | R2>;
|
|
25
25
|
readonly run: <R2 = never, E2 = never>(input: Fx.Fx<I, E2, R2>) => Fx.Fx<Option.Option<O>, E | E2, R | R2 | Scope.Scope>;
|
|
26
26
|
}
|
|
27
27
|
/**
|
|
@@ -31,8 +31,8 @@ export interface ValueMatcher<I, O = never, E = never, R = never> extends Fx.Fx<
|
|
|
31
31
|
readonly _tag: "ValueMatcher";
|
|
32
32
|
readonly [MatcherTypeId]: Matcher.Variance<I, O, E, R>;
|
|
33
33
|
readonly value: Fx.Fx<I, E, R>;
|
|
34
|
-
readonly when: <A, E2, R2, R3 = never, E3 = never, B = never>(guard:
|
|
35
|
-
readonly to: <A, E2, R2, B>(guard:
|
|
34
|
+
readonly when: <A, E2, R2, R3 = never, E3 = never, B = never>(guard: GuardInput<I, A, E2, R2>, onMatch: (value: RefSubject.RefSubject<A>) => Fx.Fx<B, E3, R3>) => ValueMatcher<I, O | B, E | E2 | E3, R | R2 | R3>;
|
|
35
|
+
readonly to: <A, E2, R2, B>(guard: GuardInput<I, A, E2, R2>, onMatch: B) => ValueMatcher<I, O | B, E | E2, R | R2>;
|
|
36
36
|
readonly getOrElse: <R2 = never, E2 = never, B = never>(f: () => Fx.Fx<B, E2, R2>) => Fx.Fx<O | B, E | E2, R | R2 | Scope.Scope>;
|
|
37
37
|
}
|
|
38
38
|
/**
|
|
@@ -57,10 +57,4 @@ export declare const type: <I>() => TypeMatcher<I, never, never, never>;
|
|
|
57
57
|
* @since 1.18.0
|
|
58
58
|
*/
|
|
59
59
|
export declare const value: <I, E = never, R = never>(input: Fx.Fx<I, E, R>) => ValueMatcher<I, never, E, R>;
|
|
60
|
-
/**
|
|
61
|
-
* @since 1.18.0
|
|
62
|
-
*/
|
|
63
|
-
export interface AsGuard<I, A, E = never, R = never> {
|
|
64
|
-
readonly asGuard: () => Guard<I, A, E, R>;
|
|
65
|
-
}
|
|
66
60
|
//# sourceMappingURL=Match.d.ts.map
|
package/dist/dts/Match.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Match.d.ts","sourceRoot":"","sources":["../../src/Match.ts"],"names":[],"mappings":"AAAA;;GAEG;
|
|
1
|
+
{"version":3,"file":"Match.d.ts","sourceRoot":"","sources":["../../src/Match.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAY,KAAK,UAAU,EAAE,MAAM,cAAc,CAAA;AASxD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;AAG7B,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAI7C;;GAEG;AACH,eAAO,MAAM,aAAa,EAAE,OAAO,MAAwC,CAAA;AAC3E;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAA;AAEhD;;GAEG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK;IAC7D,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAE5B,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAEtD,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EAClF,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAC/B,OAAO,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,KAC3D,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;IAEpD,QAAQ,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EACxD,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAC/B,OAAO,EAAE,CAAC,KACP,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IAE1C,QAAQ,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,EAAE,GAAG,KAAK,EACnC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,KACpB,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;CAC3D;AAED;;GAEG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,CAAE,SAAQ,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACnH,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAE7B,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAEtD,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAE9B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EAC1D,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAC/B,OAAO,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,KAC3D,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;IAErD,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EACxB,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAC/B,OAAO,EAAE,CAAC,KACP,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IAE3C,QAAQ,CAAC,SAAS,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EACpD,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,KACtB,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;CAChD;AAED;;GAEG;AACH,yBAAiB,OAAO,CAAC;IACvB;;OAEG;IACH,UAAiB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QAClC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAA;QAC5B,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAA;QAC5B,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAA;QAC9B,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAA;KAC7B;CACF;AAED;;GAEG;AACH,eAAO,MAAM,IAAI,8CAAsF,CAAA;AAEvG;;GAEG;AACH,eAAO,MAAM,KAAK,kFACsB,CAAA"}
|
package/dist/dts/index.d.ts
CHANGED
|
@@ -33,11 +33,6 @@ export * as Form from "./Form.js";
|
|
|
33
33
|
* @since 1.18.0
|
|
34
34
|
*/
|
|
35
35
|
export * as FormEntry from "./FormEntry.js";
|
|
36
|
-
/**
|
|
37
|
-
* [Guard documentation](https://tylors.github.io/typed/fx/Guard.ts.html)
|
|
38
|
-
* @since 1.18.0
|
|
39
|
-
*/
|
|
40
|
-
export * as Guard from "./Guard.js";
|
|
41
36
|
/**
|
|
42
37
|
* [Idle documentation](https://tylors.github.io/typed/fx/Idle.ts.html)
|
|
43
38
|
* @since 1.18.0
|
package/dist/dts/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH;;;GAGG;AACH,cAAc,SAAS,CAAA;AAEvB;;;GAGG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;GAGG;AACH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC;;;GAGG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;GAGG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;GAGG;AACH,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH;;;GAGG;AACH,cAAc,SAAS,CAAA;AAEvB;;;GAGG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;GAGG;AACH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC;;;GAGG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;GAGG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;GAGG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;GAGG;AACH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC;;;GAGG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;GAGG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;GAGG;AACH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC;;;GAGG;AACH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC;;;GAGG;AACH,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C;;;GAGG;AACH,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C;;;GAGG;AACH,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C;;;GAGG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;GAGG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC;;;GAGG;AACH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC;;;GAGG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;GAGG;AACH,cAAc,aAAa,CAAA;AAE3B;;;GAGG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA"}
|
package/dist/esm/Match.js
CHANGED
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* @since 1.18.0
|
|
3
3
|
*/
|
|
4
|
+
import { getGuard } from "@typed/guard";
|
|
4
5
|
import * as Cause from "effect/Cause";
|
|
5
6
|
import * as Chunk from "effect/Chunk";
|
|
6
7
|
import * as Effect from "effect/Effect";
|
|
@@ -181,9 +182,4 @@ class ValueMatcherImpl extends FxBase {
|
|
|
181
182
|
}
|
|
182
183
|
getOrElse = (f) => Fx.getOrElse(this.matcher.run(this.value), f);
|
|
183
184
|
}
|
|
184
|
-
function getGuard(guard) {
|
|
185
|
-
if (typeof guard === "function")
|
|
186
|
-
return guard;
|
|
187
|
-
return guard.asGuard();
|
|
188
|
-
}
|
|
189
185
|
//# sourceMappingURL=Match.js.map
|
package/dist/esm/Match.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Match.js","sourceRoot":"","sources":["../../src/Match.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,iBAAiB,MAAM,0BAA0B,CAAA;AAC7D,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC1C,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AACtE,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;
|
|
1
|
+
{"version":3,"file":"Match.js","sourceRoot":"","sources":["../../src/Match.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAmB,MAAM,cAAc,CAAA;AACxD,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,iBAAiB,MAAM,0BAA0B,CAAA;AAC7D,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC1C,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AACtE,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAC7C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAkB,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAA;AAqE3E;;GAEG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,GAAsB,EAAE,CAAC,IAAI,eAAe,CAAyB,KAAK,CAAC,KAAK,EAAE,CAAC,CAAA;AAEvG;;GAEG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAA0B,KAAqB,EAAgC,EAAE,CACpG,IAAI,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAK,CAAC,CAAA;AAExC,YAAY;AAEZ,MAAM,QAAQ,GAAyC;IACrD,EAAE,EAAE,QAAQ;IACZ,EAAE,EAAE,QAAQ;IACZ,EAAE,EAAE,QAAQ;IACZ,EAAE,EAAE,QAAQ;CACb,CAAA;AAED,MAAM,IAAI;IAEG;IACA;IAFX,YACW,KAA0D,EAC1D,OAA4D;QAD5D,UAAK,GAAL,KAAK,CAAqD;QAC1D,YAAO,GAAP,OAAO,CAAqD;IACpE,CAAC;CACL;AAED,MAAM,OAAO;IAEA;IACA;IACA;IACA;IAJX,YACW,IAAyB,EACzB,GAA6B,EAC7B,KAA2B,EAC3B,SAA8B;QAH9B,SAAI,GAAJ,IAAI,CAAqB;QACzB,QAAG,GAAH,GAAG,CAA0B;QAC7B,UAAK,GAAL,KAAK,CAAsB;QAC3B,cAAS,GAAT,SAAS,CAAqB;IACtC,CAAC;CACL;AAED,MAAM,eAAe;IAIE;IAHZ,IAAI,GAAG,aAAa,CAAA;IACpB,CAAC,aAAa,CAAC,GAA2C,QAAe,CAAA;IAElF,YAAqB,KAA+C;QAA/C,UAAK,GAAL,KAAK,CAA0C;QAClE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAChC,CAAC;IAED,IAAI,CACF,KAA+B,EAC/B,OAA8D;QAE9D,OAAO,IAAI,eAAe,CACxB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,IAAI,CAAwC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,CACpG,CAAA;IACH,CAAC;IAED,EAAE,CACA,KAA+B,EAC/B,OAAU;QAEV,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IACpD,CAAC;IAED,GAAG,CAAS,KAAuB;QACjC,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAA;QAEtB,OAAO,EAAE,CAAC,IAAI,CAAiD,CAAC,IAAI,EAAE,EAAE,CACtE,cAAc,CACZ,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE;YACpB,IAAI,QAAsC,CAAA;YAE1C,MAAM,OAAO,GAAG,CACd,IAAiD,EACjD,KAAQ,EACR,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAC,CAAC;gBACpB,IAAI,QAAQ,EAAE,IAAI,KAAK,IAAI,EAAE,CAAC;oBAC5B,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAA;gBAC/C,CAAC;qBAAM,CAAC;oBACN,mCAAmC;oBACnC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC3B,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;oBAC9B,CAAC;oBAED,oDAAoD;oBACpD,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;oBAEjD,6BAA6B;oBAC7B,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;oBACvC,yCAAyC;oBACzC,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAO,CAAC,CAAC,CAAA;oBAE7C,eAAe;oBACf,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CACpB,IAAI,CACF,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;yBAC7F,GAAG,CACF,IAAI,CAAC,IAAI,CACP,CAAC,KAAK,EAAE,EAAE,CACR,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC;wBACxD,CAAC,CAAC,MAAM,CAAC,IAAI;wBACb,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAC3B,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CACvF,CACF,CACJ,CACF,CAAA;oBAED,QAAQ,GAAG,IAAI,OAAO,CACpB,IAAI,EACJ,UAAU,EACV,KAAK;oBACL,iGAAiG;oBACjG,oEAAoE;oBACpE,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAC5F,CAAA;gBACH,CAAC;YACH,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAA;YAE1D,SAAS,SAAS,CAAI,KAAQ,EAAE,IAAiD;gBAC/E,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAC,CAAC;oBAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;oBAE3C,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;wBAC3B,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;wBAEtC,OAAO,IAAI,CAAA;oBACb,CAAC;yBAAM,CAAC;wBACN,OAAO,KAAK,CAAA;oBACd,CAAC;gBACH,CAAC,CAAC,CAAA;YACJ,CAAC;YAED,SAAS,UAAU,CAAC,KAAQ;gBAC1B,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAC,CAAC;oBAC3B,oFAAoF;oBACpF,yDAAyD;oBACzD,MAAM,MAAM,GAA+B,EAAE,CAAA;oBAE7C,uFAAuF;oBACvF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC3B,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;wBAE1E,IAAI,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;4BAChC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;wBAChC,CAAC;6BAAM,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC;4BAC7B,OAAM;wBACR,CAAC;oBACH,CAAC;oBAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;wBACzB,6BAA6B;wBAC7B,IAAI,IAAI,KAAK,QAAQ,EAAE,IAAI;4BAAE,SAAQ;wBAErC,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;wBAEjE,IAAI,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;4BAChC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;wBAChC,CAAC;6BAAM,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC;4BAC7B,OAAM;wBACR,CAAC;oBACH,CAAC;oBAED,IAAI,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC;wBACpC,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,CAAA;wBAC/B,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;oBACjE,CAAC;yBAAM,CAAC;wBACN,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;4BAC3B,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;wBAC9B,CAAC;wBAED,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;oBACzC,CAAC;gBACH,CAAC,CAAC,CAAA;YACJ,CAAC;YAED,OAAO,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CACxC,IAAI,CAAC,SAAS,EACd,UAAU,CACX,CAAC,CAAA;QACJ,CAAC,EACD,iBAAiB,CAAC,UAAU,CAC7B,CACF,CAAA;IACH,CAAC;CACF;AAED,MAAM,gBAA6B,SAAQ,MAA4C;IAMhE;IAAgC;IAH5C,IAAI,GAAG,cAAc,CAAA;IACrB,CAAC,aAAa,CAAC,GAA4C,QAAQ,CAAA;IAE5E,YAAqB,KAAqB,EAAW,OAAgC;QACnF,KAAK,EAAE,CAAA;QADY,UAAK,GAAL,KAAK,CAAgB;QAAW,YAAO,GAAP,OAAO,CAAyB;QAEnF,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC5B,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC5C,CAAC;IAED,GAAG,CAAK,IAAwC;QAC9C,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAC/C,CAAC;IAED,IAAI,CACF,KAA+B,EAC/B,OAA8D;QAE9D,OAAO,IAAI,gBAAgB,CACzB,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAClC,CAAA;IACH,CAAC;IAED,EAAE,CACA,KAA+B,EAC/B,OAAU;QAEV,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IACpD,CAAC;IAED,SAAS,GAA0C,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;CACxG"}
|
package/dist/esm/index.js
CHANGED
|
@@ -33,11 +33,6 @@ export * as Form from "./Form.js";
|
|
|
33
33
|
* @since 1.18.0
|
|
34
34
|
*/
|
|
35
35
|
export * as FormEntry from "./FormEntry.js";
|
|
36
|
-
/**
|
|
37
|
-
* [Guard documentation](https://tylors.github.io/typed/fx/Guard.ts.html)
|
|
38
|
-
* @since 1.18.0
|
|
39
|
-
*/
|
|
40
|
-
export * as Guard from "./Guard.js";
|
|
41
36
|
/**
|
|
42
37
|
* [Idle documentation](https://tylors.github.io/typed/fx/Idle.ts.html)
|
|
43
38
|
* @since 1.18.0
|
package/dist/esm/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH;;;GAGG;AACH,cAAc,SAAS,CAAA;AAEvB;;;GAGG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;GAGG;AACH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC;;;GAGG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;GAGG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;GAGG;AACH,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH;;;GAGG;AACH,cAAc,SAAS,CAAA;AAEvB;;;GAGG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;GAGG;AACH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC;;;GAGG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;GAGG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;GAGG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;GAGG;AACH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC;;;GAGG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;GAGG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;GAGG;AACH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC;;;GAGG;AACH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC;;;GAGG;AACH,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C;;;GAGG;AACH,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C;;;GAGG;AACH,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C;;;GAGG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;GAGG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC;;;GAGG;AACH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC;;;GAGG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;GAGG;AACH,cAAc,aAAa,CAAA;AAE3B;;;GAGG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@typed/fx",
|
|
3
|
-
"version": "1.
|
|
3
|
+
"version": "1.27.0",
|
|
4
4
|
"description": "",
|
|
5
5
|
"license": "MIT",
|
|
6
6
|
"repository": {
|
|
@@ -15,7 +15,8 @@
|
|
|
15
15
|
"effect": "^2.4.0",
|
|
16
16
|
"fast-deep-equal": "^3.1.3",
|
|
17
17
|
"@typed/async-data": "0.7.0",
|
|
18
|
-
"@typed/context": "0.25.0"
|
|
18
|
+
"@typed/context": "0.25.0",
|
|
19
|
+
"@typed/guard": "0.1.0"
|
|
19
20
|
},
|
|
20
21
|
"peerDependencies": {
|
|
21
22
|
"@effect/typeclass": "0.22.12",
|
|
@@ -56,11 +57,6 @@
|
|
|
56
57
|
"import": "./dist/esm/Fx.js",
|
|
57
58
|
"default": "./dist/cjs/Fx.js"
|
|
58
59
|
},
|
|
59
|
-
"./Guard": {
|
|
60
|
-
"types": "./dist/dts/Guard.d.ts",
|
|
61
|
-
"import": "./dist/esm/Guard.js",
|
|
62
|
-
"default": "./dist/cjs/Guard.js"
|
|
63
|
-
},
|
|
64
60
|
"./Idle": {
|
|
65
61
|
"types": "./dist/dts/Idle.d.ts",
|
|
66
62
|
"import": "./dist/esm/Idle.js",
|
|
@@ -154,9 +150,6 @@
|
|
|
154
150
|
"Fx": [
|
|
155
151
|
"./dist/dts/Fx.d.ts"
|
|
156
152
|
],
|
|
157
|
-
"Guard": [
|
|
158
|
-
"./dist/dts/Guard.d.ts"
|
|
159
|
-
],
|
|
160
153
|
"Idle": [
|
|
161
154
|
"./dist/dts/Idle.d.ts"
|
|
162
155
|
],
|
package/src/Match.ts
CHANGED
|
@@ -2,6 +2,7 @@
|
|
|
2
2
|
* @since 1.18.0
|
|
3
3
|
*/
|
|
4
4
|
|
|
5
|
+
import { getGuard, type GuardInput } from "@typed/guard"
|
|
5
6
|
import * as Cause from "effect/Cause"
|
|
6
7
|
import * as Chunk from "effect/Chunk"
|
|
7
8
|
import * as Effect from "effect/Effect"
|
|
@@ -14,7 +15,6 @@ import * as Option from "effect/Option"
|
|
|
14
15
|
import { isNonEmptyReadonlyArray, reduce } from "effect/ReadonlyArray"
|
|
15
16
|
import * as Scope from "effect/Scope"
|
|
16
17
|
import * as Fx from "./Fx.js"
|
|
17
|
-
import type { Guard } from "./Guard.js"
|
|
18
18
|
import { withScopedFork } from "./internal/helpers.js"
|
|
19
19
|
import { FxBase } from "./internal/protos.js"
|
|
20
20
|
import * as RefSubject from "./RefSubject.js"
|
|
@@ -39,12 +39,12 @@ export interface TypeMatcher<I, O = never, E = never, R = never> {
|
|
|
39
39
|
readonly [MatcherTypeId]: Matcher.Variance<I, O, E, R>
|
|
40
40
|
|
|
41
41
|
readonly when: <R2 = never, E2 = never, A = never, R3 = never, E3 = never, B = never>(
|
|
42
|
-
guard:
|
|
42
|
+
guard: GuardInput<I, A, E2, R2>,
|
|
43
43
|
onMatch: (value: RefSubject.RefSubject<A>) => Fx.Fx<B, E3, R3>
|
|
44
44
|
) => TypeMatcher<I, O | B, E | E2 | E3, R | R2 | R3>
|
|
45
45
|
|
|
46
46
|
readonly to: <R2 = never, E2 = never, A = never, B = never>(
|
|
47
|
-
guard:
|
|
47
|
+
guard: GuardInput<I, A, E2, R2>,
|
|
48
48
|
onMatch: B
|
|
49
49
|
) => TypeMatcher<I, O | B, E | E2, R | R2>
|
|
50
50
|
|
|
@@ -64,12 +64,12 @@ export interface ValueMatcher<I, O = never, E = never, R = never> extends Fx.Fx<
|
|
|
64
64
|
readonly value: Fx.Fx<I, E, R>
|
|
65
65
|
|
|
66
66
|
readonly when: <A, E2, R2, R3 = never, E3 = never, B = never>(
|
|
67
|
-
guard:
|
|
67
|
+
guard: GuardInput<I, A, E2, R2>,
|
|
68
68
|
onMatch: (value: RefSubject.RefSubject<A>) => Fx.Fx<B, E3, R3>
|
|
69
69
|
) => ValueMatcher<I, O | B, E | E2 | E3, R | R2 | R3>
|
|
70
70
|
|
|
71
71
|
readonly to: <A, E2, R2, B>(
|
|
72
|
-
guard:
|
|
72
|
+
guard: GuardInput<I, A, E2, R2>,
|
|
73
73
|
onMatch: B
|
|
74
74
|
) => ValueMatcher<I, O | B, E | E2, R | R2>
|
|
75
75
|
|
|
@@ -139,7 +139,7 @@ class TypeMatcherImpl<I, O, E, R> implements TypeMatcher<I, O, E, R> {
|
|
|
139
139
|
}
|
|
140
140
|
|
|
141
141
|
when<A, E2, R2, R3 = never, E3 = never, B = never>(
|
|
142
|
-
guard:
|
|
142
|
+
guard: GuardInput<I, A, E2, R2>,
|
|
143
143
|
onMatch: (value: RefSubject.RefSubject<A>) => Fx.Fx<B, E3, R3>
|
|
144
144
|
): TypeMatcher<I, O | B, E | E2 | E3, R | R2 | R3> {
|
|
145
145
|
return new TypeMatcherImpl<I, O | B, E | E2 | E3, R | R2 | R3>(
|
|
@@ -148,7 +148,7 @@ class TypeMatcherImpl<I, O, E, R> implements TypeMatcher<I, O, E, R> {
|
|
|
148
148
|
}
|
|
149
149
|
|
|
150
150
|
to<A, E2, R2, B>(
|
|
151
|
-
guard:
|
|
151
|
+
guard: GuardInput<I, A, E2, R2>,
|
|
152
152
|
onMatch: B
|
|
153
153
|
): TypeMatcher<I, O | B, E | E2, R | R2> {
|
|
154
154
|
return this.when(guard, () => Fx.succeed(onMatch))
|
|
@@ -296,7 +296,7 @@ class ValueMatcherImpl<I, O, E, R> extends FxBase<Option.Option<O>, E, R | Scope
|
|
|
296
296
|
}
|
|
297
297
|
|
|
298
298
|
when<A, E2, R2, R3 = never, E3 = never, B = never>(
|
|
299
|
-
guard:
|
|
299
|
+
guard: GuardInput<I, A, E2, R2>,
|
|
300
300
|
onMatch: (value: RefSubject.RefSubject<A>) => Fx.Fx<B, E3, R3>
|
|
301
301
|
): ValueMatcher<I, O | B, E | E2 | E3, R | R2 | R3> {
|
|
302
302
|
return new ValueMatcherImpl<I, O | B, E | E2 | E3, R | R2 | R3>(
|
|
@@ -306,7 +306,7 @@ class ValueMatcherImpl<I, O, E, R> extends FxBase<Option.Option<O>, E, R | Scope
|
|
|
306
306
|
}
|
|
307
307
|
|
|
308
308
|
to<A, E2, R2, B>(
|
|
309
|
-
guard:
|
|
309
|
+
guard: GuardInput<I, A, E2, R2>,
|
|
310
310
|
onMatch: B
|
|
311
311
|
): ValueMatcher<I, O | B, E | E2, R | R2> {
|
|
312
312
|
return this.when(guard, () => Fx.succeed(onMatch))
|
|
@@ -314,15 +314,3 @@ class ValueMatcherImpl<I, O, E, R> extends FxBase<Option.Option<O>, E, R | Scope
|
|
|
314
314
|
|
|
315
315
|
getOrElse: ValueMatcher<I, O, E, R>["getOrElse"] = (f) => Fx.getOrElse(this.matcher.run(this.value), f)
|
|
316
316
|
}
|
|
317
|
-
|
|
318
|
-
/**
|
|
319
|
-
* @since 1.18.0
|
|
320
|
-
*/
|
|
321
|
-
export interface AsGuard<I, A, E = never, R = never> {
|
|
322
|
-
readonly asGuard: () => Guard<I, A, E, R>
|
|
323
|
-
}
|
|
324
|
-
|
|
325
|
-
function getGuard<I, A, E = never, R = never>(guard: Guard<I, A, E, R> | AsGuard<I, A, E, R>): Guard<I, A, E, R> {
|
|
326
|
-
if (typeof guard === "function") return guard
|
|
327
|
-
return guard.asGuard()
|
|
328
|
-
}
|
package/src/index.ts
CHANGED
|
@@ -39,12 +39,6 @@ export * as Form from "./Form.js"
|
|
|
39
39
|
*/
|
|
40
40
|
export * as FormEntry from "./FormEntry.js"
|
|
41
41
|
|
|
42
|
-
/**
|
|
43
|
-
* [Guard documentation](https://tylors.github.io/typed/fx/Guard.ts.html)
|
|
44
|
-
* @since 1.18.0
|
|
45
|
-
*/
|
|
46
|
-
export * as Guard from "./Guard.js"
|
|
47
|
-
|
|
48
42
|
/**
|
|
49
43
|
* [Idle documentation](https://tylors.github.io/typed/fx/Idle.ts.html)
|
|
50
44
|
* @since 1.18.0
|
package/Guard/package.json
DELETED
package/dist/cjs/Guard.js
DELETED
|
@@ -1,75 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
|
|
3
|
-
Object.defineProperty(exports, "__esModule", {
|
|
4
|
-
value: true
|
|
5
|
-
});
|
|
6
|
-
exports.any = any;
|
|
7
|
-
exports.filterMap = exports.filter = exports.compose = void 0;
|
|
8
|
-
exports.liftPredicate = liftPredicate;
|
|
9
|
-
exports.tap = exports.mapEffect = exports.map = void 0;
|
|
10
|
-
var Effect = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Effect"));
|
|
11
|
-
var _Function = /*#__PURE__*/require("effect/Function");
|
|
12
|
-
var Option = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Option"));
|
|
13
|
-
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); }
|
|
14
|
-
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; }
|
|
15
|
-
/**
|
|
16
|
-
* @since 1.18.0
|
|
17
|
-
*/
|
|
18
|
-
|
|
19
|
-
/**
|
|
20
|
-
* @since 1.18.0
|
|
21
|
-
*/
|
|
22
|
-
const compose = exports.compose = /*#__PURE__*/(0, _Function.dual)(2, function flatMap(input, output) {
|
|
23
|
-
return i => Effect.flatMap(input(i), Option.match({
|
|
24
|
-
onNone: () => Effect.succeedNone,
|
|
25
|
-
onSome: output
|
|
26
|
-
}));
|
|
27
|
-
});
|
|
28
|
-
/**
|
|
29
|
-
* @since 1.18.0
|
|
30
|
-
*/
|
|
31
|
-
const mapEffect = exports.mapEffect = /*#__PURE__*/(0, _Function.dual)(2, function mapEffect(guard, f) {
|
|
32
|
-
return compose(guard, o => Effect.asSome(f(o)));
|
|
33
|
-
});
|
|
34
|
-
/**
|
|
35
|
-
* @since 1.18.0
|
|
36
|
-
*/
|
|
37
|
-
const map = exports.map = /*#__PURE__*/(0, _Function.dual)(2, function map(guard, f) {
|
|
38
|
-
return mapEffect(guard, o => Effect.sync(() => f(o)));
|
|
39
|
-
});
|
|
40
|
-
/**
|
|
41
|
-
* @since 1.18.0
|
|
42
|
-
*/
|
|
43
|
-
const tap = exports.tap = /*#__PURE__*/(0, _Function.dual)(2, function tap(guard, f) {
|
|
44
|
-
return compose(guard, o => Effect.as(f(o), Option.some(o)));
|
|
45
|
-
});
|
|
46
|
-
/**
|
|
47
|
-
* @since 1.18.0
|
|
48
|
-
*/
|
|
49
|
-
const filterMap = exports.filterMap = /*#__PURE__*/(0, _Function.dual)(2, (guard, f) => i => Effect.map(guard(i), Option.filterMap(f)));
|
|
50
|
-
/**
|
|
51
|
-
* @since 1.18.0
|
|
52
|
-
*/
|
|
53
|
-
const filter = exports.filter = /*#__PURE__*/(0, _Function.dual)(2, (guard, predicate) => i => Effect.map(guard(i), Option.filter(predicate)));
|
|
54
|
-
/**
|
|
55
|
-
* @since 1.18.0
|
|
56
|
-
*/
|
|
57
|
-
function any(guards) {
|
|
58
|
-
const entries = Object.entries(guards);
|
|
59
|
-
return i => Effect.gen(function* (_) {
|
|
60
|
-
for (const [_tag, guard] of entries) {
|
|
61
|
-
const match = yield* _(guard(i));
|
|
62
|
-
if (Option.isSome(match)) {
|
|
63
|
-
return Option.some({
|
|
64
|
-
_tag,
|
|
65
|
-
value: match.value
|
|
66
|
-
});
|
|
67
|
-
}
|
|
68
|
-
}
|
|
69
|
-
return Option.none();
|
|
70
|
-
});
|
|
71
|
-
}
|
|
72
|
-
function liftPredicate(predicate) {
|
|
73
|
-
return a => Effect.sync(() => predicate(a) ? Option.some(a) : Option.none());
|
|
74
|
-
}
|
|
75
|
-
//# sourceMappingURL=Guard.js.map
|
package/dist/cjs/Guard.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Guard.js","names":["Effect","_interopRequireWildcard","require","_Function","Option","_getRequireWildcardCache","e","WeakMap","r","t","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","compose","exports","dual","flatMap","input","output","match","onNone","succeedNone","onSome","mapEffect","guard","f","o","asSome","map","sync","tap","as","some","filterMap","filter","predicate","any","guards","entries","gen","_","_tag","isSome","value","none","liftPredicate"],"sources":["../../src/Guard.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;AAKA,IAAAA,MAAA,gBAAAC,uBAAA,eAAAC,OAAA;AACA,IAAAC,SAAA,gBAAAD,OAAA;AACA,IAAAE,MAAA,gBAAAH,uBAAA,eAAAC,OAAA;AAAuC,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;AAPvC;;;;AAoCA;;;AAGO,MAAMY,OAAO,GAAAC,OAAA,CAAAD,OAAA,gBAGhB,IAAAE,cAAI,EAAC,CAAC,EAAE,SAASC,OAAOA,CAC1BC,KAAwB,EACxBC,MAA2B;EAE3B,OAAQP,CAAC,IACPxB,MAAM,CAAC6B,OAAO,CACZC,KAAK,CAACN,CAAC,CAAC,EACRpB,MAAM,CAAC4B,KAAK,CAAC;IACXC,MAAM,EAAEA,CAAA,KAAMjC,MAAM,CAACkC,WAAW;IAChCC,MAAM,EAAEJ;GACT,CAAC,CACH;AACL,CAAC,CAAC;AAEF;;;AAGO,MAAMK,SAAS,GAAAT,OAAA,CAAAS,SAAA,gBAKlB,IAAAR,cAAI,EAAC,CAAC,EAAE,SAASQ,SAASA,CAC5BC,KAAwB,EACxBC,CAAqC;EAErC,OAAOZ,OAAO,CAACW,KAAK,EAAGE,CAAC,IAAKvC,MAAM,CAACwC,MAAM,CAACF,CAAC,CAACC,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF;;;AAGO,MAAME,GAAG,GAAAd,OAAA,CAAAc,GAAA,gBAGZ,IAAAb,cAAI,EAAC,CAAC,EAAE,SAASa,GAAGA,CACtBJ,KAAwB,EACxBC,CAAc;EAEd,OAAOF,SAAS,CAACC,KAAK,EAAGE,CAAC,IAAKvC,MAAM,CAAC0C,IAAI,CAAC,MAAMJ,CAAC,CAACC,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF;;;AAGO,MAAMI,GAAG,GAAAhB,OAAA,CAAAgB,GAAA,gBAKZ,IAAAf,cAAI,EAAC,CAAC,EAAE,SAASe,GAAGA,CACtBN,KAAwB,EACxBC,CAAqC;EAErC,OAAOZ,OAAO,CAACW,KAAK,EAAGE,CAAC,IAAKvC,MAAM,CAAC4C,EAAE,CAACN,CAAC,CAACC,CAAC,CAAC,EAAEnC,MAAM,CAACyC,IAAI,CAACN,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF;;;AAGO,MAAMO,SAAS,GAAAnB,OAAA,CAAAmB,SAAA,gBAGlB,IAAAlB,cAAI,EACN,CAAC,EACD,CAAgBS,KAAwB,EAAEC,CAA6B,KAAyBd,CAAC,IAC/FxB,MAAM,CAACyC,GAAG,CAACJ,KAAK,CAACb,CAAC,CAAC,EAAEpB,MAAM,CAAC0C,SAAS,CAACR,CAAC,CAAC,CAAC,CAC5C;AAED;;;AAGO,MAAMS,MAAM,GAAApB,OAAA,CAAAoB,MAAA,gBAKf,IAAAnB,cAAI,EACN,CAAC,EACD,CAAaS,KAAwB,EAAEW,SAA4B,KAAyBxB,CAAC,IAC3FxB,MAAM,CAACyC,GAAG,CAACJ,KAAK,CAACb,CAAC,CAAC,EAAEpB,MAAM,CAAC2C,MAAM,CAACC,SAAS,CAAC,CAAC,CACjD;AAED;;;AAGM,SAAUC,GAAGA,CACjBC,MAAU;EAEV,MAAMC,OAAO,GAAGlC,MAAM,CAACkC,OAAO,CAACD,MAAM,CAAC;EACtC,OAAQ1B,CAAe,IACrBxB,MAAM,CAACoD,GAAG,CAAC,WAAUC,CAAC;IACpB,KAAK,MAAM,CAACC,IAAI,EAAEjB,KAAK,CAAC,IAAIc,OAAO,EAAE;MACnC,MAAMnB,KAAK,GAAG,OAAOqB,CAAC,CAAChB,KAAK,CAACb,CAAC,CAAC,CAAC;MAChC,IAAIpB,MAAM,CAACmD,MAAM,CAACvB,KAAK,CAAC,EAAE;QACxB,OAAO5B,MAAM,CAACyC,IAAI,CAAC;UAAES,IAAI;UAAEE,KAAK,EAAExB,KAAK,CAACwB;QAAK,CAAmB,CAAC;MACnE;IACF;IACA,OAAOpD,MAAM,CAACqD,IAAI,EAAE;EACtB,CAAC,CAAC;AACN;AAyBM,SAAUC,aAAaA,CAAIV,SAAiC;EAChE,OAAQhC,CAAC,IAAKhB,MAAM,CAAC0C,IAAI,CAAC,MAAOM,SAAS,CAAChC,CAAC,CAAC,GAAGZ,MAAM,CAACyC,IAAI,CAAC7B,CAAC,CAAC,GAAGZ,MAAM,CAACqD,IAAI,EAAG,CAAC;AAClF"}
|
package/dist/dts/Guard.d.ts
DELETED
|
@@ -1,102 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* @since 1.18.0
|
|
3
|
-
*/
|
|
4
|
-
import type { Predicate } from "effect";
|
|
5
|
-
import * as Effect from "effect/Effect";
|
|
6
|
-
import * as Option from "effect/Option";
|
|
7
|
-
/**
|
|
8
|
-
* @since 1.18.0
|
|
9
|
-
*/
|
|
10
|
-
export type Guard<in I, out O, out E = never, out R = never> = (input: I) => Effect.Effect<Option.Option<O>, E, R>;
|
|
11
|
-
/**
|
|
12
|
-
* @since 1.18.0
|
|
13
|
-
*/
|
|
14
|
-
export declare namespace Guard {
|
|
15
|
-
/**
|
|
16
|
-
* @since 1.18.0
|
|
17
|
-
*/
|
|
18
|
-
type Input<T> = T extends Guard<infer I, infer _R, infer _E, infer _O> ? I : never;
|
|
19
|
-
/**
|
|
20
|
-
* @since 1.18.0
|
|
21
|
-
*/
|
|
22
|
-
type Context<T> = T extends Guard<infer _I, infer _O, infer _E, infer R> ? R : never;
|
|
23
|
-
/**
|
|
24
|
-
* @since 1.18.0
|
|
25
|
-
*/
|
|
26
|
-
type Error<T> = T extends Guard<infer _I, infer _O, infer E, infer _R> ? E : never;
|
|
27
|
-
/**
|
|
28
|
-
* @since 1.18.0
|
|
29
|
-
*/
|
|
30
|
-
type Output<T> = T extends Guard<infer _I, infer O, infer _E, infer _R> ? O : never;
|
|
31
|
-
}
|
|
32
|
-
/**
|
|
33
|
-
* @since 1.18.0
|
|
34
|
-
*/
|
|
35
|
-
export declare const compose: {
|
|
36
|
-
<O, B, E2, R2>(output: Guard<O, B, E2, R2>): <I, R, E>(input: Guard<I, O, E, R>) => Guard<I, B, E | E2, R | R2>;
|
|
37
|
-
<I, O, E, R, B, E2, R2>(input: Guard<I, O, E, R>, output: Guard<O, B, E2, R2>): Guard<I, B, E | E2, R | R2>;
|
|
38
|
-
};
|
|
39
|
-
/**
|
|
40
|
-
* @since 1.18.0
|
|
41
|
-
*/
|
|
42
|
-
export declare const mapEffect: {
|
|
43
|
-
<O, B, E2, R2>(f: (o: O) => Effect.Effect<B, E2, R2>): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, B, E | E2, R | R2>;
|
|
44
|
-
<I, O, E, R, B, E2, R2>(guard: Guard<I, O, E, R>, f: (o: O) => Effect.Effect<B, E2, R2>): Guard<I, B, E | E2, R | R2>;
|
|
45
|
-
};
|
|
46
|
-
/**
|
|
47
|
-
* @since 1.18.0
|
|
48
|
-
*/
|
|
49
|
-
export declare const map: {
|
|
50
|
-
<O, B>(f: (o: O) => B): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, B, E, R>;
|
|
51
|
-
<I, O, E, R, B>(guard: Guard<I, O, E, R>, f: (o: O) => B): Guard<I, B, E, R>;
|
|
52
|
-
};
|
|
53
|
-
/**
|
|
54
|
-
* @since 1.18.0
|
|
55
|
-
*/
|
|
56
|
-
export declare const tap: {
|
|
57
|
-
<O, B, E2, R2>(f: (o: O) => Effect.Effect<B, E2, R2>): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, O, E | E2, R | R2>;
|
|
58
|
-
<I, O, E, R, B, E2, R2>(guard: Guard<I, O, E, R>, f: (o: O) => Effect.Effect<B, E2, R2>): Guard<I, O, E | E2, R | R2>;
|
|
59
|
-
};
|
|
60
|
-
/**
|
|
61
|
-
* @since 1.18.0
|
|
62
|
-
*/
|
|
63
|
-
export declare const filterMap: {
|
|
64
|
-
<O, B>(f: (o: O) => Option.Option<B>): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, B, E, R>;
|
|
65
|
-
<I, O, E, R, B>(guard: Guard<I, O, E, R>, f: (o: O) => Option.Option<B>): Guard<I, B, E, R>;
|
|
66
|
-
};
|
|
67
|
-
/**
|
|
68
|
-
* @since 1.18.0
|
|
69
|
-
*/
|
|
70
|
-
export declare const filter: {
|
|
71
|
-
<O, O2 extends O>(predicate: (o: O) => o is O2): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, O, E, R>;
|
|
72
|
-
<O>(predicate: (o: O) => boolean): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, O, E, R>;
|
|
73
|
-
<I, O, E, R, O2 extends O>(guard: Guard<I, O, E, R>, predicate: (o: O) => o is O2): Guard<I, O, E, R>;
|
|
74
|
-
<I, O, E, R>(guard: Guard<I, O, E, R>, predicate: (o: O) => boolean): Guard<I, O, E, R>;
|
|
75
|
-
};
|
|
76
|
-
/**
|
|
77
|
-
* @since 1.18.0
|
|
78
|
-
*/
|
|
79
|
-
export declare function any<const GS extends Readonly<Record<string, Guard<any, any, any, any>>>>(guards: GS): Guard<AnyInput<GS>, AnyOutput<GS>, Guard.Error<GS[keyof GS]>, Guard.Context<GS[keyof GS]>>;
|
|
80
|
-
/**
|
|
81
|
-
* @since 1.18.0
|
|
82
|
-
*/
|
|
83
|
-
export type AnyInput<GS extends Readonly<Record<string, Guard<any, any, any, any>>>> = UnionToIntersection<Guard.Input<GS[keyof GS]>>;
|
|
84
|
-
type UnionToIntersection<T> = (T extends any ? (x: T) => any : never) extends (x: infer R) => any ? R : never;
|
|
85
|
-
/**
|
|
86
|
-
* @since 1.18.0
|
|
87
|
-
*/
|
|
88
|
-
export type AnyOutput<GS extends Readonly<Record<string, Guard<any, any, any, any>>>> = [
|
|
89
|
-
{
|
|
90
|
-
[K in keyof GS]: {
|
|
91
|
-
readonly _tag: K;
|
|
92
|
-
readonly value: Guard.Output<GS[K]>;
|
|
93
|
-
};
|
|
94
|
-
}[keyof GS]
|
|
95
|
-
] extends [infer R] ? R : never;
|
|
96
|
-
/**
|
|
97
|
-
* @since 1.20.0
|
|
98
|
-
*/
|
|
99
|
-
export declare function liftPredicate<A, B extends A>(predicate: Predicate.Refinement<A, B>): Guard<A, B>;
|
|
100
|
-
export declare function liftPredicate<A>(predicate: Predicate.Predicate<A>): Guard<A, A>;
|
|
101
|
-
export {};
|
|
102
|
-
//# sourceMappingURL=Guard.d.ts.map
|
package/dist/dts/Guard.d.ts.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Guard.d.ts","sourceRoot":"","sources":["../../src/Guard.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAElH;;GAEG;AACH,yBAAiB,KAAK,CAAC;IACrB;;OAEG;IACH,KAAY,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;IACzF;;OAEG;IACH,KAAY,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;IAC3F;;OAEG;IACH,KAAY,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;IACzF;;OAEG;IACH,KAAY,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;CAC3F;AAED;;GAEG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IAC/G,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;CAa3G,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACX,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GACpC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IACrE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;CAMrH,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAChF,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAM5E,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACX,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GACpC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IACrE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;CAMrH,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/F,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAK5F,CAAA;AAED;;GAEG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACzG,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3F,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACrG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAKxF,CAAA;AAED;;GAEG;AACH,wBAAgB,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EACtF,MAAM,EAAE,EAAE,GACT,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAY5F;AAED;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,mBAAmB,CACxG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAC1B,CAAA;AAED,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,KAAK,CAAA;AAE7G;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI;IACtF;SACG,CAAC,IAAI,MAAM,EAAE,GAAG;YAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;SAAE;KAC3E,CAAC,MAAM,EAAE,CAAC;CACZ,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAE/B;;GAEG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACjG,wBAAgB,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
|
package/dist/esm/Guard.js
DELETED
|
@@ -1,60 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* @since 1.18.0
|
|
3
|
-
*/
|
|
4
|
-
import * as Effect from "effect/Effect";
|
|
5
|
-
import { dual } from "effect/Function";
|
|
6
|
-
import * as Option from "effect/Option";
|
|
7
|
-
/**
|
|
8
|
-
* @since 1.18.0
|
|
9
|
-
*/
|
|
10
|
-
export const compose = dual(2, function flatMap(input, output) {
|
|
11
|
-
return (i) => Effect.flatMap(input(i), Option.match({
|
|
12
|
-
onNone: () => Effect.succeedNone,
|
|
13
|
-
onSome: output
|
|
14
|
-
}));
|
|
15
|
-
});
|
|
16
|
-
/**
|
|
17
|
-
* @since 1.18.0
|
|
18
|
-
*/
|
|
19
|
-
export const mapEffect = dual(2, function mapEffect(guard, f) {
|
|
20
|
-
return compose(guard, (o) => Effect.asSome(f(o)));
|
|
21
|
-
});
|
|
22
|
-
/**
|
|
23
|
-
* @since 1.18.0
|
|
24
|
-
*/
|
|
25
|
-
export const map = dual(2, function map(guard, f) {
|
|
26
|
-
return mapEffect(guard, (o) => Effect.sync(() => f(o)));
|
|
27
|
-
});
|
|
28
|
-
/**
|
|
29
|
-
* @since 1.18.0
|
|
30
|
-
*/
|
|
31
|
-
export const tap = dual(2, function tap(guard, f) {
|
|
32
|
-
return compose(guard, (o) => Effect.as(f(o), Option.some(o)));
|
|
33
|
-
});
|
|
34
|
-
/**
|
|
35
|
-
* @since 1.18.0
|
|
36
|
-
*/
|
|
37
|
-
export const filterMap = dual(2, (guard, f) => (i) => Effect.map(guard(i), Option.filterMap(f)));
|
|
38
|
-
/**
|
|
39
|
-
* @since 1.18.0
|
|
40
|
-
*/
|
|
41
|
-
export const filter = dual(2, (guard, predicate) => (i) => Effect.map(guard(i), Option.filter(predicate)));
|
|
42
|
-
/**
|
|
43
|
-
* @since 1.18.0
|
|
44
|
-
*/
|
|
45
|
-
export function any(guards) {
|
|
46
|
-
const entries = Object.entries(guards);
|
|
47
|
-
return (i) => Effect.gen(function* (_) {
|
|
48
|
-
for (const [_tag, guard] of entries) {
|
|
49
|
-
const match = yield* _(guard(i));
|
|
50
|
-
if (Option.isSome(match)) {
|
|
51
|
-
return Option.some({ _tag, value: match.value });
|
|
52
|
-
}
|
|
53
|
-
}
|
|
54
|
-
return Option.none();
|
|
55
|
-
});
|
|
56
|
-
}
|
|
57
|
-
export function liftPredicate(predicate) {
|
|
58
|
-
return (a) => Effect.sync(() => (predicate(a) ? Option.some(a) : Option.none()));
|
|
59
|
-
}
|
|
60
|
-
//# sourceMappingURL=Guard.js.map
|
package/dist/esm/Guard.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Guard.js","sourceRoot":"","sources":["../../src/Guard.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AA6BvC;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAGhB,IAAI,CAAC,CAAC,EAAE,SAAS,OAAO,CAC1B,KAAwB,EACxB,MAA2B;IAE3B,OAAO,CAAC,CAAC,EAAE,EAAE,CACX,MAAM,CAAC,OAAO,CACZ,KAAK,CAAC,CAAC,CAAC,EACR,MAAM,CAAC,KAAK,CAAC;QACX,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,WAAW;QAChC,MAAM,EAAE,MAAM;KACf,CAAC,CACH,CAAA;AACL,CAAC,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAKlB,IAAI,CAAC,CAAC,EAAE,SAAS,SAAS,CAC5B,KAAwB,EACxB,CAAqC;IAErC,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACnD,CAAC,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,GAAG,GAGZ,IAAI,CAAC,CAAC,EAAE,SAAS,GAAG,CACtB,KAAwB,EACxB,CAAc;IAEd,OAAO,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACzD,CAAC,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,GAAG,GAKZ,IAAI,CAAC,CAAC,EAAE,SAAS,GAAG,CACtB,KAAwB,EACxB,CAAqC;IAErC,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC/D,CAAC,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAGlB,IAAI,CACN,CAAC,EACD,CAAgB,KAAwB,EAAE,CAA6B,EAAqB,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACnG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAC5C,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAKf,IAAI,CACN,CAAC,EACD,CAAa,KAAwB,EAAE,SAA4B,EAAqB,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/F,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CACjD,CAAA;AAED;;GAEG;AACH,MAAM,UAAU,GAAG,CACjB,MAAU;IAEV,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,CAAC,CAAe,EAAE,EAAE,CACzB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAC,CAAC;QACpB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;YAChC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAmB,CAAC,CAAA;YACnE,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;IACtB,CAAC,CAAC,CAAA;AACN,CAAC;AAyBD,MAAM,UAAU,aAAa,CAAI,SAAiC;IAChE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAClF,CAAC"}
|
package/src/Guard.ts
DELETED
|
@@ -1,170 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* @since 1.18.0
|
|
3
|
-
*/
|
|
4
|
-
|
|
5
|
-
import type { Predicate } from "effect"
|
|
6
|
-
import * as Effect from "effect/Effect"
|
|
7
|
-
import { dual } from "effect/Function"
|
|
8
|
-
import * as Option from "effect/Option"
|
|
9
|
-
|
|
10
|
-
/**
|
|
11
|
-
* @since 1.18.0
|
|
12
|
-
*/
|
|
13
|
-
export type Guard<in I, out O, out E = never, out R = never> = (input: I) => Effect.Effect<Option.Option<O>, E, R>
|
|
14
|
-
|
|
15
|
-
/**
|
|
16
|
-
* @since 1.18.0
|
|
17
|
-
*/
|
|
18
|
-
export namespace Guard {
|
|
19
|
-
/**
|
|
20
|
-
* @since 1.18.0
|
|
21
|
-
*/
|
|
22
|
-
export type Input<T> = T extends Guard<infer I, infer _R, infer _E, infer _O> ? I : never
|
|
23
|
-
/**
|
|
24
|
-
* @since 1.18.0
|
|
25
|
-
*/
|
|
26
|
-
export type Context<T> = T extends Guard<infer _I, infer _O, infer _E, infer R> ? R : never
|
|
27
|
-
/**
|
|
28
|
-
* @since 1.18.0
|
|
29
|
-
*/
|
|
30
|
-
export type Error<T> = T extends Guard<infer _I, infer _O, infer E, infer _R> ? E : never
|
|
31
|
-
/**
|
|
32
|
-
* @since 1.18.0
|
|
33
|
-
*/
|
|
34
|
-
export type Output<T> = T extends Guard<infer _I, infer O, infer _E, infer _R> ? O : never
|
|
35
|
-
}
|
|
36
|
-
|
|
37
|
-
/**
|
|
38
|
-
* @since 1.18.0
|
|
39
|
-
*/
|
|
40
|
-
export const compose: {
|
|
41
|
-
<O, B, E2, R2>(output: Guard<O, B, E2, R2>): <I, R, E>(input: Guard<I, O, E, R>) => Guard<I, B, E | E2, R | R2>
|
|
42
|
-
<I, O, E, R, B, E2, R2>(input: Guard<I, O, E, R>, output: Guard<O, B, E2, R2>): Guard<I, B, E | E2, R | R2>
|
|
43
|
-
} = dual(2, function flatMap<I, O, E, R, B, E2, R2>(
|
|
44
|
-
input: Guard<I, O, E, R>,
|
|
45
|
-
output: Guard<O, B, E2, R2>
|
|
46
|
-
): Guard<I, B, E | E2, R | R2> {
|
|
47
|
-
return (i) =>
|
|
48
|
-
Effect.flatMap(
|
|
49
|
-
input(i),
|
|
50
|
-
Option.match({
|
|
51
|
-
onNone: () => Effect.succeedNone,
|
|
52
|
-
onSome: output
|
|
53
|
-
})
|
|
54
|
-
)
|
|
55
|
-
})
|
|
56
|
-
|
|
57
|
-
/**
|
|
58
|
-
* @since 1.18.0
|
|
59
|
-
*/
|
|
60
|
-
export const mapEffect: {
|
|
61
|
-
<O, B, E2, R2>(
|
|
62
|
-
f: (o: O) => Effect.Effect<B, E2, R2>
|
|
63
|
-
): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, B, E | E2, R | R2>
|
|
64
|
-
<I, O, E, R, B, E2, R2>(guard: Guard<I, O, E, R>, f: (o: O) => Effect.Effect<B, E2, R2>): Guard<I, B, E | E2, R | R2>
|
|
65
|
-
} = dual(2, function mapEffect<I, O, E, R, B, E2, R2>(
|
|
66
|
-
guard: Guard<I, O, E, R>,
|
|
67
|
-
f: (o: O) => Effect.Effect<B, E2, R2>
|
|
68
|
-
): Guard<I, B, E | E2, R | R2> {
|
|
69
|
-
return compose(guard, (o) => Effect.asSome(f(o)))
|
|
70
|
-
})
|
|
71
|
-
|
|
72
|
-
/**
|
|
73
|
-
* @since 1.18.0
|
|
74
|
-
*/
|
|
75
|
-
export const map: {
|
|
76
|
-
<O, B>(f: (o: O) => B): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, B, E, R>
|
|
77
|
-
<I, O, E, R, B>(guard: Guard<I, O, E, R>, f: (o: O) => B): Guard<I, B, E, R>
|
|
78
|
-
} = dual(2, function map<I, O, E, R, B>(
|
|
79
|
-
guard: Guard<I, O, E, R>,
|
|
80
|
-
f: (o: O) => B
|
|
81
|
-
): Guard<I, B, E, R> {
|
|
82
|
-
return mapEffect(guard, (o) => Effect.sync(() => f(o)))
|
|
83
|
-
})
|
|
84
|
-
|
|
85
|
-
/**
|
|
86
|
-
* @since 1.18.0
|
|
87
|
-
*/
|
|
88
|
-
export const tap: {
|
|
89
|
-
<O, B, E2, R2>(
|
|
90
|
-
f: (o: O) => Effect.Effect<B, E2, R2>
|
|
91
|
-
): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, O, E | E2, R | R2>
|
|
92
|
-
<I, O, E, R, B, E2, R2>(guard: Guard<I, O, E, R>, f: (o: O) => Effect.Effect<B, E2, R2>): Guard<I, O, E | E2, R | R2>
|
|
93
|
-
} = dual(2, function tap<I, O, E, R, B, E2, R2>(
|
|
94
|
-
guard: Guard<I, O, E, R>,
|
|
95
|
-
f: (o: O) => Effect.Effect<B, E2, R2>
|
|
96
|
-
): Guard<I, O, E | E2, R | R2> {
|
|
97
|
-
return compose(guard, (o) => Effect.as(f(o), Option.some(o)))
|
|
98
|
-
})
|
|
99
|
-
|
|
100
|
-
/**
|
|
101
|
-
* @since 1.18.0
|
|
102
|
-
*/
|
|
103
|
-
export const filterMap: {
|
|
104
|
-
<O, B>(f: (o: O) => Option.Option<B>): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, B, E, R>
|
|
105
|
-
<I, O, E, R, B>(guard: Guard<I, O, E, R>, f: (o: O) => Option.Option<B>): Guard<I, B, E, R>
|
|
106
|
-
} = dual(
|
|
107
|
-
2,
|
|
108
|
-
<I, O, E, R, B>(guard: Guard<I, O, E, R>, f: (o: O) => Option.Option<B>): Guard<I, B, E, R> => (i) =>
|
|
109
|
-
Effect.map(guard(i), Option.filterMap(f))
|
|
110
|
-
)
|
|
111
|
-
|
|
112
|
-
/**
|
|
113
|
-
* @since 1.18.0
|
|
114
|
-
*/
|
|
115
|
-
export const filter: {
|
|
116
|
-
<O, O2 extends O>(predicate: (o: O) => o is O2): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, O, E, R>
|
|
117
|
-
<O>(predicate: (o: O) => boolean): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, O, E, R>
|
|
118
|
-
<I, O, E, R, O2 extends O>(guard: Guard<I, O, E, R>, predicate: (o: O) => o is O2): Guard<I, O, E, R>
|
|
119
|
-
<I, O, E, R>(guard: Guard<I, O, E, R>, predicate: (o: O) => boolean): Guard<I, O, E, R>
|
|
120
|
-
} = dual(
|
|
121
|
-
2,
|
|
122
|
-
<I, O, E, R>(guard: Guard<I, O, E, R>, predicate: (o: O) => boolean): Guard<I, O, E, R> => (i) =>
|
|
123
|
-
Effect.map(guard(i), Option.filter(predicate))
|
|
124
|
-
)
|
|
125
|
-
|
|
126
|
-
/**
|
|
127
|
-
* @since 1.18.0
|
|
128
|
-
*/
|
|
129
|
-
export function any<const GS extends Readonly<Record<string, Guard<any, any, any, any>>>>(
|
|
130
|
-
guards: GS
|
|
131
|
-
): Guard<AnyInput<GS>, AnyOutput<GS>, Guard.Error<GS[keyof GS]>, Guard.Context<GS[keyof GS]>> {
|
|
132
|
-
const entries = Object.entries(guards)
|
|
133
|
-
return (i: AnyInput<GS>) =>
|
|
134
|
-
Effect.gen(function*(_) {
|
|
135
|
-
for (const [_tag, guard] of entries) {
|
|
136
|
-
const match = yield* _(guard(i))
|
|
137
|
-
if (Option.isSome(match)) {
|
|
138
|
-
return Option.some({ _tag, value: match.value } as AnyOutput<GS>)
|
|
139
|
-
}
|
|
140
|
-
}
|
|
141
|
-
return Option.none()
|
|
142
|
-
})
|
|
143
|
-
}
|
|
144
|
-
|
|
145
|
-
/**
|
|
146
|
-
* @since 1.18.0
|
|
147
|
-
*/
|
|
148
|
-
export type AnyInput<GS extends Readonly<Record<string, Guard<any, any, any, any>>>> = UnionToIntersection<
|
|
149
|
-
Guard.Input<GS[keyof GS]>
|
|
150
|
-
>
|
|
151
|
-
|
|
152
|
-
type UnionToIntersection<T> = (T extends any ? (x: T) => any : never) extends (x: infer R) => any ? R : never
|
|
153
|
-
|
|
154
|
-
/**
|
|
155
|
-
* @since 1.18.0
|
|
156
|
-
*/
|
|
157
|
-
export type AnyOutput<GS extends Readonly<Record<string, Guard<any, any, any, any>>>> = [
|
|
158
|
-
{
|
|
159
|
-
[K in keyof GS]: { readonly _tag: K; readonly value: Guard.Output<GS[K]> }
|
|
160
|
-
}[keyof GS]
|
|
161
|
-
] extends [infer R] ? R : never
|
|
162
|
-
|
|
163
|
-
/**
|
|
164
|
-
* @since 1.20.0
|
|
165
|
-
*/
|
|
166
|
-
export function liftPredicate<A, B extends A>(predicate: Predicate.Refinement<A, B>): Guard<A, B>
|
|
167
|
-
export function liftPredicate<A>(predicate: Predicate.Predicate<A>): Guard<A, A>
|
|
168
|
-
export function liftPredicate<A>(predicate: Predicate.Predicate<A>): Guard<A, A> {
|
|
169
|
-
return (a) => Effect.sync(() => (predicate(a) ? Option.some(a) : Option.none()))
|
|
170
|
-
}
|