@fncts/base 0.0.40 → 0.0.41

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 (645) hide show
  1. package/_cjs/collection/AsyncIterable/api.cjs +384 -0
  2. package/_cjs/collection/AsyncIterable/api.cjs.map +1 -0
  3. package/_cjs/collection/AsyncIterable/definition.cjs +2 -0
  4. package/_cjs/collection/AsyncIterable/definition.cjs.map +1 -0
  5. package/_cjs/collection/{compat/Array.cjs → AsyncIterable.cjs} +3 -3
  6. package/_cjs/collection/AsyncIterable.cjs.map +1 -0
  7. package/_cjs/collection/Iterable/api/traverseConc.cjs +1 -2
  8. package/_cjs/collection/Iterable/api/traverseConc.cjs.map +1 -1
  9. package/_cjs/collection/Iterable/api.cjs +180 -137
  10. package/_cjs/collection/Iterable/api.cjs.map +1 -1
  11. package/_cjs/collection/Iterable/constructors.cjs.map +1 -1
  12. package/_cjs/collection/compat/ArrayLike/api.cjs +1 -2
  13. package/_cjs/collection/compat/ArrayLike/api.cjs.map +1 -1
  14. package/_cjs/collection/immutable/Conc/api/makeBy.cjs +1 -2
  15. package/_cjs/collection/immutable/Conc/api/makeBy.cjs.map +1 -1
  16. package/_cjs/collection/immutable/Conc/api/replicate.cjs +1 -2
  17. package/_cjs/collection/immutable/Conc/api/replicate.cjs.map +1 -1
  18. package/_cjs/collection/immutable/Conc/api.cjs +1 -2
  19. package/_cjs/collection/immutable/Conc/api.cjs.map +1 -1
  20. package/_cjs/collection/immutable/Conc/constructors.cjs +3 -4
  21. package/_cjs/collection/immutable/Conc/constructors.cjs.map +1 -1
  22. package/_cjs/collection/immutable/Conc/definition.cjs +3 -3
  23. package/_cjs/collection/immutable/Conc/definition.cjs.map +1 -1
  24. package/_cjs/collection/immutable/Dictionary/api.cjs +1 -2
  25. package/_cjs/collection/immutable/Dictionary/api.cjs.map +1 -1
  26. package/_cjs/collection/immutable/Dictionary/definition.cjs +1 -2
  27. package/_cjs/collection/immutable/Dictionary/definition.cjs.map +1 -1
  28. package/_cjs/collection/immutable/HashMap/api.cjs +1 -2
  29. package/_cjs/collection/immutable/HashMap/api.cjs.map +1 -1
  30. package/_cjs/collection/immutable/HashMap/definition.cjs +1 -2
  31. package/_cjs/collection/immutable/HashMap/definition.cjs.map +1 -1
  32. package/_cjs/collection/immutable/HashMap/internal.cjs +1 -2
  33. package/_cjs/collection/immutable/HashMap/internal.cjs.map +1 -1
  34. package/_cjs/collection/immutable/HashSet/api.cjs +1 -2
  35. package/_cjs/collection/immutable/HashSet/api.cjs.map +1 -1
  36. package/_cjs/collection/immutable/HashSet/definition.cjs +1 -2
  37. package/_cjs/collection/immutable/HashSet/definition.cjs.map +1 -1
  38. package/_cjs/collection/immutable/List/api/foldLeft.cjs +1 -2
  39. package/_cjs/collection/immutable/List/api/foldLeft.cjs.map +1 -1
  40. package/_cjs/collection/immutable/List/api/unsafeTail.cjs +1 -2
  41. package/_cjs/collection/immutable/List/api/unsafeTail.cjs.map +1 -1
  42. package/_cjs/collection/immutable/List/api.cjs +3 -4
  43. package/_cjs/collection/immutable/List/api.cjs.map +1 -1
  44. package/_cjs/collection/immutable/List/constructors.cjs +1 -2
  45. package/_cjs/collection/immutable/List/constructors.cjs.map +1 -1
  46. package/_cjs/collection/immutable/List/definition.cjs +1 -2
  47. package/_cjs/collection/immutable/List/definition.cjs.map +1 -1
  48. package/_cjs/collection/immutable/Queue/api.cjs +1 -2
  49. package/_cjs/collection/immutable/Queue/api.cjs.map +1 -1
  50. package/_cjs/collection/immutable/Queue/constructors.cjs +1 -2
  51. package/_cjs/collection/immutable/Queue/constructors.cjs.map +1 -1
  52. package/_cjs/collection/immutable/Queue/definition.cjs +1 -2
  53. package/_cjs/collection/immutable/Queue/definition.cjs.map +1 -1
  54. package/_cjs/collection/immutable/Queue/guards.cjs +1 -2
  55. package/_cjs/collection/immutable/Queue/guards.cjs.map +1 -1
  56. package/_cjs/collection/immutable/ReadonlyArray/api/chunksOf.cjs +18 -0
  57. package/_cjs/collection/immutable/ReadonlyArray/api/chunksOf.cjs.map +1 -0
  58. package/_cjs/collection/immutable/ReadonlyArray/api/splitAt.cjs +15 -0
  59. package/_cjs/collection/immutable/ReadonlyArray/api/splitAt.cjs.map +1 -0
  60. package/_cjs/collection/immutable/ReadonlyArray/api/splitWhere.cjs +26 -0
  61. package/_cjs/collection/immutable/ReadonlyArray/api/splitWhere.cjs.map +1 -0
  62. package/_cjs/collection/immutable/{ImmutableArray → ReadonlyArray}/api.cjs +562 -538
  63. package/_cjs/collection/immutable/ReadonlyArray/api.cjs.map +1 -0
  64. package/_cjs/collection/immutable/ReadonlyArray/constructors.cjs +55 -0
  65. package/_cjs/collection/immutable/ReadonlyArray/constructors.cjs.map +1 -0
  66. package/_cjs/collection/immutable/ReadonlyArray/definition.cjs.map +1 -0
  67. package/_cjs/collection/immutable/{ImmutableArray → ReadonlyArray}/instances.cjs +5 -7
  68. package/_cjs/collection/immutable/ReadonlyArray/instances.cjs.map +1 -0
  69. package/_cjs/collection/immutable/{ImmutableArray.cjs → ReadonlyArray.cjs} +8 -19
  70. package/_cjs/collection/immutable/ReadonlyArray.cjs.map +1 -0
  71. package/_cjs/collection/immutable/ReadonlyNonEmptyArray/api.cjs +472 -0
  72. package/_cjs/collection/immutable/ReadonlyNonEmptyArray/api.cjs.map +1 -0
  73. package/_cjs/collection/immutable/ReadonlyNonEmptyArray/constructors.cjs +79 -0
  74. package/_cjs/collection/immutable/ReadonlyNonEmptyArray/constructors.cjs.map +1 -0
  75. package/_cjs/collection/immutable/ReadonlyNonEmptyArray/definition.cjs +2 -0
  76. package/_cjs/collection/immutable/ReadonlyNonEmptyArray/definition.cjs.map +1 -0
  77. package/_cjs/collection/immutable/ReadonlyNonEmptyArray/destructors.cjs +49 -0
  78. package/_cjs/collection/immutable/ReadonlyNonEmptyArray/destructors.cjs.map +1 -0
  79. package/_cjs/collection/immutable/{ImmutableNonEmptyArray → ReadonlyNonEmptyArray}/instances.cjs +3 -4
  80. package/_cjs/collection/immutable/ReadonlyNonEmptyArray/instances.cjs.map +1 -0
  81. package/_cjs/collection/immutable/{ImmutableNonEmptyArray.cjs → ReadonlyNonEmptyArray.cjs} +6 -6
  82. package/_cjs/collection/immutable/ReadonlyNonEmptyArray.cjs.map +1 -0
  83. package/_cjs/collection/immutable/RoseTree/api.cjs +1 -2
  84. package/_cjs/collection/immutable/RoseTree/api.cjs.map +1 -1
  85. package/_cjs/collection/immutable/RoseTree/definition.cjs +1 -2
  86. package/_cjs/collection/immutable/RoseTree/definition.cjs.map +1 -1
  87. package/_cjs/collection/immutable/SortedMap/api.cjs +1 -2
  88. package/_cjs/collection/immutable/SortedMap/api.cjs.map +1 -1
  89. package/_cjs/collection/immutable/SortedMap/iterator.cjs +1 -2
  90. package/_cjs/collection/immutable/SortedMap/iterator.cjs.map +1 -1
  91. package/_cjs/collection/immutable/Vector/api.cjs +229 -230
  92. package/_cjs/collection/immutable/Vector/api.cjs.map +1 -1
  93. package/_cjs/collection/immutable/Vector/definition.cjs +1 -2
  94. package/_cjs/collection/immutable/Vector/definition.cjs.map +1 -1
  95. package/_cjs/collection/mutable/ArrayDeque.cjs +1 -2
  96. package/_cjs/collection/mutable/ArrayDeque.cjs.map +1 -1
  97. package/_cjs/collection/mutable/HashMap.cjs +1 -2
  98. package/_cjs/collection/mutable/HashMap.cjs.map +1 -1
  99. package/_cjs/collection/mutable/HashSet.cjs +1 -2
  100. package/_cjs/collection/mutable/HashSet.cjs.map +1 -1
  101. package/_cjs/collection/mutable/ListBuffer.cjs +1 -2
  102. package/_cjs/collection/mutable/ListBuffer.cjs.map +1 -1
  103. package/_cjs/collection/weak/IterableWeakMap.cjs +1 -2
  104. package/_cjs/collection/weak/IterableWeakMap.cjs.map +1 -1
  105. package/_cjs/control/Eval/api.cjs +89 -41
  106. package/_cjs/control/Eval/api.cjs.map +1 -1
  107. package/_cjs/control/Eval/constructors.cjs +5 -1
  108. package/_cjs/control/Eval/constructors.cjs.map +1 -1
  109. package/_cjs/control/Eval/instance.cjs +1 -2
  110. package/_cjs/control/Eval/instance.cjs.map +1 -1
  111. package/_cjs/control/Eval/run.cjs +1 -2
  112. package/_cjs/control/Eval/run.cjs.map +1 -1
  113. package/_cjs/control/Pure/api.cjs +1 -2
  114. package/_cjs/control/Pure/api.cjs.map +1 -1
  115. package/_cjs/control/Pure/definition.cjs +1 -2
  116. package/_cjs/control/Pure/definition.cjs.map +1 -1
  117. package/_cjs/control/Pure/instances.cjs +1 -2
  118. package/_cjs/control/Pure/instances.cjs.map +1 -1
  119. package/_cjs/control/Pure/runtime.cjs +15 -10
  120. package/_cjs/control/Pure/runtime.cjs.map +1 -1
  121. package/_cjs/data/CaseClass.cjs +11 -14
  122. package/_cjs/data/CaseClass.cjs.map +1 -1
  123. package/_cjs/data/Cause/api/fold.cjs +33 -34
  124. package/_cjs/data/Cause/api/fold.cjs.map +1 -1
  125. package/_cjs/data/Cause/api/isEmpty.cjs +1 -2
  126. package/_cjs/data/Cause/api/isEmpty.cjs.map +1 -1
  127. package/_cjs/data/Cause/api/linearize.cjs +1 -2
  128. package/_cjs/data/Cause/api/linearize.cjs.map +1 -1
  129. package/_cjs/data/Cause/api/prettyPrint.cjs +1 -2
  130. package/_cjs/data/Cause/api/prettyPrint.cjs.map +1 -1
  131. package/_cjs/data/Cause/api/unified.cjs +1 -2
  132. package/_cjs/data/Cause/api/unified.cjs.map +1 -1
  133. package/_cjs/data/Cause/api.cjs +1 -2
  134. package/_cjs/data/Cause/api.cjs.map +1 -1
  135. package/_cjs/data/Cause/definition.cjs +1 -2
  136. package/_cjs/data/Cause/definition.cjs.map +1 -1
  137. package/_cjs/data/Const/api.cjs +7 -7
  138. package/_cjs/data/Const/api.cjs.map +1 -1
  139. package/_cjs/data/Const/instances.cjs +12 -13
  140. package/_cjs/data/Const/instances.cjs.map +1 -1
  141. package/_cjs/data/Data.cjs +1 -2
  142. package/_cjs/data/Data.cjs.map +1 -1
  143. package/_cjs/data/Datum/api.cjs +110 -113
  144. package/_cjs/data/Datum/api.cjs.map +1 -1
  145. package/_cjs/data/Datum/definition.cjs +1 -2
  146. package/_cjs/data/Datum/definition.cjs.map +1 -1
  147. package/_cjs/data/Datum/instances.cjs +1 -2
  148. package/_cjs/data/Datum/instances.cjs.map +1 -1
  149. package/_cjs/data/Datum.cjs +39 -0
  150. package/_cjs/data/Datum.cjs.map +1 -0
  151. package/_cjs/data/DatumEither/api.cjs +56 -57
  152. package/_cjs/data/DatumEither/api.cjs.map +1 -1
  153. package/_cjs/data/Duration/api.cjs +1 -2
  154. package/_cjs/data/Duration/api.cjs.map +1 -1
  155. package/_cjs/data/Duration/definition.cjs +1 -2
  156. package/_cjs/data/Duration/definition.cjs.map +1 -1
  157. package/_cjs/data/Either/api/align.cjs +1 -2
  158. package/_cjs/data/Either/api/align.cjs.map +1 -1
  159. package/_cjs/data/Either/api/alignWith.cjs +1 -2
  160. package/_cjs/data/Either/api/alignWith.cjs.map +1 -1
  161. package/_cjs/data/Either/api.cjs +53 -55
  162. package/_cjs/data/Either/api.cjs.map +1 -1
  163. package/_cjs/data/Either/constructors.cjs +21 -22
  164. package/_cjs/data/Either/constructors.cjs.map +1 -1
  165. package/_cjs/data/Either/definition.cjs +1 -2
  166. package/_cjs/data/Either/definition.cjs.map +1 -1
  167. package/_cjs/data/Either/instances.cjs +1 -2
  168. package/_cjs/data/Either/instances.cjs.map +1 -1
  169. package/_cjs/data/EitherT/api.cjs +28 -29
  170. package/_cjs/data/EitherT/api.cjs.map +1 -1
  171. package/_cjs/data/Environment/api.cjs +1 -2
  172. package/_cjs/data/Environment/api.cjs.map +1 -1
  173. package/_cjs/data/Environment/definition.cjs +1 -2
  174. package/_cjs/data/Environment/definition.cjs.map +1 -1
  175. package/_cjs/data/EnvironmentPatch.cjs +2 -3
  176. package/_cjs/data/EnvironmentPatch.cjs.map +1 -1
  177. package/_cjs/data/Eq/api.cjs +189 -5
  178. package/_cjs/data/Eq/api.cjs.map +1 -1
  179. package/_cjs/data/Eq/derivations.cjs +10 -21
  180. package/_cjs/data/Eq/derivations.cjs.map +1 -1
  181. package/_cjs/data/Equatable/api.cjs +1 -2
  182. package/_cjs/data/Equatable/api.cjs.map +1 -1
  183. package/_cjs/data/Equatable/definition.cjs +1 -2
  184. package/_cjs/data/Equatable/definition.cjs.map +1 -1
  185. package/_cjs/data/Exit/api.cjs +90 -80
  186. package/_cjs/data/Exit/api.cjs.map +1 -1
  187. package/_cjs/data/Exit/constructors.cjs +1 -2
  188. package/_cjs/data/Exit/constructors.cjs.map +1 -1
  189. package/_cjs/data/Exit/definition.cjs +1 -2
  190. package/_cjs/data/Exit/definition.cjs.map +1 -1
  191. package/_cjs/data/FiberId/api.cjs +1 -2
  192. package/_cjs/data/FiberId/api.cjs.map +1 -1
  193. package/_cjs/data/FiberId/definition.cjs +1 -2
  194. package/_cjs/data/FiberId/definition.cjs.map +1 -1
  195. package/_cjs/data/Guard/api.cjs +13 -17
  196. package/_cjs/data/Guard/api.cjs.map +1 -1
  197. package/_cjs/data/HashEq.cjs +1 -2
  198. package/_cjs/data/HashEq.cjs.map +1 -1
  199. package/_cjs/data/Hashable/definition.cjs +1 -2
  200. package/_cjs/data/Hashable/definition.cjs.map +1 -1
  201. package/_cjs/data/Hashable/hash.cjs +1 -2
  202. package/_cjs/data/Hashable/hash.cjs.map +1 -1
  203. package/_cjs/data/Identity/api.cjs +1 -2
  204. package/_cjs/data/Identity/api.cjs.map +1 -1
  205. package/_cjs/data/Identity/definition.cjs +1 -2
  206. package/_cjs/data/Identity/definition.cjs.map +1 -1
  207. package/_cjs/data/Identity/instances.cjs +1 -2
  208. package/_cjs/data/Identity/instances.cjs.map +1 -1
  209. package/_cjs/data/Interval.cjs +1 -2
  210. package/_cjs/data/Interval.cjs.map +1 -1
  211. package/_cjs/data/Intervals.cjs +1 -2
  212. package/_cjs/data/Intervals.cjs.map +1 -1
  213. package/_cjs/data/Maybe/api.cjs +73 -60
  214. package/_cjs/data/Maybe/api.cjs.map +1 -1
  215. package/_cjs/data/Maybe/constructors.cjs +37 -38
  216. package/_cjs/data/Maybe/constructors.cjs.map +1 -1
  217. package/_cjs/data/Maybe/definition.cjs +1 -2
  218. package/_cjs/data/Maybe/definition.cjs.map +1 -1
  219. package/_cjs/data/Maybe/instances.cjs +1 -2
  220. package/_cjs/data/Maybe/instances.cjs.map +1 -1
  221. package/_cjs/data/Newtype.cjs +1 -2
  222. package/_cjs/data/Newtype.cjs.map +1 -1
  223. package/_cjs/data/Ord/api.cjs +1 -2
  224. package/_cjs/data/Ord/api.cjs.map +1 -1
  225. package/_cjs/data/Ord/definition.cjs +1 -2
  226. package/_cjs/data/Ord/definition.cjs.map +1 -1
  227. package/_cjs/data/Ord/instances.cjs +1 -2
  228. package/_cjs/data/Ord/instances.cjs.map +1 -1
  229. package/_cjs/data/Showable/definition.cjs +1 -2
  230. package/_cjs/data/Showable/definition.cjs.map +1 -1
  231. package/_cjs/data/Showable/show.cjs +1 -2
  232. package/_cjs/data/Showable/show.cjs.map +1 -1
  233. package/_cjs/data/Showable/styles.cjs +1 -2
  234. package/_cjs/data/Showable/styles.cjs.map +1 -1
  235. package/_cjs/data/Showable/util.cjs +1 -2
  236. package/_cjs/data/Showable/util.cjs.map +1 -1
  237. package/_cjs/data/Struct/api.cjs +5 -7
  238. package/_cjs/data/Struct/api.cjs.map +1 -1
  239. package/_cjs/data/Struct/definition.cjs +1 -2
  240. package/_cjs/data/Struct/definition.cjs.map +1 -1
  241. package/_cjs/data/Tag/constructors.cjs +1 -2
  242. package/_cjs/data/Tag/constructors.cjs.map +1 -1
  243. package/_cjs/data/Tag/definition.cjs +1 -2
  244. package/_cjs/data/Tag/definition.cjs.map +1 -1
  245. package/_cjs/data/These/api.cjs +86 -87
  246. package/_cjs/data/These/api.cjs.map +1 -1
  247. package/_cjs/data/These/constructors.cjs +1 -2
  248. package/_cjs/data/These/constructors.cjs.map +1 -1
  249. package/_cjs/data/These/definition.cjs +1 -2
  250. package/_cjs/data/These/definition.cjs.map +1 -1
  251. package/_cjs/data/These/destructors.cjs +1 -2
  252. package/_cjs/data/These/destructors.cjs.map +1 -1
  253. package/_cjs/data/These/instances.cjs +1 -2
  254. package/_cjs/data/These/instances.cjs.map +1 -1
  255. package/_cjs/data/Trace/api.cjs +1 -2
  256. package/_cjs/data/Trace/api.cjs.map +1 -1
  257. package/_cjs/data/Trace/constructors.cjs +1 -2
  258. package/_cjs/data/Trace/constructors.cjs.map +1 -1
  259. package/_cjs/data/Zipped.cjs +1 -2
  260. package/_cjs/data/Zipped.cjs.map +1 -1
  261. package/_cjs/data/bigint/instances.cjs +1 -2
  262. package/_cjs/data/bigint/instances.cjs.map +1 -1
  263. package/_cjs/data/boolean/instances.cjs +1 -2
  264. package/_cjs/data/boolean/instances.cjs.map +1 -1
  265. package/_cjs/data/exceptions/IOError.cjs +1 -2
  266. package/_cjs/data/exceptions/IOError.cjs.map +1 -1
  267. package/_cjs/data/exceptions/InterruptedException.cjs +1 -2
  268. package/_cjs/data/exceptions/InterruptedException.cjs.map +1 -1
  269. package/_cjs/data/number/instances.cjs +1 -2
  270. package/_cjs/data/number/instances.cjs.map +1 -1
  271. package/_cjs/data/object/instances.cjs +1 -2
  272. package/_cjs/data/object/instances.cjs.map +1 -1
  273. package/_cjs/data/string/api.cjs +1 -2
  274. package/_cjs/data/string/api.cjs.map +1 -1
  275. package/_cjs/data/string/instances.cjs +1 -2
  276. package/_cjs/data/string/instances.cjs.map +1 -1
  277. package/_cjs/internal/Stack.cjs +7 -2
  278. package/_cjs/internal/Stack.cjs.map +1 -1
  279. package/_cjs/optics/At/api.cjs +1 -2
  280. package/_cjs/optics/At/api.cjs.map +1 -1
  281. package/_cjs/optics/At/definition.cjs +1 -2
  282. package/_cjs/optics/At/definition.cjs.map +1 -1
  283. package/_cjs/optics/Index/api.cjs +3 -4
  284. package/_cjs/optics/Index/api.cjs.map +1 -1
  285. package/_cjs/optics/Iso/api.cjs +1 -2
  286. package/_cjs/optics/Iso/api.cjs.map +1 -1
  287. package/_cjs/optics/Iso/definition.cjs +1 -2
  288. package/_cjs/optics/Iso/definition.cjs.map +1 -1
  289. package/_cjs/optics/Lens/api.cjs +2 -3
  290. package/_cjs/optics/Lens/api.cjs.map +1 -1
  291. package/_cjs/optics/Lens/definition.cjs +1 -2
  292. package/_cjs/optics/Lens/definition.cjs.map +1 -1
  293. package/_cjs/optics/Optional/api/compose.cjs +1 -2
  294. package/_cjs/optics/Optional/api/compose.cjs.map +1 -1
  295. package/_cjs/optics/Optional/api/focus.cjs +1 -2
  296. package/_cjs/optics/Optional/api/focus.cjs.map +1 -1
  297. package/_cjs/optics/Optional/api.cjs +1 -2
  298. package/_cjs/optics/Optional/api.cjs.map +1 -1
  299. package/_cjs/optics/Optional/definition.cjs +1 -2
  300. package/_cjs/optics/Optional/definition.cjs.map +1 -1
  301. package/_cjs/optics/Prism/api/compose.cjs +1 -2
  302. package/_cjs/optics/Prism/api/compose.cjs.map +1 -1
  303. package/_cjs/optics/Prism/api/focus.cjs +1 -2
  304. package/_cjs/optics/Prism/api/focus.cjs.map +1 -1
  305. package/_cjs/optics/Prism/api/fromNullable.cjs +1 -2
  306. package/_cjs/optics/Prism/api/fromNullable.cjs.map +1 -1
  307. package/_cjs/optics/Prism/api/just.cjs +1 -2
  308. package/_cjs/optics/Prism/api/just.cjs.map +1 -1
  309. package/_cjs/optics/Prism/definition.cjs +1 -2
  310. package/_cjs/optics/Prism/definition.cjs.map +1 -1
  311. package/_cjs/optics/Traversal/api/compose.cjs +1 -2
  312. package/_cjs/optics/Traversal/api/compose.cjs.map +1 -1
  313. package/_cjs/optics/Traversal/api/focus.cjs +1 -2
  314. package/_cjs/optics/Traversal/api/focus.cjs.map +1 -1
  315. package/_cjs/optics/Traversal/api/fromTraversable.cjs +1 -2
  316. package/_cjs/optics/Traversal/api/fromTraversable.cjs.map +1 -1
  317. package/_cjs/optics/Traversal/definition.cjs +1 -2
  318. package/_cjs/optics/Traversal/definition.cjs.map +1 -1
  319. package/_cjs/typeclass/ApplicativeExcept.cjs +1 -2
  320. package/_cjs/typeclass/ApplicativeExcept.cjs.map +1 -1
  321. package/_cjs/typeclass/Apply.cjs +1 -2
  322. package/_cjs/typeclass/Apply.cjs.map +1 -1
  323. package/_cjs/typeclass/Chain.cjs +1 -2
  324. package/_cjs/typeclass/Chain.cjs.map +1 -1
  325. package/_cjs/typeclass/MonadExcept.cjs +1 -2
  326. package/_cjs/typeclass/MonadExcept.cjs.map +1 -1
  327. package/_cjs/typeclass/Monoid.cjs +1 -2
  328. package/_cjs/typeclass/Monoid.cjs.map +1 -1
  329. package/_cjs/typeclass/Semialign.cjs +1 -2
  330. package/_cjs/typeclass/Semialign.cjs.map +1 -1
  331. package/_cjs/typeclass/Semigroup/api.cjs +1 -2
  332. package/_cjs/typeclass/Semigroup/api.cjs.map +1 -1
  333. package/_cjs/typeclass/Semigroup/derivations.cjs +1 -2
  334. package/_cjs/typeclass/Semigroup/derivations.cjs.map +1 -1
  335. package/_cjs/typeclass/Witherable.cjs +1 -2
  336. package/_cjs/typeclass/Witherable.cjs.map +1 -1
  337. package/_cjs/typeclass/WitherableWithIndex.cjs +1 -2
  338. package/_cjs/typeclass/WitherableWithIndex.cjs.map +1 -1
  339. package/_cjs/util/AnsiFormat.cjs +1 -2
  340. package/_cjs/util/AnsiFormat.cjs.map +1 -1
  341. package/_cjs/util/assert.cjs +1 -1
  342. package/_cjs/util/assert.cjs.map +1 -1
  343. package/_cjs/util/pattern.cjs.map +1 -1
  344. package/_cjs/util/rand/generator/RandomGenerator.cjs.map +1 -1
  345. package/_mjs/collection/AsyncIterable/api.mjs +366 -0
  346. package/_mjs/collection/AsyncIterable/api.mjs.map +1 -0
  347. package/_mjs/collection/AsyncIterable/definition.mjs +2 -0
  348. package/_mjs/collection/AsyncIterable/definition.mjs.map +1 -0
  349. package/_mjs/collection/AsyncIterable.mjs +4 -0
  350. package/_mjs/collection/AsyncIterable.mjs.map +1 -0
  351. package/_mjs/collection/Iterable/api.mjs +175 -134
  352. package/_mjs/collection/Iterable/api.mjs.map +1 -1
  353. package/_mjs/collection/Iterable/constructors.mjs.map +1 -1
  354. package/_mjs/collection/immutable/Conc/constructors.mjs +2 -2
  355. package/_mjs/collection/immutable/Conc/constructors.mjs.map +1 -1
  356. package/_mjs/collection/immutable/Conc/definition.mjs +1 -1
  357. package/_mjs/collection/immutable/Conc/definition.mjs.map +1 -1
  358. package/_mjs/collection/immutable/List/api.mjs +2 -2
  359. package/_mjs/collection/immutable/List/api.mjs.map +1 -1
  360. package/_mjs/collection/immutable/{ImmutableArray → ReadonlyArray}/api/chunksOf.mjs +3 -3
  361. package/_mjs/collection/immutable/ReadonlyArray/api/chunksOf.mjs.map +1 -0
  362. package/_mjs/collection/immutable/ReadonlyArray/api/splitAt.mjs +9 -0
  363. package/_mjs/collection/immutable/ReadonlyArray/api/splitAt.mjs.map +1 -0
  364. package/_mjs/collection/immutable/ReadonlyArray/api/splitWhere.mjs +19 -0
  365. package/_mjs/collection/immutable/ReadonlyArray/api/splitWhere.mjs.map +1 -0
  366. package/_mjs/collection/immutable/ReadonlyArray/api.mjs +1302 -0
  367. package/_mjs/collection/immutable/ReadonlyArray/api.mjs.map +1 -0
  368. package/_mjs/collection/immutable/ReadonlyArray/constructors.mjs +44 -0
  369. package/_mjs/collection/immutable/ReadonlyArray/constructors.mjs.map +1 -0
  370. package/_mjs/collection/immutable/ReadonlyArray/definition.mjs.map +1 -0
  371. package/_mjs/collection/immutable/{ImmutableArray → ReadonlyArray}/instances.mjs +4 -5
  372. package/_mjs/collection/immutable/ReadonlyArray/instances.mjs.map +1 -0
  373. package/_mjs/collection/immutable/ReadonlyArray.mjs +11 -0
  374. package/_mjs/collection/immutable/ReadonlyArray.mjs.map +1 -0
  375. package/_mjs/collection/immutable/ReadonlyNonEmptyArray/api.mjs +433 -0
  376. package/_mjs/collection/immutable/ReadonlyNonEmptyArray/api.mjs.map +1 -0
  377. package/_mjs/collection/immutable/{ImmutableNonEmptyArray → ReadonlyNonEmptyArray}/constructors.mjs +16 -15
  378. package/_mjs/collection/immutable/ReadonlyNonEmptyArray/constructors.mjs.map +1 -0
  379. package/_mjs/collection/immutable/ReadonlyNonEmptyArray/definition.mjs +2 -0
  380. package/_mjs/collection/immutable/ReadonlyNonEmptyArray/definition.mjs.map +1 -0
  381. package/_mjs/collection/immutable/ReadonlyNonEmptyArray/destructors.mjs +41 -0
  382. package/_mjs/collection/immutable/ReadonlyNonEmptyArray/destructors.mjs.map +1 -0
  383. package/_mjs/collection/immutable/{ImmutableNonEmptyArray → ReadonlyNonEmptyArray}/instances.mjs +2 -2
  384. package/_mjs/collection/immutable/ReadonlyNonEmptyArray/instances.mjs.map +1 -0
  385. package/_mjs/collection/immutable/ReadonlyNonEmptyArray.mjs +7 -0
  386. package/_mjs/collection/immutable/ReadonlyNonEmptyArray.mjs.map +1 -0
  387. package/_mjs/collection/immutable/Vector/api.mjs +224 -224
  388. package/_mjs/collection/immutable/Vector/api.mjs.map +1 -1
  389. package/_mjs/control/Eval/api.mjs +83 -15
  390. package/_mjs/control/Eval/api.mjs.map +1 -1
  391. package/_mjs/control/Eval/constructors.mjs +4 -0
  392. package/_mjs/control/Eval/constructors.mjs.map +1 -1
  393. package/_mjs/control/Pure/runtime.mjs +14 -8
  394. package/_mjs/control/Pure/runtime.mjs.map +1 -1
  395. package/_mjs/data/CaseClass.mjs +10 -12
  396. package/_mjs/data/CaseClass.mjs.map +1 -1
  397. package/_mjs/data/Cause/api/fold.mjs +32 -32
  398. package/_mjs/data/Cause/api/fold.mjs.map +1 -1
  399. package/_mjs/data/Const/api.mjs +7 -7
  400. package/_mjs/data/Const/api.mjs.map +1 -1
  401. package/_mjs/data/Const/instances.mjs +11 -11
  402. package/_mjs/data/Const/instances.mjs.map +1 -1
  403. package/_mjs/data/Datum/api.mjs +107 -108
  404. package/_mjs/data/Datum/api.mjs.map +1 -1
  405. package/_mjs/data/Datum.mjs +5 -0
  406. package/_mjs/data/Datum.mjs.map +1 -0
  407. package/_mjs/data/DatumEither/api.mjs +53 -53
  408. package/_mjs/data/DatumEither/api.mjs.map +1 -1
  409. package/_mjs/data/Either/api.mjs +42 -42
  410. package/_mjs/data/Either/api.mjs.map +1 -1
  411. package/_mjs/data/Either/constructors.mjs +20 -20
  412. package/_mjs/data/Either/constructors.mjs.map +1 -1
  413. package/_mjs/data/EitherT/api.mjs +27 -27
  414. package/_mjs/data/EitherT/api.mjs.map +1 -1
  415. package/_mjs/data/Environment/api.mjs.map +1 -1
  416. package/_mjs/data/EnvironmentPatch.mjs +1 -1
  417. package/_mjs/data/Eq/api.mjs +175 -3
  418. package/_mjs/data/Eq/api.mjs.map +1 -1
  419. package/_mjs/data/Eq/derivations.mjs +8 -19
  420. package/_mjs/data/Eq/derivations.mjs.map +1 -1
  421. package/_mjs/data/Exit/api.mjs +88 -78
  422. package/_mjs/data/Exit/api.mjs.map +1 -1
  423. package/_mjs/data/Guard/api.mjs +12 -15
  424. package/_mjs/data/Guard/api.mjs.map +1 -1
  425. package/_mjs/data/Maybe/api.mjs +71 -58
  426. package/_mjs/data/Maybe/api.mjs.map +1 -1
  427. package/_mjs/data/Maybe/constructors.mjs +36 -36
  428. package/_mjs/data/Maybe/constructors.mjs.map +1 -1
  429. package/_mjs/data/Struct/api.mjs +4 -5
  430. package/_mjs/data/Struct/api.mjs.map +1 -1
  431. package/_mjs/data/These/api.mjs +85 -85
  432. package/_mjs/data/These/api.mjs.map +1 -1
  433. package/_mjs/internal/Stack.mjs +7 -2
  434. package/_mjs/internal/Stack.mjs.map +1 -1
  435. package/_mjs/optics/Index/api.mjs +2 -2
  436. package/_mjs/optics/Index/api.mjs.map +1 -1
  437. package/_mjs/optics/Lens/api.mjs +1 -1
  438. package/_mjs/util/assert.mjs +1 -1
  439. package/_mjs/util/assert.mjs.map +1 -1
  440. package/_mjs/util/pattern.mjs.map +1 -1
  441. package/_mjs/util/rand/generator/RandomGenerator.mjs.map +1 -1
  442. package/_src/collection/AsyncIterable/api.ts +369 -0
  443. package/_src/collection/AsyncIterable/definition.ts +7 -0
  444. package/_src/collection/AsyncIterable.ts +4 -0
  445. package/_src/collection/Iterable/api.ts +215 -162
  446. package/_src/collection/Iterable/constructors.ts +0 -2
  447. package/_src/collection/compat/ArrayLike/definition.ts +2 -2
  448. package/_src/collection/compat.ts +0 -1
  449. package/_src/collection/immutable/Conc/constructors.ts +1 -2
  450. package/_src/collection/immutable/Conc/definition.ts +7 -6
  451. package/_src/collection/immutable/List/api.ts +2 -2
  452. package/_src/collection/immutable/ReadonlyArray/api/chunksOf.ts +8 -0
  453. package/_src/collection/immutable/ReadonlyArray/api/splitAt.ts +8 -0
  454. package/_src/collection/immutable/{ImmutableArray → ReadonlyArray}/api/splitWhere.ts +3 -3
  455. package/_src/collection/immutable/ReadonlyArray/api.ts +1536 -0
  456. package/_src/collection/immutable/ReadonlyArray/constructors.ts +47 -0
  457. package/_src/collection/{compat/Array → immutable/ReadonlyArray}/definition.ts +8 -0
  458. package/_src/collection/immutable/{ImmutableArray → ReadonlyArray}/instances.ts +22 -22
  459. package/_src/collection/immutable/ReadonlyArray.ts +12 -0
  460. package/_src/collection/immutable/ReadonlyNonEmptyArray/api.ts +481 -0
  461. package/_src/collection/immutable/ReadonlyNonEmptyArray/constructors.ts +76 -0
  462. package/_src/collection/immutable/ReadonlyNonEmptyArray/definition.ts +22 -0
  463. package/_src/collection/immutable/ReadonlyNonEmptyArray/destructors.ts +41 -0
  464. package/_src/collection/immutable/{ImmutableNonEmptyArray → ReadonlyNonEmptyArray}/instances.ts +13 -13
  465. package/_src/collection/immutable/ReadonlyNonEmptyArray.ts +7 -0
  466. package/_src/collection/immutable/Vector/api.ts +310 -309
  467. package/_src/collection/immutable.ts +11 -11
  468. package/_src/collection.ts +6 -5
  469. package/_src/control/Eval/api.ts +109 -16
  470. package/_src/control/Eval/constructors.ts +5 -0
  471. package/_src/control/Pure/runtime.ts +8 -2
  472. package/_src/data/CaseClass.ts +5 -5
  473. package/_src/data/Cause/api/fold.ts +2 -2
  474. package/_src/data/Const/api.ts +8 -8
  475. package/_src/data/Const/instances.ts +10 -10
  476. package/_src/data/Datum/api.ts +113 -113
  477. package/_src/data/Datum.ts +5 -0
  478. package/_src/data/DatumEither/api.ts +41 -43
  479. package/_src/data/Either/api.ts +47 -47
  480. package/_src/data/Either/constructors.ts +14 -16
  481. package/_src/data/EitherT/api.ts +111 -110
  482. package/_src/data/Environment/api.ts +6 -3
  483. package/_src/data/Eq/api.ts +193 -4
  484. package/_src/data/Eq/derivations.ts +12 -19
  485. package/_src/data/Exit/api.ts +89 -77
  486. package/_src/data/Guard/api.ts +11 -11
  487. package/_src/data/Maybe/api.ts +82 -73
  488. package/_src/data/Maybe/constructors.ts +34 -36
  489. package/_src/data/Struct/api.ts +1 -1
  490. package/_src/data/These/api.ts +93 -92
  491. package/_src/data.ts +1 -0
  492. package/_src/global.ts +7 -12
  493. package/_src/internal/Stack.ts +6 -2
  494. package/_src/optics/Index/api.ts +1 -1
  495. package/_src/util/assert.ts +2 -2
  496. package/_src/util/pattern.ts +8 -90
  497. package/_src/util/rand/generator/RandomGenerator.ts +1 -0
  498. package/collection/AsyncIterable/api.d.ts +71 -0
  499. package/collection/AsyncIterable/definition.d.ts +9 -0
  500. package/collection/AsyncIterable.d.ts +2 -0
  501. package/collection/Iterable/api.d.ts +40 -25
  502. package/collection/compat/ArrayLike/definition.d.ts +2 -2
  503. package/collection/compat.d.ts +0 -1
  504. package/collection/immutable/Conc/definition.d.ts +1 -1
  505. package/collection/immutable/ReadonlyArray/api/chunksOf.d.ts +5 -0
  506. package/collection/immutable/ReadonlyArray/api/splitAt.d.ts +5 -0
  507. package/collection/immutable/ReadonlyArray/api/splitWhere.d.ts +6 -0
  508. package/collection/immutable/ReadonlyArray/api.d.ts +614 -0
  509. package/collection/immutable/ReadonlyArray/constructors.d.ts +30 -0
  510. package/collection/{compat/Array → immutable/ReadonlyArray}/definition.d.ts +8 -0
  511. package/collection/immutable/ReadonlyArray/instances.d.ts +87 -0
  512. package/collection/immutable/ReadonlyArray.d.ts +7 -0
  513. package/collection/immutable/ReadonlyNonEmptyArray/api.d.ts +186 -0
  514. package/collection/immutable/ReadonlyNonEmptyArray/constructors.d.ts +45 -0
  515. package/collection/immutable/ReadonlyNonEmptyArray/definition.d.ts +21 -0
  516. package/collection/immutable/ReadonlyNonEmptyArray/destructors.d.ts +31 -0
  517. package/collection/immutable/ReadonlyNonEmptyArray/instances.d.ts +52 -0
  518. package/collection/immutable/ReadonlyNonEmptyArray.d.ts +5 -0
  519. package/collection/immutable/Vector/api.d.ts +93 -93
  520. package/collection/immutable.d.ts +2 -2
  521. package/collection.d.ts +1 -0
  522. package/control/Eval/api.d.ts +27 -5
  523. package/control/Eval/constructors.d.ts +5 -0
  524. package/data/CaseClass.d.ts +2 -3
  525. package/data/Const/api.d.ts +5 -5
  526. package/data/Const/instances.d.ts +4 -4
  527. package/data/Datum/api.d.ts +64 -64
  528. package/data/Datum.d.ts +3 -0
  529. package/data/DatumEither/api.d.ts +25 -25
  530. package/data/Either/api.d.ts +24 -24
  531. package/data/Either/constructors.d.ts +12 -12
  532. package/data/EitherT/api.d.ts +16 -16
  533. package/data/Environment/api.d.ts +4 -2
  534. package/data/Eq/api.d.ts +89 -2
  535. package/data/Eq/derivations.d.ts +7 -0
  536. package/data/Exit/api.d.ts +43 -37
  537. package/data/Guard/api.d.ts +7 -8
  538. package/data/Maybe/api.d.ts +38 -33
  539. package/data/Maybe/constructors.d.ts +16 -16
  540. package/data/These/api.d.ts +26 -26
  541. package/data.d.ts +1 -0
  542. package/global.d.ts +4 -8
  543. package/internal/Stack.d.ts +2 -0
  544. package/optics/Lens/api.d.ts +1 -1
  545. package/package.json +3 -3
  546. package/util/assert.d.ts +1 -1
  547. package/_cjs/collection/compat/Array/api.cjs +0 -142
  548. package/_cjs/collection/compat/Array/api.cjs.map +0 -1
  549. package/_cjs/collection/compat/Array/definition.cjs.map +0 -1
  550. package/_cjs/collection/compat/Array.cjs.map +0 -1
  551. package/_cjs/collection/immutable/ImmutableArray/api/chunksOf.cjs +0 -19
  552. package/_cjs/collection/immutable/ImmutableArray/api/chunksOf.cjs.map +0 -1
  553. package/_cjs/collection/immutable/ImmutableArray/api/slice.cjs +0 -18
  554. package/_cjs/collection/immutable/ImmutableArray/api/slice.cjs.map +0 -1
  555. package/_cjs/collection/immutable/ImmutableArray/api/splitAt.cjs +0 -18
  556. package/_cjs/collection/immutable/ImmutableArray/api/splitAt.cjs.map +0 -1
  557. package/_cjs/collection/immutable/ImmutableArray/api/splitWhere.cjs +0 -28
  558. package/_cjs/collection/immutable/ImmutableArray/api/splitWhere.cjs.map +0 -1
  559. package/_cjs/collection/immutable/ImmutableArray/api.cjs.map +0 -1
  560. package/_cjs/collection/immutable/ImmutableArray/constructors.cjs +0 -59
  561. package/_cjs/collection/immutable/ImmutableArray/constructors.cjs.map +0 -1
  562. package/_cjs/collection/immutable/ImmutableArray/definition.cjs +0 -44
  563. package/_cjs/collection/immutable/ImmutableArray/definition.cjs.map +0 -1
  564. package/_cjs/collection/immutable/ImmutableArray/instances.cjs.map +0 -1
  565. package/_cjs/collection/immutable/ImmutableArray.cjs.map +0 -1
  566. package/_cjs/collection/immutable/ImmutableNonEmptyArray/api.cjs +0 -474
  567. package/_cjs/collection/immutable/ImmutableNonEmptyArray/api.cjs.map +0 -1
  568. package/_cjs/collection/immutable/ImmutableNonEmptyArray/constructors.cjs +0 -79
  569. package/_cjs/collection/immutable/ImmutableNonEmptyArray/constructors.cjs.map +0 -1
  570. package/_cjs/collection/immutable/ImmutableNonEmptyArray/definition.cjs +0 -36
  571. package/_cjs/collection/immutable/ImmutableNonEmptyArray/definition.cjs.map +0 -1
  572. package/_cjs/collection/immutable/ImmutableNonEmptyArray/destructors.cjs +0 -53
  573. package/_cjs/collection/immutable/ImmutableNonEmptyArray/destructors.cjs.map +0 -1
  574. package/_cjs/collection/immutable/ImmutableNonEmptyArray/instances.cjs.map +0 -1
  575. package/_cjs/collection/immutable/ImmutableNonEmptyArray.cjs.map +0 -1
  576. package/_cjs/control/Eval/api/sequenceArray.cjs +0 -17
  577. package/_cjs/control/Eval/api/sequenceArray.cjs.map +0 -1
  578. package/_mjs/collection/compat/Array/api.mjs +0 -125
  579. package/_mjs/collection/compat/Array/api.mjs.map +0 -1
  580. package/_mjs/collection/compat/Array/definition.mjs.map +0 -1
  581. package/_mjs/collection/compat/Array.mjs +0 -4
  582. package/_mjs/collection/compat/Array.mjs.map +0 -1
  583. package/_mjs/collection/immutable/ImmutableArray/api/chunksOf.mjs.map +0 -1
  584. package/_mjs/collection/immutable/ImmutableArray/api/slice.mjs +0 -10
  585. package/_mjs/collection/immutable/ImmutableArray/api/slice.mjs.map +0 -1
  586. package/_mjs/collection/immutable/ImmutableArray/api/splitAt.mjs +0 -10
  587. package/_mjs/collection/immutable/ImmutableArray/api/splitAt.mjs.map +0 -1
  588. package/_mjs/collection/immutable/ImmutableArray/api/splitWhere.mjs +0 -20
  589. package/_mjs/collection/immutable/ImmutableArray/api/splitWhere.mjs.map +0 -1
  590. package/_mjs/collection/immutable/ImmutableArray/api.mjs +0 -1284
  591. package/_mjs/collection/immutable/ImmutableArray/api.mjs.map +0 -1
  592. package/_mjs/collection/immutable/ImmutableArray/constructors.mjs +0 -46
  593. package/_mjs/collection/immutable/ImmutableArray/constructors.mjs.map +0 -1
  594. package/_mjs/collection/immutable/ImmutableArray/definition.mjs +0 -35
  595. package/_mjs/collection/immutable/ImmutableArray/definition.mjs.map +0 -1
  596. package/_mjs/collection/immutable/ImmutableArray/instances.mjs.map +0 -1
  597. package/_mjs/collection/immutable/ImmutableArray.mjs +0 -12
  598. package/_mjs/collection/immutable/ImmutableArray.mjs.map +0 -1
  599. package/_mjs/collection/immutable/ImmutableNonEmptyArray/api.mjs +0 -437
  600. package/_mjs/collection/immutable/ImmutableNonEmptyArray/api.mjs.map +0 -1
  601. package/_mjs/collection/immutable/ImmutableNonEmptyArray/constructors.mjs.map +0 -1
  602. package/_mjs/collection/immutable/ImmutableNonEmptyArray/definition.mjs +0 -25
  603. package/_mjs/collection/immutable/ImmutableNonEmptyArray/definition.mjs.map +0 -1
  604. package/_mjs/collection/immutable/ImmutableNonEmptyArray/destructors.mjs +0 -43
  605. package/_mjs/collection/immutable/ImmutableNonEmptyArray/destructors.mjs.map +0 -1
  606. package/_mjs/collection/immutable/ImmutableNonEmptyArray/instances.mjs.map +0 -1
  607. package/_mjs/collection/immutable/ImmutableNonEmptyArray.mjs +0 -7
  608. package/_mjs/collection/immutable/ImmutableNonEmptyArray.mjs.map +0 -1
  609. package/_mjs/control/Eval/api/sequenceArray.mjs +0 -9
  610. package/_mjs/control/Eval/api/sequenceArray.mjs.map +0 -1
  611. package/_src/collection/compat/Array/api.ts +0 -134
  612. package/_src/collection/compat/Array.ts +0 -4
  613. package/_src/collection/immutable/ImmutableArray/api/chunksOf.ts +0 -8
  614. package/_src/collection/immutable/ImmutableArray/api/slice.ts +0 -8
  615. package/_src/collection/immutable/ImmutableArray/api/splitAt.ts +0 -8
  616. package/_src/collection/immutable/ImmutableArray/api.ts +0 -1526
  617. package/_src/collection/immutable/ImmutableArray/constructors.ts +0 -47
  618. package/_src/collection/immutable/ImmutableArray/definition.ts +0 -48
  619. package/_src/collection/immutable/ImmutableArray.ts +0 -13
  620. package/_src/collection/immutable/ImmutableNonEmptyArray/api.ts +0 -483
  621. package/_src/collection/immutable/ImmutableNonEmptyArray/constructors.ts +0 -83
  622. package/_src/collection/immutable/ImmutableNonEmptyArray/definition.ts +0 -47
  623. package/_src/collection/immutable/ImmutableNonEmptyArray/destructors.ts +0 -41
  624. package/_src/collection/immutable/ImmutableNonEmptyArray.ts +0 -7
  625. package/_src/control/Eval/api/sequenceArray.ts +0 -6
  626. package/collection/compat/Array/api.d.ts +0 -62
  627. package/collection/compat/Array.d.ts +0 -2
  628. package/collection/immutable/ImmutableArray/api/chunksOf.d.ts +0 -6
  629. package/collection/immutable/ImmutableArray/api/slice.d.ts +0 -6
  630. package/collection/immutable/ImmutableArray/api/splitAt.d.ts +0 -6
  631. package/collection/immutable/ImmutableArray/api/splitWhere.d.ts +0 -7
  632. package/collection/immutable/ImmutableArray/api.d.ts +0 -602
  633. package/collection/immutable/ImmutableArray/constructors.d.ts +0 -32
  634. package/collection/immutable/ImmutableArray/definition.d.ts +0 -34
  635. package/collection/immutable/ImmutableArray/instances.d.ts +0 -87
  636. package/collection/immutable/ImmutableArray.d.ts +0 -8
  637. package/collection/immutable/ImmutableNonEmptyArray/api.d.ts +0 -186
  638. package/collection/immutable/ImmutableNonEmptyArray/constructors.d.ts +0 -46
  639. package/collection/immutable/ImmutableNonEmptyArray/definition.d.ts +0 -40
  640. package/collection/immutable/ImmutableNonEmptyArray/destructors.d.ts +0 -32
  641. package/collection/immutable/ImmutableNonEmptyArray/instances.d.ts +0 -52
  642. package/collection/immutable/ImmutableNonEmptyArray.d.ts +0 -5
  643. package/control/Eval/api/sequenceArray.d.ts +0 -6
  644. /package/_cjs/collection/{compat/Array → immutable/ReadonlyArray}/definition.cjs +0 -0
  645. /package/_mjs/collection/{compat/Array → immutable/ReadonlyArray}/definition.mjs +0 -0
