@fncts/test 0.0.21 → 0.0.22

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 (426) hide show
  1. package/_cjs/api.cjs +2 -47
  2. package/_cjs/api.cjs.map +1 -1
  3. package/_cjs/control/AbstractRunnableSpec.cjs +0 -11
  4. package/_cjs/control/AbstractRunnableSpec.cjs.map +1 -1
  5. package/_cjs/control/Annotations/api.cjs +0 -12
  6. package/_cjs/control/Annotations/api.cjs.map +1 -1
  7. package/_cjs/control/Annotations/definition.cjs +0 -6
  8. package/_cjs/control/Annotations/definition.cjs.map +1 -1
  9. package/_cjs/control/Annotations/live.cjs +9 -30
  10. package/_cjs/control/Annotations/live.cjs.map +1 -1
  11. package/_cjs/control/Annotations.cjs +0 -6
  12. package/_cjs/control/Annotations.cjs.map +1 -1
  13. package/_cjs/control/Assertion/api.cjs +8 -70
  14. package/_cjs/control/Assertion/api.cjs.map +1 -1
  15. package/_cjs/control/Assertion/definition.cjs +0 -8
  16. package/_cjs/control/Assertion/definition.cjs.map +1 -1
  17. package/_cjs/control/Assertion.cjs +0 -4
  18. package/_cjs/control/Assertion.cjs.map +1 -1
  19. package/_cjs/control/AssertionIO/api.cjs +0 -12
  20. package/_cjs/control/AssertionIO/api.cjs.map +1 -1
  21. package/_cjs/control/AssertionIO/definition.cjs +0 -8
  22. package/_cjs/control/AssertionIO/definition.cjs.map +1 -1
  23. package/_cjs/control/AssertionIO.cjs +0 -4
  24. package/_cjs/control/AssertionIO.cjs.map +1 -1
  25. package/_cjs/control/DefaultRunnableSpec.cjs +0 -12
  26. package/_cjs/control/DefaultRunnableSpec.cjs.map +1 -1
  27. package/_cjs/control/DefaultTestReporter/definition.cjs.map +1 -1
  28. package/_cjs/control/DefaultTestReporter/render.cjs +5 -74
  29. package/_cjs/control/DefaultTestReporter/render.cjs.map +1 -1
  30. package/_cjs/control/DefaultTestReporter.cjs +0 -4
  31. package/_cjs/control/DefaultTestReporter.cjs.map +1 -1
  32. package/_cjs/control/FreeBooleanAlgebraIO/api.cjs +0 -20
  33. package/_cjs/control/FreeBooleanAlgebraIO/api.cjs.map +1 -1
  34. package/_cjs/control/FreeBooleanAlgebraIO/definition.cjs.map +1 -1
  35. package/_cjs/control/FreeBooleanAlgebraIO.cjs +0 -4
  36. package/_cjs/control/FreeBooleanAlgebraIO.cjs.map +1 -1
  37. package/_cjs/control/Gen/api.cjs +496 -176
  38. package/_cjs/control/Gen/api.cjs.map +1 -1
  39. package/_cjs/control/Gen/definition.cjs +0 -3
  40. package/_cjs/control/Gen/definition.cjs.map +1 -1
  41. package/_cjs/control/Gen.cjs +0 -97
  42. package/_cjs/control/Gen.cjs.map +1 -1
  43. package/_cjs/control/Live/definition.cjs +0 -18
  44. package/_cjs/control/Live/definition.cjs.map +1 -1
  45. package/_cjs/control/Live.cjs +0 -2
  46. package/_cjs/control/Live.cjs.map +1 -1
  47. package/_cjs/control/RunnableSpec.cjs +1 -21
  48. package/_cjs/control/RunnableSpec.cjs.map +1 -1
  49. package/_cjs/control/Sample/api.cjs +1 -56
  50. package/_cjs/control/Sample/api.cjs.map +1 -1
  51. package/_cjs/control/Sample/definition.cjs +0 -3
  52. package/_cjs/control/Sample/definition.cjs.map +1 -1
  53. package/_cjs/control/Sample.cjs +0 -4
  54. package/_cjs/control/Sample.cjs.map +1 -1
  55. package/_cjs/control/Sized/api.cjs +0 -8
  56. package/_cjs/control/Sized/api.cjs.map +1 -1
  57. package/_cjs/control/Sized/definition.cjs +0 -6
  58. package/_cjs/control/Sized/definition.cjs.map +1 -1
  59. package/_cjs/control/Sized/live.cjs +0 -12
  60. package/_cjs/control/Sized/live.cjs.map +1 -1
  61. package/_cjs/control/Sized.cjs +0 -6
  62. package/_cjs/control/Sized.cjs.map +1 -1
  63. package/_cjs/control/Spec/api.cjs +1 -82
  64. package/_cjs/control/Spec/api.cjs.map +1 -1
  65. package/_cjs/control/Spec/definition.cjs +6 -45
  66. package/_cjs/control/Spec/definition.cjs.map +1 -1
  67. package/_cjs/control/Spec.cjs +0 -4
  68. package/_cjs/control/Spec.cjs.map +1 -1
  69. package/_cjs/control/SummaryBuilder.cjs +0 -21
  70. package/_cjs/control/SummaryBuilder.cjs.map +1 -1
  71. package/_cjs/control/Test.cjs +0 -10
  72. package/_cjs/control/Test.cjs.map +1 -1
  73. package/_cjs/control/TestAnnotationRenderer/api.cjs +4 -31
  74. package/_cjs/control/TestAnnotationRenderer/api.cjs.map +1 -1
  75. package/_cjs/control/TestAnnotationRenderer/definition.cjs +2 -18
  76. package/_cjs/control/TestAnnotationRenderer/definition.cjs.map +1 -1
  77. package/_cjs/control/TestAnnotationRenderer.cjs +0 -4
  78. package/_cjs/control/TestAnnotationRenderer.cjs.map +1 -1
  79. package/_cjs/control/TestAspect/api.cjs +3 -44
  80. package/_cjs/control/TestAspect/api.cjs.map +1 -1
  81. package/_cjs/control/TestAspect.cjs +0 -4
  82. package/_cjs/control/TestAspect.cjs.map +1 -1
  83. package/_cjs/control/TestClock/api.cjs +10 -29
  84. package/_cjs/control/TestClock/api.cjs.map +1 -1
  85. package/_cjs/control/TestClock/definition.cjs +57 -107
  86. package/_cjs/control/TestClock/definition.cjs.map +1 -1
  87. package/_cjs/control/TestClock.cjs +0 -4
  88. package/_cjs/control/TestClock.cjs.map +1 -1
  89. package/_cjs/control/TestConsole/api.cjs +0 -18
  90. package/_cjs/control/TestConsole/api.cjs.map +1 -1
  91. package/_cjs/control/TestConsole/definition.cjs +24 -45
  92. package/_cjs/control/TestConsole/definition.cjs.map +1 -1
  93. package/_cjs/control/TestConsole.cjs +0 -4
  94. package/_cjs/control/TestConsole.cjs.map +1 -1
  95. package/_cjs/control/TestEnvironment.cjs +0 -12
  96. package/_cjs/control/TestEnvironment.cjs.map +1 -1
  97. package/_cjs/control/TestExecutor.cjs +0 -14
  98. package/_cjs/control/TestExecutor.cjs.map +1 -1
  99. package/_cjs/control/TestLogger.cjs +0 -15
  100. package/_cjs/control/TestLogger.cjs.map +1 -1
  101. package/_cjs/control/TestRandom/api.cjs +0 -30
  102. package/_cjs/control/TestRandom/api.cjs.map +1 -1
  103. package/_cjs/control/TestRandom/definition.cjs +56 -134
  104. package/_cjs/control/TestRandom/definition.cjs.map +1 -1
  105. package/_cjs/control/TestRandom.cjs +0 -4
  106. package/_cjs/control/TestRandom.cjs.map +1 -1
  107. package/_cjs/control/TestRenderer/ConsoleRenderer.cjs +0 -25
  108. package/_cjs/control/TestRenderer/ConsoleRenderer.cjs.map +1 -1
  109. package/_cjs/control/TestRunner.cjs +2 -19
  110. package/_cjs/control/TestRunner.cjs.map +1 -1
  111. package/_cjs/data/AssertionData.cjs +0 -14
  112. package/_cjs/data/AssertionData.cjs.map +1 -1
  113. package/_cjs/data/AssertionResult.cjs +0 -8
  114. package/_cjs/data/AssertionResult.cjs.map +1 -1
  115. package/_cjs/data/AssertionValue/api.cjs +1 -16
  116. package/_cjs/data/AssertionValue/api.cjs.map +1 -1
  117. package/_cjs/data/AssertionValue/definition.cjs +0 -8
  118. package/_cjs/data/AssertionValue/definition.cjs.map +1 -1
  119. package/_cjs/data/AssertionValue.cjs +0 -4
  120. package/_cjs/data/AssertionValue.cjs.map +1 -1
  121. package/_cjs/data/ExecutedSpec/api.cjs +4 -26
  122. package/_cjs/data/ExecutedSpec/api.cjs.map +1 -1
  123. package/_cjs/data/ExecutedSpec/definition.cjs +3 -21
  124. package/_cjs/data/ExecutedSpec/definition.cjs.map +1 -1
  125. package/_cjs/data/ExecutedSpec.cjs +0 -4
  126. package/_cjs/data/ExecutedSpec.cjs.map +1 -1
  127. package/_cjs/data/ExecutionResult.cjs +0 -29
  128. package/_cjs/data/ExecutionResult.cjs.map +1 -1
  129. package/_cjs/data/FailureDetails.cjs +0 -3
  130. package/_cjs/data/FailureDetails.cjs.map +1 -1
  131. package/_cjs/data/FreeBooleanAlgebra/api.cjs +4 -53
  132. package/_cjs/data/FreeBooleanAlgebra/api.cjs.map +1 -1
  133. package/_cjs/data/FreeBooleanAlgebra/definition.cjs +4 -24
  134. package/_cjs/data/FreeBooleanAlgebra/definition.cjs.map +1 -1
  135. package/_cjs/data/FreeBooleanAlgebra.cjs +0 -4
  136. package/_cjs/data/FreeBooleanAlgebra.cjs.map +1 -1
  137. package/_cjs/data/GenFailureDetails.cjs +0 -3
  138. package/_cjs/data/GenFailureDetails.cjs.map +1 -1
  139. package/_cjs/data/LogLine/Fragment.cjs +0 -22
  140. package/_cjs/data/LogLine/Fragment.cjs.map +1 -1
  141. package/_cjs/data/LogLine/Line.cjs +0 -32
  142. package/_cjs/data/LogLine/Line.cjs.map +1 -1
  143. package/_cjs/data/LogLine/Message.cjs +0 -34
  144. package/_cjs/data/LogLine/Message.cjs.map +1 -1
  145. package/_cjs/data/LogLine/Style.cjs +10 -44
  146. package/_cjs/data/LogLine/Style.cjs.map +1 -1
  147. package/_cjs/data/LogLine/api.cjs +0 -15
  148. package/_cjs/data/LogLine/api.cjs.map +1 -1
  149. package/_cjs/data/LogLine.cjs +0 -4
  150. package/_cjs/data/LogLine.cjs.map +1 -1
  151. package/_cjs/data/Render/api.cjs +0 -4
  152. package/_cjs/data/Render/api.cjs.map +1 -1
  153. package/_cjs/data/Render/definition.cjs +2 -16
  154. package/_cjs/data/Render/definition.cjs.map +1 -1
  155. package/_cjs/data/Render.cjs +0 -4
  156. package/_cjs/data/Render.cjs.map +1 -1
  157. package/_cjs/data/RenderParam/api.cjs +3 -15
  158. package/_cjs/data/RenderParam/api.cjs.map +1 -1
  159. package/_cjs/data/RenderParam/definition.cjs +2 -12
  160. package/_cjs/data/RenderParam/definition.cjs.map +1 -1
  161. package/_cjs/data/RenderParam.cjs +0 -4
  162. package/_cjs/data/RenderParam.cjs.map +1 -1
  163. package/_cjs/data/Summary.cjs +0 -3
  164. package/_cjs/data/Summary.cjs.map +1 -1
  165. package/_cjs/data/TestAnnotation/api.cjs +1 -16
  166. package/_cjs/data/TestAnnotation/api.cjs.map +1 -1
  167. package/_cjs/data/TestAnnotation/definition.cjs +4 -19
  168. package/_cjs/data/TestAnnotation/definition.cjs.map +1 -1
  169. package/_cjs/data/TestAnnotation.cjs +0 -4
  170. package/_cjs/data/TestAnnotation.cjs.map +1 -1
  171. package/_cjs/data/TestAnnotationMap.cjs +2 -17
  172. package/_cjs/data/TestAnnotationMap.cjs.map +1 -1
  173. package/_cjs/data/TestArgs/definition.cjs +0 -3
  174. package/_cjs/data/TestArgs/definition.cjs.map +1 -1
  175. package/_cjs/data/TestArgs.cjs +0 -2
  176. package/_cjs/data/TestArgs.cjs.map +1 -1
  177. package/_cjs/data/TestConfig.cjs +0 -17
  178. package/_cjs/data/TestConfig.cjs.map +1 -1
  179. package/_cjs/data/TestFailure.cjs +2 -23
  180. package/_cjs/data/TestFailure.cjs.map +1 -1
  181. package/_cjs/data/TestSuccess.cjs +2 -16
  182. package/_cjs/data/TestSuccess.cjs.map +1 -1
  183. package/_cjs/data/TestTimeoutException.cjs +0 -3
  184. package/_cjs/data/TestTimeoutException.cjs.map +1 -1
  185. package/_cjs/demo.cjs +0 -10
  186. package/_cjs/demo.cjs.map +1 -1
  187. package/_cjs/util/math.cjs +14 -142
  188. package/_cjs/util/math.cjs.map +1 -1
  189. package/_mjs/api.mjs +2 -13
  190. package/_mjs/api.mjs.map +1 -1
  191. package/_mjs/control/AbstractRunnableSpec.mjs +0 -6
  192. package/_mjs/control/AbstractRunnableSpec.mjs.map +1 -1
  193. package/_mjs/control/Annotations/api.mjs +0 -4
  194. package/_mjs/control/Annotations/api.mjs.map +1 -1
  195. package/_mjs/control/Annotations/definition.mjs +0 -2
  196. package/_mjs/control/Annotations/definition.mjs.map +1 -1
  197. package/_mjs/control/Annotations/live.mjs +9 -13
  198. package/_mjs/control/Annotations/live.mjs.map +1 -1
  199. package/_mjs/control/Annotations.mjs.map +1 -1
  200. package/_mjs/control/Assertion/api.mjs +6 -21
  201. package/_mjs/control/Assertion/api.mjs.map +1 -1
  202. package/_mjs/control/Assertion/definition.mjs +0 -2
  203. package/_mjs/control/Assertion/definition.mjs.map +1 -1
  204. package/_mjs/control/Assertion.mjs.map +1 -1
  205. package/_mjs/control/AssertionIO/api.mjs +0 -3
  206. package/_mjs/control/AssertionIO/api.mjs.map +1 -1
  207. package/_mjs/control/AssertionIO/definition.mjs +0 -3
  208. package/_mjs/control/AssertionIO/definition.mjs.map +1 -1
  209. package/_mjs/control/AssertionIO.mjs.map +1 -1
  210. package/_mjs/control/DefaultRunnableSpec.mjs +0 -1
  211. package/_mjs/control/DefaultRunnableSpec.mjs.map +1 -1
  212. package/_mjs/control/DefaultTestReporter/definition.mjs.map +1 -1
  213. package/_mjs/control/DefaultTestReporter/render.mjs +5 -38
  214. package/_mjs/control/DefaultTestReporter/render.mjs.map +1 -1
  215. package/_mjs/control/DefaultTestReporter.mjs.map +1 -1
  216. package/_mjs/control/FreeBooleanAlgebraIO/api.mjs +0 -8
  217. package/_mjs/control/FreeBooleanAlgebraIO/api.mjs.map +1 -1
  218. package/_mjs/control/FreeBooleanAlgebraIO/definition.mjs.map +1 -1
  219. package/_mjs/control/FreeBooleanAlgebraIO.mjs.map +1 -1
  220. package/_mjs/control/Gen/api.mjs +430 -120
  221. package/_mjs/control/Gen/api.mjs.map +1 -1
  222. package/_mjs/control/Gen/definition.mjs +0 -1
  223. package/_mjs/control/Gen/definition.mjs.map +1 -1
  224. package/_mjs/control/Gen.mjs +1 -10
  225. package/_mjs/control/Gen.mjs.map +1 -1
  226. package/_mjs/control/Live/definition.mjs +0 -5
  227. package/_mjs/control/Live/definition.mjs.map +1 -1
  228. package/_mjs/control/Live.mjs.map +1 -1
  229. package/_mjs/control/RunnableSpec.mjs +1 -4
  230. package/_mjs/control/RunnableSpec.mjs.map +1 -1
  231. package/_mjs/control/Sample/api.mjs +1 -31
  232. package/_mjs/control/Sample/api.mjs.map +1 -1
  233. package/_mjs/control/Sample/definition.mjs +0 -1
  234. package/_mjs/control/Sample/definition.mjs.map +1 -1
  235. package/_mjs/control/Sample.mjs.map +1 -1
  236. package/_mjs/control/Sized/api.mjs +0 -2
  237. package/_mjs/control/Sized/api.mjs.map +1 -1
  238. package/_mjs/control/Sized/definition.mjs +0 -2
  239. package/_mjs/control/Sized/definition.mjs.map +1 -1
  240. package/_mjs/control/Sized/live.mjs +0 -3
  241. package/_mjs/control/Sized/live.mjs.map +1 -1
  242. package/_mjs/control/Sized.mjs.map +1 -1
  243. package/_mjs/control/Spec/api.mjs +1 -45
  244. package/_mjs/control/Spec/api.mjs.map +1 -1
  245. package/_mjs/control/Spec/definition.mjs +6 -31
  246. package/_mjs/control/Spec/definition.mjs.map +1 -1
  247. package/_mjs/control/Spec.mjs.map +1 -1
  248. package/_mjs/control/SummaryBuilder.mjs +0 -5
  249. package/_mjs/control/SummaryBuilder.mjs.map +1 -1
  250. package/_mjs/control/Test.mjs +0 -1
  251. package/_mjs/control/Test.mjs.map +1 -1
  252. package/_mjs/control/TestAnnotationRenderer/api.mjs +4 -20
  253. package/_mjs/control/TestAnnotationRenderer/api.mjs.map +1 -1
  254. package/_mjs/control/TestAnnotationRenderer/definition.mjs +2 -8
  255. package/_mjs/control/TestAnnotationRenderer/definition.mjs.map +1 -1
  256. package/_mjs/control/TestAnnotationRenderer.mjs.map +1 -1
  257. package/_mjs/control/TestAspect/api.mjs +3 -7
  258. package/_mjs/control/TestAspect/api.mjs.map +1 -1
  259. package/_mjs/control/TestAspect.mjs.map +1 -1
  260. package/_mjs/control/TestClock/api.mjs +10 -13
  261. package/_mjs/control/TestClock/api.mjs.map +1 -1
  262. package/_mjs/control/TestClock/definition.mjs +57 -72
  263. package/_mjs/control/TestClock/definition.mjs.map +1 -1
  264. package/_mjs/control/TestClock.mjs.map +1 -1
  265. package/_mjs/control/TestConsole/api.mjs +0 -3
  266. package/_mjs/control/TestConsole/api.mjs.map +1 -1
  267. package/_mjs/control/TestConsole/definition.mjs +24 -31
  268. package/_mjs/control/TestConsole/definition.mjs.map +1 -1
  269. package/_mjs/control/TestConsole.mjs.map +1 -1
  270. package/_mjs/control/TestEnvironment.mjs.map +1 -1
  271. package/_mjs/control/TestExecutor.mjs.map +1 -1
  272. package/_mjs/control/TestLogger.mjs +0 -5
  273. package/_mjs/control/TestLogger.mjs.map +1 -1
  274. package/_mjs/control/TestRandom/api.mjs +0 -10
  275. package/_mjs/control/TestRandom/api.mjs.map +1 -1
  276. package/_mjs/control/TestRandom/definition.mjs +56 -113
  277. package/_mjs/control/TestRandom/definition.mjs.map +1 -1
  278. package/_mjs/control/TestRandom.mjs.map +1 -1
  279. package/_mjs/control/TestRenderer/ConsoleRenderer.mjs +0 -10
  280. package/_mjs/control/TestRenderer/ConsoleRenderer.mjs.map +1 -1
  281. package/_mjs/control/TestRunner.mjs +2 -6
  282. package/_mjs/control/TestRunner.mjs.map +1 -1
  283. package/_mjs/data/AssertionData.mjs +0 -5
  284. package/_mjs/data/AssertionData.mjs.map +1 -1
  285. package/_mjs/data/AssertionResult.mjs +0 -2
  286. package/_mjs/data/AssertionResult.mjs.map +1 -1
  287. package/_mjs/data/AssertionValue/api.mjs +1 -6
  288. package/_mjs/data/AssertionValue/api.mjs.map +1 -1
  289. package/_mjs/data/AssertionValue/definition.mjs +0 -2
  290. package/_mjs/data/AssertionValue/definition.mjs.map +1 -1
  291. package/_mjs/data/AssertionValue.mjs.map +1 -1
  292. package/_mjs/data/ExecutedSpec/api.mjs +3 -13
  293. package/_mjs/data/ExecutedSpec/api.mjs.map +1 -1
  294. package/_mjs/data/ExecutedSpec/definition.mjs +5 -13
  295. package/_mjs/data/ExecutedSpec/definition.mjs.map +1 -1
  296. package/_mjs/data/ExecutedSpec.mjs.map +1 -1
  297. package/_mjs/data/ExecutionResult.mjs +0 -16
  298. package/_mjs/data/ExecutionResult.mjs.map +1 -1
  299. package/_mjs/data/FailureDetails.mjs +0 -1
  300. package/_mjs/data/FailureDetails.mjs.map +1 -1
  301. package/_mjs/data/FreeBooleanAlgebra/api.mjs +4 -37
  302. package/_mjs/data/FreeBooleanAlgebra/api.mjs.map +1 -1
  303. package/_mjs/data/FreeBooleanAlgebra/definition.mjs +8 -16
  304. package/_mjs/data/FreeBooleanAlgebra/definition.mjs.map +1 -1
  305. package/_mjs/data/FreeBooleanAlgebra.mjs.map +1 -1
  306. package/_mjs/data/GenFailureDetails.mjs +0 -1
  307. package/_mjs/data/GenFailureDetails.mjs.map +1 -1
  308. package/_mjs/data/LogLine/Fragment.mjs +0 -9
  309. package/_mjs/data/LogLine/Fragment.mjs.map +1 -1
  310. package/_mjs/data/LogLine/Line.mjs +0 -15
  311. package/_mjs/data/LogLine/Line.mjs.map +1 -1
  312. package/_mjs/data/LogLine/Message.mjs +0 -18
  313. package/_mjs/data/LogLine/Message.mjs.map +1 -1
  314. package/_mjs/data/LogLine/Style.mjs +10 -39
  315. package/_mjs/data/LogLine/Style.mjs.map +1 -1
  316. package/_mjs/data/LogLine/api.mjs.map +1 -1
  317. package/_mjs/data/LogLine.mjs.map +1 -1
  318. package/_mjs/data/Render/api.mjs +0 -2
  319. package/_mjs/data/Render/api.mjs.map +1 -1
  320. package/_mjs/data/Render/definition.mjs +2 -8
  321. package/_mjs/data/Render/definition.mjs.map +1 -1
  322. package/_mjs/data/Render.mjs.map +1 -1
  323. package/_mjs/data/RenderParam/api.mjs +3 -10
  324. package/_mjs/data/RenderParam/api.mjs.map +1 -1
  325. package/_mjs/data/RenderParam/definition.mjs +4 -8
  326. package/_mjs/data/RenderParam/definition.mjs.map +1 -1
  327. package/_mjs/data/RenderParam.mjs.map +1 -1
  328. package/_mjs/data/Summary.mjs +0 -1
  329. package/_mjs/data/Summary.mjs.map +1 -1
  330. package/_mjs/data/TestAnnotation/api.mjs +1 -7
  331. package/_mjs/data/TestAnnotation/api.mjs.map +1 -1
  332. package/_mjs/data/TestAnnotation/definition.mjs +4 -8
  333. package/_mjs/data/TestAnnotation/definition.mjs.map +1 -1
  334. package/_mjs/data/TestAnnotation.mjs.map +1 -1
  335. package/_mjs/data/TestAnnotationMap.mjs +2 -8
  336. package/_mjs/data/TestAnnotationMap.mjs.map +1 -1
  337. package/_mjs/data/TestArgs/definition.mjs +0 -1
  338. package/_mjs/data/TestArgs/definition.mjs.map +1 -1
  339. package/_mjs/data/TestArgs.mjs.map +1 -1
  340. package/_mjs/data/TestConfig.mjs +0 -8
  341. package/_mjs/data/TestConfig.mjs.map +1 -1
  342. package/_mjs/data/TestFailure.mjs +4 -12
  343. package/_mjs/data/TestFailure.mjs.map +1 -1
  344. package/_mjs/data/TestSuccess.mjs +4 -10
  345. package/_mjs/data/TestSuccess.mjs.map +1 -1
  346. package/_mjs/data/TestTimeoutException.mjs +0 -1
  347. package/_mjs/data/TestTimeoutException.mjs.map +1 -1
  348. package/_mjs/demo.mjs +0 -3
  349. package/_mjs/demo.mjs.map +1 -1
  350. package/_mjs/util/math.mjs +14 -111
  351. package/_mjs/util/math.mjs.map +1 -1
  352. package/_src/api.ts +2 -2
  353. package/_src/control/AbstractRunnableSpec.ts +0 -3
  354. package/_src/control/Annotations/live.ts +4 -6
  355. package/_src/control/Assertion/api.ts +5 -5
  356. package/_src/control/DefaultTestReporter/render.ts +1 -1
  357. package/_src/control/Gen/api.ts +429 -40
  358. package/_src/control/Gen.ts +0 -9
  359. package/_src/control/RunnableSpec.ts +1 -1
  360. package/_src/control/Sample/api.ts +1 -1
  361. package/_src/control/Spec/api.ts +1 -1
  362. package/_src/control/TestAspect/api.ts +2 -2
  363. package/_src/control/TestClock/definition.ts +9 -8
  364. package/_src/control/TestConsole/definition.ts +1 -1
  365. package/_src/control/TestRunner.ts +0 -3
  366. package/_src/data/AssertionValue/api.ts +1 -1
  367. package/_src/data/ExecutedSpec/api.ts +3 -3
  368. package/_src/data/RenderParam/api.ts +1 -1
  369. package/_src/data/TestAnnotation/api.ts +1 -1
  370. package/_src/data/TestAnnotationMap.ts +2 -2
  371. package/api.d.ts +2 -2
  372. package/control/AbstractRunnableSpec.d.ts +0 -1
  373. package/control/Annotations/live.d.ts +1 -1
  374. package/control/Assertion/api.d.ts +2 -2
  375. package/control/Gen/api.d.ts +207 -24
  376. package/control/Gen.d.ts +0 -7
  377. package/control/TestClock/definition.d.ts +2 -2
  378. package/control/TestConsole/definition.d.ts +3 -3
  379. package/control/TestRandom/definition.d.ts +1 -1
  380. package/control/TestRunner.d.ts +1 -3
  381. package/data/ExecutedSpec/api.d.ts +2 -2
  382. package/data/TestAnnotation/api.d.ts +1 -1
  383. package/data/TestAnnotation/definition.d.ts +2 -2
  384. package/package.json +4 -4
  385. package/_cjs/control/Gen/api/array.cjs +0 -56
  386. package/_cjs/control/Gen/api/array.cjs.map +0 -1
  387. package/_cjs/control/Gen/api/char.cjs +0 -129
  388. package/_cjs/control/Gen/api/char.cjs.map +0 -1
  389. package/_cjs/control/Gen/api/conc.cjs +0 -82
  390. package/_cjs/control/Gen/api/conc.cjs.map +0 -1
  391. package/_cjs/control/Gen/api/double.cjs +0 -82
  392. package/_cjs/control/Gen/api/double.cjs.map +0 -1
  393. package/_cjs/control/Gen/api/float.cjs +0 -55
  394. package/_cjs/control/Gen/api/float.cjs.map +0 -1
  395. package/_cjs/control/Gen/api/string.cjs +0 -106
  396. package/_cjs/control/Gen/api/string.cjs.map +0 -1
  397. package/_cjs/control/Gen/api/struct.cjs +0 -36
  398. package/_cjs/control/Gen/api/struct.cjs.map +0 -1
  399. package/_mjs/control/Gen/api/array.mjs +0 -37
  400. package/_mjs/control/Gen/api/array.mjs.map +0 -1
  401. package/_mjs/control/Gen/api/char.mjs +0 -95
  402. package/_mjs/control/Gen/api/char.mjs.map +0 -1
  403. package/_mjs/control/Gen/api/conc.mjs +0 -57
  404. package/_mjs/control/Gen/api/conc.mjs.map +0 -1
  405. package/_mjs/control/Gen/api/double.mjs +0 -60
  406. package/_mjs/control/Gen/api/double.mjs.map +0 -1
  407. package/_mjs/control/Gen/api/float.mjs +0 -41
  408. package/_mjs/control/Gen/api/float.mjs.map +0 -1
  409. package/_mjs/control/Gen/api/string.mjs +0 -76
  410. package/_mjs/control/Gen/api/string.mjs.map +0 -1
  411. package/_mjs/control/Gen/api/struct.mjs +0 -18
  412. package/_mjs/control/Gen/api/struct.mjs.map +0 -1
  413. package/_src/control/Gen/api/array.ts +0 -34
  414. package/_src/control/Gen/api/char.ts +0 -83
  415. package/_src/control/Gen/api/conc.ts +0 -53
  416. package/_src/control/Gen/api/double.ts +0 -64
  417. package/_src/control/Gen/api/float.ts +0 -36
  418. package/_src/control/Gen/api/string.ts +0 -75
  419. package/_src/control/Gen/api/struct.ts +0 -31
  420. package/control/Gen/api/array.d.ts +0 -18
  421. package/control/Gen/api/char.d.ts +0 -47
  422. package/control/Gen/api/conc.d.ts +0 -25
  423. package/control/Gen/api/double.d.ts +0 -13
  424. package/control/Gen/api/float.d.ts +0 -7
  425. package/control/Gen/api/string.d.ts +0 -48
  426. package/control/Gen/api/struct.d.ts +0 -8
