effect 4.0.0-beta.21 → 4.0.0-beta.22

package/dist/unstable/schema/VariantSchema.js.map

@@ -1 +1 @@
-{"version":3,"file":"VariantSchema.js","names":["Effect","dual","Option","pipeArguments","Predicate","Schema","Getter","Transformation","Struct_","TypeId","cacheSymbol","Symbol","for","isStruct","u","hasProperty","FieldTypeId","isField","extract","args","self","variant","options","cache","cacheKey","isDefault","undefined","fields","key","Object","keys","value","isSchema","schemas","Struct","make","Class","identifier","annotations","variantStruct","schema","defaultVariant","SClass","Base","variants","defineProperty","annotate","id","title","FieldOnly","obj","Field","FieldExcept","includes","UnionVariants","members","Union","fieldEvolve","f","field","fromEntries","map","evolve","extractVariants","Override","Overrideable","pipe","decodeTo","optional","brand","toType","decode","passthrough","encode","o","isSome","succeed","asSome","defaultValue","StructProto","arguments","create","FieldProto","VariantUnion","filter","member"],"sources":["../../../src/unstable/schema/VariantSchema.ts"],"sourcesContent":[null],"mappings":"AAIA,OAAO,KAAKA,MAAM,MAAM,iBAAiB;AACzC,SAASC,IAAI,QAAQ,mBAAmB;AACxC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AACzC,SAAwBC,aAAa,QAAQ,mBAAmB;AAChE,OAAO,KAAKC,SAAS,MAAM,oBAAoB;AAC/C,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AAEzC,OAAO,KAAKC,MAAM,MAAM,uBAAuB;AAC/C,OAAO,KAAKC,cAAc,MAAM,+BAA+B;AAC/D,OAAO,KAAKC,OAAO,MAAM,iBAAiB;AAE1C;;;;AAIA,OAAO,MAAMC,MAAM,GAAG,uCAAuC;AAE7D,MAAMC,WAAW,gBAAGC,MAAM,CAACC,GAAG,CAAC,GAAGH,MAAM,QAAQ,CAAC;AAYjD;;;;AAIA,OAAO,MAAMI,QAAQ,GAAIC,CAAU,IAAuBV,SAAS,CAACW,WAAW,CAACD,CAAC,EAAEL,MAAM,CAAC;AAoC1F,MAAMO,WAAW,GAAG,6CAA6C;AAWjE;;;;AAIA,OAAO,MAAMC,OAAO,GAAIH,CAAU,IAAsBV,SAAS,CAACW,WAAW,CAACD,CAAC,EAAEE,WAAW,CAAC;AAoE7F,MAAME,OAAO,gBAUTjB,IAAI,CACLkB,IAAI,IAAKN,QAAQ,CAACM,IAAI,CAAC,CAAC,CAAC,CAAC,EAC3B,CACEC,IAAO,EACPC,OAAU,EACVC,OAEC,KACgB;EACjB,MAAMC,KAAK,GAAGH,IAAI,CAACV,WAAW,CAAC,KAAKU,IAAI,CAACV,WAAW,CAAC,GAAG,EAAE,CAAC;EAC3D,MAAMc,QAAQ,GAAGF,OAAO,EAAEG,SAAS,KAAK,IAAI,GAAG,WAAW,GAAGJ,OAAO;EACpE,IAAIE,KAAK,CAACC,QAAQ,CAAC,KAAKE,SAAS,EAAE;IACjC,OAAOH,KAAK,CAACC,QAAQ,CAAQ;EAC/B;EACA,MAAMG,MAAM,GAAwB,EAAE;EACtC,KAAK,MAAMC,GAAG,IAAIC,MAAM,CAACC,IAAI,CAACV,IAAI,CAACX,MAAM,CAAC,CAAC,EAAE;IAC3C,MAAMsB,KAAK,GAAGX,IAAI,CAACX,MAAM,CAAC,CAACmB,GAAG,CAAC;IAC/B,IAAInB,MAAM,IAAIsB,KAAK,EAAE;MACnB,IAAIT,OAAO,EAAEG,SAAS,KAAK,IAAI,IAAIpB,MAAM,CAAC2B,QAAQ,CAACD,KAAK,CAAC,EAAE;QACzDJ,MAAM,CAACC,GAAG,CAAC,GAAGG,KAAK;MACrB,CAAC,MAAM;QACLJ,MAAM,CAACC,GAAG,CAAC,GAAGV,OAAO,CAACa,KAAK,EAAEV,OAAO,CAAC;MACvC;IACF,CAAC,MAAM,IAAIL,WAAW,IAAIe,KAAK,EAAE;MAC/B,IAAIV,OAAO,IAAIU,KAAK,CAACE,OAAO,EAAE;QAC5BN,MAAM,CAACC,GAAG,CAAC,GAAGG,KAAK,CAACE,OAAO,CAACZ,OAAO,CAAC;MACtC;IACF,CAAC,MAAM;MACLM,MAAM,CAACC,GAAG,CAAC,GAAGG,KAAK;IACrB;EACF;EACA,OAAOR,KAAK,CAACC,QAAQ,CAAC,GAAGnB,MAAM,CAAC6B,MAAM,CAACP,MAAM,CAAQ;AACvD,CAAC,CACF;AAED;;;;AAIA,OAAO,MAAMA,MAAM,GAA2BP,IAAO,IAAuBA,IAAI,CAACX,MAAM,CAAC;AAgFxF;;;;AAIA,OAAO,MAAM0B,IAAI,GAGfb,OAGD,IAkFG;EACF,SAASc,KAAKA,CAAOC,UAAkB;IACrC,OAAO,UACLV,MAAqB,EACrBW,WAGC;MAED,MAAMC,aAAa,GAAGL,MAAM,CAACP,MAAM,CAAC;MACpC,MAAMa,MAAM,GAAGtB,OAAO,CAACqB,aAAa,EAAEjB,OAAO,CAACmB,cAAc,EAAE;QAC5DhB,SAAS,EAAE;OACZ,CAAC;MACF,MAAMiB,MAAM,GAAGrC,MAAM,CAAC+B,KAAY;MAClC,MAAMO,IAAK,SAAQD,MAAM,CAACL,UAAU,CAAC,CAACG,MAAM,CAACb,MAAM,EAAEW,WAAW,CAAC;QAC/D,QAAQ7B,MAAM,IAAIkB,MAAM;;MAE1B,KAAK,MAAMN,OAAO,IAAIC,OAAO,CAACsB,QAAQ,EAAE;QACtCf,MAAM,CAACgB,cAAc,CAACF,IAAI,EAAEtB,OAAO,EAAE;UACnCU,KAAK,EAAEb,OAAO,CAACqB,aAAa,EAAElB,OAAO,CAAC,CAACyB,QAAQ,CAAC;YAC9CC,EAAE,EAAE,GAAGV,UAAU,IAAIhB,OAAO,EAAE;YAC9B2B,KAAK,EAAE,GAAGX,UAAU,IAAIhB,OAAO;WAChC;SACF,CAAC;MACJ;MACA,OAAOsB,IAAI;IACb,CAAC;EACH;EACA,SAASM,SAASA,CAAqDnB,IAAU;IAC/E,OAAO,UAA+BU,MAAS;MAC7C,MAAMU,GAAG,GAAsB,EAAE;MACjC,KAAK,MAAMtB,GAAG,IAAIE,IAAI,EAAE;QACtBoB,GAAG,CAACtB,GAAG,CAAC,GAAGY,MAAM;MACnB;MACA,OAAOW,KAAK,CAACD,GAAG,CAAC;IACnB,CAAC;EACH;EACA,SAASE,WAAWA,CAAqDtB,IAAU;IACjF,OAAO,UAA+BU,MAAS;MAC7C,MAAMU,GAAG,GAAsB,EAAE;MACjC,KAAK,MAAM7B,OAAO,IAAIC,OAAO,CAACsB,QAAQ,EAAE;QACtC,IAAI,CAACd,IAAI,CAACuB,QAAQ,CAAChC,OAAO,CAAC,EAAE;UAC3B6B,GAAG,CAAC7B,OAAO,CAAC,GAAGmB,MAAM;QACvB;MACF;MACA,OAAOW,KAAK,CAACD,GAAG,CAAC;IACnB,CAAC;EACH;EACA,SAASI,aAAaA,CAACC,OAAmC;IACxD,OAAOC,KAAK,CAACD,OAAO,EAAEjC,OAAO,CAACsB,QAAQ,CAAC;EACzC;EACA,MAAMa,WAAW,GAAGxD,IAAI,CACtB,CAAC,EACD,CACEmB,IAA6B,EAC7BsC,CAAqD,KACvC;IACd,MAAMC,KAAK,GAAG1C,OAAO,CAACG,IAAI,CAAC,GAAGA,IAAI,GAAG+B,KAAK,CAACtB,MAAM,CAAC+B,WAAW,CAC3DtC,OAAO,CAACsB,QAAQ,CAACiB,GAAG,CAAExC,OAAO,IAAK,CAACA,OAAO,EAAED,IAAI,CAAC,CAAC,CACnD,CAAC;IACF,OAAO+B,KAAK,CAAC3C,OAAO,CAACsD,MAAM,CAACH,KAAK,CAAC1B,OAAO,EAAEyB,CAAC,CAAC,CAAC;EAChD,CAAC,CACF;EACD,MAAMK,eAAe,GAAG9D,IAAI,CAC1B,CAAC,EACD,CAACmB,IAAiB,EAAEC,OAAe,KACjCH,OAAO,CAACE,IAAI,EAAEC,OAAO,EAAE;IACrBI,SAAS,EAAEJ,OAAO,KAAKC,OAAO,CAACmB;GAChC,CAAC,CACL;EACD,OAAO;IACLP,MAAM;IACNiB,KAAK;IACLF,SAAS;IACTG,WAAW;IACXhB,KAAK;IACLoB,KAAK,EAAEF,aAAa;IACpBG,WAAW;IACX;IACAvC,OAAO,EAAE6C;GACH;AACV,CAAC;AAED;;;;AAIA,OAAO,MAAMC,QAAQ,GAAOjC,KAAQ,IAA4BA,KAAY;AA0B5E;;;;AAIA,OAAO,MAAMkC,YAAY,GAAGA,CAC1BzB,MAAS,EACTlB,OAEC,KAEDkB,MAAM,CAAC0B,IAAI,CACT7D,MAAM,CAAC8D,QAAQ,CACb9D,MAAM,CAAC+D,QAAQ,CAAC/D,MAAM,CAACgE,KAAK,CAAC,UAAU,CAAC,CAAChE,MAAM,CAACiE,MAAM,CAAC9B,MAAM,CAAC,CAAC,CAAC,EAChEjC,cAAc,CAAC4B,IAAI,CAAC;EAClBoC,MAAM,EAAEjE,MAAM,CAACkE,WAAW,EAAE;EAC5BC,MAAM,EAAE,IAAInE,MAAM,CAACA,MAAM,CAAEoE,CAAC,IAAI;IAC9B,IAAIxE,MAAM,CAACyE,MAAM,CAACD,CAAC,CAAC,IAAIA,CAAC,CAAC3C,KAAK,KAAKL,SAAS,EAAE;MAC7C,OAAO1B,MAAM,CAAC4E,OAAO,CAACF,CAAC,CAAC;IAC1B;IACA,OAAO1E,MAAM,CAAC6E,MAAM,CAACvD,OAAO,CAACwD,YAAY,CAAC;EAC5C,CAAC;CACF,CAAC,CACH,CACK;AAEV,MAAMC,WAAW,GAAG;EAClBb,IAAIA,CAAA;IACF,OAAO/D,aAAa,CAAC,IAAI,EAAE6E,SAAS,CAAC;EACvC;CACD;AAED,MAAM9C,MAAM,GAAkCP,MAAS,IAAe;EACpE,MAAMP,IAAI,GAAGS,MAAM,CAACoD,MAAM,CAACF,WAAW,CAAC;EACvC3D,IAAI,CAACX,MAAM,CAAC,GAAGkB,MAAM;EACrB,OAAOP,IAAI;AACb,CAAC;AAED,MAAM8D,UAAU,GAAG;EACjB,CAAClE,WAAW,GAAGA,WAAW;EAC1BkD,IAAIA,CAAA;IACF,OAAO/D,aAAa,CAAC,IAAI,EAAE6E,SAAS,CAAC;EACvC;CACD;AAED,MAAM7B,KAAK,GAAkClB,OAAU,IAAc;EACnE,MAAMb,IAAI,GAAGS,MAAM,CAACoD,MAAM,CAACC,UAAU,CAAC;EACtC9D,IAAI,CAACa,OAAO,GAAGA,OAAO;EACtB,OAAOb,IAAI;AACb,CAAC;AAED,MAAMoC,KAAK,GAAGA,CACZD,OAAgB,EAChBX,QAAkB,KAChB;EACF,MAAMuC,YAAa,SAAS9E,MAAM,CAACmD,KAAK,CAACD,OAAO,CAAC6B,MAAM,CAAEC,MAAM,IAAKhF,MAAM,CAAC2B,QAAQ,CAACqD,MAAM,CAAC,CAAC,CAAS;EACrG,KAAK,MAAMhE,OAAO,IAAIuB,QAAQ,EAAE;IAC9Bf,MAAM,CAACgB,cAAc,CAACsC,YAAY,EAAE9D,OAAO,EAAE;MAC3CU,KAAK,EAAE1B,MAAM,CAACmD,KAAK,CAACD,OAAO,CAACM,GAAG,CAAEwB,MAAM,IAAKnE,OAAO,CAACmE,MAAM,EAAEhE,OAAO,CAAC,CAAC;KACtE,CAAC;EACJ;EACA,OAAO8D,YAAY;AACrB,CAAC","ignoreList":[]}
+{"version":3,"file":"VariantSchema.js","names":["Effect","dual","Option","pipeArguments","Predicate","Schema","Getter","Transformation","Struct_","TypeId","cacheSymbol","Symbol","for","isStruct","u","hasProperty","FieldTypeId","isField","extract","args","self","variant","options","cache","cacheKey","isDefault","undefined","fields","key","Object","keys","value","isSchema","schemas","Struct","make","Class","identifier","annotations","variantStruct","schema","defaultVariant","SClass","Base","variants","defineProperty","annotate","id","title","FieldOnly","obj","Field","FieldExcept","includes","UnionVariants","members","Union","fieldEvolve","f","field","fromEntries","map","evolve","extractVariants","Override","Overrideable","pipe","decodeTo","optional","brand","toType","decode","passthrough","encode","o","isSome","succeed","asSome","defaultValue","StructProto","arguments","create","FieldProto","VariantUnion","filter","member"],"sources":["../../../src/unstable/schema/VariantSchema.ts"],"sourcesContent":[null],"mappings":"AAIA,OAAO,KAAKA,MAAM,MAAM,iBAAiB;AACzC,SAASC,IAAI,QAAQ,mBAAmB;AACxC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AACzC,SAAwBC,aAAa,QAAQ,mBAAmB;AAChE,OAAO,KAAKC,SAAS,MAAM,oBAAoB;AAC/C,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AAEzC,OAAO,KAAKC,MAAM,MAAM,uBAAuB;AAC/C,OAAO,KAAKC,cAAc,MAAM,+BAA+B;AAC/D,OAAO,KAAKC,OAAO,MAAM,iBAAiB;AAE1C;;;;AAIA,OAAO,MAAMC,MAAM,GAAG,8BAA8B;AAEpD,MAAMC,WAAW,gBAAGC,MAAM,CAACC,GAAG,CAAC,GAAGH,MAAM,QAAQ,CAAC;AAYjD;;;;AAIA,OAAO,MAAMI,QAAQ,GAAIC,CAAU,IAAuBV,SAAS,CAACW,WAAW,CAACD,CAAC,EAAEL,MAAM,CAAC;AAoC1F,MAAMO,WAAW,GAAG,oCAAoC;AAWxD;;;;AAIA,OAAO,MAAMC,OAAO,GAAIH,CAAU,IAAsBV,SAAS,CAACW,WAAW,CAACD,CAAC,EAAEE,WAAW,CAAC;AAoE7F,MAAME,OAAO,gBAUTjB,IAAI,CACLkB,IAAI,IAAKN,QAAQ,CAACM,IAAI,CAAC,CAAC,CAAC,CAAC,EAC3B,CACEC,IAAO,EACPC,OAAU,EACVC,OAEC,KACgB;EACjB,MAAMC,KAAK,GAAGH,IAAI,CAACV,WAAW,CAAC,KAAKU,IAAI,CAACV,WAAW,CAAC,GAAG,EAAE,CAAC;EAC3D,MAAMc,QAAQ,GAAGF,OAAO,EAAEG,SAAS,KAAK,IAAI,GAAG,WAAW,GAAGJ,OAAO;EACpE,IAAIE,KAAK,CAACC,QAAQ,CAAC,KAAKE,SAAS,EAAE;IACjC,OAAOH,KAAK,CAACC,QAAQ,CAAQ;EAC/B;EACA,MAAMG,MAAM,GAAwB,EAAE;EACtC,KAAK,MAAMC,GAAG,IAAIC,MAAM,CAACC,IAAI,CAACV,IAAI,CAACX,MAAM,CAAC,CAAC,EAAE;IAC3C,MAAMsB,KAAK,GAAGX,IAAI,CAACX,MAAM,CAAC,CAACmB,GAAG,CAAC;IAC/B,IAAInB,MAAM,IAAIsB,KAAK,EAAE;MACnB,IAAIT,OAAO,EAAEG,SAAS,KAAK,IAAI,IAAIpB,MAAM,CAAC2B,QAAQ,CAACD,KAAK,CAAC,EAAE;QACzDJ,MAAM,CAACC,GAAG,CAAC,GAAGG,KAAK;MACrB,CAAC,MAAM;QACLJ,MAAM,CAACC,GAAG,CAAC,GAAGV,OAAO,CAACa,KAAK,EAAEV,OAAO,CAAC;MACvC;IACF,CAAC,MAAM,IAAIL,WAAW,IAAIe,KAAK,EAAE;MAC/B,IAAIV,OAAO,IAAIU,KAAK,CAACE,OAAO,EAAE;QAC5BN,MAAM,CAACC,GAAG,CAAC,GAAGG,KAAK,CAACE,OAAO,CAACZ,OAAO,CAAC;MACtC;IACF,CAAC,MAAM;MACLM,MAAM,CAACC,GAAG,CAAC,GAAGG,KAAK;IACrB;EACF;EACA,OAAOR,KAAK,CAACC,QAAQ,CAAC,GAAGnB,MAAM,CAAC6B,MAAM,CAACP,MAAM,CAAQ;AACvD,CAAC,CACF;AAED;;;;AAIA,OAAO,MAAMA,MAAM,GAA2BP,IAAO,IAAuBA,IAAI,CAACX,MAAM,CAAC;AAgFxF;;;;AAIA,OAAO,MAAM0B,IAAI,GAGfb,OAGD,IAkFG;EACF,SAASc,KAAKA,CAAOC,UAAkB;IACrC,OAAO,UACLV,MAAqB,EACrBW,WAGC;MAED,MAAMC,aAAa,GAAGL,MAAM,CAACP,MAAM,CAAC;MACpC,MAAMa,MAAM,GAAGtB,OAAO,CAACqB,aAAa,EAAEjB,OAAO,CAACmB,cAAc,EAAE;QAC5DhB,SAAS,EAAE;OACZ,CAAC;MACF,MAAMiB,MAAM,GAAGrC,MAAM,CAAC+B,KAAY;MAClC,MAAMO,IAAK,SAAQD,MAAM,CAACL,UAAU,CAAC,CAACG,MAAM,CAACb,MAAM,EAAEW,WAAW,CAAC;QAC/D,QAAQ7B,MAAM,IAAIkB,MAAM;;MAE1B,KAAK,MAAMN,OAAO,IAAIC,OAAO,CAACsB,QAAQ,EAAE;QACtCf,MAAM,CAACgB,cAAc,CAACF,IAAI,EAAEtB,OAAO,EAAE;UACnCU,KAAK,EAAEb,OAAO,CAACqB,aAAa,EAAElB,OAAO,CAAC,CAACyB,QAAQ,CAAC;YAC9CC,EAAE,EAAE,GAAGV,UAAU,IAAIhB,OAAO,EAAE;YAC9B2B,KAAK,EAAE,GAAGX,UAAU,IAAIhB,OAAO;WAChC;SACF,CAAC;MACJ;MACA,OAAOsB,IAAI;IACb,CAAC;EACH;EACA,SAASM,SAASA,CAAqDnB,IAAU;IAC/E,OAAO,UAA+BU,MAAS;MAC7C,MAAMU,GAAG,GAAsB,EAAE;MACjC,KAAK,MAAMtB,GAAG,IAAIE,IAAI,EAAE;QACtBoB,GAAG,CAACtB,GAAG,CAAC,GAAGY,MAAM;MACnB;MACA,OAAOW,KAAK,CAACD,GAAG,CAAC;IACnB,CAAC;EACH;EACA,SAASE,WAAWA,CAAqDtB,IAAU;IACjF,OAAO,UAA+BU,MAAS;MAC7C,MAAMU,GAAG,GAAsB,EAAE;MACjC,KAAK,MAAM7B,OAAO,IAAIC,OAAO,CAACsB,QAAQ,EAAE;QACtC,IAAI,CAACd,IAAI,CAACuB,QAAQ,CAAChC,OAAO,CAAC,EAAE;UAC3B6B,GAAG,CAAC7B,OAAO,CAAC,GAAGmB,MAAM;QACvB;MACF;MACA,OAAOW,KAAK,CAACD,GAAG,CAAC;IACnB,CAAC;EACH;EACA,SAASI,aAAaA,CAACC,OAAmC;IACxD,OAAOC,KAAK,CAACD,OAAO,EAAEjC,OAAO,CAACsB,QAAQ,CAAC;EACzC;EACA,MAAMa,WAAW,GAAGxD,IAAI,CACtB,CAAC,EACD,CACEmB,IAA6B,EAC7BsC,CAAqD,KACvC;IACd,MAAMC,KAAK,GAAG1C,OAAO,CAACG,IAAI,CAAC,GAAGA,IAAI,GAAG+B,KAAK,CAACtB,MAAM,CAAC+B,WAAW,CAC3DtC,OAAO,CAACsB,QAAQ,CAACiB,GAAG,CAAExC,OAAO,IAAK,CAACA,OAAO,EAAED,IAAI,CAAC,CAAC,CACnD,CAAC;IACF,OAAO+B,KAAK,CAAC3C,OAAO,CAACsD,MAAM,CAACH,KAAK,CAAC1B,OAAO,EAAEyB,CAAC,CAAC,CAAC;EAChD,CAAC,CACF;EACD,MAAMK,eAAe,GAAG9D,IAAI,CAC1B,CAAC,EACD,CAACmB,IAAiB,EAAEC,OAAe,KACjCH,OAAO,CAACE,IAAI,EAAEC,OAAO,EAAE;IACrBI,SAAS,EAAEJ,OAAO,KAAKC,OAAO,CAACmB;GAChC,CAAC,CACL;EACD,OAAO;IACLP,MAAM;IACNiB,KAAK;IACLF,SAAS;IACTG,WAAW;IACXhB,KAAK;IACLoB,KAAK,EAAEF,aAAa;IACpBG,WAAW;IACX;IACAvC,OAAO,EAAE6C;GACH;AACV,CAAC;AAED;;;;AAIA,OAAO,MAAMC,QAAQ,GAAOjC,KAAQ,IAA4BA,KAAY;AA0B5E;;;;AAIA,OAAO,MAAMkC,YAAY,GAAGA,CAC1BzB,MAAS,EACTlB,OAEC,KAEDkB,MAAM,CAAC0B,IAAI,CACT7D,MAAM,CAAC8D,QAAQ,CACb9D,MAAM,CAAC+D,QAAQ,CAAC/D,MAAM,CAACgE,KAAK,CAAC,UAAU,CAAC,CAAChE,MAAM,CAACiE,MAAM,CAAC9B,MAAM,CAAC,CAAC,CAAC,EAChEjC,cAAc,CAAC4B,IAAI,CAAC;EAClBoC,MAAM,EAAEjE,MAAM,CAACkE,WAAW,EAAE;EAC5BC,MAAM,EAAE,IAAInE,MAAM,CAACA,MAAM,CAAEoE,CAAC,IAAI;IAC9B,IAAIxE,MAAM,CAACyE,MAAM,CAACD,CAAC,CAAC,IAAIA,CAAC,CAAC3C,KAAK,KAAKL,SAAS,EAAE;MAC7C,OAAO1B,MAAM,CAAC4E,OAAO,CAACF,CAAC,CAAC;IAC1B;IACA,OAAO1E,MAAM,CAAC6E,MAAM,CAACvD,OAAO,CAACwD,YAAY,CAAC;EAC5C,CAAC;CACF,CAAC,CACH,CACK;AAEV,MAAMC,WAAW,GAAG;EAClBb,IAAIA,CAAA;IACF,OAAO/D,aAAa,CAAC,IAAI,EAAE6E,SAAS,CAAC;EACvC;CACD;AAED,MAAM9C,MAAM,GAAkCP,MAAS,IAAe;EACpE,MAAMP,IAAI,GAAGS,MAAM,CAACoD,MAAM,CAACF,WAAW,CAAC;EACvC3D,IAAI,CAACX,MAAM,CAAC,GAAGkB,MAAM;EACrB,OAAOP,IAAI;AACb,CAAC;AAED,MAAM8D,UAAU,GAAG;EACjB,CAAClE,WAAW,GAAGA,WAAW;EAC1BkD,IAAIA,CAAA;IACF,OAAO/D,aAAa,CAAC,IAAI,EAAE6E,SAAS,CAAC;EACvC;CACD;AAED,MAAM7B,KAAK,GAAkClB,OAAU,IAAc;EACnE,MAAMb,IAAI,GAAGS,MAAM,CAACoD,MAAM,CAACC,UAAU,CAAC;EACtC9D,IAAI,CAACa,OAAO,GAAGA,OAAO;EACtB,OAAOb,IAAI;AACb,CAAC;AAED,MAAMoC,KAAK,GAAGA,CACZD,OAAgB,EAChBX,QAAkB,KAChB;EACF,MAAMuC,YAAY,GAAG9E,MAAM,CAACmD,KAAK,CAACD,OAAO,CAAC6B,MAAM,CAAEC,MAAM,IAAKhF,MAAM,CAAC2B,QAAQ,CAACqD,MAAM,CAAC,CAAC,CAAQ;EAC7F,KAAK,MAAMhE,OAAO,IAAIuB,QAAQ,EAAE;IAC9Bf,MAAM,CAACgB,cAAc,CAACsC,YAAY,EAAE9D,OAAO,EAAE;MAC3CU,KAAK,EAAE1B,MAAM,CAACmD,KAAK,CAACD,OAAO,CAACM,GAAG,CAAEwB,MAAM,IAAKnE,OAAO,CAACmE,MAAM,EAAEhE,OAAO,CAAC,CAAC;KACtE,CAAC;EACJ;EACA,OAAO8D,YAAY;AACrB,CAAC","ignoreList":[]}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "effect",
   "type": "module",