@@ -9,50 +9,8 @@ import { EitherT } from "../EitherT/definition.js";
9
9
 
10
10
  const _Initial: DatumEither<never, never> = Datum.initial();
11
11
 
12
- /**
13
- * @tsplus static fncts.DatumEitherOps initial
14
- */
15
- export function initial<E = never, A = never>(): DatumEither<E, A> {
16
- return _Initial;
17
- }
18
-
19
12
  const _Pending: DatumEither<never, never> = Datum.pending();
20
13
 
21
- /**
22
- * @tsplus static fncts.DatumEitherOps pending
23
- */
24
- export function pending<E = never, A = never>(): DatumEither<E, A> {
25
- return _Pending;
26
- }
27
-
28
- /**
29
- * @tsplus static fncts.DatumEitherOps refreshLeft
30
- */
31
- export function refreshLeft<E, A = never>(e: E): DatumEither<E, A> {
32
- return Datum.refresh(Either.left(e));
33
- }
34
-
35
- /**
36
- * @tsplus static fncts.DatumEitherOps refreshRight
37
- */
38
- export function refreshRight<E = never, A = never>(a: A): DatumEither<E, A> {
39
- return Datum.replete(Either.right(a));
40
- }
41
-
42
- /**
43
- * @tsplus static fncts.DatumEitherOps repleteLeft
44
- */
45
- export function repleteLeft<E, A = never>(e: E): DatumEither<E, A> {
46
- return Datum.replete(Either.left(e));
47
- }
48
-
49
- /**
50
- * @tsplus static fncts.DatumEitherOps repleteRight
51
- */
52
- export function repleteRight<E = never, A = never>(a: A): DatumEither<E, A> {
53
- return Datum.replete(Either.right(a));
54
- }
55
-
56
14
  /**
57
15
  * @tsplus pipeable fncts.DatumEither bimap
58
16
  */
