@fncts/test 0.0.20 → 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 (459) hide show
  1. package/_cjs/api.cjs +39 -76
  2. package/_cjs/api.cjs.map +1 -1
  3. package/_cjs/control/AbstractRunnableSpec.cjs +1 -12
  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 +6 -29
  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 +50 -100
  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 +20 -26
  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 +54 -123
  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 +20 -36
  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 +533 -200
  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 +5 -23
  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 +8 -28
  48. package/_cjs/control/RunnableSpec.cjs.map +1 -1
  49. package/_cjs/control/Sample/api.cjs +66 -107
  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 +3 -15
  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 +322 -367
  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 +10 -31
  70. package/_cjs/control/SummaryBuilder.cjs.map +1 -1
  71. package/_cjs/control/Test.cjs +1 -11
  72. package/_cjs/control/Test.cjs.map +1 -1
  73. package/_cjs/control/TestAnnotationRenderer/api.cjs +20 -45
  74. package/_cjs/control/TestAnnotationRenderer/api.cjs.map +1 -1
  75. package/_cjs/control/TestAnnotationRenderer/definition.cjs +4 -20
  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 +14 -55
  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 +1 -22
  84. package/_cjs/control/TestClock/api.cjs.map +1 -1
  85. package/_cjs/control/TestClock/definition.cjs +50 -110
  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 +3 -21
  90. package/_cjs/control/TestConsole/api.cjs.map +1 -1
  91. package/_cjs/control/TestConsole/definition.cjs +23 -48
  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 +3 -15
  96. package/_cjs/control/TestEnvironment.cjs.map +1 -1
  97. package/_cjs/control/TestExecutor.cjs +3 -17
  98. package/_cjs/control/TestExecutor.cjs.map +1 -1
  99. package/_cjs/control/TestLogger.cjs +2 -17
  100. package/_cjs/control/TestLogger.cjs.map +1 -1
  101. package/_cjs/control/TestRandom/api.cjs +9 -39
  102. package/_cjs/control/TestRandom/api.cjs.map +1 -1
  103. package/_cjs/control/TestRandom/definition.cjs +61 -145
  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 +11 -36
  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 +23 -30
  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 +61 -75
  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 +42 -67
  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 +82 -115
  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 +2 -24
  140. package/_cjs/data/LogLine/Fragment.cjs.map +1 -1
  141. package/_cjs/data/LogLine/Line.cjs +11 -41
  142. package/_cjs/data/LogLine/Line.cjs.map +1 -1
  143. package/_cjs/data/LogLine/Message.cjs +32 -58
  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 +3 -17
  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 +2 -17
  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 +4 -19
  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 +5 -15
  186. package/_cjs/demo.cjs.map +1 -1
  187. package/_cjs/util/math.cjs +20 -148
  188. package/_cjs/util/math.cjs.map +1 -1
  189. package/_mjs/api.mjs +37 -40
  190. package/_mjs/api.mjs.map +1 -1
  191. package/_mjs/control/AbstractRunnableSpec.mjs +1 -7
  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 +6 -11
  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 +43 -46
  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 +17 -14
  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 +54 -87
  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 +18 -22
  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 +462 -138
  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 +5 -10
  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 +8 -11
  230. package/_mjs/control/RunnableSpec.mjs.map +1 -1
  231. package/_mjs/control/Sample/api.mjs +57 -73
  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 +3 -6
  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 +300 -309
  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 +10 -15
  249. package/_mjs/control/SummaryBuilder.mjs.map +1 -1
  250. package/_mjs/control/Test.mjs +1 -2
  251. package/_mjs/control/Test.mjs.map +1 -1
  252. package/_mjs/control/TestAnnotationRenderer/api.mjs +20 -34
  253. package/_mjs/control/TestAnnotationRenderer/api.mjs.map +1 -1
  254. package/_mjs/control/TestAnnotationRenderer/definition.mjs +4 -10
  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 +14 -18
  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 +1 -5
  261. package/_mjs/control/TestClock/api.mjs.map +1 -1
  262. package/_mjs/control/TestClock/definition.mjs +50 -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 +3 -6
  266. package/_mjs/control/TestConsole/api.mjs.map +1 -1
  267. package/_mjs/control/TestConsole/definition.mjs +23 -32
  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 +3 -3
  271. package/_mjs/control/TestEnvironment.mjs.map +1 -1
  272. package/_mjs/control/TestExecutor.mjs +3 -3
  273. package/_mjs/control/TestExecutor.mjs.map +1 -1
  274. package/_mjs/control/TestLogger.mjs +2 -7
  275. package/_mjs/control/TestLogger.mjs.map +1 -1
  276. package/_mjs/control/TestRandom/api.mjs +9 -19
  277. package/_mjs/control/TestRandom/api.mjs.map +1 -1
  278. package/_mjs/control/TestRandom/definition.mjs +61 -121
  279. package/_mjs/control/TestRandom/definition.mjs.map +1 -1
  280. package/_mjs/control/TestRandom.mjs.map +1 -1
  281. package/_mjs/control/TestRenderer/ConsoleRenderer.mjs +11 -21
  282. package/_mjs/control/TestRenderer/ConsoleRenderer.mjs.map +1 -1
  283. package/_mjs/control/TestRunner.mjs +2 -6
  284. package/_mjs/control/TestRunner.mjs.map +1 -1
  285. package/_mjs/data/AssertionData.mjs +0 -5
  286. package/_mjs/data/AssertionData.mjs.map +1 -1
  287. package/_mjs/data/AssertionResult.mjs +0 -2
  288. package/_mjs/data/AssertionResult.mjs.map +1 -1
  289. package/_mjs/data/AssertionValue/api.mjs +23 -20
  290. package/_mjs/data/AssertionValue/api.mjs.map +1 -1
  291. package/_mjs/data/AssertionValue/definition.mjs +0 -2
  292. package/_mjs/data/AssertionValue/definition.mjs.map +1 -1
  293. package/_mjs/data/AssertionValue.mjs.map +1 -1
  294. package/_mjs/data/ExecutedSpec/api.mjs +55 -57
  295. package/_mjs/data/ExecutedSpec/api.mjs.map +1 -1
  296. package/_mjs/data/ExecutedSpec/definition.mjs +5 -13
  297. package/_mjs/data/ExecutedSpec/definition.mjs.map +1 -1
  298. package/_mjs/data/ExecutedSpec.mjs.map +1 -1
  299. package/_mjs/data/ExecutionResult.mjs +40 -52
  300. package/_mjs/data/ExecutionResult.mjs.map +1 -1
  301. package/_mjs/data/FailureDetails.mjs +0 -1
  302. package/_mjs/data/FailureDetails.mjs.map +1 -1
  303. package/_mjs/data/FreeBooleanAlgebra/api.mjs +70 -87
  304. package/_mjs/data/FreeBooleanAlgebra/api.mjs.map +1 -1
  305. package/_mjs/data/FreeBooleanAlgebra/definition.mjs +8 -16
  306. package/_mjs/data/FreeBooleanAlgebra/definition.mjs.map +1 -1
  307. package/_mjs/data/FreeBooleanAlgebra.mjs.map +1 -1
  308. package/_mjs/data/GenFailureDetails.mjs +0 -1
  309. package/_mjs/data/GenFailureDetails.mjs.map +1 -1
  310. package/_mjs/data/LogLine/Fragment.mjs +2 -11
  311. package/_mjs/data/LogLine/Fragment.mjs.map +1 -1
  312. package/_mjs/data/LogLine/Line.mjs +11 -24
  313. package/_mjs/data/LogLine/Line.mjs.map +1 -1
  314. package/_mjs/data/LogLine/Message.mjs +26 -36
  315. package/_mjs/data/LogLine/Message.mjs.map +1 -1
  316. package/_mjs/data/LogLine/Style.mjs +10 -39
  317. package/_mjs/data/LogLine/Style.mjs.map +1 -1
  318. package/_mjs/data/LogLine/api.mjs.map +1 -1
  319. package/_mjs/data/LogLine.mjs.map +1 -1
  320. package/_mjs/data/Render/api.mjs +0 -2
  321. package/_mjs/data/Render/api.mjs.map +1 -1
  322. package/_mjs/data/Render/definition.mjs +3 -9
  323. package/_mjs/data/Render/definition.mjs.map +1 -1
  324. package/_mjs/data/Render.mjs.map +1 -1
  325. package/_mjs/data/RenderParam/api.mjs +3 -10
  326. package/_mjs/data/RenderParam/api.mjs.map +1 -1
  327. package/_mjs/data/RenderParam/definition.mjs +4 -8
  328. package/_mjs/data/RenderParam/definition.mjs.map +1 -1
  329. package/_mjs/data/RenderParam.mjs.map +1 -1
  330. package/_mjs/data/Summary.mjs +0 -1
  331. package/_mjs/data/Summary.mjs.map +1 -1
  332. package/_mjs/data/TestAnnotation/api.mjs +2 -8
  333. package/_mjs/data/TestAnnotation/api.mjs.map +1 -1
  334. package/_mjs/data/TestAnnotation/definition.mjs +4 -8
  335. package/_mjs/data/TestAnnotation/definition.mjs.map +1 -1
  336. package/_mjs/data/TestAnnotation.mjs.map +1 -1
  337. package/_mjs/data/TestAnnotationMap.mjs +4 -10
  338. package/_mjs/data/TestAnnotationMap.mjs.map +1 -1
  339. package/_mjs/data/TestArgs/definition.mjs +0 -1
  340. package/_mjs/data/TestArgs/definition.mjs.map +1 -1
  341. package/_mjs/data/TestArgs.mjs.map +1 -1
  342. package/_mjs/data/TestConfig.mjs +0 -8
  343. package/_mjs/data/TestConfig.mjs.map +1 -1
  344. package/_mjs/data/TestFailure.mjs +4 -12
  345. package/_mjs/data/TestFailure.mjs.map +1 -1
  346. package/_mjs/data/TestSuccess.mjs +4 -10
  347. package/_mjs/data/TestSuccess.mjs.map +1 -1
  348. package/_mjs/data/TestTimeoutException.mjs +0 -1
  349. package/_mjs/data/TestTimeoutException.mjs.map +1 -1
  350. package/_mjs/demo.mjs +5 -8
  351. package/_mjs/demo.mjs.map +1 -1
  352. package/_mjs/util/math.mjs +20 -117
  353. package/_mjs/util/math.mjs.map +1 -1
  354. package/_src/api.ts +36 -35
  355. package/_src/control/AbstractRunnableSpec.ts +0 -6
  356. package/_src/control/Annotations/live.ts +4 -10
  357. package/_src/control/Assertion/api.ts +36 -25
  358. package/_src/control/AssertionIO/api.ts +23 -17
  359. package/_src/control/DefaultTestReporter/render.ts +2 -12
  360. package/_src/control/FreeBooleanAlgebraIO/api.ts +12 -14
  361. package/_src/control/Gen/api.ts +476 -71
  362. package/_src/control/Gen.ts +0 -10
  363. package/_src/control/Live/definition.ts +0 -4
  364. package/_src/control/RunnableSpec.ts +1 -1
  365. package/_src/control/Sample/api.ts +78 -67
  366. package/_src/control/Spec/api.ts +235 -222
  367. package/_src/control/Spec/definition.ts +0 -2
  368. package/_src/control/SummaryBuilder.ts +0 -1
  369. package/_src/control/TestAnnotationRenderer/api.ts +17 -15
  370. package/_src/control/TestAnnotationRenderer/definition.ts +0 -2
  371. package/_src/control/TestAspect/api.ts +2 -3
  372. package/_src/control/TestClock/definition.ts +13 -25
  373. package/_src/control/TestConsole/definition.ts +1 -2
  374. package/_src/control/TestLogger.ts +0 -2
  375. package/_src/control/TestRandom/api.ts +5 -0
  376. package/_src/control/TestRandom/definition.ts +3 -37
  377. package/_src/control/TestRenderer/ConsoleRenderer.ts +0 -1
  378. package/_src/control/TestRunner.ts +0 -3
  379. package/_src/data/AssertionValue/api.ts +27 -23
  380. package/_src/data/AssertionValue/definition.ts +0 -1
  381. package/_src/data/ExecutedSpec/api.ts +41 -36
  382. package/_src/data/ExecutionResult.ts +54 -51
  383. package/_src/data/FreeBooleanAlgebra/api.ts +68 -58
  384. package/_src/data/LogLine/Line.ts +5 -3
  385. package/_src/data/LogLine/Message.ts +26 -18
  386. package/_src/data/LogLine/Style.ts +0 -1
  387. package/_src/data/Render/definition.ts +0 -2
  388. package/_src/data/RenderParam/api.ts +1 -1
  389. package/_src/data/TestAnnotation/api.ts +4 -2
  390. package/_src/data/TestAnnotation/definition.ts +0 -3
  391. package/_src/data/TestAnnotationMap.ts +2 -8
  392. package/_src/demo.ts +3 -4
  393. package/_src/util/math.ts +31 -17
  394. package/api.d.ts +12 -12
  395. package/control/AbstractRunnableSpec.d.ts +0 -1
  396. package/control/Annotations/live.d.ts +1 -1
  397. package/control/Assertion/api.d.ts +16 -12
  398. package/control/AssertionIO/api.d.ts +8 -8
  399. package/control/FreeBooleanAlgebraIO/api.d.ts +6 -6
  400. package/control/Gen/api.d.ts +216 -33
  401. package/control/Gen.d.ts +0 -7
  402. package/control/Sample/api.d.ts +14 -14
  403. package/control/Spec/api.d.ts +38 -41
  404. package/control/TestAnnotationRenderer/api.d.ts +3 -3
  405. package/control/TestClock/definition.d.ts +2 -2
  406. package/control/TestConsole/definition.d.ts +1 -1
  407. package/control/TestRandom/definition.d.ts +1 -1
  408. package/control/TestRunner.d.ts +1 -3
  409. package/data/AssertionValue/api.d.ts +8 -8
  410. package/data/ExecutedSpec/api.d.ts +8 -8
  411. package/data/ExecutionResult.d.ts +4 -4
  412. package/data/FreeBooleanAlgebra/api.d.ts +20 -20
  413. package/data/LogLine/Line.d.ts +2 -2
  414. package/data/LogLine/Message.d.ts +10 -10
  415. package/data/TestAnnotation/api.d.ts +1 -1
  416. package/data/TestAnnotation/definition.d.ts +2 -2
  417. package/package.json +4 -4
  418. package/_cjs/control/Gen/api/array.cjs +0 -50
  419. package/_cjs/control/Gen/api/array.cjs.map +0 -1
  420. package/_cjs/control/Gen/api/char.cjs +0 -129
  421. package/_cjs/control/Gen/api/char.cjs.map +0 -1
  422. package/_cjs/control/Gen/api/conc.cjs +0 -73
  423. package/_cjs/control/Gen/api/conc.cjs.map +0 -1
  424. package/_cjs/control/Gen/api/double.cjs +0 -82
  425. package/_cjs/control/Gen/api/double.cjs.map +0 -1
  426. package/_cjs/control/Gen/api/float.cjs +0 -55
  427. package/_cjs/control/Gen/api/float.cjs.map +0 -1
  428. package/_cjs/control/Gen/api/string.cjs +0 -102
  429. package/_cjs/control/Gen/api/string.cjs.map +0 -1
  430. package/_cjs/control/Gen/api/struct.cjs +0 -36
  431. package/_cjs/control/Gen/api/struct.cjs.map +0 -1
  432. package/_mjs/control/Gen/api/array.mjs +0 -31
  433. package/_mjs/control/Gen/api/array.mjs.map +0 -1
  434. package/_mjs/control/Gen/api/char.mjs +0 -95
  435. package/_mjs/control/Gen/api/char.mjs.map +0 -1
  436. package/_mjs/control/Gen/api/conc.mjs +0 -49
  437. package/_mjs/control/Gen/api/conc.mjs.map +0 -1
  438. package/_mjs/control/Gen/api/double.mjs +0 -60
  439. package/_mjs/control/Gen/api/double.mjs.map +0 -1
  440. package/_mjs/control/Gen/api/float.mjs +0 -41
  441. package/_mjs/control/Gen/api/float.mjs.map +0 -1
  442. package/_mjs/control/Gen/api/string.mjs +0 -72
  443. package/_mjs/control/Gen/api/string.mjs.map +0 -1
  444. package/_mjs/control/Gen/api/struct.mjs +0 -18
  445. package/_mjs/control/Gen/api/struct.mjs.map +0 -1
  446. package/_src/control/Gen/api/array.ts +0 -31
  447. package/_src/control/Gen/api/char.ts +0 -83
  448. package/_src/control/Gen/api/conc.ts +0 -48
  449. package/_src/control/Gen/api/double.ts +0 -64
  450. package/_src/control/Gen/api/float.ts +0 -36
  451. package/_src/control/Gen/api/string.ts +0 -71
  452. package/_src/control/Gen/api/struct.ts +0 -21
  453. package/control/Gen/api/array.d.ts +0 -18
  454. package/control/Gen/api/char.d.ts +0 -47
  455. package/control/Gen/api/conc.d.ts +0 -25
  456. package/control/Gen/api/double.d.ts +0 -13
  457. package/control/Gen/api/float.d.ts +0 -7
  458. package/control/Gen/api/string.d.ts +0 -48
  459. package/control/Gen/api/struct.d.ts +0 -8
