effect 2.2.0 → 2.2.2

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.
Files changed (120) hide show
  1. package/dist/cjs/Cause.js.map +1 -1
  2. package/dist/cjs/Effect.js.map +1 -1
  3. package/dist/cjs/Either.js +1 -1
  4. package/dist/cjs/Either.js.map +1 -1
  5. package/dist/cjs/Exit.js.map +1 -1
  6. package/dist/cjs/HashMap.js.map +1 -1
  7. package/dist/cjs/HashSet.js.map +1 -1
  8. package/dist/cjs/List.js.map +1 -1
  9. package/dist/cjs/ReadonlyArray.js.map +1 -1
  10. package/dist/cjs/ReadonlyRecord.js.map +1 -1
  11. package/dist/cjs/STM.js.map +1 -1
  12. package/dist/cjs/internal/cause.js.map +1 -1
  13. package/dist/cjs/internal/channel.js +3 -3
  14. package/dist/cjs/internal/channel.js.map +1 -1
  15. package/dist/cjs/internal/core-effect.js +7 -7
  16. package/dist/cjs/internal/core-effect.js.map +1 -1
  17. package/dist/cjs/internal/core.js +1 -1
  18. package/dist/cjs/internal/core.js.map +1 -1
  19. package/dist/cjs/internal/groupBy.js.map +1 -1
  20. package/dist/cjs/internal/hashMap.js.map +1 -1
  21. package/dist/cjs/internal/hashSet.js.map +1 -1
  22. package/dist/cjs/internal/scopedRef.js +4 -5
  23. package/dist/cjs/internal/scopedRef.js.map +1 -1
  24. package/dist/cjs/internal/stm/stm.js.map +1 -1
  25. package/dist/cjs/internal/stream.js +1 -4
  26. package/dist/cjs/internal/stream.js.map +1 -1
  27. package/dist/cjs/internal/trie.js.map +1 -1
  28. package/dist/cjs/internal/version.js +1 -1
  29. package/dist/dts/Cause.d.ts +6 -4
  30. package/dist/dts/Cause.d.ts.map +1 -1
  31. package/dist/dts/Chunk.d.ts +16 -16
  32. package/dist/dts/Chunk.d.ts.map +1 -1
  33. package/dist/dts/Effect.d.ts +31 -31
  34. package/dist/dts/Effect.d.ts.map +1 -1
  35. package/dist/dts/Either.d.ts +9 -9
  36. package/dist/dts/Either.d.ts.map +1 -1
  37. package/dist/dts/Exit.d.ts +3 -2
  38. package/dist/dts/Exit.d.ts.map +1 -1
  39. package/dist/dts/GroupBy.d.ts +6 -6
  40. package/dist/dts/GroupBy.d.ts.map +1 -1
  41. package/dist/dts/HashMap.d.ts +5 -4
  42. package/dist/dts/HashMap.d.ts.map +1 -1
  43. package/dist/dts/HashSet.d.ts +6 -5
  44. package/dist/dts/HashSet.d.ts.map +1 -1
  45. package/dist/dts/List.d.ts +9 -8
  46. package/dist/dts/List.d.ts.map +1 -1
  47. package/dist/dts/Option.d.ts +7 -7
  48. package/dist/dts/Option.d.ts.map +1 -1
  49. package/dist/dts/ReadonlyArray.d.ts +25 -23
  50. package/dist/dts/ReadonlyArray.d.ts.map +1 -1
  51. package/dist/dts/ReadonlyRecord.d.ts +5 -4
  52. package/dist/dts/ReadonlyRecord.d.ts.map +1 -1
  53. package/dist/dts/STM.d.ts +28 -26
  54. package/dist/dts/STM.d.ts.map +1 -1
  55. package/dist/dts/SortedSet.d.ts +3 -3
  56. package/dist/dts/SortedSet.d.ts.map +1 -1
  57. package/dist/dts/Stream.d.ts +37 -37
  58. package/dist/dts/Stream.d.ts.map +1 -1
  59. package/dist/dts/Trie.d.ts +4 -4
  60. package/dist/dts/Trie.d.ts.map +1 -1
  61. package/dist/dts/internal/hashMap.d.ts.map +1 -1
  62. package/dist/dts/internal/stm/stm.d.ts.map +1 -1
  63. package/dist/dts/internal/version.d.ts +1 -1
  64. package/dist/esm/Cause.js.map +1 -1
  65. package/dist/esm/Effect.js.map +1 -1
  66. package/dist/esm/Either.js +1 -1
  67. package/dist/esm/Either.js.map +1 -1
  68. package/dist/esm/Exit.js.map +1 -1
  69. package/dist/esm/HashMap.js.map +1 -1
  70. package/dist/esm/HashSet.js.map +1 -1
  71. package/dist/esm/List.js.map +1 -1
  72. package/dist/esm/ReadonlyArray.js.map +1 -1
  73. package/dist/esm/ReadonlyRecord.js.map +1 -1
  74. package/dist/esm/STM.js.map +1 -1
  75. package/dist/esm/internal/cause.js.map +1 -1
  76. package/dist/esm/internal/channel.js +3 -3
  77. package/dist/esm/internal/channel.js.map +1 -1
  78. package/dist/esm/internal/core-effect.js +7 -7
  79. package/dist/esm/internal/core-effect.js.map +1 -1
  80. package/dist/esm/internal/core.js +1 -1
  81. package/dist/esm/internal/core.js.map +1 -1
  82. package/dist/esm/internal/groupBy.js.map +1 -1
  83. package/dist/esm/internal/hashMap.js.map +1 -1
  84. package/dist/esm/internal/hashSet.js.map +1 -1
  85. package/dist/esm/internal/scopedRef.js +4 -5
  86. package/dist/esm/internal/scopedRef.js.map +1 -1
  87. package/dist/esm/internal/stm/stm.js.map +1 -1
  88. package/dist/esm/internal/stream.js +1 -4
  89. package/dist/esm/internal/stream.js.map +1 -1
  90. package/dist/esm/internal/trie.js.map +1 -1
  91. package/dist/esm/internal/version.js +1 -1
  92. package/package.json +1 -1
  93. package/src/Cause.ts +6 -4
  94. package/src/Chunk.ts +20 -20
  95. package/src/Effect.ts +67 -72
  96. package/src/Either.ts +17 -21
  97. package/src/Exit.ts +3 -2
  98. package/src/GroupBy.ts +6 -6
  99. package/src/HashMap.ts +5 -4
  100. package/src/HashSet.ts +8 -7
  101. package/src/List.ts +11 -10
  102. package/src/Option.ts +8 -8
  103. package/src/ReadonlyArray.ts +44 -38
  104. package/src/ReadonlyRecord.ts +13 -10
  105. package/src/STM.ts +47 -46
  106. package/src/SortedSet.ts +5 -5
  107. package/src/Stream.ts +51 -51
  108. package/src/Trie.ts +4 -4
  109. package/src/internal/cause.ts +16 -7
  110. package/src/internal/channel.ts +21 -17
  111. package/src/internal/core-effect.ts +160 -162
  112. package/src/internal/core.ts +30 -34
  113. package/src/internal/groupBy.ts +2 -1
  114. package/src/internal/hashMap.ts +5 -4
  115. package/src/internal/hashSet.ts +9 -8
  116. package/src/internal/scopedRef.ts +34 -54
  117. package/src/internal/stm/stm.ts +104 -124
  118. package/src/internal/stream.ts +106 -97
  119. package/src/internal/trie.ts +3 -2
  120. package/src/internal/version.ts +1 -1