@@ -116,6 +74,39 @@ export function filterMap<A, B>(f: (a: A) => Maybe<B>) {
116
74
  };
117
75
  }
118
76
 
77
+ /**
78
+ * @tsplus static fncts.DatumEitherOps pending
79
+ */
80
+ export function pending<E = never, A = never>(): DatumEither<E, A> {
81
+ return _Pending;
82
+ }
83
+
84
+ /**
85
+ * @tsplus static fncts.DatumEitherOps refreshLeft
86
+ */
87
+ export function refreshLeft<E, A = never>(e: E): DatumEither<E, A> {
88
+ return Datum.refresh(Either.left(e));
89
+ }
90
+ /**
91
+ * @tsplus static fncts.DatumEitherOps refreshRight
92
+ */
93
+ export function refreshRight<E = never, A = never>(a: A): DatumEither<E, A> {
94
+ return Datum.replete(Either.right(a));
95
+ }
96
+ /**
97
+ * @tsplus static fncts.DatumEitherOps repleteLeft
98
+ */
99
+ export function repleteLeft<E, A = never>(e: E): DatumEither<E, A> {
100
+ return Datum.replete(Either.left(e));
101
+ }
102
+
103
+ /**
104
+ * @tsplus static fncts.DatumEitherOps repleteRight
105
+ */
106
+ export function repleteRight<E = never, A = never>(a: A): DatumEither<E, A> {
107
+ return Datum.replete(Either.right(a));
108
+ }
109
+
119
110
  /**
120
111
  * @tsplus pipeable fncts.DatumEither flatMap
121
112
  */