@@ -6,35 +6,27 @@ export class ExecutedSpec {
6
6
  constructor(caseValue) {
7
7
  this.caseValue = caseValue;
8
8
  }
9
-
10
9
  }
11
10
  export class TestCase {
12
11
  constructor(test, annotations) {
13
12
  this.test = test;
14
13
  this.annotations = annotations;
15
- this._tag = "Test"
16
- /* ExecutedSpecCaseTag.Test */
17
- ;
14
+ this._tag = "Test" /* ExecutedSpecCaseTag.Test */;
18
15
  }
19
-
20
16
  }
17
+
21
18
  export class LabeledCase {
22
19
  constructor(label, spec) {
23
20
  this.label = label;
24
21
  this.spec = spec;
25
- this._tag = "Labeled"
26
- /* ExecutedSpecCaseTag.Labeled */
27
- ;
22
+ this._tag = "Labeled" /* ExecutedSpecCaseTag.Labeled */;
28
23
  }
29
-
30
24
  }
25
+
31
26
  export class MultipleCase {
32
27
  constructor(specs) {
33
28
  this.specs = specs;
34
- this._tag = "Multiple"
35
- /* ExecutedSpecCaseTag.Multiple */
36
- ;
29
+ this._tag = "Multiple" /* ExecutedSpecCaseTag.Multiple */;
37
30
  }
38
-
39
31
  }