@@ -1 +1 @@
1
- {"version":3,"file":"trie.js","names":["Equal","dual","identity","pipe","Hash","format","NodeInspectSymbol","toJSON","Option","pipeArguments","hasProperty","TrieSymbolKey","TrieTypeId","Symbol","for","trieVariance","_Value","_","TrieProto","iterator","TrieIterator","k","v","symbol","hash","item","combine","that","isTrie","entries","Array","from","every","itemSelf","i","itemThat","equals","toString","_id","values","map","arguments","makeImpl","root","trie","Object","create","_root","_count","count","f","filter","stack","constructor","undefined","push","next","length","node","keyString","isAdded","pop","value","key","done","addToStack","right","mid","left","u","empty","fromIterable","insert","make","self","dStack","nStack","n","cIndex","c","s","n2","d","size","isEmpty","keys","reduce","zero","accumulator","entry","filterMap","option","isSome","compact","forEach","keysWithPrefix","prefix","startsWith","valuesWithPrefix","entriesWithPrefix","toEntriesWithPrefix","get","none","fromNullable","has","unsafeGet","element","isNone","Error","remove","removeNode","child","nc","removeMany","insertMany","iter","modify","updateNode","longestPrefixOf","longestPrefixNode","slice"],"sources":["../../../src/internal/trie.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,KAAK,MAAM,aAAa;AACpC,SAASC,IAAI,EAAEC,QAAQ,EAAEC,IAAI,QAAQ,gBAAgB;AACrD,OAAO,KAAKC,IAAI,MAAM,YAAY;AAClC,SAASC,MAAM,EAAEC,iBAAiB,EAAEC,MAAM,QAAQ,mBAAmB;AACrE,OAAO,KAAKC,MAAM,MAAM,cAAc;AAEtC,SAASC,aAAa,QAAQ,gBAAgB;AAC9C,SAASC,WAAW,QAAQ,iBAAiB;AAG7C,MAAMC,aAAa,GAAG,aAAa;AAEnC;AACA,OAAO,MAAMC,UAAU,gBAAcC,MAAM,CAACC,GAAG,CAACH,aAAa,CAAc;AAY3E,MAAMI,YAAY,GAAG;EACnB;EACAC,MAAM,EAAGC,CAAQ,IAAKA;CACvB;AAED,MAAMC,SAAS,GAAqB;EAClC,CAACN,UAAU,GAAGG,YAAY;EAC1B,CAACF,MAAM,CAACM,QAAQ,IAAC;IACf,OAAO,IAAIC,YAAY,CAAC,IAAI,EAAE,CAACC,CAAC,EAAEC,CAAC,KAAK,CAACD,CAAC,EAAEC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC;EAC7D,CAAC;EACD,CAAClB,IAAI,CAACmB,MAAM,IAAC;IACX,IAAIC,IAAI,GAAGpB,IAAI,CAACoB,IAAI,CAACb,aAAa,CAAC;IACnC,KAAK,MAAMc,IAAI,IAAI,IAAI,EAAE;MACvBD,IAAI,IAAIrB,IAAI,CAACC,IAAI,CAACoB,IAAI,CAACC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAErB,IAAI,CAACsB,OAAO,CAACtB,IAAI,CAACoB,IAAI,CAACC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE;IACA,OAAOD,IAAI;EACb,CAAC;EACD,CAACxB,KAAK,CAACuB,MAAM,EAAwBI,IAAa;IAChD,IAAIC,MAAM,CAACD,IAAI,CAAC,EAAE;MAChB,MAAME,OAAO,GAAGC,KAAK,CAACC,IAAI,CAACJ,IAAI,CAAC;MAChC,OAAOG,KAAK,CAACC,IAAI,CAAC,IAAI,CAAC,CAACC,KAAK,CAAC,CAACC,QAAQ,EAAEC,CAAC,KAAI;QAC5C,MAAMC,QAAQ,GAAGN,OAAO,CAACK,CAAC,CAAC;QAC3B,OAAOlC,KAAK,CAACoC,MAAM,CAACH,QAAQ,CAAC,CAAC,CAAC,EAAEE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAInC,KAAK,CAACoC,MAAM,CAACH,QAAQ,CAAC,CAAC,CAAC,EAAEE,QAAQ,CAAC,CAAC,CAAC,CAAC;MACzF,CAAC,CAAC;IACJ;IACA,OAAO,KAAK;EACd,CAAC;EACDE,QAAQA,CAAA;IACN,OAAOhC,MAAM,CAAC,IAAI,CAACE,MAAM,EAAE,CAAC;EAC9B,CAAC;EACDA,MAAMA,CAAA;IACJ,OAAO;MACL+B,GAAG,EAAE,MAAM;MACXC,MAAM,EAAET,KAAK,CAACC,IAAI,CAAC,IAAI,CAAC,CAACS,GAAG,CAACjC,MAAM;KACpC;EACH,CAAC;EACD,CAACD,iBAAiB,IAAC;IACjB,OAAO,IAAI,CAACC,MAAM,EAAE;EACtB,CAAC;EACDJ,IAAIA,CAAA;IACF,OAAOM,aAAa,CAAC,IAAI,EAAEgC,SAAS,CAAC;EACvC;CACD;AAED,MAAMC,QAAQ,GAAOC,IAAyB,IAAiB;EAC7D,MAAMC,IAAI,GAAGC,MAAM,CAACC,MAAM,CAAC5B,SAAS,CAAC;EACrC0B,IAAI,CAACG,KAAK,GAAGJ,IAAI;EACjBC,IAAI,CAACI,MAAM,GAAGL,IAAI,EAAEM,KAAK,IAAI,CAAC;EAC9B,OAAOL,IAAI;AACb,CAAC;AAED,MAAMxB,YAAY;EAILwB,IAAA;EACAM,CAAA;EACAC,MAAA;EALXC,KAAK,GAAsC,EAAE;EAE7CC,YACWT,IAAiB,EACjBM,CAA6B,EAC7BC,MAAkC;IAFlC,KAAAP,IAAI,GAAJA,IAAI;IACJ,KAAAM,CAAC,GAADA,CAAC;IACD,KAAAC,MAAM,GAANA,MAAM;IAEf,MAAMR,IAAI,GAAGC,IAAI,CAACG,KAAK,KAAKO,SAAS,GAAGV,IAAI,CAACG,KAAK,GAAGO,SAAS;IAC9D,IAAIX,IAAI,KAAKW,SAAS,EAAE;MACtB,IAAI,CAACF,KAAK,CAACG,IAAI,CAAC,CAACZ,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACpC;EACF;EAEAa,IAAIA,CAAA;IACF,OAAO,IAAI,CAACJ,KAAK,CAACK,MAAM,GAAG,CAAC,EAAE;MAC5B,MAAM,CAACC,IAAI,EAAEC,SAAS,EAAEC,OAAO,CAAC,GAAG,IAAI,CAACR,KAAK,CAACS,GAAG,EAAG;MAEpD,IAAID,OAAO,EAAE;QACX,MAAME,KAAK,GAAGJ,IAAI,CAACI,KAAK;QACxB,IAAIA,KAAK,KAAKR,SAAS,EAAE;UACvB,MAAMS,GAAG,GAAGJ,SAAS,GAAGD,IAAI,CAACK,GAAG;UAChC,IAAI,IAAI,CAACZ,MAAM,CAACY,GAAG,EAAED,KAAK,CAAC,EAAE;YAC3B,OAAO;cAAEE,IAAI,EAAE,KAAK;cAAEF,KAAK,EAAE,IAAI,CAACZ,CAAC,CAACa,GAAG,EAAED,KAAK;YAAC,CAAE;UACnD;QACF;MACF,CAAC,MAAM;QACL,IAAI,CAACG,UAAU,CAACP,IAAI,EAAEC,SAAS,CAAC;MAClC;IACF;IAEA,OAAO;MAAEK,IAAI,EAAE,IAAI;MAAEF,KAAK,EAAER;IAAS,CAAE;EACzC;EAEAW,UAAUA,CAACP,IAAa,EAAEC,SAAiB;IACzC,IAAID,IAAI,CAACQ,KAAK,KAAKZ,SAAS,EAAE;MAC5B,IAAI,CAACF,KAAK,CAACG,IAAI,CAAC,CAACG,IAAI,CAACQ,KAAK,EAAEP,SAAS,EAAE,KAAK,CAAC,CAAC;IACjD;IACA,IAAID,IAAI,CAACS,GAAG,KAAKb,SAAS,EAAE;MAC1B,IAAI,CAACF,KAAK,CAACG,IAAI,CAAC,CAACG,IAAI,CAACS,GAAG,EAAER,SAAS,GAAGD,IAAI,CAACK,GAAG,EAAE,KAAK,CAAC,CAAC;IAC1D;IACA,IAAI,CAACX,KAAK,CAACG,IAAI,CAAC,CAACG,IAAI,EAAEC,SAAS,EAAE,IAAI,CAAC,CAAC;IACxC,IAAID,IAAI,CAACU,IAAI,KAAKd,SAAS,EAAE;MAC3B,IAAI,CAACF,KAAK,CAACG,IAAI,CAAC,CAACG,IAAI,CAACU,IAAI,EAAET,SAAS,EAAE,KAAK,CAAC,CAAC;IAChD;EACF;EAEA,CAAC9C,MAAM,CAACM,QAAQ,IAAC;IACf,OAAO,IAAIC,YAAY,CAAC,IAAI,CAACwB,IAAI,EAAE,IAAI,CAACM,CAAC,EAAE,IAAI,CAACC,MAAM,CAAC;EACzD;;AAGF;AACA,OAAO,MAAMvB,MAAM,GAGdyC,CAAU,IAA4B3D,WAAW,CAAC2D,CAAC,EAAEzD,UAAU,CAAC;AAErE;AACA,OAAO,MAAM0D,KAAK,GAAGA,CAAA,KAA6B5B,QAAQ,CAAIY,SAAS,CAAC;AAExE;AACA,OAAO,MAAMiB,YAAY,GAAO1C,OAAuC,IAAI;EACzE,IAAIe,IAAI,GAAG0B,KAAK,EAAK;EACrB,KAAK,MAAM,CAACP,GAAG,EAAED,KAAK,CAAC,IAAIjC,OAAO,EAAE;IAClCe,IAAI,GAAG4B,MAAM,CAAC5B,IAAI,EAAEmB,GAAG,EAAED,KAAK,CAAC;EACjC;EACA,OAAOlB,IAAI;AACb,CAAC;AAED;AACA,OAAO,MAAM6B,IAAI,GAAGA,CAAgD,GAAG5C,OAAgB,KAEnF;EACF,OAAO0C,YAAY,CAAC1C,OAAO,CAAC;AAC9B,CAAC;AAED;AACA,OAAO,MAAM2C,MAAM,gBAAGvE,IAAI,CAGxB,CAAC,EAAE,CAAIyE,IAAgB,EAAEX,GAAW,EAAED,KAAQ,KAAI;EAClD,IAAIC,GAAG,CAACN,MAAM,KAAK,CAAC,EAAE,OAAOiB,IAAI;EAEjC;EACA,MAAMC,MAAM,GAA6B,EAAE;EAC3C,MAAMC,MAAM,GAAmB,EAAE;EACjC,IAAIC,CAAC,GAAaH,IAAoB,CAAC3B,KAAK,IAAI;IAC9CgB,GAAG,EAAEA,GAAG,CAAC,CAAC,CAAC;IACXd,KAAK,EAAE;GACR;EACD,MAAMA,KAAK,GAAG4B,CAAC,CAAC5B,KAAK,GAAG,CAAC;EACzB,IAAI6B,MAAM,GAAG,CAAC;EAEd,OAAOA,MAAM,GAAGf,GAAG,CAACN,MAAM,EAAE;IAC1B,MAAMsB,CAAC,GAAGhB,GAAG,CAACe,MAAM,CAAC;IACrBF,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;IACd,IAAIE,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACbY,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;MACd,IAAIsB,CAAC,CAACX,KAAK,KAAKZ,SAAS,EAAE;QACzBuB,CAAC,GAAG;UAAEd,GAAG,EAAEgB,CAAC;UAAE9B;QAAK,CAAE;MACvB,CAAC,MAAM;QACL4B,CAAC,GAAGA,CAAC,CAACX,KAAK;MACb;IACF,CAAC,MAAM,IAAIa,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACpBY,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC,CAAC;MACf,IAAIsB,CAAC,CAACT,IAAI,KAAKd,SAAS,EAAE;QACxBuB,CAAC,GAAG;UAAEd,GAAG,EAAEgB,CAAC;UAAE9B;QAAK,CAAE;MACvB,CAAC,MAAM;QACL4B,CAAC,GAAGA,CAAC,CAACT,IAAI;MACZ;IACF,CAAC,MAAM;MACL,IAAIU,MAAM,KAAKf,GAAG,CAACN,MAAM,GAAG,CAAC,EAAE;QAC7BoB,CAAC,CAACf,KAAK,GAAGA,KAAK;MACjB,CAAC,MAAM,IAAIe,CAAC,CAACV,GAAG,KAAKb,SAAS,EAAE;QAC9BqB,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;QACdsB,CAAC,GAAG;UAAEd,GAAG,EAAEA,GAAG,CAACe,MAAM,GAAG,CAAC,CAAC;UAAE7B;QAAK,CAAE;MACrC,CAAC,MAAM;QACL0B,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;QACdsB,CAAC,GAAGA,CAAC,CAACV,GAAG;MACX;MAEAW,MAAM,IAAI,CAAC;IACb;EACF;EAEA;EACA,KAAK,IAAIE,CAAC,GAAGJ,MAAM,CAACnB,MAAM,GAAG,CAAC,EAAEuB,CAAC,IAAI,CAAC,EAAE,EAAEA,CAAC,EAAE;IAC3C,MAAMC,EAAE,GAAGL,MAAM,CAACI,CAAC,CAAC;IACpB,MAAME,CAAC,GAAGP,MAAM,CAACK,CAAC,CAAC;IACnB,IAAIE,CAAC,KAAK,CAAC,CAAC,EAAE;MACZ;MACAN,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK;QACLa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEQ,MAAM,CAACI,CAAC,GAAG,CAAC,CAAC;QACnBb,GAAG,EAAEc,EAAE,CAACd,GAAG;QACXD,KAAK,EAAEe,EAAE,CAACf;OACX;IACH,CAAC,MAAM,IAAIgB,CAAC,KAAK,CAAC,EAAE;MAClB;MACAN,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK;QACLa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEa,EAAE,CAACb,IAAI;QACbD,GAAG,EAAEc,EAAE,CAACd,GAAG;QACXD,KAAK,EAAEU,MAAM,CAACI,CAAC,GAAG,CAAC;OACpB;IACH,CAAC,MAAM;MACL;MACAJ,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK;QACLa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEa,EAAE,CAACb,IAAI;QACbD,GAAG,EAAES,MAAM,CAACI,CAAC,GAAG,CAAC,CAAC;QAClBd,KAAK,EAAEe,EAAE,CAACf;OACX;IACH;EACF;EAEAU,MAAM,CAAC,CAAC,CAAC,CAAC3B,KAAK,GAAGA,KAAK;EACvB,OAAOP,QAAQ,CAACkC,MAAM,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC,CAAC;AAEF;AACA,OAAO,MAAMO,IAAI,GAAOT,IAAgB,IAAcA,IAAoB,CAAC3B,KAAK,EAAEE,KAAK,IAAI,CAAC;AAE5F;AACA,OAAO,MAAMmC,OAAO,GAAOV,IAAgB,IAAcS,IAAI,CAACT,IAAI,CAAC,KAAK,CAAC;AAEzE;AACA,OAAO,MAAMW,IAAI,GAAOX,IAAgB,IACtC,IAAItD,YAAY,CAACsD,IAAmB,EAAGX,GAAG,IAAKA,GAAG,EAAE,MAAM,IAAI,CAAC;AAEjE;AACA,OAAO,MAAMxB,MAAM,GAAOmC,IAAgB,IACxC,IAAItD,YAAY,CAACsD,IAAmB,EAAE,CAACzD,CAAC,EAAE6C,KAAK,KAAKA,KAAK,EAAE,MAAM,IAAI,CAAC;AAExE;AACA,OAAO,MAAMjC,OAAO,GAAO6C,IAAgB,IACzC,IAAItD,YAAY,CAACsD,IAAmB,EAAE,CAACX,GAAG,EAAED,KAAK,KAAK,CAACC,GAAG,EAAED,KAAK,CAAC,EAAE,MAAM,IAAI,CAAC;AAEjF;AACA,OAAO,MAAMwB,MAAM,gBAAGrF,IAAI,CAMxB,CAAC,EAAE,CAACyE,IAAI,EAAEa,IAAI,EAAErC,CAAC,KAAI;EACrB,IAAIsC,WAAW,GAAGD,IAAI;EACtB,KAAK,MAAME,KAAK,IAAIf,IAAI,EAAE;IACxBc,WAAW,GAAGtC,CAAC,CAACsC,WAAW,EAAEC,KAAK,CAAC,CAAC,CAAC,EAAEA,KAAK,CAAC,CAAC,CAAC,CAAC;EAClD;EACA,OAAOD,WAAW;AACpB,CAAC,CAAC;AAEF;AACA,OAAO,MAAMhD,GAAG,gBAAGvC,IAAI,CAGrB,CAAC,EAAE,CAACyE,IAAI,EAAExB,CAAC,KACXoC,MAAM,CACJZ,IAAI,EACJJ,KAAK,EAAE,EACP,CAAC1B,IAAI,EAAEkB,KAAK,EAAEC,GAAG,KAAKS,MAAM,CAAC5B,IAAI,EAAEmB,GAAG,EAAEb,CAAC,CAACY,KAAK,EAAEC,GAAG,CAAC,CAAC,CACvD,CAAC;AAEJ;AACA,OAAO,MAAMZ,MAAM,gBAKflD,IAAI,CACN,CAAC,EACD,CAAIyE,IAAgB,EAAExB,CAA+B,KACnDoC,MAAM,CACJZ,IAAI,EACJJ,KAAK,EAAE,EACP,CAAC1B,IAAI,EAAEkB,KAAK,EAAEC,GAAG,KAAKb,CAAC,CAACY,KAAK,EAAEC,GAAG,CAAC,GAAGS,MAAM,CAAC5B,IAAI,EAAEmB,GAAG,EAAED,KAAK,CAAC,GAAGlB,IAAI,CACtE,CACJ;AAED;AACA,OAAO,MAAM8C,SAAS,gBAAGzF,IAAI,CAK3B,CAAC,EAAE,CAACyE,IAAI,EAAExB,CAAC,KACXoC,MAAM,CACJZ,IAAI,EACJJ,KAAK,EAAE,EACP,CAAC1B,IAAI,EAAEkB,KAAK,EAAEC,GAAG,KAAI;EACnB,MAAM4B,MAAM,GAAGzC,CAAC,CAACY,KAAK,EAAEC,GAAG,CAAC;EAC5B,OAAOvD,MAAM,CAACoF,MAAM,CAACD,MAAM,CAAC,GAAGnB,MAAM,CAAC5B,IAAI,EAAEmB,GAAG,EAAE4B,MAAM,CAAC7B,KAAK,CAAC,GAAGlB,IAAI;AACvE,CAAC,CACF,CAAC;AAEJ;AACA,OAAO,MAAMiD,OAAO,GAAOnB,IAA+B,IAAKgB,SAAS,CAAChB,IAAI,EAAExE,QAAQ,CAAC;AAExF;AACA,OAAO,MAAM4F,OAAO,gBAAG7F,IAAI,CAGzB,CAAC,EAAE,CAACyE,IAAI,EAAExB,CAAC,KAAKoC,MAAM,CAACZ,IAAI,EAAE,KAAK,CAAS,EAAE,CAACzD,CAAC,EAAE6C,KAAK,EAAEC,GAAG,KAAKb,CAAC,CAACY,KAAK,EAAEC,GAAG,CAAC,CAAC,CAAC;AAEjF;AACA,OAAO,MAAMgC,cAAc,gBAAG9F,IAAI,CAIhC,CAAC,EACD,CAAIyE,IAAgB,EAAEsB,MAAc,KAClC,IAAI5E,YAAY,CAACsD,IAAmB,EAAGX,GAAG,IAAKA,GAAG,EAAGA,GAAG,IAAKA,GAAG,CAACkC,UAAU,CAACD,MAAM,CAAC,CAAC,CACvF;AAED;AACA,OAAO,MAAME,gBAAgB,gBAAGjG,IAAI,CAIlC,CAAC,EACD,CAAIyE,IAAgB,EAAEsB,MAAc,KAClC,IAAI5E,YAAY,CAACsD,IAAmB,EAAE,CAACzD,CAAC,EAAE6C,KAAK,KAAKA,KAAK,EAAGC,GAAG,IAAKA,GAAG,CAACkC,UAAU,CAACD,MAAM,CAAC,CAAC,CAC9F;AAED;AACA,OAAO,MAAMG,iBAAiB,gBAAGlG,IAAI,CAInC,CAAC,EACD,CAAIyE,IAAgB,EAAEsB,MAAc,KAClC,IAAI5E,YAAY,CAACsD,IAAmB,EAAE,CAACX,GAAG,EAAED,KAAK,KAAK,CAACC,GAAG,EAAED,KAAK,CAAC,EAAGC,GAAG,IAAKA,GAAG,CAACkC,UAAU,CAACD,MAAM,CAAC,CAAC,CACvG;AAED;AACA,OAAO,MAAMI,mBAAmB,gBAAGnG,IAAI,CAIrC,CAAC,EACD,CAAIyE,IAAgB,EAAEsB,MAAc,KAAyBlE,KAAK,CAACC,IAAI,CAACoE,iBAAiB,CAACzB,IAAI,EAAEsB,MAAM,CAAC,CAAC,CACzG;AAED;AACA,OAAO,MAAMK,GAAG,gBAAGpG,IAAI,CAIrB,CAAC,EACD,CAAIyE,IAAgB,EAAEX,GAAW,KAAI;EACnC,IAAIc,CAAC,GAAyBH,IAAoB,CAAC3B,KAAK;EACxD,IAAI8B,CAAC,KAAKvB,SAAS,IAAIS,GAAG,CAACN,MAAM,KAAK,CAAC,EAAE,OAAOjD,MAAM,CAAC8F,IAAI,EAAE;EAC7D,IAAIxB,MAAM,GAAG,CAAC;EACd,OAAOA,MAAM,GAAGf,GAAG,CAACN,MAAM,EAAE;IAC1B,MAAMsB,CAAC,GAAGhB,GAAG,CAACe,MAAM,CAAC;IACrB,IAAIC,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACb,IAAIc,CAAC,CAACX,KAAK,KAAKZ,SAAS,EAAE;QACzB,OAAO9C,MAAM,CAAC8F,IAAI,EAAE;MACtB,CAAC,MAAM;QACLzB,CAAC,GAAGA,CAAC,CAACX,KAAK;MACb;IACF,CAAC,MAAM,IAAIa,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACpB,IAAIc,CAAC,CAACT,IAAI,KAAKd,SAAS,EAAE;QACxB,OAAO9C,MAAM,CAAC8F,IAAI,EAAE;MACtB,CAAC,MAAM;QACLzB,CAAC,GAAGA,CAAC,CAACT,IAAI;MACZ;IACF,CAAC,MAAM;MACL,IAAIU,MAAM,KAAKf,GAAG,CAACN,MAAM,GAAG,CAAC,EAAE;QAC7B,OAAOjD,MAAM,CAAC+F,YAAY,CAAC1B,CAAC,CAACf,KAAK,CAAC;MACrC,CAAC,MAAM;QACL,IAAIe,CAAC,CAACV,GAAG,KAAKb,SAAS,EAAE;UACvB,OAAO9C,MAAM,CAAC8F,IAAI,EAAE;QACtB,CAAC,MAAM;UACLzB,CAAC,GAAGA,CAAC,CAACV,GAAG;UACTW,MAAM,IAAI,CAAC;QACb;MACF;IACF;EACF;EACA,OAAOtE,MAAM,CAAC8F,IAAI,EAAE;AACtB,CAAC,CACF;AAED;AACA,OAAO,MAAME,GAAG,gBAAGvG,IAAI,CAGrB,CAAC,EAAE,CAACyE,IAAI,EAAEX,GAAG,KAAKvD,MAAM,CAACoF,MAAM,CAACS,GAAG,CAAC3B,IAAI,EAAEX,GAAG,CAAC,CAAC,CAAC;AAElD;AACA,OAAO,MAAM0C,SAAS,gBAAGxG,IAAI,CAG3B,CAAC,EAAE,CAACyE,IAAI,EAAEX,GAAG,KAAI;EACjB,MAAM2C,OAAO,GAAGL,GAAG,CAAC3B,IAAI,EAAEX,GAAG,CAAC;EAC9B,IAAIvD,MAAM,CAACmG,MAAM,CAACD,OAAO,CAAC,EAAE;IAC1B,MAAM,IAAIE,KAAK,CAAC,qCAAqC,CAAC;EACxD;EACA,OAAOF,OAAO,CAAC5C,KAAK;AACtB,CAAC,CAAC;AAEF;AACA,OAAO,MAAM+C,MAAM,gBAAG5G,IAAI,CAIxB,CAAC,EACD,CAAIyE,IAAgB,EAAEX,GAAW,KAAI;EACnC,IAAIc,CAAC,GAAyBH,IAAoB,CAAC3B,KAAK;EACxD,IAAI8B,CAAC,KAAKvB,SAAS,IAAIS,GAAG,CAACN,MAAM,KAAK,CAAC,EAAE,OAAOiB,IAAI;EAEpD,MAAMzB,KAAK,GAAG4B,CAAC,CAAC5B,KAAK,GAAG,CAAC;EACzB;EACA,MAAM0B,MAAM,GAA6B,EAAE;EAC3C,MAAMC,MAAM,GAAmB,EAAE;EAEjC,IAAIE,MAAM,GAAG,CAAC;EACd,OAAOA,MAAM,GAAGf,GAAG,CAACN,MAAM,EAAE;IAC1B,MAAMsB,CAAC,GAAGhB,GAAG,CAACe,MAAM,CAAC;IACrB,IAAIC,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACb,IAAIc,CAAC,CAACX,KAAK,KAAKZ,SAAS,EAAE;QACzB,OAAOoB,IAAI;MACb,CAAC,MAAM;QACLE,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;QACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;QACdsB,CAAC,GAAGA,CAAC,CAACX,KAAK;MACb;IACF,CAAC,MAAM,IAAIa,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACpB,IAAIc,CAAC,CAACT,IAAI,KAAKd,SAAS,EAAE;QACxB,OAAOoB,IAAI;MACb,CAAC,MAAM;QACLE,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;QACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC,CAAC;QACfsB,CAAC,GAAGA,CAAC,CAACT,IAAI;MACZ;IACF,CAAC,MAAM;MACL,IAAIU,MAAM,KAAKf,GAAG,CAACN,MAAM,GAAG,CAAC,EAAE;QAC7B,IAAIoB,CAAC,CAACf,KAAK,KAAKR,SAAS,EAAE;UACzBsB,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;UACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;UACduB,MAAM,IAAI,CAAC;QACb,CAAC,MAAM;UACL,OAAOJ,IAAI;QACb;MACF,CAAC,MAAM;QACL,IAAIG,CAAC,CAACV,GAAG,KAAKb,SAAS,EAAE;UACvB,OAAOoB,IAAI;QACb,CAAC,MAAM;UACLE,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;UACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;UACdsB,CAAC,GAAGA,CAAC,CAACV,GAAG;UACTW,MAAM,IAAI,CAAC;QACb;MACF;IACF;EACF;EAEA,MAAMgC,UAAU,GAAGlC,MAAM,CAACA,MAAM,CAACnB,MAAM,GAAG,CAAC,CAAC;EAC5CmB,MAAM,CAACA,MAAM,CAACnB,MAAM,GAAG,CAAC,CAAC,GAAG;IAC1BM,GAAG,EAAE+C,UAAU,CAAC/C,GAAG;IACnBd,KAAK;IACLmB,IAAI,EAAE0C,UAAU,CAAC1C,IAAI;IACrBD,GAAG,EAAE2C,UAAU,CAAC3C,GAAG;IACnBD,KAAK,EAAE4C,UAAU,CAAC5C;GACnB;EAED;EACA,KAAK,IAAIc,CAAC,GAAGJ,MAAM,CAACnB,MAAM,GAAG,CAAC,EAAEuB,CAAC,IAAI,CAAC,EAAE,EAAEA,CAAC,EAAE;IAC3C,MAAMC,EAAE,GAAGL,MAAM,CAACI,CAAC,CAAC;IACpB,MAAME,CAAC,GAAGP,MAAM,CAACK,CAAC,CAAC;IACnB,MAAM+B,KAAK,GAAGnC,MAAM,CAACI,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAMgC,EAAE,GAAGD,KAAK,CAAC3C,IAAI,KAAKd,SAAS,IAAIyD,KAAK,CAAC5C,GAAG,KAAKb,SAAS,IAAIyD,KAAK,CAAC7C,KAAK,KAAKZ,SAAS,GAAGA,SAAS,GAAGyD,KAAK;IAC/G,IAAI7B,CAAC,KAAK,CAAC,CAAC,EAAE;MACZ;MACAN,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK;QACLa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAE4C,EAAE;QACR7C,GAAG,EAAEc,EAAE,CAACd,GAAG;QACXD,KAAK,EAAEe,EAAE,CAACf;OACX;IACH,CAAC,MAAM,IAAIgB,CAAC,KAAK,CAAC,EAAE;MAClB;MACAN,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK;QACLa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEa,EAAE,CAACb,IAAI;QACbD,GAAG,EAAEc,EAAE,CAACd,GAAG;QACXD,KAAK,EAAE8C;OACR;IACH,CAAC,MAAM;MACL;MACApC,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK;QACLa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEa,EAAE,CAACb,IAAI;QACbD,GAAG,EAAE6C,EAAE;QACP9C,KAAK,EAAEe,EAAE,CAACf;OACX;IACH;EACF;EAEAU,MAAM,CAAC,CAAC,CAAC,CAAC3B,KAAK,GAAGA,KAAK;EACvB,OAAOP,QAAQ,CAACkC,MAAM,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC,CACF;AAED;AACA,OAAO,MAAMqC,UAAU,gBAAGhH,IAAI,CAG5B,CAAC,EAAE,CAACyE,IAAI,EAAEW,IAAI,KAAI;EAClB,IAAIzC,IAAI,GAAG8B,IAAI;EACf,KAAK,MAAMX,GAAG,IAAIsB,IAAI,EAAE;IACtBzC,IAAI,GAAGiE,MAAM,CAAC9C,GAAG,CAAC,CAACnB,IAAI,CAAC;EAC1B;EACA,OAAOA,IAAI;AACb,CAAC,CAAC;AAEF;AACA,OAAO,MAAMsE,UAAU,gBAAGjH,IAAI,CAG5B,CAAC,EAAE,CAACyE,IAAI,EAAEyC,IAAI,KAAI;EAClB,IAAIvE,IAAI,GAAG8B,IAAI;EACf,KAAK,MAAM,CAACX,GAAG,EAAED,KAAK,CAAC,IAAIqD,IAAI,EAAE;IAC/BvE,IAAI,GAAG4B,MAAM,CAACT,GAAG,EAAED,KAAK,CAAC,CAAClB,IAAI,CAAC;EACjC;EACA,OAAOA,IAAI;AACb,CAAC,CAAC;AAEF;AACA,OAAO,MAAMwE,MAAM,gBAAGnH,IAAI,CAIxB,CAAC,EACD,CAAIyE,IAAgB,EAAEX,GAAW,EAAEb,CAAc,KAAgB;EAC/D,IAAI2B,CAAC,GAAyBH,IAAoB,CAAC3B,KAAK;EACxD,IAAI8B,CAAC,KAAKvB,SAAS,IAAIS,GAAG,CAACN,MAAM,KAAK,CAAC,EAAE,OAAOiB,IAAI;EAEpD;EACA,MAAMC,MAAM,GAA6B,EAAE;EAC3C,MAAMC,MAAM,GAAmB,EAAE;EAEjC,IAAIE,MAAM,GAAG,CAAC;EACd,OAAOA,MAAM,GAAGf,GAAG,CAACN,MAAM,EAAE;IAC1B,MAAMsB,CAAC,GAAGhB,GAAG,CAACe,MAAM,CAAC;IACrB,IAAIC,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACb,IAAIc,CAAC,CAACX,KAAK,KAAKZ,SAAS,EAAE;QACzB,OAAOoB,IAAI;MACb,CAAC,MAAM;QACLE,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;QACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;QACdsB,CAAC,GAAGA,CAAC,CAACX,KAAK;MACb;IACF,CAAC,MAAM,IAAIa,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACpB,IAAIc,CAAC,CAACT,IAAI,KAAKd,SAAS,EAAE;QACxB,OAAOoB,IAAI;MACb,CAAC,MAAM;QACLE,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;QACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC,CAAC;QACfsB,CAAC,GAAGA,CAAC,CAACT,IAAI;MACZ;IACF,CAAC,MAAM;MACL,IAAIU,MAAM,KAAKf,GAAG,CAACN,MAAM,GAAG,CAAC,EAAE;QAC7B,IAAIoB,CAAC,CAACf,KAAK,KAAKR,SAAS,EAAE;UACzBsB,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;UACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;UACduB,MAAM,IAAI,CAAC;QACb,CAAC,MAAM;UACL,OAAOJ,IAAI;QACb;MACF,CAAC,MAAM;QACL,IAAIG,CAAC,CAACV,GAAG,KAAKb,SAAS,EAAE;UACvB,OAAOoB,IAAI;QACb,CAAC,MAAM;UACLE,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;UACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;UACdsB,CAAC,GAAGA,CAAC,CAACV,GAAG;UACTW,MAAM,IAAI,CAAC;QACb;MACF;IACF;EACF;EAEA,MAAMuC,UAAU,GAAGzC,MAAM,CAACA,MAAM,CAACnB,MAAM,GAAG,CAAC,CAAC;EAC5C,IAAI4D,UAAU,CAACvD,KAAK,KAAKR,SAAS,EAAE;IAClC,OAAOoB,IAAI;EACb;EAEAE,MAAM,CAACA,MAAM,CAACnB,MAAM,GAAG,CAAC,CAAC,GAAG;IAC1BM,GAAG,EAAEsD,UAAU,CAACtD,GAAG;IACnBd,KAAK,EAAEoE,UAAU,CAACpE,KAAK;IACvBa,KAAK,EAAEZ,CAAC,CAACmE,UAAU,CAACvD,KAAK,CAAC;IAAE;IAC5BM,IAAI,EAAEiD,UAAU,CAACjD,IAAI;IACrBD,GAAG,EAAEkD,UAAU,CAAClD,GAAG;IACnBD,KAAK,EAAEmD,UAAU,CAACnD;GACnB;EAED;EACA,KAAK,IAAIc,CAAC,GAAGJ,MAAM,CAACnB,MAAM,GAAG,CAAC,EAAEuB,CAAC,IAAI,CAAC,EAAE,EAAEA,CAAC,EAAE;IAC3C,MAAMC,EAAE,GAAGL,MAAM,CAACI,CAAC,CAAC;IACpB,MAAME,CAAC,GAAGP,MAAM,CAACK,CAAC,CAAC;IACnB,MAAM+B,KAAK,GAAGnC,MAAM,CAACI,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAIE,CAAC,KAAK,CAAC,CAAC,EAAE;MACZ;MACAN,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK,EAAEgC,EAAE,CAAChC,KAAK;QACfa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAE2C,KAAK;QACX5C,GAAG,EAAEc,EAAE,CAACd,GAAG;QACXD,KAAK,EAAEe,EAAE,CAACf;OACX;IACH,CAAC,MAAM,IAAIgB,CAAC,KAAK,CAAC,EAAE;MAClB;MACAN,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK,EAAEgC,EAAE,CAAChC,KAAK;QACfa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEa,EAAE,CAACb,IAAI;QACbD,GAAG,EAAEc,EAAE,CAACd,GAAG;QACXD,KAAK,EAAE6C;OACR;IACH,CAAC,MAAM;MACL;MACAnC,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK,EAAEgC,EAAE,CAAChC,KAAK;QACfa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEa,EAAE,CAACb,IAAI;QACbD,GAAG,EAAE4C,KAAK;QACV7C,KAAK,EAAEe,EAAE,CAACf;OACX;IACH;EACF;EAEA,OAAOxB,QAAQ,CAACkC,MAAM,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC,CACF;AAED;AACA,OAAO,MAAM0C,eAAe,gBAAGrH,IAAI,CAIjC,CAAC,EACD,CAAIyE,IAAgB,EAAEX,GAAW,KAAI;EACnC,IAAIc,CAAC,GAAyBH,IAAoB,CAAC3B,KAAK;EACxD,IAAI8B,CAAC,KAAKvB,SAAS,IAAIS,GAAG,CAACN,MAAM,KAAK,CAAC,EAAE,OAAOjD,MAAM,CAAC8F,IAAI,EAAE;EAC7D,IAAIiB,iBAAiB,GAA4BjE,SAAS;EAC1D,IAAIwB,MAAM,GAAG,CAAC;EACd,OAAOA,MAAM,GAAGf,GAAG,CAACN,MAAM,EAAE;IAC1B,MAAMsB,CAAC,GAAGhB,GAAG,CAACe,MAAM,CAAC;IACrB,IAAID,CAAC,CAACf,KAAK,KAAKR,SAAS,EAAE;MACzBiE,iBAAiB,GAAG,CAACxD,GAAG,CAACyD,KAAK,CAAC,CAAC,EAAE1C,MAAM,GAAG,CAAC,CAAC,EAAED,CAAC,CAACf,KAAK,CAAC;IACzD;IAEA,IAAIiB,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACb,IAAIc,CAAC,CAACX,KAAK,KAAKZ,SAAS,EAAE;QACzB;MACF,CAAC,MAAM;QACLuB,CAAC,GAAGA,CAAC,CAACX,KAAK;MACb;IACF,CAAC,MAAM,IAAIa,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACpB,IAAIc,CAAC,CAACT,IAAI,KAAKd,SAAS,EAAE;QACxB;MACF,CAAC,MAAM;QACLuB,CAAC,GAAGA,CAAC,CAACT,IAAI;MACZ;IACF,CAAC,MAAM;MACL,IAAIS,CAAC,CAACV,GAAG,KAAKb,SAAS,EAAE;QACvB;MACF,CAAC,MAAM;QACLuB,CAAC,GAAGA,CAAC,CAACV,GAAG;QACTW,MAAM,IAAI,CAAC;MACb;IACF;EACF;EAEA,OAAOtE,MAAM,CAAC+F,YAAY,CAACgB,iBAAiB,CAAC;AAC/C,CAAC,CACF"}
1
+ {"version":3,"file":"trie.js","names":["Equal","dual","identity","pipe","Hash","format","NodeInspectSymbol","toJSON","Option","pipeArguments","hasProperty","TrieSymbolKey","TrieTypeId","Symbol","for","trieVariance","_Value","_","TrieProto","iterator","TrieIterator","k","v","symbol","hash","item","combine","that","isTrie","entries","Array","from","every","itemSelf","i","itemThat","equals","toString","_id","values","map","arguments","makeImpl","root","trie","Object","create","_root","_count","count","f","filter","stack","constructor","undefined","push","next","length","node","keyString","isAdded","pop","value","key","done","addToStack","right","mid","left","u","empty","fromIterable","insert","make","self","dStack","nStack","n","cIndex","c","s","n2","d","size","isEmpty","keys","reduce","zero","accumulator","entry","filterMap","option","isSome","compact","forEach","keysWithPrefix","prefix","startsWith","valuesWithPrefix","entriesWithPrefix","toEntriesWithPrefix","get","none","fromNullable","has","unsafeGet","element","isNone","Error","remove","removeNode","child","nc","removeMany","insertMany","iter","modify","updateNode","longestPrefixOf","longestPrefixNode","slice"],"sources":["../../../src/internal/trie.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,KAAK,MAAM,aAAa;AACpC,SAASC,IAAI,EAAEC,QAAQ,EAAEC,IAAI,QAAQ,gBAAgB;AACrD,OAAO,KAAKC,IAAI,MAAM,YAAY;AAClC,SAASC,MAAM,EAAEC,iBAAiB,EAAEC,MAAM,QAAQ,mBAAmB;AACrE,OAAO,KAAKC,MAAM,MAAM,cAAc;AAEtC,SAASC,aAAa,QAAQ,gBAAgB;AAC9C,SAASC,WAAW,QAAQ,iBAAiB;AAI7C,MAAMC,aAAa,GAAG,aAAa;AAEnC;AACA,OAAO,MAAMC,UAAU,gBAAcC,MAAM,CAACC,GAAG,CAACH,aAAa,CAAc;AAY3E,MAAMI,YAAY,GAAG;EACnB;EACAC,MAAM,EAAGC,CAAQ,IAAKA;CACvB;AAED,MAAMC,SAAS,GAAqB;EAClC,CAACN,UAAU,GAAGG,YAAY;EAC1B,CAACF,MAAM,CAACM,QAAQ,IAAC;IACf,OAAO,IAAIC,YAAY,CAAC,IAAI,EAAE,CAACC,CAAC,EAAEC,CAAC,KAAK,CAACD,CAAC,EAAEC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC;EAC7D,CAAC;EACD,CAAClB,IAAI,CAACmB,MAAM,IAAC;IACX,IAAIC,IAAI,GAAGpB,IAAI,CAACoB,IAAI,CAACb,aAAa,CAAC;IACnC,KAAK,MAAMc,IAAI,IAAI,IAAI,EAAE;MACvBD,IAAI,IAAIrB,IAAI,CAACC,IAAI,CAACoB,IAAI,CAACC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAErB,IAAI,CAACsB,OAAO,CAACtB,IAAI,CAACoB,IAAI,CAACC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE;IACA,OAAOD,IAAI;EACb,CAAC;EACD,CAACxB,KAAK,CAACuB,MAAM,EAAwBI,IAAa;IAChD,IAAIC,MAAM,CAACD,IAAI,CAAC,EAAE;MAChB,MAAME,OAAO,GAAGC,KAAK,CAACC,IAAI,CAACJ,IAAI,CAAC;MAChC,OAAOG,KAAK,CAACC,IAAI,CAAC,IAAI,CAAC,CAACC,KAAK,CAAC,CAACC,QAAQ,EAAEC,CAAC,KAAI;QAC5C,MAAMC,QAAQ,GAAGN,OAAO,CAACK,CAAC,CAAC;QAC3B,OAAOlC,KAAK,CAACoC,MAAM,CAACH,QAAQ,CAAC,CAAC,CAAC,EAAEE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAInC,KAAK,CAACoC,MAAM,CAACH,QAAQ,CAAC,CAAC,CAAC,EAAEE,QAAQ,CAAC,CAAC,CAAC,CAAC;MACzF,CAAC,CAAC;IACJ;IACA,OAAO,KAAK;EACd,CAAC;EACDE,QAAQA,CAAA;IACN,OAAOhC,MAAM,CAAC,IAAI,CAACE,MAAM,EAAE,CAAC;EAC9B,CAAC;EACDA,MAAMA,CAAA;IACJ,OAAO;MACL+B,GAAG,EAAE,MAAM;MACXC,MAAM,EAAET,KAAK,CAACC,IAAI,CAAC,IAAI,CAAC,CAACS,GAAG,CAACjC,MAAM;KACpC;EACH,CAAC;EACD,CAACD,iBAAiB,IAAC;IACjB,OAAO,IAAI,CAACC,MAAM,EAAE;EACtB,CAAC;EACDJ,IAAIA,CAAA;IACF,OAAOM,aAAa,CAAC,IAAI,EAAEgC,SAAS,CAAC;EACvC;CACD;AAED,MAAMC,QAAQ,GAAOC,IAAyB,IAAiB;EAC7D,MAAMC,IAAI,GAAGC,MAAM,CAACC,MAAM,CAAC5B,SAAS,CAAC;EACrC0B,IAAI,CAACG,KAAK,GAAGJ,IAAI;EACjBC,IAAI,CAACI,MAAM,GAAGL,IAAI,EAAEM,KAAK,IAAI,CAAC;EAC9B,OAAOL,IAAI;AACb,CAAC;AAED,MAAMxB,YAAY;EAILwB,IAAA;EACAM,CAAA;EACAC,MAAA;EALXC,KAAK,GAAsC,EAAE;EAE7CC,YACWT,IAAiB,EACjBM,CAA6B,EAC7BC,MAAkC;IAFlC,KAAAP,IAAI,GAAJA,IAAI;IACJ,KAAAM,CAAC,GAADA,CAAC;IACD,KAAAC,MAAM,GAANA,MAAM;IAEf,MAAMR,IAAI,GAAGC,IAAI,CAACG,KAAK,KAAKO,SAAS,GAAGV,IAAI,CAACG,KAAK,GAAGO,SAAS;IAC9D,IAAIX,IAAI,KAAKW,SAAS,EAAE;MACtB,IAAI,CAACF,KAAK,CAACG,IAAI,CAAC,CAACZ,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACpC;EACF;EAEAa,IAAIA,CAAA;IACF,OAAO,IAAI,CAACJ,KAAK,CAACK,MAAM,GAAG,CAAC,EAAE;MAC5B,MAAM,CAACC,IAAI,EAAEC,SAAS,EAAEC,OAAO,CAAC,GAAG,IAAI,CAACR,KAAK,CAACS,GAAG,EAAG;MAEpD,IAAID,OAAO,EAAE;QACX,MAAME,KAAK,GAAGJ,IAAI,CAACI,KAAK;QACxB,IAAIA,KAAK,KAAKR,SAAS,EAAE;UACvB,MAAMS,GAAG,GAAGJ,SAAS,GAAGD,IAAI,CAACK,GAAG;UAChC,IAAI,IAAI,CAACZ,MAAM,CAACY,GAAG,EAAED,KAAK,CAAC,EAAE;YAC3B,OAAO;cAAEE,IAAI,EAAE,KAAK;cAAEF,KAAK,EAAE,IAAI,CAACZ,CAAC,CAACa,GAAG,EAAED,KAAK;YAAC,CAAE;UACnD;QACF;MACF,CAAC,MAAM;QACL,IAAI,CAACG,UAAU,CAACP,IAAI,EAAEC,SAAS,CAAC;MAClC;IACF;IAEA,OAAO;MAAEK,IAAI,EAAE,IAAI;MAAEF,KAAK,EAAER;IAAS,CAAE;EACzC;EAEAW,UAAUA,CAACP,IAAa,EAAEC,SAAiB;IACzC,IAAID,IAAI,CAACQ,KAAK,KAAKZ,SAAS,EAAE;MAC5B,IAAI,CAACF,KAAK,CAACG,IAAI,CAAC,CAACG,IAAI,CAACQ,KAAK,EAAEP,SAAS,EAAE,KAAK,CAAC,CAAC;IACjD;IACA,IAAID,IAAI,CAACS,GAAG,KAAKb,SAAS,EAAE;MAC1B,IAAI,CAACF,KAAK,CAACG,IAAI,CAAC,CAACG,IAAI,CAACS,GAAG,EAAER,SAAS,GAAGD,IAAI,CAACK,GAAG,EAAE,KAAK,CAAC,CAAC;IAC1D;IACA,IAAI,CAACX,KAAK,CAACG,IAAI,CAAC,CAACG,IAAI,EAAEC,SAAS,EAAE,IAAI,CAAC,CAAC;IACxC,IAAID,IAAI,CAACU,IAAI,KAAKd,SAAS,EAAE;MAC3B,IAAI,CAACF,KAAK,CAACG,IAAI,CAAC,CAACG,IAAI,CAACU,IAAI,EAAET,SAAS,EAAE,KAAK,CAAC,CAAC;IAChD;EACF;EAEA,CAAC9C,MAAM,CAACM,QAAQ,IAAC;IACf,OAAO,IAAIC,YAAY,CAAC,IAAI,CAACwB,IAAI,EAAE,IAAI,CAACM,CAAC,EAAE,IAAI,CAACC,MAAM,CAAC;EACzD;;AAGF;AACA,OAAO,MAAMvB,MAAM,GAGdyC,CAAU,IAA4B3D,WAAW,CAAC2D,CAAC,EAAEzD,UAAU,CAAC;AAErE;AACA,OAAO,MAAM0D,KAAK,GAAGA,CAAA,KAA6B5B,QAAQ,CAAIY,SAAS,CAAC;AAExE;AACA,OAAO,MAAMiB,YAAY,GAAO1C,OAAuC,IAAI;EACzE,IAAIe,IAAI,GAAG0B,KAAK,EAAK;EACrB,KAAK,MAAM,CAACP,GAAG,EAAED,KAAK,CAAC,IAAIjC,OAAO,EAAE;IAClCe,IAAI,GAAG4B,MAAM,CAAC5B,IAAI,EAAEmB,GAAG,EAAED,KAAK,CAAC;EACjC;EACA,OAAOlB,IAAI;AACb,CAAC;AAED;AACA,OAAO,MAAM6B,IAAI,GAAGA,CAAgD,GAAG5C,OAAgB,KAEnF;EACF,OAAO0C,YAAY,CAAC1C,OAAO,CAAC;AAC9B,CAAC;AAED;AACA,OAAO,MAAM2C,MAAM,gBAAGvE,IAAI,CAGxB,CAAC,EAAE,CAAIyE,IAAgB,EAAEX,GAAW,EAAED,KAAQ,KAAI;EAClD,IAAIC,GAAG,CAACN,MAAM,KAAK,CAAC,EAAE,OAAOiB,IAAI;EAEjC;EACA,MAAMC,MAAM,GAA6B,EAAE;EAC3C,MAAMC,MAAM,GAAmB,EAAE;EACjC,IAAIC,CAAC,GAAaH,IAAoB,CAAC3B,KAAK,IAAI;IAC9CgB,GAAG,EAAEA,GAAG,CAAC,CAAC,CAAC;IACXd,KAAK,EAAE;GACR;EACD,MAAMA,KAAK,GAAG4B,CAAC,CAAC5B,KAAK,GAAG,CAAC;EACzB,IAAI6B,MAAM,GAAG,CAAC;EAEd,OAAOA,MAAM,GAAGf,GAAG,CAACN,MAAM,EAAE;IAC1B,MAAMsB,CAAC,GAAGhB,GAAG,CAACe,MAAM,CAAC;IACrBF,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;IACd,IAAIE,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACbY,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;MACd,IAAIsB,CAAC,CAACX,KAAK,KAAKZ,SAAS,EAAE;QACzBuB,CAAC,GAAG;UAAEd,GAAG,EAAEgB,CAAC;UAAE9B;QAAK,CAAE;MACvB,CAAC,MAAM;QACL4B,CAAC,GAAGA,CAAC,CAACX,KAAK;MACb;IACF,CAAC,MAAM,IAAIa,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACpBY,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC,CAAC;MACf,IAAIsB,CAAC,CAACT,IAAI,KAAKd,SAAS,EAAE;QACxBuB,CAAC,GAAG;UAAEd,GAAG,EAAEgB,CAAC;UAAE9B;QAAK,CAAE;MACvB,CAAC,MAAM;QACL4B,CAAC,GAAGA,CAAC,CAACT,IAAI;MACZ;IACF,CAAC,MAAM;MACL,IAAIU,MAAM,KAAKf,GAAG,CAACN,MAAM,GAAG,CAAC,EAAE;QAC7BoB,CAAC,CAACf,KAAK,GAAGA,KAAK;MACjB,CAAC,MAAM,IAAIe,CAAC,CAACV,GAAG,KAAKb,SAAS,EAAE;QAC9BqB,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;QACdsB,CAAC,GAAG;UAAEd,GAAG,EAAEA,GAAG,CAACe,MAAM,GAAG,CAAC,CAAC;UAAE7B;QAAK,CAAE;MACrC,CAAC,MAAM;QACL0B,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;QACdsB,CAAC,GAAGA,CAAC,CAACV,GAAG;MACX;MAEAW,MAAM,IAAI,CAAC;IACb;EACF;EAEA;EACA,KAAK,IAAIE,CAAC,GAAGJ,MAAM,CAACnB,MAAM,GAAG,CAAC,EAAEuB,CAAC,IAAI,CAAC,EAAE,EAAEA,CAAC,EAAE;IAC3C,MAAMC,EAAE,GAAGL,MAAM,CAACI,CAAC,CAAC;IACpB,MAAME,CAAC,GAAGP,MAAM,CAACK,CAAC,CAAC;IACnB,IAAIE,CAAC,KAAK,CAAC,CAAC,EAAE;MACZ;MACAN,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK;QACLa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEQ,MAAM,CAACI,CAAC,GAAG,CAAC,CAAC;QACnBb,GAAG,EAAEc,EAAE,CAACd,GAAG;QACXD,KAAK,EAAEe,EAAE,CAACf;OACX;IACH,CAAC,MAAM,IAAIgB,CAAC,KAAK,CAAC,EAAE;MAClB;MACAN,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK;QACLa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEa,EAAE,CAACb,IAAI;QACbD,GAAG,EAAEc,EAAE,CAACd,GAAG;QACXD,KAAK,EAAEU,MAAM,CAACI,CAAC,GAAG,CAAC;OACpB;IACH,CAAC,MAAM;MACL;MACAJ,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK;QACLa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEa,EAAE,CAACb,IAAI;QACbD,GAAG,EAAES,MAAM,CAACI,CAAC,GAAG,CAAC,CAAC;QAClBd,KAAK,EAAEe,EAAE,CAACf;OACX;IACH;EACF;EAEAU,MAAM,CAAC,CAAC,CAAC,CAAC3B,KAAK,GAAGA,KAAK;EACvB,OAAOP,QAAQ,CAACkC,MAAM,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC,CAAC;AAEF;AACA,OAAO,MAAMO,IAAI,GAAOT,IAAgB,IAAcA,IAAoB,CAAC3B,KAAK,EAAEE,KAAK,IAAI,CAAC;AAE5F;AACA,OAAO,MAAMmC,OAAO,GAAOV,IAAgB,IAAcS,IAAI,CAACT,IAAI,CAAC,KAAK,CAAC;AAEzE;AACA,OAAO,MAAMW,IAAI,GAAOX,IAAgB,IACtC,IAAItD,YAAY,CAACsD,IAAmB,EAAGX,GAAG,IAAKA,GAAG,EAAE,MAAM,IAAI,CAAC;AAEjE;AACA,OAAO,MAAMxB,MAAM,GAAOmC,IAAgB,IACxC,IAAItD,YAAY,CAACsD,IAAmB,EAAE,CAACzD,CAAC,EAAE6C,KAAK,KAAKA,KAAK,EAAE,MAAM,IAAI,CAAC;AAExE;AACA,OAAO,MAAMjC,OAAO,GAAO6C,IAAgB,IACzC,IAAItD,YAAY,CAACsD,IAAmB,EAAE,CAACX,GAAG,EAAED,KAAK,KAAK,CAACC,GAAG,EAAED,KAAK,CAAC,EAAE,MAAM,IAAI,CAAC;AAEjF;AACA,OAAO,MAAMwB,MAAM,gBAAGrF,IAAI,CAMxB,CAAC,EAAE,CAACyE,IAAI,EAAEa,IAAI,EAAErC,CAAC,KAAI;EACrB,IAAIsC,WAAW,GAAGD,IAAI;EACtB,KAAK,MAAME,KAAK,IAAIf,IAAI,EAAE;IACxBc,WAAW,GAAGtC,CAAC,CAACsC,WAAW,EAAEC,KAAK,CAAC,CAAC,CAAC,EAAEA,KAAK,CAAC,CAAC,CAAC,CAAC;EAClD;EACA,OAAOD,WAAW;AACpB,CAAC,CAAC;AAEF;AACA,OAAO,MAAMhD,GAAG,gBAAGvC,IAAI,CAGrB,CAAC,EAAE,CAACyE,IAAI,EAAExB,CAAC,KACXoC,MAAM,CACJZ,IAAI,EACJJ,KAAK,EAAE,EACP,CAAC1B,IAAI,EAAEkB,KAAK,EAAEC,GAAG,KAAKS,MAAM,CAAC5B,IAAI,EAAEmB,GAAG,EAAEb,CAAC,CAACY,KAAK,EAAEC,GAAG,CAAC,CAAC,CACvD,CAAC;AAEJ;AACA,OAAO,MAAMZ,MAAM,gBAKflD,IAAI,CACN,CAAC,EACD,CAAIyE,IAAgB,EAAExB,CAA+B,KACnDoC,MAAM,CACJZ,IAAI,EACJJ,KAAK,EAAE,EACP,CAAC1B,IAAI,EAAEkB,KAAK,EAAEC,GAAG,KAAKb,CAAC,CAACY,KAAK,EAAEC,GAAG,CAAC,GAAGS,MAAM,CAAC5B,IAAI,EAAEmB,GAAG,EAAED,KAAK,CAAC,GAAGlB,IAAI,CACtE,CACJ;AAED;AACA,OAAO,MAAM8C,SAAS,gBAAGzF,IAAI,CAK3B,CAAC,EAAE,CAACyE,IAAI,EAAExB,CAAC,KACXoC,MAAM,CACJZ,IAAI,EACJJ,KAAK,EAAE,EACP,CAAC1B,IAAI,EAAEkB,KAAK,EAAEC,GAAG,KAAI;EACnB,MAAM4B,MAAM,GAAGzC,CAAC,CAACY,KAAK,EAAEC,GAAG,CAAC;EAC5B,OAAOvD,MAAM,CAACoF,MAAM,CAACD,MAAM,CAAC,GAAGnB,MAAM,CAAC5B,IAAI,EAAEmB,GAAG,EAAE4B,MAAM,CAAC7B,KAAK,CAAC,GAAGlB,IAAI;AACvE,CAAC,CACF,CAAC;AAEJ;AACA,OAAO,MAAMiD,OAAO,GAAOnB,IAA+B,IAAKgB,SAAS,CAAChB,IAAI,EAAExE,QAAQ,CAAC;AAExF;AACA,OAAO,MAAM4F,OAAO,gBAAG7F,IAAI,CAGzB,CAAC,EAAE,CAACyE,IAAI,EAAExB,CAAC,KAAKoC,MAAM,CAACZ,IAAI,EAAE,KAAK,CAAS,EAAE,CAACzD,CAAC,EAAE6C,KAAK,EAAEC,GAAG,KAAKb,CAAC,CAACY,KAAK,EAAEC,GAAG,CAAC,CAAC,CAAC;AAEjF;AACA,OAAO,MAAMgC,cAAc,gBAAG9F,IAAI,CAIhC,CAAC,EACD,CAAIyE,IAAgB,EAAEsB,MAAc,KAClC,IAAI5E,YAAY,CAACsD,IAAmB,EAAGX,GAAG,IAAKA,GAAG,EAAGA,GAAG,IAAKA,GAAG,CAACkC,UAAU,CAACD,MAAM,CAAC,CAAC,CACvF;AAED;AACA,OAAO,MAAME,gBAAgB,gBAAGjG,IAAI,CAIlC,CAAC,EACD,CAAIyE,IAAgB,EAAEsB,MAAc,KAClC,IAAI5E,YAAY,CAACsD,IAAmB,EAAE,CAACzD,CAAC,EAAE6C,KAAK,KAAKA,KAAK,EAAGC,GAAG,IAAKA,GAAG,CAACkC,UAAU,CAACD,MAAM,CAAC,CAAC,CAC9F;AAED;AACA,OAAO,MAAMG,iBAAiB,gBAAGlG,IAAI,CAInC,CAAC,EACD,CAAIyE,IAAgB,EAAEsB,MAAc,KAClC,IAAI5E,YAAY,CAACsD,IAAmB,EAAE,CAACX,GAAG,EAAED,KAAK,KAAK,CAACC,GAAG,EAAED,KAAK,CAAC,EAAGC,GAAG,IAAKA,GAAG,CAACkC,UAAU,CAACD,MAAM,CAAC,CAAC,CACvG;AAED;AACA,OAAO,MAAMI,mBAAmB,gBAAGnG,IAAI,CAIrC,CAAC,EACD,CAAIyE,IAAgB,EAAEsB,MAAc,KAAyBlE,KAAK,CAACC,IAAI,CAACoE,iBAAiB,CAACzB,IAAI,EAAEsB,MAAM,CAAC,CAAC,CACzG;AAED;AACA,OAAO,MAAMK,GAAG,gBAAGpG,IAAI,CAIrB,CAAC,EACD,CAAIyE,IAAgB,EAAEX,GAAW,KAAI;EACnC,IAAIc,CAAC,GAAyBH,IAAoB,CAAC3B,KAAK;EACxD,IAAI8B,CAAC,KAAKvB,SAAS,IAAIS,GAAG,CAACN,MAAM,KAAK,CAAC,EAAE,OAAOjD,MAAM,CAAC8F,IAAI,EAAE;EAC7D,IAAIxB,MAAM,GAAG,CAAC;EACd,OAAOA,MAAM,GAAGf,GAAG,CAACN,MAAM,EAAE;IAC1B,MAAMsB,CAAC,GAAGhB,GAAG,CAACe,MAAM,CAAC;IACrB,IAAIC,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACb,IAAIc,CAAC,CAACX,KAAK,KAAKZ,SAAS,EAAE;QACzB,OAAO9C,MAAM,CAAC8F,IAAI,EAAE;MACtB,CAAC,MAAM;QACLzB,CAAC,GAAGA,CAAC,CAACX,KAAK;MACb;IACF,CAAC,MAAM,IAAIa,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACpB,IAAIc,CAAC,CAACT,IAAI,KAAKd,SAAS,EAAE;QACxB,OAAO9C,MAAM,CAAC8F,IAAI,EAAE;MACtB,CAAC,MAAM;QACLzB,CAAC,GAAGA,CAAC,CAACT,IAAI;MACZ;IACF,CAAC,MAAM;MACL,IAAIU,MAAM,KAAKf,GAAG,CAACN,MAAM,GAAG,CAAC,EAAE;QAC7B,OAAOjD,MAAM,CAAC+F,YAAY,CAAC1B,CAAC,CAACf,KAAK,CAAC;MACrC,CAAC,MAAM;QACL,IAAIe,CAAC,CAACV,GAAG,KAAKb,SAAS,EAAE;UACvB,OAAO9C,MAAM,CAAC8F,IAAI,EAAE;QACtB,CAAC,MAAM;UACLzB,CAAC,GAAGA,CAAC,CAACV,GAAG;UACTW,MAAM,IAAI,CAAC;QACb;MACF;IACF;EACF;EACA,OAAOtE,MAAM,CAAC8F,IAAI,EAAE;AACtB,CAAC,CACF;AAED;AACA,OAAO,MAAME,GAAG,gBAAGvG,IAAI,CAGrB,CAAC,EAAE,CAACyE,IAAI,EAAEX,GAAG,KAAKvD,MAAM,CAACoF,MAAM,CAACS,GAAG,CAAC3B,IAAI,EAAEX,GAAG,CAAC,CAAC,CAAC;AAElD;AACA,OAAO,MAAM0C,SAAS,gBAAGxG,IAAI,CAG3B,CAAC,EAAE,CAACyE,IAAI,EAAEX,GAAG,KAAI;EACjB,MAAM2C,OAAO,GAAGL,GAAG,CAAC3B,IAAI,EAAEX,GAAG,CAAC;EAC9B,IAAIvD,MAAM,CAACmG,MAAM,CAACD,OAAO,CAAC,EAAE;IAC1B,MAAM,IAAIE,KAAK,CAAC,qCAAqC,CAAC;EACxD;EACA,OAAOF,OAAO,CAAC5C,KAAK;AACtB,CAAC,CAAC;AAEF;AACA,OAAO,MAAM+C,MAAM,gBAAG5G,IAAI,CAIxB,CAAC,EACD,CAAIyE,IAAgB,EAAEX,GAAW,KAAI;EACnC,IAAIc,CAAC,GAAyBH,IAAoB,CAAC3B,KAAK;EACxD,IAAI8B,CAAC,KAAKvB,SAAS,IAAIS,GAAG,CAACN,MAAM,KAAK,CAAC,EAAE,OAAOiB,IAAI;EAEpD,MAAMzB,KAAK,GAAG4B,CAAC,CAAC5B,KAAK,GAAG,CAAC;EACzB;EACA,MAAM0B,MAAM,GAA6B,EAAE;EAC3C,MAAMC,MAAM,GAAmB,EAAE;EAEjC,IAAIE,MAAM,GAAG,CAAC;EACd,OAAOA,MAAM,GAAGf,GAAG,CAACN,MAAM,EAAE;IAC1B,MAAMsB,CAAC,GAAGhB,GAAG,CAACe,MAAM,CAAC;IACrB,IAAIC,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACb,IAAIc,CAAC,CAACX,KAAK,KAAKZ,SAAS,EAAE;QACzB,OAAOoB,IAAI;MACb,CAAC,MAAM;QACLE,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;QACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;QACdsB,CAAC,GAAGA,CAAC,CAACX,KAAK;MACb;IACF,CAAC,MAAM,IAAIa,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACpB,IAAIc,CAAC,CAACT,IAAI,KAAKd,SAAS,EAAE;QACxB,OAAOoB,IAAI;MACb,CAAC,MAAM;QACLE,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;QACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC,CAAC;QACfsB,CAAC,GAAGA,CAAC,CAACT,IAAI;MACZ;IACF,CAAC,MAAM;MACL,IAAIU,MAAM,KAAKf,GAAG,CAACN,MAAM,GAAG,CAAC,EAAE;QAC7B,IAAIoB,CAAC,CAACf,KAAK,KAAKR,SAAS,EAAE;UACzBsB,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;UACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;UACduB,MAAM,IAAI,CAAC;QACb,CAAC,MAAM;UACL,OAAOJ,IAAI;QACb;MACF,CAAC,MAAM;QACL,IAAIG,CAAC,CAACV,GAAG,KAAKb,SAAS,EAAE;UACvB,OAAOoB,IAAI;QACb,CAAC,MAAM;UACLE,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;UACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;UACdsB,CAAC,GAAGA,CAAC,CAACV,GAAG;UACTW,MAAM,IAAI,CAAC;QACb;MACF;IACF;EACF;EAEA,MAAMgC,UAAU,GAAGlC,MAAM,CAACA,MAAM,CAACnB,MAAM,GAAG,CAAC,CAAC;EAC5CmB,MAAM,CAACA,MAAM,CAACnB,MAAM,GAAG,CAAC,CAAC,GAAG;IAC1BM,GAAG,EAAE+C,UAAU,CAAC/C,GAAG;IACnBd,KAAK;IACLmB,IAAI,EAAE0C,UAAU,CAAC1C,IAAI;IACrBD,GAAG,EAAE2C,UAAU,CAAC3C,GAAG;IACnBD,KAAK,EAAE4C,UAAU,CAAC5C;GACnB;EAED;EACA,KAAK,IAAIc,CAAC,GAAGJ,MAAM,CAACnB,MAAM,GAAG,CAAC,EAAEuB,CAAC,IAAI,CAAC,EAAE,EAAEA,CAAC,EAAE;IAC3C,MAAMC,EAAE,GAAGL,MAAM,CAACI,CAAC,CAAC;IACpB,MAAME,CAAC,GAAGP,MAAM,CAACK,CAAC,CAAC;IACnB,MAAM+B,KAAK,GAAGnC,MAAM,CAACI,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAMgC,EAAE,GAAGD,KAAK,CAAC3C,IAAI,KAAKd,SAAS,IAAIyD,KAAK,CAAC5C,GAAG,KAAKb,SAAS,IAAIyD,KAAK,CAAC7C,KAAK,KAAKZ,SAAS,GAAGA,SAAS,GAAGyD,KAAK;IAC/G,IAAI7B,CAAC,KAAK,CAAC,CAAC,EAAE;MACZ;MACAN,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK;QACLa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAE4C,EAAE;QACR7C,GAAG,EAAEc,EAAE,CAACd,GAAG;QACXD,KAAK,EAAEe,EAAE,CAACf;OACX;IACH,CAAC,MAAM,IAAIgB,CAAC,KAAK,CAAC,EAAE;MAClB;MACAN,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK;QACLa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEa,EAAE,CAACb,IAAI;QACbD,GAAG,EAAEc,EAAE,CAACd,GAAG;QACXD,KAAK,EAAE8C;OACR;IACH,CAAC,MAAM;MACL;MACApC,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK;QACLa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEa,EAAE,CAACb,IAAI;QACbD,GAAG,EAAE6C,EAAE;QACP9C,KAAK,EAAEe,EAAE,CAACf;OACX;IACH;EACF;EAEAU,MAAM,CAAC,CAAC,CAAC,CAAC3B,KAAK,GAAGA,KAAK;EACvB,OAAOP,QAAQ,CAACkC,MAAM,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC,CACF;AAED;AACA,OAAO,MAAMqC,UAAU,gBAAGhH,IAAI,CAG5B,CAAC,EAAE,CAACyE,IAAI,EAAEW,IAAI,KAAI;EAClB,IAAIzC,IAAI,GAAG8B,IAAI;EACf,KAAK,MAAMX,GAAG,IAAIsB,IAAI,EAAE;IACtBzC,IAAI,GAAGiE,MAAM,CAAC9C,GAAG,CAAC,CAACnB,IAAI,CAAC;EAC1B;EACA,OAAOA,IAAI;AACb,CAAC,CAAC;AAEF;AACA,OAAO,MAAMsE,UAAU,gBAAGjH,IAAI,CAG5B,CAAC,EAAE,CAACyE,IAAI,EAAEyC,IAAI,KAAI;EAClB,IAAIvE,IAAI,GAAG8B,IAAI;EACf,KAAK,MAAM,CAACX,GAAG,EAAED,KAAK,CAAC,IAAIqD,IAAI,EAAE;IAC/BvE,IAAI,GAAG4B,MAAM,CAACT,GAAG,EAAED,KAAK,CAAC,CAAClB,IAAI,CAAC;EACjC;EACA,OAAOA,IAAI;AACb,CAAC,CAAC;AAEF;AACA,OAAO,MAAMwE,MAAM,gBAAGnH,IAAI,CAIxB,CAAC,EACD,CAAIyE,IAAgB,EAAEX,GAAW,EAAEb,CAAc,KAAgB;EAC/D,IAAI2B,CAAC,GAAyBH,IAAoB,CAAC3B,KAAK;EACxD,IAAI8B,CAAC,KAAKvB,SAAS,IAAIS,GAAG,CAACN,MAAM,KAAK,CAAC,EAAE,OAAOiB,IAAI;EAEpD;EACA,MAAMC,MAAM,GAA6B,EAAE;EAC3C,MAAMC,MAAM,GAAmB,EAAE;EAEjC,IAAIE,MAAM,GAAG,CAAC;EACd,OAAOA,MAAM,GAAGf,GAAG,CAACN,MAAM,EAAE;IAC1B,MAAMsB,CAAC,GAAGhB,GAAG,CAACe,MAAM,CAAC;IACrB,IAAIC,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACb,IAAIc,CAAC,CAACX,KAAK,KAAKZ,SAAS,EAAE;QACzB,OAAOoB,IAAI;MACb,CAAC,MAAM;QACLE,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;QACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;QACdsB,CAAC,GAAGA,CAAC,CAACX,KAAK;MACb;IACF,CAAC,MAAM,IAAIa,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACpB,IAAIc,CAAC,CAACT,IAAI,KAAKd,SAAS,EAAE;QACxB,OAAOoB,IAAI;MACb,CAAC,MAAM;QACLE,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;QACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC,CAAC;QACfsB,CAAC,GAAGA,CAAC,CAACT,IAAI;MACZ;IACF,CAAC,MAAM;MACL,IAAIU,MAAM,KAAKf,GAAG,CAACN,MAAM,GAAG,CAAC,EAAE;QAC7B,IAAIoB,CAAC,CAACf,KAAK,KAAKR,SAAS,EAAE;UACzBsB,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;UACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;UACduB,MAAM,IAAI,CAAC;QACb,CAAC,MAAM;UACL,OAAOJ,IAAI;QACb;MACF,CAAC,MAAM;QACL,IAAIG,CAAC,CAACV,GAAG,KAAKb,SAAS,EAAE;UACvB,OAAOoB,IAAI;QACb,CAAC,MAAM;UACLE,MAAM,CAACrB,IAAI,CAACsB,CAAC,CAAC;UACdF,MAAM,CAACpB,IAAI,CAAC,CAAC,CAAC;UACdsB,CAAC,GAAGA,CAAC,CAACV,GAAG;UACTW,MAAM,IAAI,CAAC;QACb;MACF;IACF;EACF;EAEA,MAAMuC,UAAU,GAAGzC,MAAM,CAACA,MAAM,CAACnB,MAAM,GAAG,CAAC,CAAC;EAC5C,IAAI4D,UAAU,CAACvD,KAAK,KAAKR,SAAS,EAAE;IAClC,OAAOoB,IAAI;EACb;EAEAE,MAAM,CAACA,MAAM,CAACnB,MAAM,GAAG,CAAC,CAAC,GAAG;IAC1BM,GAAG,EAAEsD,UAAU,CAACtD,GAAG;IACnBd,KAAK,EAAEoE,UAAU,CAACpE,KAAK;IACvBa,KAAK,EAAEZ,CAAC,CAACmE,UAAU,CAACvD,KAAK,CAAC;IAAE;IAC5BM,IAAI,EAAEiD,UAAU,CAACjD,IAAI;IACrBD,GAAG,EAAEkD,UAAU,CAAClD,GAAG;IACnBD,KAAK,EAAEmD,UAAU,CAACnD;GACnB;EAED;EACA,KAAK,IAAIc,CAAC,GAAGJ,MAAM,CAACnB,MAAM,GAAG,CAAC,EAAEuB,CAAC,IAAI,CAAC,EAAE,EAAEA,CAAC,EAAE;IAC3C,MAAMC,EAAE,GAAGL,MAAM,CAACI,CAAC,CAAC;IACpB,MAAME,CAAC,GAAGP,MAAM,CAACK,CAAC,CAAC;IACnB,MAAM+B,KAAK,GAAGnC,MAAM,CAACI,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAIE,CAAC,KAAK,CAAC,CAAC,EAAE;MACZ;MACAN,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK,EAAEgC,EAAE,CAAChC,KAAK;QACfa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAE2C,KAAK;QACX5C,GAAG,EAAEc,EAAE,CAACd,GAAG;QACXD,KAAK,EAAEe,EAAE,CAACf;OACX;IACH,CAAC,MAAM,IAAIgB,CAAC,KAAK,CAAC,EAAE;MAClB;MACAN,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK,EAAEgC,EAAE,CAAChC,KAAK;QACfa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEa,EAAE,CAACb,IAAI;QACbD,GAAG,EAAEc,EAAE,CAACd,GAAG;QACXD,KAAK,EAAE6C;OACR;IACH,CAAC,MAAM;MACL;MACAnC,MAAM,CAACI,CAAC,CAAC,GAAG;QACVjB,GAAG,EAAEkB,EAAE,CAAClB,GAAG;QACXd,KAAK,EAAEgC,EAAE,CAAChC,KAAK;QACfa,KAAK,EAAEmB,EAAE,CAACnB,KAAK;QACfM,IAAI,EAAEa,EAAE,CAACb,IAAI;QACbD,GAAG,EAAE4C,KAAK;QACV7C,KAAK,EAAEe,EAAE,CAACf;OACX;IACH;EACF;EAEA,OAAOxB,QAAQ,CAACkC,MAAM,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC,CACF;AAED;AACA,OAAO,MAAM0C,eAAe,gBAAGrH,IAAI,CAIjC,CAAC,EACD,CAAIyE,IAAgB,EAAEX,GAAW,KAAI;EACnC,IAAIc,CAAC,GAAyBH,IAAoB,CAAC3B,KAAK;EACxD,IAAI8B,CAAC,KAAKvB,SAAS,IAAIS,GAAG,CAACN,MAAM,KAAK,CAAC,EAAE,OAAOjD,MAAM,CAAC8F,IAAI,EAAE;EAC7D,IAAIiB,iBAAiB,GAA4BjE,SAAS;EAC1D,IAAIwB,MAAM,GAAG,CAAC;EACd,OAAOA,MAAM,GAAGf,GAAG,CAACN,MAAM,EAAE;IAC1B,MAAMsB,CAAC,GAAGhB,GAAG,CAACe,MAAM,CAAC;IACrB,IAAID,CAAC,CAACf,KAAK,KAAKR,SAAS,EAAE;MACzBiE,iBAAiB,GAAG,CAACxD,GAAG,CAACyD,KAAK,CAAC,CAAC,EAAE1C,MAAM,GAAG,CAAC,CAAC,EAAED,CAAC,CAACf,KAAK,CAAC;IACzD;IAEA,IAAIiB,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACb,IAAIc,CAAC,CAACX,KAAK,KAAKZ,SAAS,EAAE;QACzB;MACF,CAAC,MAAM;QACLuB,CAAC,GAAGA,CAAC,CAACX,KAAK;MACb;IACF,CAAC,MAAM,IAAIa,CAAC,GAAGF,CAAC,CAACd,GAAG,EAAE;MACpB,IAAIc,CAAC,CAACT,IAAI,KAAKd,SAAS,EAAE;QACxB;MACF,CAAC,MAAM;QACLuB,CAAC,GAAGA,CAAC,CAACT,IAAI;MACZ;IACF,CAAC,MAAM;MACL,IAAIS,CAAC,CAACV,GAAG,KAAKb,SAAS,EAAE;QACvB;MACF,CAAC,MAAM;QACLuB,CAAC,GAAGA,CAAC,CAACV,GAAG;QACTW,MAAM,IAAI,CAAC;MACb;IACF;EACF;EAEA,OAAOtE,MAAM,CAAC+F,YAAY,CAACgB,iBAAiB,CAAC;AAC/C,CAAC,CACF"}
@@ -1,2 +1,2 @@
1
- export const moduleVersion = "2.2.0";
1
+ export const moduleVersion = "2.2.2";
2
2
  //# sourceMappingURL=version.js.map
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "effect",
3
- "version": "2.2.0",
3
+ "version": "2.2.2",
4
4
  "description": "Functional programming in TypeScript",
5
5
  "license": "MIT",
6
6
  "repository": {
package/src/Cause.ts CHANGED
@@ -34,10 +34,10 @@ import * as internal from "./internal/cause.js"
34
34
  import * as core from "./internal/core.js"
35
35
  import type * as Option from "./Option.js"
36
36
  import type { Pipeable } from "./Pipeable.js"
37
- import type { Predicate } from "./Predicate.js"
37
+ import type { Predicate, Refinement } from "./Predicate.js"
38
38
  import type * as Sink from "./Sink.js"
39
39
  import type * as Stream from "./Stream.js"
40
- import type * as Types from "./Types.js"
40
+ import type { Covariant, NoInfer } from "./Types.js"
41
41
 
42
42
  /**
43
43
  * @since 2.0.0
@@ -153,7 +153,7 @@ export declare namespace Cause {
153
153
  */
154
154
  export interface Variance<out E> {
155
155
  readonly [CauseTypeId]: {
156
- readonly _E: Types.Covariant<E>
156
+ readonly _E: Covariant<E>
157
157
  }
158
158
  }
159
159
  }
@@ -730,7 +730,9 @@ export const find: {
730
730
  * @category filtering
731
731
  */
732
732
  export const filter: {
733
- <E>(predicate: Predicate<Cause<E>>): (self: Cause<E>) => Cause<E>
733
+ <E, EB extends E>(refinement: Refinement<Cause<NoInfer<E>>, Cause<EB>>): (self: Cause<E>) => Cause<EB>
734
+ <E>(predicate: Predicate<Cause<NoInfer<E>>>): (self: Cause<E>) => Cause<E>
735
+ <E, EB extends E>(self: Cause<E>, refinement: Refinement<Cause<E>, Cause<EB>>): Cause<EB>
734
736
  <E>(self: Cause<E>, predicate: Predicate<Cause<E>>): Cause<E>
735
737
  } = internal.filter
736
738
 
package/src/Chunk.ts CHANGED
@@ -17,7 +17,7 @@ import { pipeArguments } from "./Pipeable.js"
17
17
  import { hasProperty, type Predicate, type Refinement } from "./Predicate.js"
18
18
  import * as RA from "./ReadonlyArray.js"
19
19
  import type { NonEmptyReadonlyArray } from "./ReadonlyArray.js"
20
- import type * as Types from "./Types.js"
20
+ import type { Covariant, NoInfer } from "./Types.js"
21
21
 
22
22
  const TypeId: unique symbol = Symbol.for("effect/Chunk") as TypeId
23
23
 
@@ -33,7 +33,7 @@ export type TypeId = typeof TypeId
33
33
  */
34
34
  export interface Chunk<out A> extends Iterable<A>, Equal.Equal, Pipeable, Inspectable {
35
35
  readonly [TypeId]: {
36
- readonly _A: Types.Covariant<A>
36
+ readonly _A: Covariant<A>
37
37
  }
38
38
  readonly length: number
39
39
  /** @internal */
@@ -534,7 +534,7 @@ export const dropRight: {
534
534
  * @since 2.0.0
535
535
  */
536
536
  export const dropWhile: {
537
- <B extends A, A = B>(predicate: Predicate<A>): (self: Chunk<B>) => Chunk<B>
537
+ <A>(predicate: Predicate<NoInfer<A>>): (self: Chunk<A>) => Chunk<A>
538
538
  <A>(self: Chunk<A>, predicate: Predicate<A>): Chunk<A>
539
539
  } = dual(2, <A>(self: Chunk<A>, predicate: Predicate<A>): Chunk<A> => {
540
540
  const arr = toReadonlyArray(self)
@@ -654,8 +654,8 @@ export const filterMap: {
654
654
  * @category filtering
655
655
  */
656
656
  export const filter: {
657
- <A, B extends A>(refinement: Refinement<A, B>): (self: Chunk<A>) => Chunk<B>
658
- <B extends A, A = B>(predicate: Predicate<A>): (self: Chunk<B>) => Chunk<B>
657
+ <A, B extends A>(refinement: Refinement<NoInfer<A>, B>): (self: Chunk<A>) => Chunk<B>
658
+ <A>(predicate: Predicate<NoInfer<A>>): (self: Chunk<A>) => Chunk<A>
659
659
  <A, B extends A>(self: Chunk<A>, refinement: Refinement<A, B>): Chunk<B>
660
660
  <A>(self: Chunk<A>, predicate: Predicate<A>): Chunk<A>
661
661
  } = dual(
@@ -907,12 +907,12 @@ export const mapAccum: {
907
907
  * @since 2.0.0
908
908
  */
909
909
  export const partition: {
910
- <C extends A, B extends A, A = C>(
911
- refinement: (a: A, i: number) => a is B
912
- ): (self: Chunk<C>) => [excluded: Chunk<Exclude<C, B>>, satisfying: Chunk<B>]
913
- <B extends A, A = B>(
914
- predicate: (a: A, i: number) => boolean
915
- ): (self: Chunk<B>) => [excluded: Chunk<B>, satisfying: Chunk<B>]
910
+ <A, B extends A>(
911
+ refinement: (a: NoInfer<A>, i: number) => a is B
912
+ ): (self: Chunk<A>) => [excluded: Chunk<Exclude<A, B>>, satisfying: Chunk<B>]
913
+ <A>(
914
+ predicate: (a: NoInfer<A>, i: number) => boolean
915
+ ): (self: Chunk<A>) => [excluded: Chunk<A>, satisfying: Chunk<A>]
916
916
  <A, B extends A>(
917
917
  self: Chunk<A>,
918
918
  refinement: (a: A, i: number) => a is B
@@ -1035,7 +1035,7 @@ export const split: {
1035
1035
  * @since 2.0.0
1036
1036
  */
1037
1037
  export const splitWhere: {
1038
- <B extends A, A = B>(predicate: Predicate<A>): (self: Chunk<B>) => [beforeMatch: Chunk<B>, fromMatch: Chunk<B>]
1038
+ <A>(predicate: Predicate<NoInfer<A>>): (self: Chunk<A>) => [beforeMatch: Chunk<A>, fromMatch: Chunk<A>]
1039
1039
  <A>(self: Chunk<A>, predicate: Predicate<A>): [beforeMatch: Chunk<A>, fromMatch: Chunk<A>]
1040
1040
  } = dual(2, <A>(self: Chunk<A>, predicate: Predicate<A>): [beforeMatch: Chunk<A>, fromMatch: Chunk<A>] => {
1041
1041
  let i = 0
@@ -1083,8 +1083,8 @@ export const takeRight: {
1083
1083
  * @category elements
1084
1084
  */
1085
1085
  export const takeWhile: {
1086
- <A, B extends A>(refinement: Refinement<A, B>): (self: Chunk<A>) => Chunk<B>
1087
- <B extends A, A = B>(predicate: Predicate<A>): (self: Chunk<B>) => Chunk<B>
1086
+ <A, B extends A>(refinement: Refinement<NoInfer<A>, B>): (self: Chunk<A>) => Chunk<B>
1087
+ <A>(predicate: Predicate<NoInfer<A>>): (self: Chunk<A>) => Chunk<A>
1088
1088
  <A, B extends A>(self: Chunk<A>, refinement: Refinement<A, B>): Chunk<B>
1089
1089
  <A>(self: Chunk<A>, predicate: Predicate<A>): Chunk<A>
1090
1090
  } = dual(2, <A>(self: Chunk<A>, predicate: Predicate<A>): Chunk<A> => {
@@ -1288,8 +1288,8 @@ export const containsWith: <A>(
1288
1288
  * @since 2.0.0
1289
1289
  */
1290
1290
  export const findFirst: {
1291
- <A, B extends A>(refinement: Refinement<A, B>): (self: Chunk<A>) => Option<B>
1292
- <B extends A, A = B>(predicate: Predicate<A>): (self: Chunk<B>) => Option<B>
1291
+ <A, B extends A>(refinement: Refinement<NoInfer<A>, B>): (self: Chunk<A>) => Option<B>
1292
+ <A>(predicate: Predicate<NoInfer<A>>): (self: Chunk<A>) => Option<A>
1293
1293
  <A, B extends A>(self: Chunk<A>, refinement: Refinement<A, B>): Option<B>
1294
1294
  <A>(self: Chunk<A>, predicate: Predicate<A>): Option<A>
1295
1295
  } = RA.findFirst
@@ -1312,8 +1312,8 @@ export const findFirstIndex: {
1312
1312
  * @since 2.0.0
1313
1313
  */
1314
1314
  export const findLast: {
1315
- <A, B extends A>(refinement: Refinement<A, B>): (self: Chunk<A>) => Option<B>
1316
- <B extends A, A = B>(predicate: Predicate<A>): (self: Chunk<B>) => Option<B>
1315
+ <A, B extends A>(refinement: Refinement<NoInfer<A>, B>): (self: Chunk<A>) => Option<B>
1316
+ <A>(predicate: Predicate<NoInfer<A>>): (self: Chunk<A>) => Option<A>
1317
1317
  <A, B extends A>(self: Chunk<A>, refinement: Refinement<A, B>): Option<B>
1318
1318
  <A>(self: Chunk<A>, predicate: Predicate<A>): Option<A>
1319
1319
  } = RA.findLast
@@ -1336,7 +1336,7 @@ export const findLastIndex: {
1336
1336
  * @since 2.0.0
1337
1337
  */
1338
1338
  export const every: {
1339
- <A, B extends A>(refinement: Refinement<A, B>): (self: Chunk<A>) => self is Chunk<B>
1339
+ <A, B extends A>(refinement: Refinement<NoInfer<A>, B>): (self: Chunk<A>) => self is Chunk<B>
1340
1340
  <A>(predicate: Predicate<A>): (self: Chunk<A>) => boolean
1341
1341
  <A, B extends A>(self: Chunk<A>, refinement: Refinement<A, B>): self is Chunk<B>
1342
1342
  <A>(self: Chunk<A>, predicate: Predicate<A>): boolean
@@ -1353,7 +1353,7 @@ export const every: {
1353
1353
  * @since 2.0.0
1354
1354
  */
1355
1355
  export const some: {
1356
- <B extends A, A = B>(predicate: Predicate<A>): (self: Chunk<B>) => self is NonEmptyChunk<B>
1356
+ <A>(predicate: Predicate<NoInfer<A>>): (self: Chunk<A>) => self is NonEmptyChunk<A>
1357
1357
  <A>(self: Chunk<A>, predicate: Predicate<A>): self is NonEmptyChunk<A>
1358
1358
  } = dual(
1359
1359
  2,
package/src/Effect.ts CHANGED
@@ -508,9 +508,9 @@ export const allSuccesses: <R, E, A>(
508
508
  * @category collecting & elements
509
509
  */
510
510
  export const dropUntil: {
511
- <B extends A, R, E, A = B>(
512
- predicate: (a: A, i: number) => Effect<R, E, boolean>
513
- ): (elements: Iterable<B>) => Effect<R, E, Array<B>>
511
+ <A, R, E>(
512
+ predicate: (a: NoInfer<A>, i: number) => Effect<R, E, boolean>
513
+ ): (elements: Iterable<A>) => Effect<R, E, Array<A>>
514
514
  <A, R, E>(elements: Iterable<A>, predicate: (a: A, i: number) => Effect<R, E, boolean>): Effect<R, E, Array<A>>
515
515
  } = effect.dropUntil
516
516
 
@@ -521,9 +521,9 @@ export const dropUntil: {
521
521
  * @category collecting & elements
522
522
  */
523
523
  export const dropWhile: {
524
- <B extends A, R, E, A = B>(
525
- predicate: (a: A, i: number) => Effect<R, E, boolean>
526
- ): (elements: Iterable<B>) => Effect<R, E, Array<B>>
524
+ <A, R, E>(
525
+ predicate: (a: NoInfer<A>, i: number) => Effect<R, E, boolean>
526
+ ): (elements: Iterable<A>) => Effect<R, E, Array<A>>
527
527
  <A, R, E>(elements: Iterable<A>, predicate: (a: A, i: number) => Effect<R, E, boolean>): Effect<R, E, Array<A>>
528
528
  } = effect.dropWhile
529
529
 
@@ -857,9 +857,9 @@ export const replicateEffect: {
857
857
  * @category collecting & elements
858
858
  */
859
859
  export const takeUntil: {
860
- <B extends A, R, E, A = B>(
861
- predicate: (a: A, i: number) => Effect<R, E, boolean>
862
- ): (elements: Iterable<B>) => Effect<R, E, Array<B>>
860
+ <A, R, E>(
861
+ predicate: (a: NoInfer<A>, i: number) => Effect<R, E, boolean>
862
+ ): (elements: Iterable<A>) => Effect<R, E, Array<A>>
863
863
  <R, E, A>(elements: Iterable<A>, predicate: (a: A, i: number) => Effect<R, E, boolean>): Effect<R, E, Array<A>>
864
864
  } = effect.takeUntil
865
865
 
@@ -870,9 +870,9 @@ export const takeUntil: {
870
870
  * @category collecting & elements
871
871
  */
872
872
  export const takeWhile: {
873
- <R, E, B extends A, A = B>(
874
- predicate: (a: A, i: number) => Effect<R, E, boolean>
875
- ): (elements: Iterable<B>) => Effect<R, E, Array<B>>
873
+ <R, E, A>(
874
+ predicate: (a: NoInfer<A>, i: number) => Effect<R, E, boolean>
875
+ ): (elements: Iterable<A>) => Effect<R, E, Array<A>>
876
876
  <R, E, A>(elements: Iterable<A>, predicate: (a: A, i: number) => Effect<R, E, boolean>): Effect<R, E, Array<A>>
877
877
  } = effect.takeWhile
878
878
 
@@ -1559,23 +1559,23 @@ export const catchAllDefect: {
1559
1559
  * @category error handling
1560
1560
  */
1561
1561
  export const catchIf: {
1562
- <E, EA extends E, EB extends EA, R2, E2, A2>(
1563
- refinement: Refinement<EA, EB>,
1562
+ <E, EB extends E, R2, E2, A2>(
1563
+ refinement: Refinement<NoInfer<E>, EB>,
1564
1564
  f: (e: EB) => Effect<R2, E2, A2>
1565
1565
  ): <R, A>(self: Effect<R, E, A>) => Effect<R2 | R, E2 | Exclude<E, EB>, A2 | A>
1566
- <E, EX extends E, R2, E2, A2>(
1567
- predicate: Predicate<EX>,
1568
- f: (e: EX) => Effect<R2, E2, A2>
1566
+ <E, R2, E2, A2>(
1567
+ predicate: Predicate<NoInfer<E>>,
1568
+ f: (e: NoInfer<E>) => Effect<R2, E2, A2>
1569
1569
  ): <R, A>(self: Effect<R, E, A>) => Effect<R2 | R, E | E2, A2 | A>
1570
1570
  <R, E, A, EA extends E, EB extends EA, R2, E2, A2>(
1571
1571
  self: Effect<R, E, A>,
1572
1572
  refinement: Refinement<EA, EB>,
1573
1573
  f: (e: EB) => Effect<R2, E2, A2>
1574
1574
  ): Effect<R | R2, E2 | Exclude<E, EB>, A | A2>
1575
- <R, E, A, EX extends E, R2, E2, A2>(
1575
+ <R, E, A, R2, E2, A2>(
1576
1576
  self: Effect<R, E, A>,
1577
- predicate: Predicate<EX>,
1578
- f: (e: EX) => Effect<R2, E2, A2>
1577
+ predicate: Predicate<E>,
1578
+ f: (e: E) => Effect<R2, E2, A2>
1579
1579
  ): Effect<R | R2, E | E2, A | A2>
1580
1580
  } = core.catchIf
1581
1581
 
@@ -3358,24 +3358,20 @@ export {
3358
3358
  * @category filtering & conditionals
3359
3359
  */
3360
3360
  export const filterOrDie: {
3361
- <A, B extends A, X extends A>(
3362
- filter: Refinement<A, B>,
3363
- orDieWith: (a: X) => unknown
3361
+ <A, B extends A>(
3362
+ refinement: Refinement<NoInfer<A>, B>,
3363
+ orDieWith: (a: NoInfer<A>) => unknown
3364
3364
  ): <R, E>(self: Effect<R, E, A>) => Effect<R, E, B>
3365
- <A, X extends A, Y extends A>(
3366
- filter: Predicate<X>,
3367
- orDieWith: (a: Y) => unknown
3365
+ <A>(
3366
+ predicate: Predicate<NoInfer<A>>,
3367
+ orDieWith: (a: NoInfer<A>) => unknown
3368
3368
  ): <R, E>(self: Effect<R, E, A>) => Effect<R, E, A>
3369
- <R, E, A, B extends A, X extends A>(
3369
+ <R, E, A, B extends A>(
3370
3370
  self: Effect<R, E, A>,
3371
- filter: Refinement<A, B>,
3372
- orDieWith: (a: X) => unknown
3371
+ refinement: Refinement<A, B>,
3372
+ orDieWith: (a: A) => unknown
3373
3373
  ): Effect<R, E, B>
3374
- <R, E, A, X extends A, Y extends A>(
3375
- self: Effect<R, E, A>,
3376
- filter: Predicate<X>,
3377
- orDieWith: (a: Y) => unknown
3378
- ): Effect<R, E, A>
3374
+ <R, E, A>(self: Effect<R, E, A>, filter: Predicate<A>, orDieWith: (a: A) => unknown): Effect<R, E, A>
3379
3375
  } = effect.filterOrDie
3380
3376
 
3381
3377
  /**
@@ -3386,10 +3382,13 @@ export const filterOrDie: {
3386
3382
  * @category filtering & conditionals
3387
3383
  */
3388
3384
  export const filterOrDieMessage: {
3389
- <A, B extends A>(filter: Refinement<A, B>, message: string): <R, E>(self: Effect<R, E, A>) => Effect<R, E, B>
3390
- <A, X extends A>(filter: Predicate<X>, message: string): <R, E>(self: Effect<R, E, A>) => Effect<R, E, A>
3391
- <R, E, A, B extends A>(self: Effect<R, E, A>, filter: Refinement<A, B>, message: string): Effect<R, E, B>
3392
- <R, E, A, X extends A>(self: Effect<R, E, A>, filter: Predicate<X>, message: string): Effect<R, E, A>
3385
+ <A, B extends A>(
3386
+ refinement: Refinement<NoInfer<A>, B>,
3387
+ message: string
3388
+ ): <R, E>(self: Effect<R, E, A>) => Effect<R, E, B>
3389
+ <A>(predicate: Predicate<NoInfer<A>>, message: string): <R, E>(self: Effect<R, E, A>) => Effect<R, E, A>
3390
+ <R, E, A, B extends A>(self: Effect<R, E, A>, refinement: Refinement<A, B>, message: string): Effect<R, E, B>
3391
+ <R, E, A>(self: Effect<R, E, A>, predicate: Predicate<A>, message: string): Effect<R, E, A>
3393
3392
  } = effect.filterOrDieMessage
3394
3393
 
3395
3394
  /**
@@ -3400,23 +3399,23 @@ export const filterOrDieMessage: {
3400
3399
  * @category filtering & conditionals
3401
3400
  */
3402
3401
  export const filterOrElse: {
3403
- <A, B extends A, X extends A, R2, E2, C>(
3404
- filter: Refinement<A, B>,
3405
- orElse: (a: X) => Effect<R2, E2, C>
3402
+ <A, B extends A, R2, E2, C>(
3403
+ refinement: Refinement<NoInfer<A>, B>,
3404
+ orElse: (a: NoInfer<A>) => Effect<R2, E2, C>
3406
3405
  ): <R, E>(self: Effect<R, E, A>) => Effect<R2 | R, E2 | E, B | C>
3407
- <A, X extends A, Y extends A, R2, E2, B>(
3408
- filter: Predicate<X>,
3409
- orElse: (a: Y) => Effect<R2, E2, B>
3406
+ <A, R2, E2, B>(
3407
+ predicate: Predicate<NoInfer<A>>,
3408
+ orElse: (a: NoInfer<A>) => Effect<R2, E2, B>
3410
3409
  ): <R, E>(self: Effect<R, E, A>) => Effect<R2 | R, E2 | E, A | B>
3411
- <R, E, A, B extends A, X extends A, R2, E2, C>(
3410
+ <R, E, A, B extends A, R2, E2, C>(
3412
3411
  self: Effect<R, E, A>,
3413
- filter: Refinement<A, B>,
3414
- orElse: (a: X) => Effect<R2, E2, C>
3412
+ refinement: Refinement<A, B>,
3413
+ orElse: (a: A) => Effect<R2, E2, C>
3415
3414
  ): Effect<R | R2, E | E2, B | C>
3416
- <R, E, A, X extends A, Y extends A, R2, E2, B>(
3415
+ <R, E, A, R2, E2, B>(
3417
3416
  self: Effect<R, E, A>,
3418
- filter: Predicate<X>,
3419
- orElse: (a: Y) => Effect<R2, E2, B>
3417
+ predicate: Predicate<A>,
3418
+ orElse: (a: A) => Effect<R2, E2, B>
3420
3419
  ): Effect<R | R2, E | E2, A | B>
3421
3420
  } = effect.filterOrElse
3422
3421
 
@@ -3454,24 +3453,20 @@ export const filterOrElse: {
3454
3453
  * @category filtering & conditionals
3455
3454
  */
3456
3455
  export const filterOrFail: {
3457
- <A, B extends A, X extends A, E2>(
3458
- filter: Refinement<A, B>,
3459
- orFailWith: (a: X) => E2
3456
+ <A, B extends A, E2>(
3457
+ refinement: Refinement<NoInfer<A>, B>,
3458
+ orFailWith: (a: NoInfer<A>) => E2
3460
3459
  ): <R, E>(self: Effect<R, E, A>) => Effect<R, E2 | E, B>
3461
- <A, X extends A, Y extends A, E2>(
3462
- filter: Predicate<X>,
3463
- orFailWith: (a: Y) => E2
3460
+ <A, E2>(
3461
+ predicate: Predicate<NoInfer<A>>,
3462
+ orFailWith: (a: NoInfer<A>) => E2
3464
3463
  ): <R, E>(self: Effect<R, E, A>) => Effect<R, E2 | E, A>
3465
- <R, E, A, B extends A, X extends A, E2>(
3464
+ <R, E, A, B extends A, E2>(
3466
3465
  self: Effect<R, E, A>,
3467
- filter: Refinement<A, B>,
3468
- orFailWith: (a: X) => E2
3466
+ refinement: Refinement<A, B>,
3467
+ orFailWith: (a: A) => E2
3469
3468
  ): Effect<R, E | E2, B>
3470
- <R, E, A, X extends A, Y extends A, E2>(
3471
- self: Effect<R, E, A>,
3472
- filter: Predicate<X>,
3473
- orFailWith: (a: Y) => E2
3474
- ): Effect<R, E | E2, A>
3469
+ <R, E, A, E2>(self: Effect<R, E, A>, predicate: Predicate<A>, orFailWith: (a: A) => E2): Effect<R, E | E2, A>
3475
3470
  } = effect.filterOrFail
3476
3471
 
3477
3472
  /**
@@ -3481,8 +3476,8 @@ export const filterOrFail: {
3481
3476
  * @category filtering & conditionals
3482
3477
  */
3483
3478
  export const unless: {
3484
- (predicate: LazyArg<boolean>): <R, E, A>(self: Effect<R, E, A>) => Effect<R, E, Option.Option<A>>
3485
- <R, E, A>(self: Effect<R, E, A>, predicate: LazyArg<boolean>): Effect<R, E, Option.Option<A>>
3479
+ (condition: LazyArg<boolean>): <R, E, A>(self: Effect<R, E, A>) => Effect<R, E, Option.Option<A>>
3480
+ <R, E, A>(self: Effect<R, E, A>, condition: LazyArg<boolean>): Effect<R, E, Option.Option<A>>
3486
3481
  } = effect.unless
3487
3482
 
3488
3483
  /**
@@ -3493,13 +3488,13 @@ export const unless: {
3493
3488
  */
3494
3489
  export const unlessEffect: {
3495
3490
  <R2, E2>(
3496
- predicate: Effect<R2, E2, boolean>
3491
+ condition: Effect<R2, E2, boolean>
3497
3492
  ): <R, E, A>(
3498
3493
  self: Effect<R, E, A>
3499
3494
  ) => Effect<R2 | R, E2 | E, Option.Option<A>>
3500
3495
  <R, E, A, R2, E2>(
3501
3496
  self: Effect<R, E, A>,
3502
- predicate: Effect<R2, E2, boolean>
3497
+ condition: Effect<R2, E2, boolean>
3503
3498
  ): Effect<R | R2, E | E2, Option.Option<A>>
3504
3499
  } = effect.unlessEffect
3505
3500
 
@@ -3510,8 +3505,8 @@ export const unlessEffect: {
3510
3505
  * @category filtering & conditionals
3511
3506
  */
3512
3507
  export const when: {
3513
- (predicate: LazyArg<boolean>): <R, E, A>(self: Effect<R, E, A>) => Effect<R, E, Option.Option<A>>
3514
- <R, E, A>(self: Effect<R, E, A>, predicate: LazyArg<boolean>): Effect<R, E, Option.Option<A>>
3508
+ (condition: LazyArg<boolean>): <R, E, A>(self: Effect<R, E, A>) => Effect<R, E, Option.Option<A>>
3509
+ <R, E, A>(self: Effect<R, E, A>, condition: LazyArg<boolean>): Effect<R, E, Option.Option<A>>
3515
3510
  } = effect.when
3516
3511
 
3517
3512
  /**
@@ -3520,13 +3515,13 @@ export const when: {
3520
3515
  */
3521
3516
  export const whenEffect: {
3522
3517
  <R, E>(
3523
- predicate: Effect<R, E, boolean>
3518
+ condition: Effect<R, E, boolean>
3524
3519
  ): <R2, E2, A>(
3525
3520
  effect: Effect<R2, E2, A>
3526
3521
  ) => Effect<R | R2, E | E2, Option.Option<A>>
3527
3522
  <R, E, A, R2, E2>(
3528
3523
  self: Effect<R2, E2, A>,
3529
- predicate: Effect<R, E, boolean>
3524
+ condition: Effect<R, E, boolean>
3530
3525
  ): Effect<R | R2, E | E2, Option.Option<A>>
3531
3526
  } = core.whenEffect
3532
3527
 
package/src/Either.ts CHANGED
@@ -13,7 +13,7 @@ import type { Option } from "./Option.js"
13
13
  import type { Pipeable } from "./Pipeable.js"
14
14
  import type { Predicate, Refinement } from "./Predicate.js"
15
15
  import { isFunction } from "./Predicate.js"
16
- import type * as Types from "./Types.js"
16
+ import type { Covariant, NoInfer } from "./Types.js"
17
17
  import type * as Unify from "./Unify.js"
18
18
  import * as Gen from "./Utils.js"
19
19
 
@@ -44,8 +44,8 @@ export interface Left<out E, out A> extends Data.Case, Pipeable, Inspectable {
44
44
  readonly _op: "Left"
45
45
  readonly left: E
46
46
  readonly [TypeId]: {
47
- readonly _A: Types.Covariant<A>
48
- readonly _E: Types.Covariant<E>
47
+ readonly _A: Covariant<A>
48
+ readonly _E: Covariant<E>
49
49
  }
50
50
  [Unify.typeSymbol]?: unknown
51
51
  [Unify.unifySymbol]?: EitherUnify<this>
@@ -61,8 +61,8 @@ export interface Right<out E, out A> extends Data.Case, Pipeable, Inspectable {
61
61
  readonly _op: "Right"
62
62
  readonly right: A
63
63
  readonly [TypeId]: {
64
- readonly _A: Types.Covariant<A>
65
- readonly _E: Types.Covariant<E>
64
+ readonly _A: Covariant<A>
65
+ readonly _E: Covariant<E>
66
66
  }
67
67
  [Unify.typeSymbol]?: unknown
68
68
  [Unify.unifySymbol]?: EitherUnify<this>
@@ -405,29 +405,25 @@ export const match: {
405
405
  * @category filtering & conditionals
406
406
  */
407
407
  export const filterOrLeft: {
408
- <A, B extends A, X extends A, E2>(
409
- filter: Refinement<A, B>,
410
- orLeftWith: (a: X) => E2
408
+ <A, B extends A, E2>(
409
+ refinement: Refinement<NoInfer<A>, B>,
410
+ orLeftWith: (a: NoInfer<A>) => E2
411
411
  ): <E>(self: Either<E, A>) => Either<E2 | E, B>
412
- <A, X extends A, Y extends A, E2>(
413
- filter: Predicate<X>,
414
- orLeftWith: (a: Y) => E2
412
+ <A, E2>(
413
+ predicate: Predicate<NoInfer<A>>,
414
+ orLeftWith: (a: NoInfer<A>) => E2
415
415
  ): <E>(self: Either<E, A>) => Either<E2 | E, A>
416
- <E, A, B extends A, X extends A, E2>(
416
+ <E, A, B extends A, E2>(
417
417
  self: Either<E, A>,
418
- filter: Refinement<A, B>,
419
- orLeftWith: (a: X) => E2
418
+ refinement: Refinement<A, B>,
419
+ orLeftWith: (a: A) => E2
420
420
  ): Either<E | E2, B>
421
- <E, A, X extends A, Y extends A, E2>(
422
- self: Either<E, A>,
423
- filter: Predicate<X>,
424
- orLeftWith: (a: Y) => E2
425
- ): Either<E | E2, A>
421
+ <E, A, E2>(self: Either<E, A>, predicate: Predicate<A>, orLeftWith: (a: A) => E2): Either<E | E2, A>
426
422
  } = dual(3, <E, A, E2>(
427
423
  self: Either<E, A>,
428
- filter: Predicate<A>,
424
+ predicate: Predicate<A>,
429
425
  orLeftWith: (a: A) => E2
430
- ): Either<E | E2, A> => flatMap(self, (a) => filter(a) ? right(a) : left(orLeftWith(a))))
426
+ ): Either<E | E2, A> => flatMap(self, (a) => predicate(a) ? right(a) : left(orLeftWith(a))))
431
427
 
432
428
  /**
433
429
  * @category getters
package/src/Exit.ts CHANGED
@@ -10,6 +10,7 @@ import * as core from "./internal/core.js"
10
10
  import type * as Option from "./Option.js"
11
11
  import type { Pipeable } from "./Pipeable.js"
12
12
  import type { Predicate, Refinement } from "./Predicate.js"
13
+ import type { NoInfer } from "./Types.js"
13
14
  import type * as Unify from "./Unify.js"
14
15
 
15
16
  /**
@@ -168,8 +169,8 @@ export const die: (defect: unknown) => Exit<never, never> = core.exitDie
168
169
  * @category elements
169
170
  */
170
171
  export const exists: {
171
- <A, B extends A>(refinement: Refinement<A, B>): <E>(self: Exit<E, A>) => self is Exit<never, B>
172
- <A>(predicate: Predicate<A>): <E>(self: Exit<E, A>) => boolean
172
+ <A, B extends A>(refinement: Refinement<NoInfer<A>, B>): <E>(self: Exit<E, A>) => self is Exit<never, B>
173
+ <A>(predicate: Predicate<NoInfer<A>>): <E>(self: Exit<E, A>) => boolean
173
174
  <E, A, B extends A>(self: Exit<E, A>, refinement: Refinement<A, B>): self is Exit<never, B>
174
175
  <E, A>(self: Exit<E, A>, predicate: Predicate<A>): boolean
175
176
  } = core.exitExists