-  "version": "4.0.0-beta.21",
+  "version": "4.0.0-beta.22",
   "license": "MIT",
   "description": "The missing standard library for TypeScript, for writing production-grade software.",
   "homepage": "https://effect.website",

package/src/Array.ts

@@ -85,7 +85,6 @@
  */
 import * as Equal from "./Equal.ts"
 import * as Equivalence from "./Equivalence.ts"
-import type * as Filter from "./Filter.ts"
 import type { LazyArg } from "./Function.ts"
 import { dual, identity } from "./Function.ts"
 import type { TypeLambda } from "./HKT.ts"
@@ -2144,7 +2143,7 @@ export const takeWhileFilter: {
    * @category getters
    * @since 4.0.0
    */
-  <A, B, X>(f: Filter.Filter<NoInfer<A>, B, X, [i: number]>): (self: Iterable<A>) => Array<B>
+  <A, B, X>(f: (input: NoInfer<A>, i: number) => Result.Result<B, X>): (self: Iterable<A>) => Array<B>
   /**
    * Takes elements from the start while a `Filter` succeeds, collecting transformed values.
    *
@@ -2154,8 +2153,11 @@ export const takeWhileFilter: {
    * @category getters
    * @since 4.0.0
    */
-  <A, B, X>(self: Iterable<A>, f: Filter.Filter<A, B, X, [i: number]>): Array<B>
-} = dual(2, <A, B, X>(self: Iterable<A>, f: Filter.Filter<A, B, X, [i: number]>): Array<B> => {
+  <A, B, X>(
+    self: Iterable<A>,
+    f: (input: NoInfer<A>, i: number) => Result.Result<B, X>
+  ): Array<B>
+} = dual(2, <A, B, X>(self: Iterable<A>, f: (input: NoInfer<A>, i: number) => Result.Result<B, X>): Array<B> => {
   let i = 0
   const out: Array<B> = []
   for (const a of self) {
@@ -2535,7 +2537,7 @@ export const dropWhileFilter: {
    * @category getters
    * @since 4.0.0
    */
-  <A, B, X>(f: Filter.Filter<NoInfer<A>, B, X, [i: number]>): (self: Iterable<A>) => Array<A>
+  <A, B, X>(f: (input: NoInfer<A>, i: number) => Result.Result<B, X>): (self: Iterable<A>) => Array<A>
   /**
    * Drops elements from the start while a `Filter` succeeds.
    *
@@ -2545,10 +2547,10 @@ export const dropWhileFilter: {
    * @category getters
    * @since 4.0.0
    */
-  <A, B, X>(self: Iterable<A>, f: Filter.Filter<A, B, X, [i: number]>): Array<A>
+  <A, B, X>(self: Iterable<A>, f: (input: A, i: number) => Result.Result<B, X>): Array<A>
 } = dual(
   2,
-  <A, B, X>(self: Iterable<A>, f: Filter.Filter<A, B, X, [i: number]>): Array<A> => {
+  <A, B, X>(self: Iterable<A>, f: (input: A, i: number) => Result.Result<B, X>): Array<A> => {
     const input = fromIterable(self)
     let i = 0
     while (i < input.length) {
@@ -6410,7 +6412,7 @@ export const filterMap: {
    * @category filtering
    * @since 4.0.0
    */
-  <A, B, X>(f: Filter.Filter<NoInfer<A>, B, X, [i: number]>): (self: Iterable<A>) => Array<B>
+  <A, B, X>(f: (input: NoInfer<A>, i: number) => Result.Result<B, X>): (self: Iterable<A>) => Array<B>
   /**
    * Keeps transformed values for elements where a `Filter` succeeds.
    *
@@ -6431,8 +6433,8 @@ export const filterMap: {
    * @category filtering
    * @since 4.0.0
    */
-  <A, B, X>(self: Iterable<A>, f: Filter.Filter<A, B, X, [i: number]>): Array<B>
-} = dual(2, <A, B, X>(self: Iterable<A>, f: Filter.Filter<A, B, X, [i: number]>): Array<B> => {
+  <A, B, X>(self: Iterable<A>, f: (input: A, i: number) => Result.Result<B, X>): Array<B>
+} = dual(2, <A, B, X>(self: Iterable<A>, f: (input: A, i: number) => Result.Result<B, X>): Array<B> => {
   const as = fromIterable(self)
   const out: Array<B> = []
   for (let i = 0; i < as.length; i++) {
@@ -6605,7 +6607,7 @@ export const partition: {
    * @category filtering
    * @since 2.0.0
    */
-  <A, Pass, Fail>(f: Filter.Filter<NoInfer<A>, Pass, Fail, [i: number]>): (self: Iterable<A>) => [excluded: Array<Fail>, satisfying: Array<Pass>]
+  <A, Pass, Fail>(f: (input: NoInfer<A>, i: number) => Result.Result<Pass, Fail>): (self: Iterable<A>) => [excluded: Array<Fail>, satisfying: Array<Pass>]
   /**
    * Splits an iterable using a `Filter` into failures and successes.
    *
@@ -6629,12 +6631,12 @@ export const partition: {
    * @category filtering
    * @since 2.0.0
    */
-  <A, Pass, Fail>(self: Iterable<A>, f: Filter.Filter<A, Pass, Fail, [i: number]>): [excluded: Array<Fail>, satisfying: Array<Pass>]
+  <A, Pass, Fail>(self: Iterable<A>, f: (input: A, i: number) => Result.Result<Pass, Fail>): [excluded: Array<Fail>, satisfying: Array<Pass>]
 } = dual(
   2,
   <A, Pass, Fail>(
     self: Iterable<A>,
-    f: Filter.Filter<A, Pass, Fail, [i: number]>
+    f: (input: A, i: number) => Result.Result<Pass, Fail>
   ): [excluded: Array<Fail>, satisfying: Array<Pass>] => {
     const excluded: Array<Fail> = []
     const satisfying: Array<Pass> = []

package/src/Chunk.ts

@@ -1564,7 +1564,7 @@ export const filterMap: {
    * @since 2.0.0
    * @category filtering
    */
-  <A, B, X>(f: Filter.Filter<A, B, X, [i: number]>): (self: Chunk<A>) => Chunk<B>
+  <A, B, X>(f: (input: A, i: number) => Result<B, X>): (self: Chunk<A>) => Chunk<B>
   /**
    * Returns a filtered and mapped subset of the elements.
    *
@@ -1591,10 +1591,10 @@ export const filterMap: {
    * @since 2.0.0
    * @category filtering
    */
-  <A, B, X>(self: Chunk<A>, f: Filter.Filter<A, B, X, [i: number]>): Chunk<B>
+  <A, B, X>(self: Chunk<A>, f: (input: A, i: number) => Result<B, X>): Chunk<B>
 } = dual(
   2,
-  <A, B, X>(self: Chunk<A>, f: Filter.Filter<A, B, X, [i: number]>): Chunk<B> => {
+  <A, B, X>(self: Chunk<A>, f: (input: A, i: number) => Result<B, X>): Chunk<B> => {
     const as = RA.fromIterable(self)
     const out: Array<B> = []
     for (let i = 0; i < as.length; i++) {
@@ -2821,7 +2821,7 @@ export const partition: {
    * @category filtering
    * @since 2.0.0
    */
-  <A, Pass, Fail>(f: Filter.Filter<NoInfer<A>, Pass, Fail, [i: number]>): (self: Chunk<A>) => [excluded: Chunk<Fail>, satisfying: Chunk<Pass>]
+  <A, Pass, Fail>(f: (input: NoInfer<A>, i: number) => Result<Pass, Fail>): (self: Chunk<A>) => [excluded: Chunk<Fail>, satisfying: Chunk<Pass>]
   /**
    * Splits a chunk using a `Filter` into failures and successes.
    *
@@ -2843,12 +2843,12 @@ export const partition: {
    * @category filtering
    * @since 2.0.0
    */
-  <A, Pass, Fail>(self: Chunk<A>, f: Filter.Filter<A, Pass, Fail, [i: number]>): [excluded: Chunk<Fail>, satisfying: Chunk<Pass>]
+  <A, Pass, Fail>(self: Chunk<A>, f: (input: A, i: number) => Result<Pass, Fail>): [excluded: Chunk<Fail>, satisfying: Chunk<Pass>]
 } = dual(
   2,
   <A, Pass, Fail>(
     self: Chunk<A>,
-    f: Filter.Filter<A, Pass, Fail, [i: number]>
+    f: (input: A, i: number) => Result<Pass, Fail>
   ): [excluded: Chunk<Fail>, satisfying: Chunk<Pass>] => {
     const [excluded, satisfying] = RA.partition(self, f)
     return [fromArrayUnsafe(excluded), fromArrayUnsafe(satisfying)]

package/src/Duration.ts

@@ -611,8 +611,8 @@ export const weeks = (weeks: number): Duration => make(weeks * 604_800_000)
  * @since 2.0.0
  * @category getters
  */
-export const toMillis = (self: Input): number =>
-  match(fromInputUnsafe(self), {
+export const toMillis = (self: Duration): number =>
+  match(self, {
     onMillis: identity,
     onNanos: (nanos) => Number(nanos) / 1_000_000,
     onInfinity: () => Infinity,

package/src/Effect.ts

@@ -1146,7 +1146,9 @@ export const findFirstFilter: {
    * @since 4.0.0
    * @category Collecting
    */
-  <A, B, X, E, R>(filter: Filter.FilterEffect<NoInfer<A>, B, X, E, R, [i: number]>): (elements: Iterable<A>) => Effect<Option<B>, E, R>
+  <A, B, X, E, R>(
+    filter: (input: NoInfer<A>, i: number) => Effect<Result.Result<B, X>, E, R>
+  ): (elements: Iterable<A>) => Effect<Option<B>, E, R>
   /**
    * Returns the first value that passes an effectful `FilterEffect`.
    *
@@ -1158,7 +1160,7 @@ export const findFirstFilter: {
    */
   <A, B, X, E, R>(
     elements: Iterable<A>,
-    filter: Filter.FilterEffect<NoInfer<A>, B, X, E, R, [i: number]>
+    filter: (input: NoInfer<A>, i: number) => Effect<Result.Result<B, X>, E, R>
   ): Effect<Option<B>, E, R>
 } = internal.findFirstFilter
 

package/src/Filter.ts

@@ -29,8 +29,8 @@ import type { EqualsWith, ExcludeTag, ExtractReason, ExtractTag, ReasonTags, Tag
  * @since 4.0.0
  * @category Models
  */
-export interface Filter<in Input, out Pass = Input, out Fail = Input, in Args extends ReadonlyArray<any> = []> {
-  (input: Input, ...args: Args): Result.Result<Pass, Fail>
+export interface Filter<in Input, out Pass = Input, out Fail = Input> {
+  (input: Input): Result.Result<Pass, Fail>
 }
 
 /**
@@ -68,10 +68,9 @@ export interface FilterEffect<
   out Pass,
   out Fail,
   out E = never,
-  out R = never,
-  in Args extends Array<any> = []
+  out R = never
 > {
-  (input: Input, ...args: Args): Effect<Result.Result<Pass, Fail>, E, R>
+  (input: Input): Effect<Result.Result<Pass, Fail>, E, R>
 }
 
 // -------------------------------------------------------------------------------------

package/src/HashMap.ts

@@ -3,11 +3,11 @@
  */
 
 import type { Equal } from "./Equal.ts"
-import type * as Filter from "./Filter.ts"
 import type { Inspectable } from "./Inspectable.ts"
 import * as internal from "./internal/hashMap.ts"
 import type { Option } from "./Option.ts"
 import type { Pipeable } from "./Pipeable.ts"
+import type { Result } from "./Result.ts"
 import type { NoInfer } from "./Types.ts"
 
 const TypeId = internal.HashMapTypeId
@@ -2058,7 +2058,7 @@ export const filterMap: {
    * @since 2.0.0
    * @category filtering
    */
-  <A, K, B, X>(f: Filter.Filter<A, B, X, [key: K]>): (self: HashMap<K, A>) => HashMap<K, B>
+  <A, K, B, X>(f: (input: A, key: K) => Result<B, X>): (self: HashMap<K, A>) => HashMap<K, B>
   /**
    * Maps over the entries of the `HashMap` using the specified filter and keeps
    * only successful results.
@@ -2082,7 +2082,7 @@ export const filterMap: {
    * @since 2.0.0
    * @category filtering
    */
-  <K, A, B, X>(self: HashMap<K, A>, f: Filter.Filter<A, B, X, [key: K]>): HashMap<K, B>
+  <K, A, B, X>(self: HashMap<K, A>, f: (input: A, key: K) => Result<B, X>): HashMap<K, B>
 } = internal.filterMap
 
 /**

package/src/Iterable.ts

@@ -32,7 +32,6 @@
 
 import type { NonEmptyArray } from "./Array.ts"
 import * as Equal from "./Equal.ts"
-import type * as Filter from "./Filter.ts"
 import { dual } from "./Function.ts"
 import type { Option } from "./Option.ts"
 import * as O from "./Option.ts"
@@ -3205,7 +3204,7 @@ export const filterMap: {
    * @category filtering
    * @since 2.0.0
    */
-  <A, B, X>(f: Filter.Filter<A, B, X, [i: number]>): (self: Iterable<A>) => Iterable<B>
+  <A, B, X>(f: (input: A, i: number) => Result<B, X>): (self: Iterable<A>) => Iterable<B>
   /**
    * Transforms elements of an iterable using a function that returns a `Result`, keeping only successful values.
    *
@@ -3251,10 +3250,10 @@ export const filterMap: {
    * @category filtering
    * @since 2.0.0
    */
-  <A, B, X>(self: Iterable<A>, f: Filter.Filter<A, B, X, [i: number]>): Iterable<B>
+  <A, B, X>(self: Iterable<A>, f: (input: A, i: number) => Result<B, X>): Iterable<B>
 } = dual(
   2,
-  <A, B, X>(self: Iterable<A>, f: Filter.Filter<A, B, X, [i: number]>): Iterable<B> => ({
+  <A, B, X>(self: Iterable<A>, f: (input: A, i: number) => Result<B, X>): Iterable<B> => ({
     [Symbol.iterator]() {
       const iterator = self[Symbol.iterator]()
       let i = 0
@@ -3348,7 +3347,7 @@ export const filterMapWhile: {
    * @category filtering
    * @since 2.0.0
    */
-  <A, B, X>(f: Filter.Filter<A, B, X, [i: number]>): (self: Iterable<A>) => Iterable<B>
+  <A, B, X>(f: (input: A, i: number) => Result<B, X>): (self: Iterable<A>) => Iterable<B>
   /**
    * Transforms all elements of the `Iterable` for as long as the specified function succeeds.
    *
@@ -3385,8 +3384,8 @@ export const filterMapWhile: {
    * @category filtering
    * @since 2.0.0
    */
-  <A, B, X>(self: Iterable<A>, f: Filter.Filter<A, B, X, [i: number]>): Iterable<B>
-} = dual(2, <A, B, X>(self: Iterable<A>, f: Filter.Filter<A, B, X, [i: number]>) => ({
+  <A, B, X>(self: Iterable<A>, f: (input: A, i: number) => Result<B, X>): Iterable<B>
+} = dual(2, <A, B, X>(self: Iterable<A>, f: (input: A, i: number) => Result<B, X>) => ({
   [Symbol.iterator]() {
     const iterator = self[Symbol.iterator]()
     let i = 0

package/src/Record.ts

@@ -7,7 +7,6 @@
 import type * as Combiner from "./Combiner.ts"
 import * as Equal from "./Equal.ts"
 import type { Equivalence } from "./Equivalence.ts"
-import type * as Filter from "./Filter.ts"
 import { dual, identity } from "./Function.ts"
 import type { TypeLambda } from "./HKT.ts"
 import * as Option from "./Option.ts"
@@ -1037,7 +1036,7 @@ export const filterMap: {
    * @category filtering
    * @since 2.0.0
    */
-  <K extends string, A, B, X>(f: Filter.Filter<A, B, X, [key: K]>): (self: ReadonlyRecord<K, A>) => Record<ReadonlyRecord.NonLiteralKey<K>, B>
+  <K extends string, A, B, X>(f: (input: A, key: K) => Result<B, X>): (self: ReadonlyRecord<K, A>) => Record<ReadonlyRecord.NonLiteralKey<K>, B>
   /**
    * Transforms a record by applying the function `f` to each key and value in the original record.
    * If the function succeeds, the key-value pair is included in the output record.
@@ -1055,12 +1054,12 @@ export const filterMap: {
    * @category filtering
    * @since 2.0.0
    */
-  <K extends string, A, B, X>(self: ReadonlyRecord<K, A>, f: Filter.Filter<A, B, X, [key: K]>): Record<ReadonlyRecord.NonLiteralKey<K>, B>
+  <K extends string, A, B, X>(self: ReadonlyRecord<K, A>, f: (input: A, key: K) => Result<B, X>): Record<ReadonlyRecord.NonLiteralKey<K>, B>
 } = dual(
   2,
   <K extends string, A, B, X>(
     self: ReadonlyRecord<K, A>,
-    f: Filter.Filter<A, B, X, [key: K]>
+    f: (input: A, key: K) => Result<B, X>
   ): Record<ReadonlyRecord.NonLiteralKey<K>, B> => {
     const out: Record<string, B> = empty()
     for (const key of keys(self)) {
@@ -1304,7 +1303,7 @@ export const partition: {
    * @category filtering
    * @since 2.0.0
    */
-  <K extends string, A, B, C>(f: Filter.Filter<A, C, B, [key: K]>): (
+  <K extends string, A, B, C>(f: (input: A, key: K) => Result<C, B>): (
     self: ReadonlyRecord<K, A>
   ) => [left: Record<ReadonlyRecord.NonLiteralKey<K>, B>, right: Record<ReadonlyRecord.NonLiteralKey<K>, C>]
   /**
@@ -1323,12 +1322,12 @@ export const partition: {
    * @category filtering
    * @since 2.0.0
    */
-  <K extends string, A, B, C>(self: ReadonlyRecord<K, A>, f: Filter.Filter<A, C, B, [key: K]>): [left: Record<ReadonlyRecord.NonLiteralKey<K>, B>, right: Record<ReadonlyRecord.NonLiteralKey<K>, C>]
+  <K extends string, A, B, C>(self: ReadonlyRecord<K, A>, f: (input: A, key: K) => Result<C, B>): [left: Record<ReadonlyRecord.NonLiteralKey<K>, B>, right: Record<ReadonlyRecord.NonLiteralKey<K>, C>]
 } = dual(
   2,
   <K extends string, A, B, C>(
     self: ReadonlyRecord<K, A>,
-    f: Filter.Filter<A, C, B, [key: K]>
+    f: (input: A, key: K) => Result<C, B>
   ): [left: Record<ReadonlyRecord.NonLiteralKey<K>, B>, right: Record<ReadonlyRecord.NonLiteralKey<K>, C>] => {
     const left: Record<string, B> = empty()
     const right: Record<string, C> = empty()

package/src/Runtime.ts

@@ -29,7 +29,7 @@
 import * as Cause from "effect/Cause"
 import * as Effect from "effect/Effect"
 import * as Exit from "effect/Exit"
-import { dual } from "effect/Function"
+import { constVoid, dual } from "effect/Function"
 import type * as Fiber from "./Fiber.ts"
 
 /**
@@ -212,6 +212,12 @@ export const makeRunMain = (
           return Effect.logError(cause)
         })
       )
+    try {
+      const keepAlive = globalThis.setInterval(constVoid, 2_147_483_647)
+      fiber.addObserver(() => {
+        clearInterval(keepAlive)
+      })
+    } catch {}
     const teardown = options?.teardown ?? defaultTeardown
     return f({ fiber, teardown })
   })

package/src/Stream.ts

@@ -963,6 +963,10 @@ export const fromIteratorSucceed = <A>(iterator: IterableIterator<A>, maxChunkSi
 /**
  * Creates a new `Stream` from an iterable collection of values.
  *
+ * **Options**
+ *
+ * - `chunkSize`: Maximum number of values emitted per chunk.
+ *
  * @example
  * ```ts
  * import { Console, Effect, Stream } from "effect"
@@ -982,10 +986,15 @@ export const fromIteratorSucceed = <A>(iterator: IterableIterator<A>, maxChunkSi
  * @since 2.0.0
  * @category Constructors
  */
-export const fromIterable = <A>(iterable: Iterable<A>): Stream<A> =>
-  Array.isArray(iterable)
+export const fromIterable = <A>(
+  iterable: Iterable<A>,
+  options?: {
+    readonly chunkSize?: number | undefined
+  }
+): Stream<A> =>
+  Array.isArray(iterable) && options?.chunkSize === undefined
     ? fromArray(iterable)
-    : fromChannel(Channel.fromIterableArray(iterable))
+    : fromChannel(Channel.fromIterableArray(iterable, options?.chunkSize))
 
 /**
  * Creates a stream from an effect producing an iterable of values.

package/src/Trie.ts

@@ -16,11 +16,11 @@
  * @since 2.0.0
  */
 import type { Equal } from "./Equal.ts"
-import type * as Filter from "./Filter.ts"
 import type { Inspectable } from "./Inspectable.ts"
 import * as TR from "./internal/trie.ts"
 import type { Option } from "./Option.ts"
 import type { Pipeable } from "./Pipeable.ts"
+import type { Result } from "./Result.ts"
 import type { Covariant, NoInfer } from "./Types.ts"
 
 const TypeId = TR.TrieTypeId
@@ -1585,7 +1585,7 @@ export const filterMap: {
    * @since 2.0.0
    * @category filtering
    */
-  <A, B, X>(f: Filter.Filter<A, B, X, [key: string]>): (self: Trie<A>) => Trie<B>
+  <A, B, X>(f: (input: A, key: string) => Result<B, X>): (self: Trie<A>) => Trie<B>
   /**
    * Maps over the entries of the `Trie` using the specified filter and keeps
    * only successful results.
@@ -1634,7 +1634,7 @@ export const filterMap: {
    * @since 2.0.0
    * @category filtering
    */
-  <A, B, X>(self: Trie<A>, f: Filter.Filter<A, B, X, [key: string]>): Trie<B>
+  <A, B, X>(self: Trie<A>, f: (input: A, key: string) => Result<B, X>): Trie<B>
 } = TR.filterMap
 
 /**

package/src/TxHashMap.ts

@@ -3,7 +3,6 @@
  */
 
 import * as Effect from "./Effect.ts"
-import type * as Filter from "./Filter.ts"
 import { format } from "./Formatter.ts"
 import { dual } from "./Function.ts"
 import * as HashMap from "./HashMap.ts"
@@ -12,6 +11,7 @@ import { NodeInspectSymbol, toJson } from "./Inspectable.ts"
 import * as Option from "./Option.ts"
 import type { Pipeable } from "./Pipeable.ts"
 import { pipeArguments } from "./Pipeable.ts"
+import type { Result } from "./Result.ts"
 import * as TxRef from "./TxRef.ts"
 
 const TypeId = "~effect/transactions/TxHashMap"
@@ -2835,7 +2835,7 @@ export const filterMap: {
    * @since 2.0.0
    * @category combinators
    */
-  <V, K, A, X>(f: Filter.Filter<V, A, X, [key: K]>): (self: TxHashMap<K, V>) => Effect.Effect<TxHashMap<K, A>, never, Effect.Transaction>
+  <V, K, A, X>(f: (input: V, key: K) => Result<A, X>): (self: TxHashMap<K, V>) => Effect.Effect<TxHashMap<K, A>, never, Effect.Transaction>
   /**
    * Combines filtering and mapping in a single operation. Applies a filter to each
    * entry, keeping only successful results and transforming them.
@@ -2893,12 +2893,12 @@ export const filterMap: {
    * @since 2.0.0
    * @category combinators
    */
-  <K, V, A, X>(self: TxHashMap<K, V>, f: Filter.Filter<V, A, X, [key: K]>): Effect.Effect<TxHashMap<K, A>, never, Effect.Transaction>
+  <K, V, A, X>(self: TxHashMap<K, V>, f: (input: V, key: K) => Result<A, X>): Effect.Effect<TxHashMap<K, A>, never, Effect.Transaction>
 } = dual(
   2,
   <K, V, A, X>(
     self: TxHashMap<K, V>,
-    f: Filter.Filter<V, A, X, [key: K]>
+    f: (input: V, key: K) => Result<A, X>
   ): Effect.Effect<TxHashMap<K, A>, never, Effect.Transaction> =>
     Effect.gen(function*() {
       const currentMap = yield* TxRef.get(self.ref)