@@ -171,6 +162,13 @@ export function getOrElse<E, B, C>(onEmpty: () => B, onLeft: (e: E) => C) {
171
162
  };
172
163
  }
173
164
 
165
+ /**
166
+ * @tsplus static fncts.DatumEitherOps initial
167
+ */
168
+ export function initial<E = never, A = never>(): DatumEither<E, A> {
169
+ return _Initial;
170
+ }
171
+
174
172
  /**
175
173
  * @tsplus pipeable fncts.DatumEither map
176
174
  */
@@ -328,7 +326,7 @@ export const toReplete: <E, A>(self: DatumEither<E, A>) => DatumEither<E, A> = _
328
326
  /**
329
327
  * @tsplus getter fncts.DatumEither traverse
330
328
  */
331
- export function _traverse<E, A>(self: DatumEither<E, A>) {
329
+ export function traverse_<E, A>(self: DatumEither<E, A>) {
332
330
  return <G extends HKT, GC = HKT.None>(G: P.Applicative<G, GC>) =>
333
331
  <K, Q, W, X, I, S, R, E1, B>(
334
332
  f: (a: A) => HKT.Kind<G, GC, K, Q, W, X, I, S, R, E1, B>,
@@ -74,22 +74,22 @@ export function foldLeft<A, B>(b: B, f: (b: B, a: A) => B) {
74
74
  }
75
75
 
76
76
  /**
77
- * @tsplus pipeable fncts.Either foldRight
77
+ * @tsplus pipeable fncts.Either foldMap
78
78
  */
79
- export function foldRight<A, B>(b: B, f: (a: A, b: B) => B) {
80
- return <E>(self: Either<E, A>): B => {
79
+ export function foldMap<A, M>(f: (a: A) => M, /** @tsplus auto */ M: P.Monoid<M>) {
80
+ return <E>(self: Either<E, A>): M => {
81
81
  self.concrete();
82
- return self._tag === EitherTag.Left ? b : f(self.right, b);
82
+ return self._tag === EitherTag.Left ? M.nat : f(self.right);
83
83
  };
84
84
  }
85
85
 
86
86
  /**
87
- * @tsplus pipeable fncts.Either foldMap
87
+ * @tsplus pipeable fncts.Either foldRight
88
88
  */
89
- export function foldMap<A, M>(f: (a: A) => M, /** @tsplus auto */ M: P.Monoid<M>) {
90
- return <E>(self: Either<E, A>): M => {
89
+ export function foldRight<A, B>(b: B, f: (a: A, b: B) => B) {
90
+ return <E>(self: Either<E, A>): B => {
91
91
  self.concrete();
92
- return self._tag === EitherTag.Left ? M.nat : f(self.right);
92
+ return self._tag === EitherTag.Left ? b : f(self.right, b);
93
93
  };
94
94
  }
95
95
 
@@ -103,6 +103,15 @@ export function getLeft<E, A>(self: Either<E, A>): Maybe<E> {
103
103
  );
104
104
  }
105
105
 
106
+ /**
107
+ * @tsplus pipeable fncts.Either getOrElse
108
+ */
109
+ export function getOrElse<E, B>(orElse: (e: E) => B) {
110
+ return <A>(self: Either<E, A>): A | B => {
111
+ return self.match(orElse, identity);
112
+ };
113
+ }
114
+
106
115
  /**
107
116
  * @tsplus getter fncts.Either getRight
108
117
  */
@@ -113,15 +122,6 @@ export function getRight<E, A>(self: Either<E, A>): Maybe<A> {
113
122
  );
114
123
  }
115
124
 
116
- /**
117
- * @tsplus pipeable fncts.Either getOrElse
118
- */
119
- export function getOrElse<E, B>(orElse: (e: E) => B) {
120
- return <A>(self: Either<E, A>): A | B => {
121
- return self.match(orElse, identity);
122
- };
123
- }
124
-
125
125
  /**
126
126
  * @tsplus static fncts.EitherOps isEither
127
127
  */
@@ -196,7 +196,7 @@ export function swap<E, A>(self: Either<E, A>): Either<A, E> {
196
196
  /**
197
197
  * @tsplus getter fncts.Either traverse
198
198
  */
199
- export function _traverse<E, A>(self: Either<E, A>) {
199
+ export function traverse_<E, A>(self: Either<E, A>) {
200
200
  return <G extends HKT, GC = HKT.None>(G: P.Applicative<G, GC>) =>
201
201
  <K, Q, W, X, I, S, R, E1, B>(
202
202
  f: (a: A) => HKT.Kind<G, GC, K, Q, W, X, I, S, R, E1, B>,
@@ -207,25 +207,15 @@ export function _traverse<E, A>(self: Either<E, A>) {
207
207
  );
208
208
  }
209
209
 
210
- export const traverse_: P.Traversable<EitherF>["traverse"] = (A) => (f) => (self) => self.traverse(A)(f);
210
+ export const traverse: P.Traversable<EitherF>["traverse"] = (A) => (f) => (self) => self.traverse(A)(f);
211
211
 
212
212
  /**
213
- * @tsplus pipeable fncts.Either zipWith
213
+ * @tsplus pipeable fncts.Either filter
214
214
  */
215
- export function zipWith<A, E2, B, C>(fb: Either<E2, B>, f: (a: A, b: B) => C) {
216
- return <E1>(self: Either<E1, A>): Either<E1 | E2, C> => {
215
+ export function filter<E, A>(f: Predicate<A>, /** @tsplus auto */ M: P.Monoid<E>) {
216
+ return (self: Either<E, A>): Either<E, A> => {
217
217
  self.concrete();
218
- fb.concrete();
219
- return self._tag === EitherTag.Left ? self : fb._tag === EitherTag.Left ? fb : Right(f(self.right, fb.right));
220
- };
221
- }
222
-
223
- /**
224
- * @tsplus pipeable fncts.Either zip
225
- */
226
- export function zip<E1, B>(that: Either<E1, B>) {
227
- return <E, A>(self: Either<E, A>): Either<E | E1, Zipped.Make<A, B>> => {
228
- return self.zipWith(that, (a, b) => Zipped(a, b));
218
+ return self._tag === EitherTag.Left ? self : f(self.right) ? self : Left(M.nat);
229
219
  };
230
220
  }
231
221
 
@@ -245,12 +235,12 @@ export function filterMap<E, A, B>(f: (a: A) => Maybe<B>, /** @tsplus auto */ M:
245
235
  }
246
236
 
247
237
  /**
248
- * @tsplus pipeable fncts.Either filter
238
+ * @tsplus pipeable fncts.Either partition
249
239
  */
250
- export function filter<E, A>(f: Predicate<A>, /** @tsplus auto */ M: P.Monoid<E>) {
251
- return (self: Either<E, A>): Either<E, A> => {
240
+ export function partition<E, A>(p: Predicate<A>, /** @tsplus auto */ M: P.Monoid<E>) {
241
+ return (self: Either<E, A>): readonly [Either<E, A>, Either<E, A>] => {
252
242
  self.concrete();
253
- return self._tag === EitherTag.Left ? self : f(self.right) ? self : Left(M.nat);
243
+ return self._tag === EitherTag.Left ? [self, self] : p(self.right) ? [Left(M.nat), self] : [self, Left(M.nat)];
254
244
  };
255
245
  }
256
246
 
@@ -274,16 +264,6 @@ export function partitionMap<E, A, B, C>(f: (a: A) => Either<B, C>, /** @tsplus
274
264
  };
275
265
  }
276
266
 
277
- /**
278
- * @tsplus pipeable fncts.Either partition
279
- */
280
- export function partition<E, A>(p: Predicate<A>, /** @tsplus auto */ M: P.Monoid<E>) {
281
- return (self: Either<E, A>): readonly [Either<E, A>, Either<E, A>] => {
282
- self.concrete();
283
- return self._tag === EitherTag.Left ? [self, self] : p(self.right) ? [Left(M.nat), self] : [self, Left(M.nat)];
284
- };
285
- }
286
-
287
267
  /**
288
268
  * @tsplus getter fncts.Either toMaybe
289
269
  */
@@ -294,6 +274,26 @@ export function toMaybe<E, A>(self: Either<E, A>): Maybe<A> {
294
274
  );
295
275
  }
296
276
 
277
+ /**
278
+ * @tsplus pipeable fncts.Either zip
279
+ */
280
+ export function zip<E1, B>(that: Either<E1, B>) {
281
+ return <E, A>(self: Either<E, A>): Either<E | E1, Zipped.Make<A, B>> => {
282
+ return self.zipWith(that, (a, b) => Zipped(a, b));
283
+ };
284
+ }
285
+
286
+ /**
287
+ * @tsplus pipeable fncts.Either zipWith
288
+ */
289
+ export function zipWith<A, E2, B, C>(fb: Either<E2, B>, f: (a: A, b: B) => C) {
290
+ return <E1>(self: Either<E1, A>): Either<E1 | E2, C> => {
291
+ self.concrete();
292
+ fb.concrete();
293
+ return self._tag === EitherTag.Left ? self : fb._tag === EitherTag.Left ? fb : Right(f(self.right, fb.right));
294
+ };
295
+ }
296
+
297
297
  // codegen:start { preset: barrel, include: api/*.ts }
298
298
  export * from "./api/align.js";
299
299
  export * from "./api/alignWith.js";
@@ -2,22 +2,6 @@ import type { Nullable } from "@fncts/base/types";
2
2
 
3
3
  import { Either, Left, Right } from "./definition.js";
4
4
 
5
- /**
6
- * @tsplus static fncts.EitherOps left
7
- * @tsplus static fncts.Either.LeftOps __call
8
- */
9
- export function left<E = never, A = never>(e: E, __tsplusTrace?: string): Either<E, A> {
10
- return new Left(e, __tsplusTrace);
11
- }
12
-
13
- /**
14
- * @tsplus static fncts.EitherOps right
15
- * @tsplus static fncts.Either.RightOps __call
16
- */
17
- export function right<E = never, A = never>(a: A, __tsplusTrace?: string): Either<E, A> {
18
- return new Right(a, __tsplusTrace);
19
- }
20
-
21
5
  /**
22
6
  * @tsplus static fncts.EitherOps fromMaybe
23
7
  * @tsplus pipeable fncts.Maybe toEither
@@ -56,6 +40,20 @@ export function fromPredicate<E, A>(value: A, p: Predicate<A>, otherwise: (a: A)
56
40
  export function fromPredicate<E, A>(value: A, p: Predicate<A>, otherwise: (a: A) => E): Either<E, A> {
57
41
  return p(value) ? Right(value) : left(otherwise(value));
58
42
  }
43
+ /**
44
+ * @tsplus static fncts.EitherOps left
45
+ * @tsplus static fncts.Either.LeftOps __call
46
+ */
47
+ export function left<E = never, A = never>(e: E, __tsplusTrace?: string): Either<E, A> {
48
+ return new Left(e, __tsplusTrace);
49
+ }
50
+ /**
51
+ * @tsplus static fncts.EitherOps right
52
+ * @tsplus static fncts.Either.RightOps __call
53
+ */
54
+ export function right<E = never, A = never>(a: A, __tsplusTrace?: string): Either<E, A> {
55
+ return new Right(a, __tsplusTrace);
56
+ }
59
57
 
60
58
  /**
61
59
  * @tsplus static fncts.EitherOps tryCatch
@@ -1,77 +1,6 @@
1
1
  import type { EitherT } from "./definition.js";
2
2
  import type * as P from "@fncts/base/typeclass";
3
3
 
4
- /**
5
- * @tsplus static fncts.EitherTOps __call
6
- */
7
- export function make<F extends HKT, FC, K, Q, W, X, I, S, R, FE, E, A>(
8
- self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, Either<E, A>>,
9
- ): EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
10
- return self;
11
- }
12
-
13
- /**
14
- * @tsplus static fncts.EitherTOps right
15
- */
16
- export function right<F extends HKT, FC>(
17
- F: P.Pointed<F, FC>,
18
- ): <K, Q, W, X, I, S, R, FE, E = never, A = never>(a: A) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
19
- return (a) => F.pure(Either.right(a));
20
- }
21
-
22
- /**
23
- * @tsplus static fncts.EitherTOps left
24
- */
25
- export function left<F extends HKT, FC>(
26
- F: P.Pointed<F, FC>,
27
- ): <K, Q, W, X, I, S, R, FE, E, A = never>(e: E) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
28
- return (e) => F.pure(Either.left(e));
29
- }
30
-
31
- /**
32
- * @tsplus static fncts.EitherTOps rightF
33
- */
34
- export function rightF<F extends HKT, FC>(
35
- F: P.Functor<F, FC>,
36
- ): <K, Q, W, X, I, S, R, FE, E = never, A = never>(
37
- self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, A>,
38
- ) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
39
- return F.map(Either.right);
40
- }
41
-
42
- /**
43
- * @tsplus static fncts.EitherTOps leftF
44
- */
45
- export function leftF<F extends HKT, FC>(
46
- F: P.Functor<F, FC>,
47
- ): <K, Q, W, X, I, S, R, FE, E = never, A = never>(
48
- self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, E>,
49
- ) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
50
- return F.map(Either.left);
51
- }
52
-
53
- /**
54
- * @tsplus static fncts.EitherTOps map
55
- */
56
- export function map<F extends HKT, FC>(F: P.Functor<F, FC>) {
57
- return <A, B>(
58
- f: (a: A) => B,
59
- ): (<K, Q, W, X, I, S, R, FE, E>(
60
- self: EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A>,
61
- ) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, B>) => F.map((either) => either.map(f));
62
- }
63
-
64
- /**
65
- * @tsplus static fncts.EitherTOps mapLeft
66
- */
67
- export function mapLeft<F extends HKT, FC = HKT.None>(F: P.Functor<F, FC>) {
68
- return <E, E1>(
69
- f: (e: E) => E1,
70
- ): (<K, Q, W, X, I, S, R, FE, A>(
71
- self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, Either<E, A>>,
72
- ) => HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, Either<E1, A>>) => F.map((either) => either.mapLeft(f));
73
- }
74
-
75
4
  /**
76
5
  * @tsplus static fncts.EitherTOps bimap
77
6
  */
@@ -142,46 +71,54 @@ export function flatMap<F extends HKT, FC>(F: P.Monad<F, FC>) {
142
71
  }
143
72
 
144
73
  /**
145
- * @tsplus static fncts.EitherTOps zipWith
74
+ * @tsplus static fncts.EitherTOps left
146
75
  */
147
- export function zipWith<F extends HKT, FC = HKT.None>(
148
- F: P.Apply<F, FC>,
149
- ): <K, Q, W, X, I, S, R, EF, A, K1, Q1, W1, X1, I1, S1, R1, EF1, E1, B, C>(
150
- that: HKT.Kind<
151
- F,
152
- FC,
153
- HKT.Intro<F, "K", K, K1>,
154
- HKT.Intro<F, "Q", Q, Q1>,
155
- HKT.Intro<F, "W", W, W1>,
156
- HKT.Intro<F, "X", X, X1>,
157
- HKT.Intro<F, "I", I, I1>,
158
- HKT.Intro<F, "S", S, S1>,
159
- HKT.Intro<F, "R", R, R1>,
160
- HKT.Intro<F, "E", EF, EF1>,
161
- Either<E1, B>
162
- >,
163
- f: (a: A, b: B) => C,
164
- ) => <E>(
165
- self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, EF, Either<E, A>>,
166
- ) => HKT.Kind<
167
- F,
168
- FC,
169
- HKT.Intro<F, "K", K, K1>,
170
- HKT.Intro<F, "Q", Q, Q1>,
171
- HKT.Intro<F, "W", W, W1>,
172
- HKT.Intro<F, "X", X, X1>,
173
- HKT.Intro<F, "I", I, I1>,
174
- HKT.Intro<F, "S", S, S1>,
175
- HKT.Intro<F, "R", R, R1>,
176
- HKT.Intro<F, "E", EF, EF1>,
177
- Either<E | E1, C>
178
- >;
179
- export function zipWith<F extends HKT>(F: P.Apply<HKT.F<F>>) {
180
- return <A, E1, B, C>(
181
- that: HKT.FK1<F, Either<E1, B>>,
182
- f: (a: A, b: B) => C,
183
- ): (<E>(self: HKT.FK1<F, Either<E, A>>) => HKT.FK1<F, Either<E | E1, C>>) =>
184
- F.zipWith(that, (a, b) => a.zipWith(b, f));
76
+ export function left<F extends HKT, FC>(
77
+ F: P.Pointed<F, FC>,
78
+ ): <K, Q, W, X, I, S, R, FE, E, A = never>(e: E) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
79
+ return (e) => F.pure(Either.left(e));
80
+ }
81
+
82
+ /**
83
+ * @tsplus static fncts.EitherTOps leftF
84
+ */
85
+ export function leftF<F extends HKT, FC>(
86
+ F: P.Functor<F, FC>,
87
+ ): <K, Q, W, X, I, S, R, FE, E = never, A = never>(
88
+ self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, E>,
89
+ ) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
90
+ return F.map(Either.left);
91
+ }
92
+
93
+ /**
94
+ * @tsplus static fncts.EitherTOps __call
95
+ */
96
+ export function make<F extends HKT, FC, K, Q, W, X, I, S, R, FE, E, A>(
97
+ self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, Either<E, A>>,
98
+ ): EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
99
+ return self;
100
+ }
101
+
102
+ /**
103
+ * @tsplus static fncts.EitherTOps map
104
+ */
105
+ export function map<F extends HKT, FC>(F: P.Functor<F, FC>) {
106
+ return <A, B>(
107
+ f: (a: A) => B,
108
+ ): (<K, Q, W, X, I, S, R, FE, E>(
109
+ self: EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A>,
110
+ ) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, B>) => F.map((either) => either.map(f));
111
+ }
112
+
113
+ /**
114
+ * @tsplus static fncts.EitherTOps mapLeft
115
+ */
116
+ export function mapLeft<F extends HKT, FC = HKT.None>(F: P.Functor<F, FC>) {
117
+ return <E, E1>(
118
+ f: (e: E) => E1,
119
+ ): (<K, Q, W, X, I, S, R, FE, A>(
120
+ self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, Either<E, A>>,
121
+ ) => HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, Either<E1, A>>) => F.map((either) => either.mapLeft(f));
185
122
  }
186
123
 
187
124
  /**
@@ -220,6 +157,7 @@ export function orElse<F extends HKT, FC = HKT.None>(
220
157
  HKT.Mix<F, "E", [EF, EF1]>,
221
158
  Either<E | E1, A | B>
222
159
  >;
160
+
223
161
  export function orElse<F>(F: P.Monad<HKT.F1<F>>) {
224
162
  return <E, A, E1, B>(
225
163
  that: Lazy<HKT.FK1<F, Either<E1, B>>>,
@@ -231,3 +169,66 @@ export function orElse<F>(F: P.Monad<HKT.F1<F>>) {
231
169
  ),
232
170
  );
233
171
  }
172
+
173
+ /**
174
+ * @tsplus static fncts.EitherTOps right
175
+ */
176
+ export function right<F extends HKT, FC>(
177
+ F: P.Pointed<F, FC>,
178
+ ): <K, Q, W, X, I, S, R, FE, E = never, A = never>(a: A) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
179
+ return (a) => F.pure(Either.right(a));
180
+ }
181
+
182
+ /**
183
+ * @tsplus static fncts.EitherTOps rightF
184
+ */
185
+ export function rightF<F extends HKT, FC>(
186
+ F: P.Functor<F, FC>,
187
+ ): <K, Q, W, X, I, S, R, FE, E = never, A = never>(
188
+ self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, A>,
189
+ ) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
190
+ return F.map(Either.right);
191
+ }
192
+
193
+ /**
194
+ * @tsplus static fncts.EitherTOps zipWith
195
+ */
196
+ export function zipWith<F extends HKT, FC = HKT.None>(
197
+ F: P.Apply<F, FC>,
198
+ ): <K, Q, W, X, I, S, R, EF, A, K1, Q1, W1, X1, I1, S1, R1, EF1, E1, B, C>(
199
+ that: HKT.Kind<
200
+ F,
201
+ FC,
202
+ HKT.Intro<F, "K", K, K1>,
203
+ HKT.Intro<F, "Q", Q, Q1>,
204
+ HKT.Intro<F, "W", W, W1>,
205
+ HKT.Intro<F, "X", X, X1>,
206
+ HKT.Intro<F, "I", I, I1>,
207
+ HKT.Intro<F, "S", S, S1>,
208
+ HKT.Intro<F, "R", R, R1>,
209
+ HKT.Intro<F, "E", EF, EF1>,
210
+ Either<E1, B>
211
+ >,
212
+ f: (a: A, b: B) => C,
213
+ ) => <E>(
214
+ self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, EF, Either<E, A>>,
215
+ ) => HKT.Kind<
216
+ F,
217
+ FC,
218
+ HKT.Intro<F, "K", K, K1>,
219
+ HKT.Intro<F, "Q", Q, Q1>,
220
+ HKT.Intro<F, "W", W, W1>,
221
+ HKT.Intro<F, "X", X, X1>,
222
+ HKT.Intro<F, "I", I, I1>,
223
+ HKT.Intro<F, "S", S, S1>,
224
+ HKT.Intro<F, "R", R, R1>,
225
+ HKT.Intro<F, "E", EF, EF1>,
226
+ Either<E | E1, C>
227
+ >;
228
+ export function zipWith<F extends HKT>(F: P.Apply<HKT.F<F>>) {
229
+ return <A, E1, B, C>(
230
+ that: HKT.FK1<F, Either<E1, B>>,
231
+ f: (a: A, b: B) => C,
232
+ ): (<E>(self: HKT.FK1<F, Either<E, A>>) => HKT.FK1<F, Either<E | E1, C>>) =>
233
+ F.zipWith(that, (a, b) => a.zipWith(b, f));
234
+ }
@@ -3,10 +3,13 @@ import { ServiceNotFoundError } from "@fncts/base/data/Environment/ServiceNotFou
3
3
  /**
4
4
  * @tsplus pipeable fncts.Environment add
5
5
  */
6
- export function add<H extends S, S = H>(service: H, tag: Tag<S>): <R>(self: Environment<R>) => Environment<R | S>;
6
+ export function add<H extends S, S = H>(
7
+ service: H,
8
+ /** @tsplus auto */ tag: Tag<S>,
9
+ ): <R>(self: Environment<R>) => Environment<R | S>;
7
10
  export function add<H extends S, S = H, I = S>(
8
11
  service: H,
9
- tag: Tag<S, I>,
12
+ /** @tsplus auto */ tag: Tag<S, I>,
10
13
  ): <R>(self: Environment<R>) => Environment<R | I>;
11
14
  export function add<H extends S, S = H>(service: H, tag: Tag<S>) {
12
15
  return <R>(self: Environment<R>): Environment<R | S> => {
@@ -35,7 +38,7 @@ export function get<R, T extends Tags<R>>(tag: T) {
35
38
  */
36
39
  export function getMaybe<S, I>(tag: Tag<S, I>) {
37
40
  return <R>(self: Environment<R>): Maybe<S> => {
38
- return self.cache.get(tag) as Maybe<S>;
41
+ return unsafeCoerce(self.cache.get(tag));
39
42
  };
40
43
  }
41
44