40
32
  //# sourceMappingURL=definition.mjs.map
@@ -1 +1 @@
1
- {"version":3,"file":"definition.mjs","mappings":"AAUA;;;;AAIA,OAAM,MAAOA,YAAP,CAAmB;EACvBC,YAAqBC,SAArB,EAA4D;IAAvC;EAA2C;;AADzC;AAIzB,OAAM,MAAOC,QAAP,CAAe;EAEnBF,YAAqBG,IAArB,EAAyEC,WAAzE,EAAuG;IAAlF;IAAoD;IADhE,YAAI;IAAA;IAAJ;EACkG;;AAFxF;AAKrB,OAAM,MAAOC,WAAP,CAAkB;EAEtBL,YAAqBM,KAArB,EAA6CC,IAA7C,EAAoD;IAA/B;IAAwB;IADpC,YAAI;IAAA;IAAJ;EAC+C;;AAFlC;AAKxB,OAAM,MAAOC,YAAP,CAAmB;EAEvBR,YAAqBS,KAArB,EAAmC;IAAd;IADZ,YAAI;IAAA;IAAJ;EAC8B;;AAFhB","names":["ExecutedSpec","constructor","caseValue","TestCase","test","annotations","LabeledCase","label","spec","MultipleCase","specs"],"sourceRoot":"","sources":["../../../_src/data/ExecutedSpec/definition.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"definition.mjs","mappings":"AAUA;;;;AAIA,OAAM,MAAOA,YAAY;EACvBC,YAAqBC,SAAuC;IAAvC,cAAS,GAATA,SAAS;EAAiC;;AAGjE,OAAM,MAAOC,QAAQ;EAEnBF,YAAqBG,IAAyC,EAAWC,WAA8B;IAAlF,SAAI,GAAJD,IAAI;IAAgD,gBAAW,GAAXC,WAAW;IAD3E,SAAI;EAC6F;;;AAG5G,OAAM,MAAOC,WAAW;EAEtBL,YAAqBM,KAAa,EAAWC,IAAO;IAA/B,UAAK,GAALD,KAAK;IAAmB,SAAI,GAAJC,IAAI;IADxC,SAAI;EAC0C;;;AAGzD,OAAM,MAAOC,YAAY;EAEvBR,YAAqBS,KAAc;IAAd,UAAK,GAALA,KAAK;IADjB,SAAI;EACyB","names":["ExecutedSpec","constructor","caseValue","TestCase","test","annotations","LabeledCase","label","spec","MultipleCase","specs"],"sourceRoot":"","sources":["../../../_src/data/ExecutedSpec/definition.ts"],"sourcesContent":[null]}
@@ -1 +1 @@
1
- {"version":3,"file":"ExecutedSpec.mjs","mappings":"AAAA;AACA,cAAc,wBAAd;AACA,cAAc,+BAAd","names":[],"sourceRoot":"","sources":["../../_src/data/ExecutedSpec.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"ExecutedSpec.mjs","mappings":"AAAA;AACA,cAAc,wBAAuB;AACrC,cAAc,+BAA8B","names":[],"sourceRoot":"","sources":["../../_src/data/ExecutedSpec.ts"],"sourcesContent":[null]}
@@ -23,7 +23,6 @@ export const Other = {
23
23
  /**
24
24
  * @tsplus type fncts.test.ExecutionResult
25
25
  */
26
-
27
26
  export class ExecutionResult {
28
27
  constructor(resultType, label, status, offset, annotations, lines) {
29
28
  this.resultType = resultType;
@@ -33,73 +32,62 @@ export class ExecutionResult {
33
32
  this.annotations = annotations;
34
33
  this.lines = lines;
35
34
  }
36
-
37
35
  withAnnotations(annotations) {
38
36
  return new ExecutionResult(this.resultType, this.label, this.status, this.offset, annotations, this.lines);
39
37
  }
40
-
41
38
  }
42
39
  export function rendered(caseType, label, status, offset, lines) {
43
40
  return new ExecutionResult(caseType, label, status, offset, tsplus_module_1.nil(), lines);
44
41
  }
45
42
  /**
46
- * @tsplus operator fncts.test.ExecutionResult &&
43
+ * @tsplus pipeable-operator fncts.test.ExecutionResult &&
47
44
  */
48
-
49
- export function and_(self, that) {
50
- if (self.status._tag === "Ignored") {
51
- return that;
52
- }
53
-
54
- if (that.status._tag === "Ignored") {
55
- return self;
56
- }
57
-
58
- if (self.status._tag === "Failed" && that.status._tag === "Failed") {
59
- return new ExecutionResult(self.resultType, self.label, self.status, self.offset, self.annotations, tsplus_module_2.concat_(self.lines, tsplus_module_3.getOrElse_(tsplus_module_2.tail(that.lines), () => tsplus_module_1.nil())));
60
- }
61
-
62
- if (self.status._tag === "Passed") {
63
- return that;
64
- }
65
-
66
- if (that.status._tag === "Passed") {
67
- return self;
68
- }
69
-
70
- throw new Error("BUG");
45
+ export function and(that) {
46
+ return self => {
47
+ if (self.status._tag === "Ignored") {
48
+ return that;
49
+ }
50
+ if (that.status._tag === "Ignored") {
51
+ return self;
52
+ }
53
+ if (self.status._tag === "Failed" && that.status._tag === "Failed") {
54
+ return new ExecutionResult(self.resultType, self.label, self.status, self.offset, self.annotations, tsplus_module_2.concat(tsplus_module_3.getOrElse(() => tsplus_module_1.nil())(tsplus_module_2.tail(that.lines)))(self.lines));
55
+ }
56
+ if (self.status._tag === "Passed") {
57
+ return that;
58
+ }
59
+ if (that.status._tag === "Passed") {
60
+ return self;
61
+ }
62
+ throw new Error("BUG");
63
+ };
71
64
  }
72
65
  /**
73
- * @tsplus operator fncts.test.ExecutionResult ||
66
+ * @tsplus pipeable-operator fncts.test.ExecutionResult ||
74
67
  */
75
-
76
- export function or_(self, that) {
77
- if (self.status._tag === "Ignored") {
78
- return that;
79
- }
80
-
81
- if (that.status._tag === "Ignored") {
82
- return self;
83
- }
84
-
85
- if (self.status._tag === "Failed" && that.status._tag === "Failed") {
86
- return new ExecutionResult(self.resultType, self.label, self.status, self.offset, self.annotations, tsplus_module_2.concat_(self.lines, tsplus_module_3.getOrElse_(tsplus_module_2.tail(that.lines), () => tsplus_module_1.nil())));
87
- }
88
-
89
- if (self.status._tag === "Passed") {
90
- return self;
91
- }
92
-
93
- if (that.status._tag === "Passed") {
94
- return that;
95
- }
96
-
97
- throw new Error("BUG");
68
+ export function or(that) {
69
+ return self => {
70
+ if (self.status._tag === "Ignored") {
71
+ return that;
72
+ }
73
+ if (that.status._tag === "Ignored") {
74
+ return self;
75
+ }
76
+ if (self.status._tag === "Failed" && that.status._tag === "Failed") {
77
+ return new ExecutionResult(self.resultType, self.label, self.status, self.offset, self.annotations, tsplus_module_2.concat(tsplus_module_3.getOrElse(() => tsplus_module_1.nil())(tsplus_module_2.tail(that.lines)))(self.lines));
78
+ }
79
+ if (self.status._tag === "Passed") {
80
+ return self;
81
+ }
82
+ if (that.status._tag === "Passed") {
83
+ return that;
84
+ }
85
+ throw new Error("BUG");
86
+ };
98
87
  }
99
88
  /**
100
89
  * @tsplus getter fncts.test.ExecutionResult invert
101
90
  */
102
-
103
91
  export function invert(self) {
104
92
  return matchTag_(self.status, {
105
93
  Ignored: () => self,
@@ -1 +1 @@
1
- {"version":3,"file":"ExecutionResult.mjs","mappings":";;;AAGA,SAASA,SAAT,QAA0B,0BAA1B;AAMA,OAAO,MAAMC,MAAM,GAAW;EAC5BC,IAAI,EAAE;AADsB,CAAvB;AAQP,OAAO,MAAMC,MAAM,GAAW;EAC5BD,IAAI,EAAE;AADsB,CAAvB;AAQP,OAAO,MAAME,OAAO,GAAY;EAC9BF,IAAI,EAAE;AADwB,CAAzB;AAUP,OAAO,MAAMG,IAAI,GAAe;EAC9BH,IAAI,EAAE;AADwB,CAAzB;AAQP,OAAO,MAAMI,KAAK,GAAe;EAC/BJ,IAAI,EAAE;AADyB,CAA1B;AAQP,OAAO,MAAMK,KAAK,GAAe;EAC/BL,IAAI,EAAE;AADyB,CAA1B;AAMP;;;;AAGA,OAAM,MAAOM,eAAP,CAAsB;EAC1BC,YACWC,UADX,EAEWC,KAFX,EAGWC,MAHX,EAIWC,MAJX,EAKWC,WALX,EAMWC,KANX,EAM4B;IALjB;IACA;IACA;IACA;IACA;IACA;EACP;;EAEJC,eAAe,CAACF,WAAD,EAAqC;IAClD,OAAO,IAAIN,eAAJ,CAAoB,KAAKE,UAAzB,EAAqC,KAAKC,KAA1C,EAAiD,KAAKC,MAAtD,EAA8D,KAAKC,MAAnE,EAA2EC,WAA3E,EAAwF,KAAKC,KAA7F,CAAP;EACD;;AAZyB;AAe5B,OAAM,SAAUE,QAAV,CACJC,QADI,EAEJP,KAFI,EAGJC,MAHI,EAIJC,MAJI,EAKJE,KALI,EAKa;EAEjB,OAAO,IAAIP,eAAJ,CAAoBU,QAApB,EAA8BP,KAA9B,EAAqCC,MAArC,EAA6CC,MAA7C,EAAqDM,qBAArD,EAA4DJ,KAA5D,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUK,IAAV,CAAeC,IAAf,EAAsCC,IAAtC,EAA2D;EAC/D,IAAID,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,SAAzB,EAAoC;IAClC,OAAOoB,IAAP;EACD;;EACD,IAAIA,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,SAAzB,EAAoC;IAClC,OAAOmB,IAAP;EACD;;EACD,IAAIA,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,QAArB,IAAiCoB,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,QAA1D,EAAoE;IAClE,OAAO,IAAIM,eAAJ,CACLa,IAAI,CAACX,UADA,EAELW,IAAI,CAACV,KAFA,EAGLU,IAAI,CAACT,MAHA,EAILS,IAAI,CAACR,MAJA,EAKLQ,IAAI,CAACP,WALA,EAMLS,4BAAI,CAACR,KAAL,EAAkBS,oDAAI,CAACT,KAAL,GAAU,MAAgBI,qBAA1B,CAAlB,CANK,CAAP;EAQD;;EACD,IAAIE,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,QAAzB,EAAmC;IACjC,OAAOoB,IAAP;EACD;;EACD,IAAIA,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,QAAzB,EAAmC;IACjC,OAAOmB,IAAP;EACD;;EACD,MAAM,IAAII,KAAJ,CAAU,KAAV,CAAN;AACD;AAED;;;;AAGA,OAAM,SAAUC,GAAV,CAAcL,IAAd,EAAqCC,IAArC,EAA0D;EAC9D,IAAID,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,SAAzB,EAAoC;IAClC,OAAOoB,IAAP;EACD;;EACD,IAAIA,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,SAAzB,EAAoC;IAClC,OAAOmB,IAAP;EACD;;EACD,IAAIA,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,QAArB,IAAiCoB,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,QAA1D,EAAoE;IAClE,OAAO,IAAIM,eAAJ,CACLa,IAAI,CAACX,UADA,EAELW,IAAI,CAACV,KAFA,EAGLU,IAAI,CAACT,MAHA,EAILS,IAAI,CAACR,MAJA,EAKLQ,IAAI,CAACP,WALA,EAMLS,4BAAI,CAACR,KAAL,EAAkBS,oDAAI,CAACT,KAAL,GAAU,MAAgBI,qBAA1B,CAAlB,CANK,CAAP;EAQD;;EACD,IAAIE,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,QAAzB,EAAmC;IACjC,OAAOmB,IAAP;EACD;;EACD,IAAIC,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,QAAzB,EAAmC;IACjC,OAAOoB,IAAP;EACD;;EACD,MAAM,IAAIG,KAAJ,CAAU,KAAV,CAAN;AACD;AAED;;;;AAGA,OAAM,SAAUE,MAAV,CAAiBN,IAAjB,EAAsC;EAC1C,OAAOrB,SAAS,CAACqB,IAAI,CAACT,MAAN,EAAc;IAC5BR,OAAO,EAAE,MAAMiB,IADa;IAE5BpB,MAAM,EAAE,MAAM,IAAIO,eAAJ,CAAoBa,IAAI,CAACX,UAAzB,EAAqCW,IAAI,CAACV,KAA1C,EAAiDR,MAAjD,EAAyDkB,IAAI,CAACR,MAA9D,EAAsEQ,IAAI,CAACP,WAA3E,EAAwFO,IAAI,CAACN,KAA7F,CAFc;IAG5BZ,MAAM,EAAE,MAAM,IAAIK,eAAJ,CAAoBa,IAAI,CAACX,UAAzB,EAAqCW,IAAI,CAACV,KAA1C,EAAiDV,MAAjD,EAAyDoB,IAAI,CAACR,MAA9D,EAAsEQ,IAAI,CAACP,WAA3E,EAAwFO,IAAI,CAACN,KAA7F;EAHc,CAAd,CAAhB;AAKD","names":["matchTag_","Failed","_tag","Passed","Ignored","Test","Suite","Other","ExecutionResult","constructor","resultType","label","status","offset","annotations","lines","withAnnotations","rendered","caseType","tsplus_module_1","and_","self","that","tsplus_module_2","tsplus_module_3","Error","or_","invert"],"sourceRoot":"","sources":["../../_src/data/ExecutionResult.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"ExecutionResult.mjs","mappings":";;;AAGA,SAASA,SAAS,QAAQ,0BAA0B;AAMpD,OAAO,MAAMC,MAAM,GAAW;EAC5BC,IAAI,EAAE;CACP;AAMD,OAAO,MAAMC,MAAM,GAAW;EAC5BD,IAAI,EAAE;CACP;AAMD,OAAO,MAAME,OAAO,GAAY;EAC9BF,IAAI,EAAE;CACP;AAQD,OAAO,MAAMG,IAAI,GAAe;EAC9BH,IAAI,EAAE;CACP;AAMD,OAAO,MAAMI,KAAK,GAAe;EAC/BJ,IAAI,EAAE;CACP;AAMD,OAAO,MAAMK,KAAK,GAAe;EAC/BL,IAAI,EAAE;CACP;AAID;;;AAGA,OAAM,MAAOM,eAAe;EAC1BC,YACWC,UAAsB,EACtBC,KAAa,EACbC,MAAc,EACdC,MAAc,EACdC,WAAoC,EACpCC,KAAiB;IALjB,eAAU,GAAVL,UAAU;IACV,UAAK,GAALC,KAAK;IACL,WAAM,GAANC,MAAM;IACN,WAAM,GAANC,MAAM;IACN,gBAAW,GAAXC,WAAW;IACX,UAAK,GAALC,KAAK;EACb;EACHC,eAAe,CAACF,WAAoC;IAClD,OAAO,IAAIN,eAAe,CAAC,IAAI,CAACE,UAAU,EAAE,IAAI,CAACC,KAAK,EAAE,IAAI,CAACC,MAAM,EAAE,IAAI,CAACC,MAAM,EAAEC,WAAW,EAAE,IAAI,CAACC,KAAK,CAAC;EAC5G;;AAGF,OAAM,SAAUE,QAAQ,CACtBC,QAAoB,EACpBP,KAAa,EACbC,MAAc,EACdC,MAAc,EACdE,KAAiB;EAEjB,OAAO,IAAIP,eAAe,CAACU,QAAQ,EAAEP,KAAK,EAAEC,MAAM,EAAEC,MAAM,EAAEM,qBAAK,EAAEJ,KAAK,CAAC;AAC3E;AAEA;;;AAGA,OAAM,SAAUK,GAAG,CAACC,IAAqB;EACvC,OAAQC,IAAqB,IAAqB;IAChD,IAAIA,IAAI,CAACV,MAAM,CAACV,IAAI,KAAK,SAAS,EAAE;MAClC,OAAOmB,IAAI;;IAEb,IAAIA,IAAI,CAACT,MAAM,CAACV,IAAI,KAAK,SAAS,EAAE;MAClC,OAAOoB,IAAI;;IAEb,IAAIA,IAAI,CAACV,MAAM,CAACV,IAAI,KAAK,QAAQ,IAAImB,IAAI,CAACT,MAAM,CAACV,IAAI,KAAK,QAAQ,EAAE;MAClE,OAAO,IAAIM,eAAe,CACxBc,IAAI,CAACZ,UAAU,EACfY,IAAI,CAACX,KAAK,EACVW,IAAI,CAACV,MAAM,EACXU,IAAI,CAACT,MAAM,EACXS,IAAI,CAACR,WAAW,EAChBS,uBAAkBC,gCAA0BL,qBAAK,uBAA/BE,IAAI,CAACN,KAAK,EAAsB,EAAlDO,IAAI,CAACP,KAAK,CAAyC,CACpD;;IAEH,IAAIO,IAAI,CAACV,MAAM,CAACV,IAAI,KAAK,QAAQ,EAAE;MACjC,OAAOmB,IAAI;;IAEb,IAAIA,IAAI,CAACT,MAAM,CAACV,IAAI,KAAK,QAAQ,EAAE;MACjC,OAAOoB,IAAI;;IAEb,MAAM,IAAIG,KAAK,CAAC,KAAK,CAAC;EACxB,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUC,EAAE,CAACL,IAAqB;EACtC,OAAQC,IAAqB,IAAqB;IAChD,IAAIA,IAAI,CAACV,MAAM,CAACV,IAAI,KAAK,SAAS,EAAE;MAClC,OAAOmB,IAAI;;IAEb,IAAIA,IAAI,CAACT,MAAM,CAACV,IAAI,KAAK,SAAS,EAAE;MAClC,OAAOoB,IAAI;;IAEb,IAAIA,IAAI,CAACV,MAAM,CAACV,IAAI,KAAK,QAAQ,IAAImB,IAAI,CAACT,MAAM,CAACV,IAAI,KAAK,QAAQ,EAAE;MAClE,OAAO,IAAIM,eAAe,CACxBc,IAAI,CAACZ,UAAU,EACfY,IAAI,CAACX,KAAK,EACVW,IAAI,CAACV,MAAM,EACXU,IAAI,CAACT,MAAM,EACXS,IAAI,CAACR,WAAW,EAChBS,uBAAkBC,gCAA0BL,qBAAK,uBAA/BE,IAAI,CAACN,KAAK,EAAsB,EAAlDO,IAAI,CAACP,KAAK,CAAyC,CACpD;;IAEH,IAAIO,IAAI,CAACV,MAAM,CAACV,IAAI,KAAK,QAAQ,EAAE;MACjC,OAAOoB,IAAI;;IAEb,IAAID,IAAI,CAACT,MAAM,CAACV,IAAI,KAAK,QAAQ,EAAE;MACjC,OAAOmB,IAAI;;IAEb,MAAM,IAAII,KAAK,CAAC,KAAK,CAAC;EACxB,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUE,MAAM,CAACL,IAAqB;EAC1C,OAAOtB,SAAS,CAACsB,IAAI,CAACV,MAAM,EAAE;IAC5BR,OAAO,EAAE,MAAMkB,IAAI;IACnBrB,MAAM,EAAE,MAAM,IAAIO,eAAe,CAACc,IAAI,CAACZ,UAAU,EAAEY,IAAI,CAACX,KAAK,EAAER,MAAM,EAAEmB,IAAI,CAACT,MAAM,EAAES,IAAI,CAACR,WAAW,EAAEQ,IAAI,CAACP,KAAK,CAAC;IACjHZ,MAAM,EAAE,MAAM,IAAIK,eAAe,CAACc,IAAI,CAACZ,UAAU,EAAEY,IAAI,CAACX,KAAK,EAAEV,MAAM,EAAEqB,IAAI,CAACT,MAAM,EAAES,IAAI,CAACR,WAAW,EAAEQ,IAAI,CAACP,KAAK;GACjH,CAAC;AACJ","names":["matchTag_","Failed","_tag","Passed","Ignored","Test","Suite","Other","ExecutionResult","constructor","resultType","label","status","offset","annotations","lines","withAnnotations","rendered","caseType","tsplus_module_1","and","that","self","tsplus_module_2","tsplus_module_3","Error","or","invert"],"sourceRoot":"","sources":["../../_src/data/ExecutionResult.ts"],"sourcesContent":[null]}
@@ -3,6 +3,5 @@ export class FailureDetails {
3
3
  this.assertion = assertion;
4
4
  this.gen = gen;
5
5
  }
6
-
7
6
  }
8
7
  //# sourceMappingURL=FailureDetails.mjs.map
@@ -1 +1 @@
1
- {"version":3,"file":"FailureDetails.mjs","mappings":"AAUA,OAAM,MAAOA,cAAP,CAAqB;EACzBC,YAAqBC,SAArB,EAAoEC,GAApE,EAAsG;IAAjF;IAA+C;EAAsC;;AADjF","names":["FailureDetails","constructor","assertion","gen"],"sourceRoot":"","sources":["../../_src/data/FailureDetails.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"FailureDetails.mjs","mappings":"AAUA,OAAM,MAAOA,cAAc;EACzBC,YAAqBC,SAAoC,EAAWC,GAAkC;IAAjF,cAAS,GAATD,SAAS;IAAsC,QAAG,GAAHC,GAAG;EAAkC","names":["FailureDetails","constructor","assertion","gen"],"sourceRoot":"","sources":["../../_src/data/FailureDetails.ts"],"sourcesContent":[null]}
@@ -5,166 +5,149 @@ import * as tsplus_module_4 from "@fncts/base/data/Either/destructors";
5
5
  import * as tsplus_module_5 from "@fncts/base/control/Eval/constructors";
6
6
  import * as tsplus_module_6 from "@fncts/base/control/Eval/api";
7
7
  import * as tsplus_module_7 from "@fncts/base/control/Eval/run";
8
- export const and_ = and_1;
9
- export const flatMap_ = flatMap_1;
10
- export const foldEval_ = foldEval_1;
11
- export const fold_ = fold_1;
12
- export const implies_ = implies_1;
8
+ export const and = and_1;
9
+ export const flatMap = flatMap_1;
10
+ export const foldEval = foldEval_1;
11
+ export const fold = fold_1;
12
+ export const implies = implies_1;
13
13
  export const isSuccess = isSuccess_1;
14
14
  export const not = not_1;
15
- export const or_ = or_1;
15
+ export const or = or_1;
16
16
  export const success = success_1;
17
17
  import { And, Not, Or, Value } from "./definition.mjs";
18
18
  /**
19
- * @tsplus fluent fncts.test.FreeBooleanAlgebra and
20
- * @tsplus operator fncts.test.FreeBooleanAlgebra &&
19
+ * @tsplus pipeable fncts.test.FreeBooleanAlgebra and
20
+ * @tsplus pipeable-operator fncts.test.FreeBooleanAlgebra &&
21
21
  */
22
-
23
- function and_1(left, right) {
24
- return new And(left, right);
22
+ function and_1(right) {
23
+ return left => {
24
+ return new And(left, right);
25
+ };
25
26
  }
26
27
  /**
27
- * @tsplus fluent fncts.test.FreeBooleanAlgebra flatMap
28
+ * @tsplus pipeable fncts.test.FreeBooleanAlgebra flatMap
28
29
  */
29
-
30
-
31
- function flatMap_1(self, f) {
32
- return fold_1(self, {
33
- Value: f,
34
- And: (l, r) => and_1(l, r),
35
- Or: (l, r) => or_1(l, r),
36
- Not: v => not_1(v)
37
- });
30
+ function flatMap_1(f) {
31
+ return self => {
32
+ return fold_1({
33
+ Value: f,
34
+ And: (l, r) => and_1(r)(l),
35
+ Or: (l, r) => or_1(r)(l),
36
+ Not: v => not_1(v)
37
+ })(self);
38
+ };
38
39
  }
39
40
  /**
40
- * @tsplus fluent fncts.test.FreeBooleanAlgebra map
41
+ * @tsplus pipeable fncts.test.FreeBooleanAlgebra map
41
42
  */
42
-
43
-
44
- export function map_(self, f) {
45
- return flatMap_1(self, a => success_1(f(a)));
43
+ export function map(f) {
44
+ return self => {
45
+ return flatMap_1(a => success_1(f(a)))(self);
46
+ };
46
47
  }
47
48
  /**
48
49
  * @tsplus static fncts.test.FreeBooleanAlgebraOps failure
49
50
  */
50
-
51
51
  export function failure(a) {
52
52
  return not_1(success_1(a));
53
53
  }
54
54
  /**
55
55
  * @tsplus getter fncts.test.FreeBooleanAlgebra failures
56
56
  */
57
-
58
57
  export function failures(self) {
59
- return tsplus_module_4.match_(fold_1(self, {
58
+ return tsplus_module_4.match(tsplus_module_1.just, () => tsplus_module_1.nothing())(fold_1({
60
59
  Value: a => tsplus_module_2.right(success_1(a)),
61
60
  And: (l, r) => {
62
61
  void 0;
63
62
  void 0;
64
- return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(and_1(l.right, r.right)) : r : tsplus_module_3.isRight(r) ? l : tsplus_module_2.left(and_1(l.left, r.left));
63
+ return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(and_1(r.right)(l.right)) : r : tsplus_module_3.isRight(r) ? l : tsplus_module_2.left(and_1(r.left)(l.left));
65
64
  },
66
65
  Or: (l, r) => {
67
66
  void 0;
68
67
  void 0;
69
- return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(or_1(l.right, r.right)) : l : tsplus_module_3.isRight(r) ? r : tsplus_module_2.left(or_1(l.left, r.left));
68
+ return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(or_1(r.right)(l.right)) : l : tsplus_module_3.isRight(r) ? r : tsplus_module_2.left(or_1(r.left)(l.left));
70
69
  },
71
70
  Not: v => tsplus_module_3.swap(v)
72
- }), tsplus_module_1.just, () => tsplus_module_1.nothing());
71
+ })(self));
73
72
  }
74
73
  /**
75
- * @tsplus fluent fncts.test.FreeBooleanAlgebra foldEval
74
+ * @tsplus pipeable fncts.test.FreeBooleanAlgebra foldEval
76
75
  */
77
-
78
- function foldEval_1(self, cases) {
79
- return tsplus_module_5.defer(() => {
80
- switch (self._tag) {
81
- case "Value"
82
- /* FreeBooleanAlgebraTag.Value */
83
- :
84
- return tsplus_module_5.now(cases.Value(self.value));
85
-
86
- case "And"
87
- /* FreeBooleanAlgebraTag.And */
88
- :
89
- return tsplus_module_6.zipWith_(foldEval_1(self.left, cases), foldEval_1(self.right, cases), cases.And);
90
-
91
- case "Or"
92
- /* FreeBooleanAlgebraTag.Or */
93
- :
94
- return tsplus_module_6.zipWith_(foldEval_1(self.left, cases), foldEval_1(self.right, cases), cases.Or);
95
-
96
- case "Not"
97
- /* FreeBooleanAlgebraTag.Not */
98
- :
99
- return tsplus_module_6.map_(foldEval_1(self.result, cases), cases.Not);
100
- }
101
- });
76
+ function foldEval_1(cases) {
77
+ return self => {
78
+ return tsplus_module_5.defer(() => {
79
+ switch (self._tag) {
80
+ case "Value" /* FreeBooleanAlgebraTag.Value */:
81
+ return tsplus_module_5.now(cases.Value(self.value));
82
+ case "And" /* FreeBooleanAlgebraTag.And */:
83
+ return tsplus_module_6.zipWith(foldEval_1(cases)(self.right), cases.And)(foldEval_1(cases)(self.left));
84
+ case "Or" /* FreeBooleanAlgebraTag.Or */:
85
+ return tsplus_module_6.zipWith(foldEval_1(cases)(self.right), cases.Or)(foldEval_1(cases)(self.left));
86
+ case "Not" /* FreeBooleanAlgebraTag.Not */:
87
+ return tsplus_module_6.map(cases.Not)(foldEval_1(cases)(self.result));
88
+ }
89
+ });
90
+ };
102
91
  }
103
92
  /**
104
- * @tsplus fluent fncts.test.FreeBooleanAlgebra fold
93
+ * @tsplus pipeable fncts.test.FreeBooleanAlgebra fold
105
94
  */
106
-
107
-
108
- function fold_1(self, cases) {
109
- return tsplus_module_7.run(foldEval_1(self, cases));
95
+ function fold_1(cases) {
96
+ return self => {
97
+ return tsplus_module_7.run(foldEval_1(cases)(self));
98
+ };
110
99
  }
111
100
  /**
112
- * @tsplus fluent fncts.test.FreeBooleanAlgebra iff
101
+ * @tsplus pipeable fncts.test.FreeBooleanAlgebra iff
113
102
  */
114
-
115
-
116
- export function iff_(left, right) {
117
- return and_1(implies_1(left, right), implies_1(right, left));
103
+ export function iff(right) {
104
+ return left => {
105
+ return and_1(implies_1(left)(right))(implies_1(right)(left));
106
+ };
118
107
  }
119
108
  /**
120
- * @tsplus fluent fncts.test.FreeBooleanAlgebra implies
109
+ * @tsplus pipeable fncts.test.FreeBooleanAlgebra implies
121
110
  */
122
-
123
- function implies_1(left, right) {
124
- return or_1(not_1(left), right);
111
+ function implies_1(right) {
112
+ return left => {
113
+ return or_1(right)(not_1(left));
114
+ };
125
115
  }
126
116
  /**
127
117
  * @tsplus getter fncts.test.FreeBooleanAlgebra isFailure
128
118
  */
129
-
130
-
131
119
  export function isFailure(self) {
132
120
  return !isSuccess_1(self);
133
121
  }
134
122
  /**
135
123
  * @tsplus getter fncts.test.FreeBooleanAlgebra isSuccess
136
124
  */
137
-
138
125
  function isSuccess_1(self) {
139
- return fold_1(self, {
126
+ return fold_1({
140
127
  Value: () => true,
141
128
  And: (l, r) => l && r,
142
129
  Or: (l, r) => l || r,
143
130
  Not: v => !v
144
- });
131
+ })(self);
145
132
  }
146
133
  /**
147
134
  * @tsplus getter fncts.test.FreeBooleanAlgebra invert
148
135
  */
149
-
150
-
151
136
  function not_1(self) {
152
137
  return new Not(self);
153
138
  }
154
139
  /**
155
- * @tsplus fluent fncts.test.FreeBooleanAlgebra or
156
- * @tsplus operator fncts.test.FreeBooleanAlgebra ||
140
+ * @tsplus pipeable fncts.test.FreeBooleanAlgebra or
141
+ * @tsplus pipeable-operator fncts.test.FreeBooleanAlgebra ||
157
142
  */
158
-
159
-
160
- function or_1(left, right) {
161
- return new Or(left, right);
143
+ function or_1(right) {
144
+ return left => {
145
+ return new Or(left, right);
146
+ };
162
147
  }
163
148
  /**
164
149
  * @tsplus static fncts.test.FreeBooleanAlgebraOps success
165
150
  */
166
-
167
-
168
151
  function success_1(a) {
169
152
  return new Value(a);
170
153
  }
@@ -1 +1 @@
1
- {"version":3,"file":"api.mjs","mappings":";;;;;;;aAMgBA,IAAI;aAOJC,QAAQ;aA4DRC,SAAS;aA0BTC,KAAK;aAsBLC,QAAQ;aAcRC,SAAS;aAYTC,GAAG;aAQHC,GAAG;aAOHC,OAAO;AAlKvB,SAASC,GAAT,EAAyDC,GAAzD,EAA8DC,EAA9D,EAAkEC,KAAlE,QAA+E,kBAA/E;AAEA;;;;;AAIA,eAAwBC,IAAxB,EAAqDC,KAArD,EAAiF;EAC/E,OAAO,IAAIL,GAAJ,CAAQI,IAAR,EAAcC,KAAd,CAAP;AACD;AAED;;;;;AAGA,mBAA+BC,IAA/B,EAA4DC,CAA5D,EAA8F;EAC5F,OAAOC,aAAU;IACfL,KAAK,EAAEI,CADQ;IAEfP,GAAG,EAAE,CAACS,CAAD,EAAIC,CAAJ,KAASC,MAACF,CAAD,EAAMC,CAAN,CAFC;IAGfR,EAAE,EAAE,CAACO,CAAD,EAAIC,CAAJ,KAASE,KAACH,CAAD,EAAMC,CAAN,CAHE;IAIfT,GAAG,EAAGY,CAAD,IAAMC,MAACD,CAAD;EAJI,CAAV,CAAP;AAMD;AAED;;;;;AAGA,OAAM,SAAUE,IAAV,CAAqBT,IAArB,EAAkDC,CAAlD,EAAgE;EACpE,OAAOS,gBAAcC,CAAD,IAAOC,UAA2BX,CAAC,CAACU,CAAD,CAA5B,CAApB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUE,OAAV,CAAqBF,CAArB,EAAyB;EAC7B,aAAOC,UAA2BD,CAA3B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUG,QAAV,CAAsBd,IAAtB,EAAiD;EACrD,OAAOe,oCAC0D;IAC7DlB,KAAK,EAAGc,CAAD,IAAOK,sBAAaJ,UAA2BD,CAA3B,CAAb,CAD+C;IAE7DjB,GAAG,EAAE,CAACS,CAAD,EAAIC,CAAJ,KAAS;MACZ;MACA;MACA,OAAOa,6BACHA,6BACED,4BAAab,CAAC,CAACJ,KAAf,EAAwBK,CAAC,CAACL,KAA1B,EADF,GAEEK,CAHC,GAIHa,6BACAd,CADA,GAEAa,2BAAYb,CAAC,CAACL,IAAd,EAAsBM,CAAC,CAACN,IAAxB,EANJ;IAOD,CAZ4D;IAa7DF,EAAE,EAAE,CAACO,CAAD,EAAIC,CAAJ,KAAS;MACX;MACA;MACA,OAAOa,6BACHA,6BACED,2BAAab,CAAC,CAACJ,KAAf,EAAwBK,CAAC,CAACL,KAA1B,EADF,GAEEI,CAHC,GAIHc,6BACAb,CADA,GAEAY,0BAAYb,CAAC,CAACL,IAAd,EAAsBM,CAAC,CAACN,IAAxB,EANJ;IAOD,CAvB4D;IAwB7DH,GAAG,EAAGY,CAAD,IAAMU,qBAACV,CAAD;EAxBkD,CAD1D,GA0BHW,oBA1BG,EA2Bc,MAAMA,yBA3BpB,CAAP;AA4BD;AAED;;;;AAGA,oBACElB,IADF,EAEEmB,KAFF,EAOG;EAED,OAAOC,sBAAW,MAAK;IACrB,QAAQpB,IAAI,CAACqB,IAAb;MACE;MAAA;MAAA;QACE,OAAOD,oBAASD,KAAK,CAACtB,KAAN,CAAYG,IAAI,CAACsB,KAAjB,CAAT,CAAP;;MACF;MAAA;MAAA;QACE,OAAOC,wCAAI,CAACzB,IAAL,EAAmBqB,KAAnB,GAAkCK,eAAI,CAACzB,KAAL,EAAoBoB,KAApB,CAAlC,EAA8DA,KAAK,CAACzB,GAApE,CAAP;;MACF;MAAA;MAAA;QACE,OAAO6B,wCAAI,CAACzB,IAAL,EAAmBqB,KAAnB,GAAkCK,eAAI,CAACzB,KAAL,EAAoBoB,KAApB,CAAlC,EAA8DA,KAAK,CAACvB,EAApE,CAAP;;MACF;MAAA;MAAA;QACE,OAAO2B,oCAAI,CAACE,MAAL,EAAqBN,KAArB,GAAgCA,KAAK,CAACxB,GAAtC,CAAP;IARJ;EAUD,CAXM,CAAP;AAYD;AAED;;;;;AAGA,gBACEK,IADF,EAEEmB,KAFF,EAOG;EAED,2BAAOK,iBAAcL,KAAd,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUO,IAAV,CAAkB5B,IAAlB,EAA+CC,KAA/C,EAA2E;EAC/E,aAAO4B,gBAAa5B,KAAb,CAAP,EAA8B4B,iBAAc7B,IAAd,CAA9B;AACD;AAED;;;;AAGA,mBAA4BA,IAA5B,EAAyDC,KAAzD,EAAqF;EACnF,kBAAOD,IAAP,GAAsBC,KAAtB;AACD;AAED;;;;;AAGA,OAAM,SAAU6B,SAAV,CAAuB5B,IAAvB,EAAkD;EACtD,OAAO,aAACA,IAAD,CAAP;AACD;AAED;;;;AAGA,qBAA6BA,IAA7B,EAAwD;EACtD,OAAOE,aAAU;IACfL,KAAK,EAAE,MAAe,IADP;IAEfH,GAAG,EAAE,CAACS,CAAD,EAAIC,CAAJ,KAAUD,CAAC,IAAIC,CAFL;IAGfR,EAAE,EAAE,CAACO,CAAD,EAAIC,CAAJ,KAAUD,CAAC,IAAIC,CAHJ;IAIfT,GAAG,EAAGY,CAAD,IAAO,CAACA;EAJE,CAAV,CAAP;AAMD;AAED;;;;;AAGA,eAAuBP,IAAvB,EAAkD;EAChD,OAAO,IAAIL,GAAJ,CAAQK,IAAR,CAAP;AACD;AAED;;;;;;AAIA,cAAuBF,IAAvB,EAAoDC,KAApD,EAAgF;EAC9E,OAAO,IAAIH,EAAJ,CAAOE,IAAP,EAAaC,KAAb,CAAP;AACD;AAED;;;;;AAGA,mBAA2BY,CAA3B,EAA+B;EAC7B,OAAO,IAAId,KAAJ,CAAUc,CAAV,CAAP;AACD","names":["and_","flatMap_","foldEval_","fold_","implies_","isSuccess","not","or_","success","And","Not","Or","Value","left","right","self","f","fold_1","l","r","and_1","or_1","v","not_1","map_","flatMap_1","a","success_1","failure","failures","tsplus_module_4","tsplus_module_2","tsplus_module_3","tsplus_module_1","cases","tsplus_module_5","_tag","value","tsplus_module_6","foldEval_1","result","iff_","implies_1","isFailure"],"sourceRoot":"","sources":["../../../_src/data/FreeBooleanAlgebra/api.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"api.mjs","mappings":";;;;;;;aAMgBA,GAAG;aASHC,OAAO;aAgEPC,QAAQ;aAyBRC,IAAI;aAuBJC,OAAO;aAgBPC,SAAS;aAYTC,GAAG;aAQHC,EAAE;aASFC,OAAO;AA5KvB,SAASC,GAAG,EAA6CC,GAAG,EAAEC,EAAE,EAAEC,KAAK,QAAQ,kBAAiB;AAEhG;;;;AAIA,eAAuBC,KAA4B;EACjD,OAAQC,IAA2B,IAA2B;IAC5D,OAAO,IAAIL,GAAG,CAACK,IAAI,EAAED,KAAK,CAAC;EAC7B,CAAC;AACH;AAEA;;;AAGA,mBAA8BE,CAAkC;EAC9D,OAAQC,IAA2B,IAA2B;IAC5D,OAAOC,OAAU;MACfL,KAAK,EAAEG,CAAC;MACRN,GAAG,EAAE,CAACS,CAAC,EAAEC,CAAC,KAAIC,MAAMD,CAAC,EAAND,CAAC,CAAK;MACrBP,EAAE,EAAE,CAACO,CAAC,EAAEC,CAAC,KAAIE,KAAMF,CAAC,EAAND,CAAC,CAAK;MACpBR,GAAG,EAAGY,CAAC,IAAIC,MAACD,CAAC;KACd,EALMN,IAAI,CAKT;EACJ,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUQ,GAAG,CAAOT,CAAc;EACtC,OAAQC,IAA2B,IAA2B;IAC5D,OAAOS,UAAcC,CAAC,IAAKC,UAA2BZ,CAAC,CAACW,CAAC,CAAC,CAAC,EAApDV,IAAI,CAAiD;EAC9D,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUY,OAAO,CAAIF,CAAI;EAC7B,aAAOC,UAA2BD,CAAC,CAAC;AACtC;AAEA;;;AAGA,OAAM,SAAUG,QAAQ,CAAIb,IAA2B;EACrD,OAAOc,4CA2Bc,MAAMC,yBAAS,EA3B7Bd,OAC0D;IAC7DL,KAAK,EAAGc,CAAC,IAAKM,sBAAaL,UAA2BD,CAAC,CAAC,CAAC;IACzDjB,GAAG,EAAE,CAACS,CAAC,EAAEC,CAAC,KAAI;MACZ;MACA;MACA,OAAOc,yBAAC,CAAU,GACdA,yBAAC,CAAU,GACTD,4BAAwBb,CAAC,CAACN,KAAK,EAAlBK,CAAC,CAACL,KAAK,EAAY,GAChCM,CAAC,GACHc,yBAAC,CAAU,GACXf,CAAC,GACDc,2BAAsBb,CAAC,CAACL,IAAI,EAAhBI,CAAC,CAACJ,IAAI,EAAW;IACnC,CAAC;IACDH,EAAE,EAAE,CAACO,CAAC,EAAEC,CAAC,KAAI;MACX;MACA;MACA,OAAOc,yBAAC,CAAU,GACdA,yBAAC,CAAU,GACTD,2BAAwBb,CAAC,CAACN,KAAK,EAAlBK,CAAC,CAACL,KAAK,EAAY,GAChCK,CAAC,GACHe,yBAAC,CAAU,GACXd,CAAC,GACDa,0BAAsBb,CAAC,CAACL,IAAI,EAAhBI,CAAC,CAACJ,IAAI,EAAW;IACnC,CAAC;IACDJ,GAAG,EAAGY,CAAC,IAAIW,qBAACX,CAAC;GACd,EA1BIN,IAAI,CA0BP,CACiC;AACvC;AAEA;;;AAGA,oBAA+BkB,KAK9B;EACC,OAAQlB,IAA2B,IAAa;IAC9C,OAAOmB,sBAAW,MAAK;MACrB,QAAQnB,IAAI,CAACoB,IAAI;QACf;UACE,OAAOD,oBAASD,KAAK,CAACtB,KAAK,CAACI,IAAI,CAACqB,KAAK,CAAC,CAAC;QAC1C;UACE,OAAOC,wBAAkCC,WAAoBL,KAAK,EAAzBlB,IAAI,CAACH,KAAK,CAAgB,EAAEqB,KAAK,CAACzB,GAAG,EAAvE8B,WAAmBL,KAAK,EAAxBlB,IAAI,CAACF,IAAI,CAAgB,CAA+C;QACjF;UACE,OAAOwB,wBAAkCC,WAAoBL,KAAK,EAAzBlB,IAAI,CAACH,KAAK,CAAgB,EAAEqB,KAAK,CAACvB,EAAE,EAAtE4B,WAAmBL,KAAK,EAAxBlB,IAAI,CAACF,IAAI,CAAgB,CAA8C;QAChF;UACE,OAAOwB,oBAAgCJ,KAAK,CAACxB,GAAG,EAAzC6B,WAAqBL,KAAK,EAA1BlB,IAAI,CAACwB,MAAM,CAAgB,CAAe;MAAC;IAExD,CAAC,CAAC;EACJ,CAAC;AACH;AAEA;;;AAGA,gBAA2BN,KAK1B;EACC,OAAQlB,IAA2B,IAAO;IACxC,2BAAOuB,WAAcL,KAAK,EAAnBlB,IAAI,CAAgB;EAC7B,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUyB,GAAG,CAAI5B,KAA4B;EACjD,OAAQC,IAA2B,IAA2B;IAC5D,aAA8B4B,UAAc5B,IAAI,EAAlBD,KAAK,CAAc,EAA1C6B,UAAa7B,KAAK,EAAlBC,IAAI,CAAe;EAC5B,CAAC;AACH;AAEA;;;AAGA,mBAA2BD,KAA4B;EACrD,OAAQC,IAA2B,IAA2B;IAC5D,YAAsBD,KAAK,QAApBC,IAAI;EACb,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAU6B,SAAS,CAAI3B,IAA2B;EACtD,OAAO,aAACA,IAAI,CAAU;AACxB;AAEA;;;AAGA,qBAA6BA,IAA2B;EACtD,OAAOC,OAAU;IACfL,KAAK,EAAE,MAAe,IAAI;IAC1BH,GAAG,EAAE,CAACS,CAAC,EAAEC,CAAC,KAAKD,CAAC,IAAIC,CAAC;IACrBR,EAAE,EAAE,CAACO,CAAC,EAAEC,CAAC,KAAKD,CAAC,IAAIC,CAAC;IACpBT,GAAG,EAAGY,CAAC,IAAK,CAACA;GACd,EALMN,IAAI,CAKT;AACJ;AAEA;;;AAGA,eAAuBA,IAA2B;EAChD,OAAO,IAAIN,GAAG,CAACM,IAAI,CAAC;AACtB;AAEA;;;;AAIA,cAAsBH,KAA4B;EAChD,OAAQC,IAA2B,IAA2B;IAC5D,OAAO,IAAIH,EAAE,CAACG,IAAI,EAAED,KAAK,CAAC;EAC5B,CAAC;AACH;AAEA;;;AAGA,mBAA2Ba,CAAI;EAC7B,OAAO,IAAId,KAAK,CAACc,CAAC,CAAC;AACrB","names":["and","flatMap","foldEval","fold","implies","isSuccess","not","or","success","And","Not","Or","Value","right","left","f","self","fold_1","l","r","and_1","or_1","v","not_1","map","flatMap_1","a","success_1","failure","failures","tsplus_module_4","tsplus_module_1","tsplus_module_2","tsplus_module_3","cases","tsplus_module_5","_tag","value","tsplus_module_6","foldEval_1","result","iff","implies_1","isFailure"],"sourceRoot":"","sources":["../../../_src/data/FreeBooleanAlgebra/api.ts"],"sourcesContent":[null]}
@@ -1,40 +1,32 @@
1
1
  export class Value {
2
2
  constructor(value) {
3
3
  this.value = value;
4
- this._tag = "Value"
5
- /* FreeBooleanAlgebraTag.Value */
6
- ;
4
+ this._tag = "Value" /* FreeBooleanAlgebraTag.Value */;
7
5
  }
8
-
9
6
  }
7
+
10
8
  export class And {
11
9
  constructor(left, right) {
12
10
  this.left = left;
13
11
  this.right = right;
14
- this._tag = "And"
15
- /* FreeBooleanAlgebraTag.And */
16
- ;
12
+ this._tag = "And" /* FreeBooleanAlgebraTag.And */;
17
13
  }
18
-
19
14
  }
15
+
20
16
  export class Or {
21
17
  constructor(left, right) {
22
18
  this.left = left;
23
19
  this.right = right;
24
- this._tag = "Or"
25
- /* FreeBooleanAlgebraTag.Or */
26
- ;
20
+ this._tag = "Or" /* FreeBooleanAlgebraTag.Or */;
27
21
  }
28
-
29
22
  }
23
+
30
24
  export class Not {
31
25
  constructor(result) {
32
26
  this.result = result;
33
- this._tag = "Not"
34
- /* FreeBooleanAlgebraTag.Not */
35
- ;
27
+ this._tag = "Not" /* FreeBooleanAlgebraTag.Not */;
36
28
  }
37
-
38
29
  }
30
+
39
31
  export const FreeBooleanAlgebra = {};
40
32
  //# sourceMappingURL=definition.mjs.map
@@ -1 +1 @@
1
- {"version":3,"file":"definition.mjs","mappings":"AAOA,OAAM,MAAOA,KAAP,CAAY;EAEhBC,YAAqBC,KAArB,EAA6B;IAAR;IADZ,YAAI;IAAA;IAAJ;EACwB;;AAFjB;AAKlB,OAAM,MAAOC,GAAP,CAAU;EAEdF,YAAqBG,IAArB,EAA2DC,KAA3D,EAAuF;IAAlE;IAAsC;IADlD,YAAI;IAAA;IAAJ;EACkF;;AAF7E;AAKhB,OAAM,MAAOC,EAAP,CAAS;EAEbL,YAAqBG,IAArB,EAA2DC,KAA3D,EAAuF;IAAlE;IAAsC;IADlD,YAAI;IAAA;IAAJ;EACkF;;AAF9E;AAKf,OAAM,MAAOE,GAAP,CAAU;EAEdN,YAAqBO,MAArB,EAAkD;IAA7B;IADZ,YAAI;IAAA;IAAJ;EAC6C;;AAFxC;AAehB,OAAO,MAAMC,kBAAkB,GAA0B,EAAlD","names":["Value","constructor","value","And","left","right","Or","Not","result","FreeBooleanAlgebra"],"sourceRoot":"","sources":["../../../_src/data/FreeBooleanAlgebra/definition.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"definition.mjs","mappings":"AAOA,OAAM,MAAOA,KAAK;EAEhBC,YAAqBC,KAAQ;IAAR,UAAK,GAALA,KAAK;IADjB,SAAI;EACmB;;;AAGlC,OAAM,MAAOC,GAAG;EAEdF,YAAqBG,IAA2B,EAAWC,KAA4B;IAAlE,SAAI,GAAJD,IAAI;IAAkC,UAAK,GAALC,KAAK;IADvD,SAAI;EAC6E;;;AAG5F,OAAM,MAAOC,EAAE;EAEbL,YAAqBG,IAA2B,EAAWC,KAA4B;IAAlE,SAAI,GAAJD,IAAI;IAAkC,UAAK,GAALC,KAAK;IADvD,SAAI;EAC6E;;;AAG5F,OAAM,MAAOE,GAAG;EAEdN,YAAqBO,MAA6B;IAA7B,WAAM,GAANA,MAAM;IADlB,SAAI;EACwC;;;AAavD,OAAO,MAAMC,kBAAkB,GAA0B,EAAE","names":["Value","constructor","value","And","left","right","Or","Not","result","FreeBooleanAlgebra"],"sourceRoot":"","sources":["../../../_src/data/FreeBooleanAlgebra/definition.ts"],"sourcesContent":[null]}
@@ -1 +1 @@
1
- {"version":3,"file":"FreeBooleanAlgebra.mjs","mappings":"AAAA;AACA,cAAc,8BAAd;AACA,cAAc,qCAAd","names":[],"sourceRoot":"","sources":["../../_src/data/FreeBooleanAlgebra.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"FreeBooleanAlgebra.mjs","mappings":"AAAA;AACA,cAAc,8BAA6B;AAC3C,cAAc,qCAAoC","names":[],"sourceRoot":"","sources":["../../_src/data/FreeBooleanAlgebra.ts"],"sourcesContent":[null]}
@@ -4,6 +4,5 @@ export class GenFailureDetails {
4
4
  this.shrunkenInput = shrunkenInput;
5
5
  this.iterations = iterations;
6
6
  }
7
-
8
7
  }
9
8
  //# sourceMappingURL=GenFailureDetails.mjs.map
@@ -1 +1 @@
1
- {"version":3,"file":"GenFailureDetails.mjs","mappings":"AAAA,OAAM,MAAOA,iBAAP,CAAwB;EAC5BC,YAAqBC,YAArB,EAA+CC,aAA/C,EAA0EC,UAA1E,EAA4F;IAAvE;IAA0B;IAA2B;EAAsB;;AADpE","names":["GenFailureDetails","constructor","initialInput","shrunkenInput","iterations"],"sourceRoot":"","sources":["../../_src/data/GenFailureDetails.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"GenFailureDetails.mjs","mappings":"AAAA,OAAM,MAAOA,iBAAiB;EAC5BC,YAAqBC,YAAe,EAAWC,aAAgB,EAAWC,UAAkB;IAAvE,iBAAY,GAAZF,YAAY;IAAc,kBAAa,GAAbC,aAAa;IAAc,eAAU,GAAVC,UAAU;EAAW","names":["GenFailureDetails","constructor","initialInput","shrunkenInput","iterations"],"sourceRoot":"","sources":["../../_src/data/GenFailureDetails.ts"],"sourcesContent":[null]}
@@ -5,60 +5,51 @@ import { Line } from "./Line.mjs";
5
5
  * @tsplus type fncts.test.data.Fragment
6
6
  * @tsplus companion fncts.test.data.FragmentOps
7
7
  */
8
-
9
8
  export class Fragment {
10
9
  constructor(text, style = tsplus_module_1.Default) {
11
10
  this.text = text;
12
11
  this.style = style;
13
12
  }
14
-
15
13
  }
16
14
  /**
17
15
  * @tsplus static fncts.test.data.FragmentOps __call
18
16
  */
19
-
20
17
  export function makeFragment(text, style = tsplus_module_1.Default) {
21
18
  return new Fragment(text, style);
22
19
  }
23
20
  /**
24
21
  * @tsplus operator fncts.test.data.Fragment +
25
22
  */
26
-
27
23
  export function appendTo(line, self) {
28
- return new Line(tsplus_module_2.append_(line.fragments, self), line.offset);
24
+ return new Line(tsplus_module_2.append(self)(line.fragments), line.offset);
29
25
  }
30
26
  /**
31
27
  * @tsplus operator fncts.test.data.Fragment +
32
28
  */
33
-
34
29
  export function prependTo(self, line) {
35
- return new Line(tsplus_module_2.prepend_(line.fragments, self), line.offset);
30
+ return new Line(tsplus_module_2.prepend(self)(line.fragments), line.offset);
36
31
  }
37
32
  /**
38
33
  * @tsplus operator fncts.test.data.Fragment +
39
34
  */
40
-
41
35
  export function append(self, that) {
42
36
  return new Line(tsplus_module_2.vector(self, that));
43
37
  }
44
38
  /**
45
39
  * @tsplus getter fncts.test.data.Fragment toLine
46
40
  */
47
-
48
41
  export function toLine(self) {
49
42
  return new Line(tsplus_module_2.vector(self));
50
43
  }
51
44
  /**
52
45
  * @tsplus getter fncts.test.data.Fragment bold
53
46
  */
54
-
55
47
  export function bold(self) {
56
48
  return new Fragment(self.text, tsplus_module_1.Bold(self));
57
49
  }
58
50
  /**
59
51
  * @tsplus getter fncts.test.data.Fragment underlined
60
52
  */
61
-
62
53
  export function underlined(self) {
63
54
  return new Fragment(self.text, tsplus_module_1.Underlined(self));
64
55
  }