@@ -4,6 +4,7 @@ import type { Live } from "@fncts/test/control/Live";
4
4
 
5
5
  import { matchTag } from "@fncts/base/util/pattern";
6
6
  import { Console } from "@fncts/io/Console";
7
+ import { FiberStatusTag } from "@fncts/io/FiberStatus";
7
8
  import { TestAnnotation } from "@fncts/test/data/TestAnnotation";
8
9
 
9
10
  export class Data {
@@ -95,27 +96,27 @@ export class TestClock extends Clock {
95
96
  }
96
97
  sleeps = this.clockState.get.map((data) => data.sleeps.map(([_]) => _));
97
98
  get supervizedFibers(): UIO<HashSet<Fiber.Runtime<any, any>>> {
98
- return IO.descriptorWith((descriptor) =>
99
+ return IO.fiberId.flatMap((fiberId) =>
99
100
  this.annotations.get(TestAnnotation.Fibers).flatMap((_) =>
100
101
  _.match(
101
- (_) => IO.succeed(HashSet.makeDefault()),
102
+ (_) => IO.succeed(HashSet.empty()),
102
103
  (fibers) =>
103
104
  IO.foreach(fibers, (ref) => ref.get)
104
- .map((_) => _.foldLeft(HashSet.makeDefault<Fiber.Runtime<any, any>>(), (s0, s1) => s0.union(s1)))
105
- .map((set) => set.filter((f) => !Equatable.strictEquals(f.id, descriptor.id))),
105
+ .map((_) => _.foldLeft(HashSet.empty<Fiber.Runtime<any, any>>(), (s0, s1) => s0.union(s1)))
106
+ .map((set) => set.filter((f) => !Equatable.strictEquals(f.id, fiberId))),
106
107
  ),
107
108
  ),
108
109
  );
109
110
  }
110
111
  private get freeze(): IO<never, void, HashMap<FiberId, FiberStatus>> {
111
112
  return this.supervizedFibers.flatMap((fibers) =>
112
- IO.foldLeft(fibers, HashMap.makeDefault<FiberId, FiberStatus>(), (map, fiber) =>
113
+ IO.foldLeft(fibers, HashMap.empty<FiberId, FiberStatus>(), (map, fiber) =>
113
114
  fiber.status.flatMap((status) => {
114
115
  switch (status._tag) {
115
- case "Done": {
116
+ case FiberStatusTag.Done: {
116
117
  return IO.succeed(map.set(fiber.id, status));
117
118
  }
118
- case "Suspended": {
119
+ case FiberStatusTag.Suspended: {
119
120
  return IO.succeed(map.set(fiber.id, status));
120
121
  }
121
122
  default: {
@@ -139,7 +140,7 @@ export class TestClock extends Clock {
139
140
  this.awaitSuspended >
140
141
  this.clockState.modify((data) => {
141
142
  const end = f(data.duration);
142
- const sorted = data.sleeps.sortWith(([x], [y]) => Number.Ord.compare(x, y));
143
+ const sorted = data.sleeps.sortWith(([x], [y]) => Number.Ord.compare(y)(x));
143
144
  return sorted.head
144
145
  .flatMap(([duration, promise]) =>
145
146
  duration <= end
@@ -1,7 +1,7 @@
1
1
  import type { Console } from "@fncts/io/Console";
2
2
  import type { Live } from "@fncts/test/control/Live";
3
3
 
4
- import { showWithOptions } from "@fncts/base/typeclass/Showable";
4
+ import { showWithOptions } from "@fncts/base/data/Showable";
5
5
 
6
6
  export class ConsoleData extends CaseClass<{
7
7
  readonly input: Vector<string>;
@@ -5,8 +5,6 @@ import type { Spec } from "@fncts/test/control/Spec";
5
5
  import type { TestExecutor } from "@fncts/test/control/TestExecutor";
6
6
  import type { ExecutedSpec } from "@fncts/test/data/ExecutedSpec";
7
7
 
8
- import { Console } from "@fncts/io/Console";
9
- import { defaultRuntimeConfig } from "@fncts/io/IO";
10
8
  import { DefaultTestReporter } from "@fncts/test/control/DefaultTestReporter";
11
9
  import { TestAnnotationRenderer } from "@fncts/test/control/TestAnnotationRenderer";
12
10
  import { TestLogger } from "@fncts/test/control/TestLogger";
@@ -17,7 +15,6 @@ export class TestRunner<R, E> {
17
15
  readonly bootstrap: Layer<never, never, TestLogger>;
18
16
  constructor(
19
17
  readonly executor: TestExecutor<R>,
20
- readonly runtimeConfig: RuntimeConfig = defaultRuntimeConfig,
21
18
  reporter?: TestReporter<E>,
22
19
  bootstrap?: Layer<never, never, TestLogger>,
23
20
  ) {
@@ -1,4 +1,4 @@
1
- import { showWithOptions } from "@fncts/base/typeclass/Showable";
1
+ import { showWithOptions } from "@fncts/base/data/Showable";
2
2
 
3
3
  import { AssertionValue } from "./definition.js";
4
4
 
@@ -73,14 +73,14 @@ export function transform<E, E1>(f: (_: SpecCase<E, ExecutedSpec<E1>>) => SpecCa
73
73
  }
74
74
 
75
75
  /**
76
- * @tsplus pipeable fncts.test.data.ExecutedSpec exists
76
+ * @tsplus pipeable fncts.test.data.ExecutedSpec some
77
77
  */
78
- export function exists<E>(f: (_: SpecCase<E, boolean>) => boolean) {
78
+ export function some<E>(f: (_: SpecCase<E, boolean>) => boolean) {
79
79
  return (self: ExecutedSpec<E>): boolean => {
80
80
  return self.fold(
81
81
  matchTag({
82
82
  Labeled: (c) => c.spec || f(c),
83
- Multiple: (c) => c.specs.exists(identity) || f(c),
83
+ Multiple: (c) => c.specs.some(identity) || f(c),
84
84
  Test: f,
85
85
  }),
86
86
  );
@@ -1,7 +1,7 @@
1
1
  import type { AssertionIO } from "../../control/AssertionIO/definition.js";
2
2
  import type { RenderParam } from "./definition.js";
3
3
 
4
- import { show } from "@fncts/base/typeclass/Showable";
4
+ import { show } from "@fncts/base/data/Showable";
5
5
 
6
6
  import { isAssertionIO } from "../../control/AssertionIO/definition.js";
7
7
  import { RenderAssertionIO, RenderParamTag, RenderValue } from "./definition.js";
@@ -22,7 +22,7 @@ export const TaggedTag = Tag<HashSet<string>>("fncts.test.TestAnnotation.Tagged"
22
22
  /**
23
23
  * @tsplus static fncts.test.TestAnnotationOps Tagged
24
24
  */
25
- export const Tagged = new TestAnnotation(TaggedTag, "tagged", HashSet.makeDefault(), (x, y) => x.union(y));
25
+ export const Tagged = new TestAnnotation(TaggedTag, "tagged", HashSet.empty(), (x, y) => x.union(y));
26
26
 
27
27
  export const TimingTag = Tag<number>("fncts.test.TestAnnotation.Timing");
28
28
  /**
@@ -8,7 +8,7 @@ export class TestAnnotationMap {
8
8
  return new TestAnnotationMap(
9
9
  Conc.from(this.map)
10
10
  .concat(Conc.from(that.map))
11
- .foldLeft(HashMap.makeDefault(), (acc, [k, v]) =>
11
+ .foldLeft(HashMap.empty(), (acc, [k, v]) =>
12
12
  acc.set(
13
13
  k,
14
14
  acc.get(k).match(
@@ -31,5 +31,5 @@ export class TestAnnotationMap {
31
31
  annotate<V>(key: TestAnnotation<V>, value: V): TestAnnotationMap {
32
32
  return this.update(key, (_) => key.combine(_, value));
33
33
  }
34
- static empty: TestAnnotationMap = new TestAnnotationMap(HashMap.makeDefault());
34
+ static empty: TestAnnotationMap = new TestAnnotationMap(HashMap.empty());
35
35
  }
package/api.d.ts CHANGED
@@ -12,12 +12,12 @@ import { Spec } from "./control/Spec.js";
12
12
  import { TestConfig } from "./data/TestConfig.js";
13
13
  export declare function traverseResult<A>(value: A, assertResult: AssertResult<A>, assertion: AssertionIO<A>): TestResult;
14
14
  /**
15
- * @tsplus pipeable global assert 1
15
+ * @tsplus pipeable global assert
16
16
  * @tsplus location "@fncts/test/api"
17
17
  */
18
18
  export declare function assert<A>(assertion: Assertion<A>): (value: A) => TestResult;
19
19
  /**
20
- * @tsplus pipeable global assert 0
20
+ * @tsplus pipeable fncts.io.IO assert
21
21
  * @tsplus location "@fncts/test/api"
22
22
  */
23
23
  export declare function assertIO<A>(assertion: AssertionIO<A>): <R, E>(io: import("@fncts/io/IO.js").IO<R, E, A>) => import("@fncts/io/IO.js").IO<R, E, TestResult>;
@@ -10,5 +10,4 @@ export declare abstract class AbstractRunnableSpec<R, E> {
10
10
  abstract spec: Spec<R, E>;
11
11
  get _run(): URIO<TestLogger, ExecutedSpec<E>>;
12
12
  runSpec(spec: Spec<R, E>): URIO<TestLogger, ExecutedSpec<E>>;
13
- get platform(): import("@fncts/io/RuntimeConfig").RuntimeConfig;
14
13
  }
@@ -2,7 +2,7 @@ import { FiberRef } from "@fncts/io/FiberRef/definition";
2
2
  import { UIO, IO } from "@fncts/io/IO/definition";
3
3
  import { HashSet } from "@fncts/base/collection/immutable/HashSet/definition";
4
4
  import { Fiber } from "@fncts/io/Fiber/definition";
5
- import { Equatable } from "@fncts/base/typeclass/Equatable";
5
+ import { Equatable } from "@fncts/base/data/Equatable";
6
6
  import { TestAnnotation } from "../../data/TestAnnotation.js";
7
7
  import { TestAnnotationMap } from "../../data/TestAnnotationMap.js";
8
8
  import { Annotations } from "./definition.js";
@@ -43,9 +43,9 @@ export declare function assertionRec<A, B>(name: string, params: ReadonlyArray<R
43
43
  export declare function contains<A>(element: A): Assertion<Iterable<A>>;
44
44
  export declare function containsCause<E>(cause: Cause<E>): Assertion<Cause<E>>;
45
45
  export declare function containsString(element: string): Assertion<string>;
46
- export declare function exists<A>(assertion: Assertion<A>): Assertion<Iterable<A>>;
46
+ export declare function some<A>(assertion: Assertion<A>): Assertion<Iterable<A>>;
47
47
  export declare function fails<E>(assertion: Assertion<E>): Assertion<Exit<E, any>>;
48
- export declare function forall<A>(assertion: Assertion<A>): Assertion<Iterable<A>>;
48
+ export declare function every<A>(assertion: Assertion<A>): Assertion<Iterable<A>>;
49
49
  export declare function halts(assertion: Assertion<any>): Assertion<Exit<any, any>>;
50
50
  export declare function strictEqualTo<A>(expected: A): Assertion<A>;
51
51
  export declare function deepEqualTo<A>(expected: A): Assertion<A>;
@@ -1,55 +1,162 @@
1
+ import { Conc } from "@fncts/base/collection/immutable/Conc";
1
2
  import { Lazy } from "@fncts/base/data/function/definition";
2
3
  import { Refinement } from "@fncts/base/data/Refinement/definition";
3
4
  import { Predicate } from "@fncts/base/data/Predicate/definition";
4
5
  import { IO, URIO } from "@fncts/io/IO/definition";
5
6
  import { Stream } from "@fncts/io/Stream/definition";
6
7
  import { Maybe } from "@fncts/base/data/Maybe/definition";
7
- import { Conc } from "@fncts/base/collection/immutable/Conc";
8
- import type { NumberConstraints } from "./constraints.js";
8
+ import { Eq } from "@fncts/base/data/Eq/definition";
9
+ import type { EqConstraint, FloatConstraints, LengthConstraints, NumberConstraints } from "./constraints.js";
9
10
  import type { _A, _R } from "@fncts/base/types.js";
11
+ import type { ArrayInt64 } from "@fncts/base/util/rand";
10
12
  import { Sample } from "../Sample.js";
11
13
  import { Sized } from "../Sized.js";
12
14
  import { Gen } from "./definition.js";
13
15
  /**
14
- * @tsplus static fncts.test.GenOps anyBigInt
16
+ * @tsplus static fncts.test.GenOps size
17
+ * @tsplus location "@fncts/test/control/Gen/api"
18
+ */
19
+ export declare const size: Gen<Sized, number>;
20
+ /**
21
+ * @tsplus static fncts.test.GenOps uniform
22
+ * @tsplus location "@fncts/test/control/Gen/api"
23
+ */
24
+ export declare const uniform: Gen<never, number>;
25
+ /**
26
+ * @tsplus static fncts.test.GenOps alphaNumericChar
27
+ * @tsplus location "@fncts/test/control/Gen/api"
28
+ */
29
+ export declare const alphaNumericChar: Gen<never, string>;
30
+ /**
31
+ * @tsplus static fncts.test.GenOps alphaNumericStringWith
32
+ * @tsplus location "@fncts/test/control/Gen/api"
33
+ */
34
+ export declare function alphaNumericStringWith(constraints?: LengthConstraints): Gen<Sized, string>;
35
+ /**
36
+ * @tsplus static fncts.test.GenOps alphaNumericString
15
37
  * @tsplus location "@fncts/test/control/Gen/api"
16
38
  */
17
- export declare const anyBigInt: Gen<never, bigint>;
39
+ export declare const alphaNumericString: Gen<Sized, string>;
18
40
  /**
19
- * @tsplus static fncts.test.GenOps anyDouble
41
+ * @tsplus getter fncts.test.Gen array
20
42
  * @tsplus location "@fncts/test/control/Gen/api"
21
43
  */
22
- export declare const anyDouble: Gen<never, number>;
44
+ export declare function array<R, A>(self: Gen<R, A>): Gen<R | Sized, ReadonlyArray<A>>;
23
45
  /**
24
- * @tsplus static fncts.test.GenOps anyInt
46
+ * @tsplus pipeable fncts.test.Gen arrayWith
25
47
  * @tsplus location "@fncts/test/control/Gen/api"
26
48
  */
27
- export declare const anyInt: Gen<never, number>;
49
+ export declare function arrayWith(constraints?: LengthConstraints): <R, A>(g: Gen<R, A>) => Gen<Sized | R, readonly A[]>;
50
+ /**
51
+ * @tsplus pipeable fncts.test.Gen arrayN
52
+ * @tsplus location "@fncts/test/control/Gen/api"
53
+ */
54
+ export declare function arrayN(n: number): <R, A>(self: Gen<R, A>) => Gen<R, readonly A[]>;
55
+ /**
56
+ * @tsplus static fncts.test.GenOps arrayInt64
57
+ * @tsplus location "@fncts/test/control/Gen/api"
58
+ */
59
+ export declare function arrayInt64(min: ArrayInt64, max: ArrayInt64): Gen<never, ArrayInt64>;
60
+ /**
61
+ * @tsplus static fncts.test.GenOps asciiChar
62
+ * @tsplus location "@fncts/test/control/Gen/api"
63
+ */
64
+ export declare const asciiChar: Gen<never, string>;
65
+ /**
66
+ * @tsplus static fncts.test.GenOps asciiStringWith
67
+ * @tsplus location "@fncts/test/control/Gen/api"
68
+ */
69
+ export declare function asciiStringWith(constraints?: LengthConstraints): Gen<Sized, string>;
70
+ /**
71
+ * @tsplus static fncts.test.GenOps asciiString
72
+ * @tsplus location "@fncts/test/control/Gen/api"
73
+ */
74
+ export declare const asciiString: Gen<Sized, string>;
75
+ /**
76
+ * @tsplus static fncts.test.GenOps base64Char
77
+ * @tsplus location "@fncts/test/control/Gen/api"
78
+ */
79
+ export declare const base64Char: Gen<never, string>;
80
+ /**
81
+ * @tsplus static fncts.test.GenOps base64String
82
+ * @tsplus location "@fncts/test/control/Gen/api"
83
+ */
84
+ export declare const base64String: Gen<Sized, string>;
85
+ /**
86
+ * @tsplus static fncts.test.GenOps base64StringWith
87
+ * @tsplus location "@fncts/test/control/Gen/api"
88
+ */
89
+ export declare function base64StringWith(constraints?: LengthConstraints): Gen<Sized, string>;
90
+ /**
91
+ * @tsplus static fncts.test.GenOps bigInt
92
+ * @tsplus location "@fncts/test/control/Gen/api"
93
+ */
94
+ export declare const bigInt: Gen<never, bigint>;
95
+ /**
96
+ * @tsplus static fncts.test.GenOps boolean
97
+ * @tsplus location "@fncts/test/control/Gen/api"
98
+ */
99
+ export declare const boolean: Gen<never, boolean>;
28
100
  /**
29
101
  * @tsplus static fncts.test.GenOps bounded
30
102
  * @tsplus location "@fncts/test/control/Gen/api"
31
103
  */
32
104
  export declare function bounded<R, A>(min: number, max: number, f: (n: number) => Gen<R, A>): Gen<R, A>;
33
105
  /**
34
- * @tsplus static fncts.test.GenOps constant
106
+ * @tsplus static fncts.test.GenOps char
35
107
  * @tsplus location "@fncts/test/control/Gen/api"
36
108
  */
37
- export declare function constant<A>(a: A): Gen<never, A>;
109
+ export declare function char(constraints: Required<NumberConstraints>): Gen<never, string>;
38
110
  /**
39
- * @tsplus pipeable fncts.test.Gen flatMap
111
+ * @tsplus static fncts.test.GenOps char16
40
112
  * @tsplus location "@fncts/test/control/Gen/api"
41
113
  */
42
- export declare function flatMap<A, R1, B>(f: (a: A) => Gen<R1, B>): <R>(ma: Gen<R, A>) => Gen<R1 | R, B>;
114
+ export declare const char16: Gen<never, string>;
115
+ /**
116
+ * @tsplus pipeable fncts.test.Gen conc
117
+ * @tsplus location "@fncts/test/control/Gen/api"
118
+ */
119
+ export declare function concWith(constraints?: LengthConstraints): <R, A>(self: Gen<R, A>) => Gen<Sized | R, import("@fncts/base/collection/immutable/Conc.js").Conc<A>>;
120
+ /**
121
+ * @tsplus getter fncts.test.Gen conc
122
+ * @tsplus location "@fncts/test/control/Gen/api"
123
+ */
124
+ export declare function conc<R, A>(self: Gen<R, A>): Gen<R | Sized, Conc<A>>;
125
+ /**
126
+ * @tsplus pipeable fncts.test.Gen concN
127
+ * @tsplus location "@fncts/test/control/Gen/api"
128
+ */
129
+ export declare function concN(n: number): <R, A>(g: Gen<R, A>) => Gen<R, import("@fncts/base/collection/immutable/Conc.js").Conc<A>>;
130
+ /**
131
+ * @tsplus static fncts.test.GenOps constant
132
+ * @tsplus location "@fncts/test/control/Gen/api"
133
+ */
134
+ export declare function constant<A>(a: A): Gen<never, A>;
43
135
  /**
44
136
  * @tsplus static fncts.test.GenOps defer
45
137
  * @tsplus location "@fncts/test/control/Gen/api"
46
138
  */
47
139
  export declare function defer<R, A>(gen: Lazy<Gen<R, A>>): Gen<R, A>;
140
+ /**
141
+ * @tsplus static fncts.test.GenOps double
142
+ * @tsplus location "@fncts/test/control/Gen/api"
143
+ */
144
+ export declare const double: Gen<never, number>;
145
+ /**
146
+ * @tsplus static fncts.test.GenOps doubleWith
147
+ * @tsplus location "@fncts/test/control/Gen/api"
148
+ */
149
+ export declare function doubleWith(constraints?: NumberConstraints & FloatConstraints): Gen<never, number>;
48
150
  /**
49
151
  * @tsplus static fncts.test.GenOps empty
50
152
  * @tsplus location "@fncts/test/control/Gen/api"
51
153
  */
52
154
  export declare const empty: Gen<never, never>;
155
+ /**
156
+ * @tsplus static fncts.test.GenOps exponential
157
+ * @tsplus location "@fncts/test/control/Gen/api"
158
+ */
159
+ export declare const exponential: Gen<never, number>;
53
160
  /**
54
161
  * @tsplus pipeable fncts.test.Gen filter
55
162
  * @tsplus location "@fncts/test/control/Gen/api"
@@ -61,6 +168,11 @@ export declare function filter<A>(p: Predicate<A>): <R>(fa: Gen<R, A>) => Gen<R,
61
168
  * @tsplus location "@fncts/test/control/Gen/api"
62
169
  */
63
170
  export declare function filterNot<A>(p: Predicate<A>): <R>(fa: Gen<R, A>) => Gen<R, A>;
171
+ /**
172
+ * @tsplus pipeable fncts.test.Gen flatMap
173
+ * @tsplus location "@fncts/test/control/Gen/api"
174
+ */
175
+ export declare function flatMap<A, R1, B>(f: (a: A) => Gen<R1, B>): <R>(ma: Gen<R, A>) => Gen<R1 | R, B>;
64
176
  /**
65
177
  * @tsplus getter fncts.test.Gen flatten
66
178
  * @tsplus location "@fncts/test/control/Gen/api"
@@ -77,30 +189,50 @@ export declare function fromIO<R, A>(effect: IO<R, never, A>): Gen<R, A>;
77
189
  */
78
190
  export declare function fromIOSample<R, A>(effect: IO<R, never, Sample<R, A>>): Gen<R, A>;
79
191
  /**
80
- * @tsplus static fncts.test.GenOps int
192
+ * @tsplus static fncts.test.GenOps floatWith
81
193
  * @tsplus location "@fncts/test/control/Gen/api"
82
194
  */
83
- export declare function int(constraints?: NumberConstraints): Gen<never, number>;
195
+ export declare function floatWith(constraints?: NumberConstraints & FloatConstraints): Gen<never, number>;
84
196
  /**
85
- * @tsplus pipeable fncts.test.Gen map
197
+ * @tsplus static fncts.test.GenOps fullUnicodeChar
86
198
  * @tsplus location "@fncts/test/control/Gen/api"
87
199
  */
88
- export declare function map<A, B>(f: (a: A) => B): <R>(self: Gen<R, A>) => Gen<R, B>;
200
+ export declare const fullUnicodeChar: Gen<never, string>;
89
201
  /**
90
- * @tsplus pipeable fncts.test.Gen mapIO
202
+ * @tsplus static fncts.test.GenOps fullUnicodeString
91
203
  * @tsplus location "@fncts/test/control/Gen/api"
92
204
  */
93
- export declare function mapIO<A, R1, B>(f: (a: A) => IO<R1, never, B>): <R>(self: Gen<R, A>) => Gen<R1 | R, B>;
205
+ export declare function fullUnicodeString(constraints?: LengthConstraints): Gen<Sized, string>;
94
206
  /**
95
- * @tsplus static fncts.test.GenOps exponential
207
+ * @tsplus static fncts.test.GenOps hexChar
96
208
  * @tsplus location "@fncts/test/control/Gen/api"
97
209
  */
98
- export declare const exponential: Gen<never, number>;
210
+ export declare const hexChar: Gen<never, string>;
99
211
  /**
100
- * @tsplus static fncts.test.GenOps size
212
+ * @tsplus static fncts.test.GenOps hexString
101
213
  * @tsplus location "@fncts/test/control/Gen/api"
102
214
  */
103
- export declare const size: Gen<Sized, number>;
215
+ export declare function hexString(constraints?: LengthConstraints): Gen<Sized, string>;
216
+ /**
217
+ * @tsplus static fncts.test.GenOps int
218
+ * @tsplus location "@fncts/test/control/Gen/api"
219
+ */
220
+ export declare const int: Gen<never, number>;
221
+ /**
222
+ * @tsplus static fncts.test.GenOps intWith
223
+ * @tsplus location "@fncts/test/control/Gen/api"
224
+ */
225
+ export declare function intWith(constraints?: NumberConstraints): Gen<never, number>;
226
+ /**
227
+ * @tsplus pipeable fncts.test.Gen map
228
+ * @tsplus location "@fncts/test/control/Gen/api"
229
+ */
230
+ export declare function map<A, B>(f: (a: A) => B): <R>(self: Gen<R, A>) => Gen<R, B>;
231
+ /**
232
+ * @tsplus pipeable fncts.test.Gen mapIO
233
+ * @tsplus location "@fncts/test/control/Gen/api"
234
+ */
235
+ export declare function mapIO<A, R1, B>(f: (a: A) => IO<R1, never, B>): <R>(self: Gen<R, A>) => Gen<R1 | R, B>;
104
236
  /**
105
237
  * @tsplus static fncts.test.GenOps medium
106
238
  * @tsplus location "@fncts/test/control/Gen/api"
@@ -121,6 +253,14 @@ export declare function nat(max?: number): Gen<unknown, number>;
121
253
  * @tsplus location "@fncts/test/control/Gen/api"
122
254
  */
123
255
  export declare function oneOf<A extends ReadonlyArray<Gen<any, any>>>(...gens: A): Gen<_R<A[number]>, _A<A[number]>>;
256
+ export declare function partial<P extends Record<string, Gen<any, any>>>(properties: P): Gen<_R<P[keyof P]>, Partial<{
257
+ readonly [K in keyof P]: _A<P[K]>;
258
+ }>>;
259
+ /**
260
+ * @tsplus static fncts.test.GenOps printableChar
261
+ * @tsplus location "@fncts/test/control/Gen/api"
262
+ */
263
+ export declare const printableChar: Gen<never, string>;
124
264
  /**
125
265
  * @tsplus pipeable fncts.test.Gen reshrink
126
266
  * @tsplus location "@fncts/test/control/Gen/api"
@@ -136,6 +276,24 @@ export declare function sized<R, A>(f: (size: number) => Gen<R, A>): Gen<R | Siz
136
276
  * @tsplus location "@fncts/test/control/Gen/api"
137
277
  */
138
278
  export declare function small<R, A>(f: (size: number) => Gen<R, A>, min?: number): Gen<R | Sized, A>;
279
+ /**
280
+ * @tsplus static fncts.test.GenOps string16
281
+ * @tsplus location "@fncts/test/control/Gen/api"
282
+ */
283
+ export declare function string16(constraints?: LengthConstraints): Gen<Sized, string>;
284
+ /**
285
+ * @tsplus pipeable fncts.test.Gen string
286
+ * @tsplus location "@fncts/test/control/Gen/api"
287
+ */
288
+ export declare function string(constraints?: LengthConstraints): <R>(char: Gen<R, string>) => Gen<Sized | R, string>;
289
+ /**
290
+ * @tsplus pipeable fncts.test.Gen stringN
291
+ * @tsplus location "@fncts/test/control/Gen/api"
292
+ */
293
+ export declare function stringN(n: number): <R>(char: Gen<R, string>) => Gen<R, string>;
294
+ export declare function struct<P extends Record<string, Gen<any, any>>>(properties: P): Gen<_R<P[keyof P]>, {
295
+ readonly [K in keyof P]: _A<P[K]>;
296
+ }>;
139
297
  /**
140
298
  * @tsplus static fncts.test.GenOps unfoldGen
141
299
  * @tsplus location "@fncts/test/control/Gen/api"
@@ -147,10 +305,30 @@ export declare function unfoldGen<S, R, A>(s: S, f: (s: S) => Gen<R, readonly [S
147
305
  */
148
306
  export declare function unfoldGenN<S, R, A>(n: number, s: S, f: (s: S) => Gen<R, readonly [S, A]>): Gen<R, Conc<A>>;
149
307
  /**
150
- * @tsplus static fncts.test.GenOps uniform
308
+ * @tsplus static fncts.test.GenOps unicodeChar
151
309
  * @tsplus location "@fncts/test/control/Gen/api"
152
310
  */
153
- export declare const uniform: Gen<never, number>;
311
+ export declare const unicodeChar: Gen<never, string>;
312
+ /**
313
+ * @tsplus static fncts.test.GenOps unicodeString
314
+ * @tsplus location "@fncts/test/control/Gen/api"
315
+ */
316
+ export declare function unicodeString(constraints?: LengthConstraints): Gen<Sized, string>;
317
+ /**
318
+ * @tsplus pipeable fncts.test.Gen uniqueArray
319
+ * @tsplus location "@fncts/test/control/Gen/api"
320
+ */
321
+ export declare function uniqueArray<A>(constraints?: LengthConstraints & EqConstraint<A>): <R>(gen: Gen<R, A>) => Gen<Sized | R, readonly A[]>;
322
+ /**
323
+ * @tsplus pipeable fncts.test.Gen uniqueConc
324
+ * @tsplus location "@fncts/test/control/Gen/api"
325
+ */
326
+ export declare function uniqueConc<A>(constraints?: LengthConstraints & EqConstraint<A>): <R>(self: Gen<R, A>) => Gen<Sized | R, import("@fncts/base/collection/immutable/Conc.js").Conc<A>>;
327
+ /**
328
+ * @tsplus pipeable fncts.test.Gen uniqueConcN
329
+ * @tsplus location "@fncts/test/control/Gen/api"
330
+ */
331
+ export declare function uniqueConcN<A>(n: number, /** @tsplus auto */ E: Eq<A>): <R>(self: Gen<R, A>) => Gen<R, import("@fncts/base/collection/immutable/Conc.js").Conc<A>>;
154
332
  /**
155
333
  * @tsplus static fncts.test.GenOps unwrap
156
334
  * @tsplus location "@fncts/test/control/Gen/api"
@@ -166,3 +344,8 @@ export declare function weighted<R, A>(...gens: ReadonlyArray<readonly [Gen<R, A
166
344
  * @tsplus location "@fncts/test/control/Gen/api"
167
345
  */
168
346
  export declare function zipWith<A, R1, B, C>(that: Gen<R1, B>, f: (a: A, b: B) => C): <R>(self: Gen<R, A>) => Gen<R1 | R, C>;
347
+ /**
348
+ * @tsplus pipeable fncts.test.Gen zip
349
+ * @tsplus location "@fncts/test/control/Gen/api"
350
+ */
351
+ export declare function zip<R1, B>(that: Gen<R1, B>): <R, A>(self: Gen<R, A>) => Gen<R1 | R, readonly [A, B]>;
package/control/Gen.d.ts CHANGED
@@ -1,10 +1,3 @@
1
1
  export * from "./Gen/api.js";
2
2
  export * from "./Gen/constraints.js";
3
3
  export * from "./Gen/definition.js";
4
- export * from "./Gen/api/array.js";
5
- export * from "./Gen/api/char.js";
6
- export * from "./Gen/api/conc.js";
7
- export * from "./Gen/api/double.js";
8
- export * from "./Gen/api/float.js";
9
- export * from "./Gen/api/string.js";
10
- export * from "./Gen/api/struct.js";
@@ -3,12 +3,12 @@ import { Future } from "@fncts/io/Future";
3
3
  import { FiberId } from "@fncts/base/data/FiberId/definition";
4
4
  import { Fiber } from "@fncts/io/Fiber/definition";
5
5
  import { Clock } from "@fncts/io/Clock/definition";
6
- import { Ref } from "@fncts/io/Ref";
6
+ import { Ref } from "@fncts/io/Ref/definition";
7
7
  import { Lazy } from "@fncts/base/data/function/definition";
8
8
  import { Duration } from "@fncts/base/data/Duration/definition";
9
9
  import { IO, UIO } from "@fncts/io/IO/definition";
10
10
  import { HashSet } from "@fncts/base/collection/immutable/HashSet/definition";
11
- import { Equatable } from "@fncts/base/typeclass/Equatable";
11
+ import { Equatable } from "@fncts/base/data/Equatable";
12
12
  import { HashMap } from "@fncts/base/collection/immutable/HashMap/definition";
13
13
  import { Just, Nothing } from "@fncts/base/data/Maybe/definition";
14
14
  import type { Annotations } from "@fncts/test/control/Annotations";
@@ -1,6 +1,6 @@
1
1
  import { CaseClass } from "@fncts/base/data/CaseClass";
2
2
  import { Vector } from "@fncts/base/collection/immutable/Vector";
3
- import { Ref } from "@fncts/io/Ref";
3
+ import { Ref } from "@fncts/io/Ref/definition";
4
4
  import { FiberRef } from "@fncts/io/FiberRef/definition";
5
5
  import { UIO, IO } from "@fncts/io/IO/definition";
6
6
  import type { Console } from "@fncts/io/Console";
@@ -24,8 +24,8 @@ export declare class TestConsole implements Console {
24
24
  show(...input: ReadonlyArray<unknown>): UIO<void>;
25
25
  print(line: string): UIO<void>;
26
26
  error(line: string): UIO<void>;
27
- clearInput: import("@fncts/io/IO").UIO<void>;
28
- clearOutput: import("@fncts/io/IO").UIO<void>;
27
+ clearInput: import("@fncts/io/IO").IO<never, never, void>;
28
+ clearOutput: import("@fncts/io/IO").IO<never, never, void>;
29
29
  output: import("@fncts/io/IO").IO<never, never, import("@fncts/base/collection/immutable/Vector").Vector<string>>;
30
30
  errOutput: import("@fncts/io/IO").IO<never, never, import("@fncts/base/collection/immutable/Vector").Vector<string>>;
31
31
  debugOutput: import("@fncts/io/IO").IO<never, never, import("@fncts/base/collection/immutable/Vector").Vector<string>>;
@@ -1,5 +1,5 @@
1
1
  import { Random } from "@fncts/io/Random/definition";
2
- import { Ref } from "@fncts/io/Ref";
2
+ import { Ref } from "@fncts/io/Ref/definition";
3
3
  import { UIO, IO } from "@fncts/io/IO/definition";
4
4
  import { Vector } from "@fncts/base/collection/immutable/Vector";
5
5
  import { Byte } from "@fncts/base/data/Byte";
@@ -2,7 +2,6 @@ import { Layer } from "@fncts/io/Layer";
2
2
  import { URIO } from "@fncts/io/IO/definition";
3
3
  import { ExecutionStrategy } from "@fncts/base/data/ExecutionStrategy";
4
4
  import { Clock } from "@fncts/io/Clock/definition";
5
- import type { RuntimeConfig } from "@fncts/io/RuntimeConfig";
6
5
  import type { Annotations } from "@fncts/test/control/Annotations";
7
6
  import type { TestReporter } from "@fncts/test/control/DefaultTestReporter/render";
8
7
  import type { Spec } from "@fncts/test/control/Spec";
@@ -11,9 +10,8 @@ import type { ExecutedSpec } from "@fncts/test/data/ExecutedSpec";
11
10
  import { TestLogger } from "@fncts/test/control/TestLogger";
12
11
  export declare class TestRunner<R, E> {
13
12
  readonly executor: TestExecutor<R>;
14
- readonly runtimeConfig: RuntimeConfig;
15
13
  readonly reporter: TestReporter<E>;
16
14
  readonly bootstrap: Layer<never, never, TestLogger>;
17
- constructor(executor: TestExecutor<R>, runtimeConfig?: RuntimeConfig, reporter?: TestReporter<E>, bootstrap?: Layer<never, never, TestLogger>);
15
+ constructor(executor: TestExecutor<R>, reporter?: TestReporter<E>, bootstrap?: Layer<never, never, TestLogger>);
18
16
  run(spec: Spec<R | Annotations, E>): URIO<TestLogger, ExecutedSpec<E>>;
19
17
  }
@@ -36,10 +36,10 @@ export declare function test<E>(test: Either<TestFailure<E>, TestSuccess>, annot
36
36
  */
37
37
  export declare function transform<E, E1>(f: (_: SpecCase<E, ExecutedSpec<E1>>) => SpecCase<E1, ExecutedSpec<E1>>): (self: ExecutedSpec<E>) => ExecutedSpec<E1>;
38
38
  /**
39
- * @tsplus pipeable fncts.test.data.ExecutedSpec exists
39
+ * @tsplus pipeable fncts.test.data.ExecutedSpec some
40
40
  * @tsplus location "@fncts/test/data/ExecutedSpec/api"
41
41
  */
42
- export declare function exists<E>(f: (_: SpecCase<E, boolean>) => boolean): (self: ExecutedSpec<E>) => boolean;
42
+ export declare function some<E>(f: (_: SpecCase<E, boolean>) => boolean): (self: ExecutedSpec<E>) => boolean;
43
43
  /**
44
44
  * @tsplus getter fncts.test.data.ExecutedSpec size
45
45
  * @tsplus location "@fncts/test/data/ExecutedSpec/api"
@@ -1,7 +1,7 @@
1
1
  import { HashSet } from "@fncts/base/collection/immutable/HashSet/definition";
2
2
  import { Either } from "@fncts/base/data/Either/definition";
3
3
  import { Conc } from "@fncts/base/collection/immutable/Conc";
4
- import { Ref } from "@fncts/io/Ref";
4
+ import { Ref } from "@fncts/io/Ref/definition";
5
5
  import { Fiber } from "@fncts/io/Fiber/definition";
6
6
  import { TestAnnotation } from "./definition.js";
7
7
  export declare const IgnoredTag: import("@fncts/base/data/Tag.js").Tag<number>;
@@ -1,5 +1,5 @@
1
- import { Hashable } from "@fncts/base/typeclass/Hashable";
2
- import { Equatable } from "@fncts/base/typeclass/Equatable";
1
+ import { Hashable } from "@fncts/base/data/Hashable";
2
+ import { Equatable } from "@fncts/base/data/Equatable";
3
3
  import { Tag } from "@fncts/base/data/Tag/definition";
4
4
  export declare const TestAnnotationTypeId: unique symbol;
5
5
  export type TestAnnotationTypeId = typeof TestAnnotationTypeId;