@fncts/test 0.0.50 → 0.0.52
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.
- package/LICENSE +26 -0
- package/_cjs/Fragment.cjs +424 -0
- package/_cjs/Fragment.cjs.map +1 -0
- package/_cjs/api.cjs +97 -83
- package/_cjs/api.cjs.map +1 -1
- package/_cjs/chunk.cjs +28 -0
- package/_cjs/control/AbstractRunnableSpec.cjs +83 -86
- package/_cjs/control/AbstractRunnableSpec.cjs.map +1 -1
- package/_cjs/control/Annotations/api.cjs +25 -24
- package/_cjs/control/Annotations/api.cjs.map +1 -1
- package/_cjs/control/Annotations/definition.cjs +20 -23
- package/_cjs/control/Annotations/definition.cjs.map +1 -1
- package/_cjs/control/Annotations/live.cjs +50 -39
- package/_cjs/control/Annotations/live.cjs.map +1 -1
- package/_cjs/control/Annotations.cjs +13 -39
- package/_cjs/control/Assertion/api.cjs +170 -156
- package/_cjs/control/Assertion/api.cjs.map +1 -1
- package/_cjs/control/Assertion/definition.cjs +21 -19
- package/_cjs/control/Assertion/definition.cjs.map +1 -1
- package/_cjs/control/Assertion.cjs +39 -28
- package/_cjs/control/AssertionIO/api.cjs +33 -31
- package/_cjs/control/AssertionIO/api.cjs.map +1 -1
- package/_cjs/control/AssertionIO/definition.cjs +27 -27
- package/_cjs/control/AssertionIO/definition.cjs.map +1 -1
- package/_cjs/control/AssertionIO.cjs +9 -28
- package/_cjs/control/DefaultRunnableSpec.cjs +14 -18
- package/_cjs/control/DefaultRunnableSpec.cjs.map +1 -1
- package/_cjs/control/DefaultTestReporter/definition.cjs +5 -6
- package/_cjs/control/DefaultTestReporter/definition.cjs.map +1 -1
- package/_cjs/control/DefaultTestReporter/render.cjs +184 -176
- package/_cjs/control/DefaultTestReporter/render.cjs.map +1 -1
- package/_cjs/control/DefaultTestReporter.cjs +10 -28
- package/_cjs/control/FreeBooleanAlgebraIO/api.cjs +47 -46
- package/_cjs/control/FreeBooleanAlgebraIO/api.cjs.map +1 -1
- package/_cjs/control/FreeBooleanAlgebraIO/definition.cjs +5 -6
- package/_cjs/control/FreeBooleanAlgebraIO/definition.cjs.map +1 -1
- package/_cjs/control/FreeBooleanAlgebraIO.cjs +12 -28
- package/_cjs/control/Gen/api.cjs +653 -614
- package/_cjs/control/Gen/api.cjs.map +1 -1
- package/_cjs/control/Gen/constraints.cjs +0 -2
- package/_cjs/control/Gen/definition.cjs +13 -14
- package/_cjs/control/Gen/definition.cjs.map +1 -1
- package/_cjs/control/Gen.cjs +84 -39
- package/_cjs/control/Live/definition.cjs +43 -38
- package/_cjs/control/Live/definition.cjs.map +1 -1
- package/_cjs/control/Live.cjs +6 -17
- package/_cjs/control/Sample/api.cjs +143 -145
- package/_cjs/control/Sample/api.cjs.map +1 -1
- package/_cjs/control/Sample/definition.cjs +15 -15
- package/_cjs/control/Sample/definition.cjs.map +1 -1
- package/_cjs/control/Sample.cjs +18 -28
- package/_cjs/control/Sized/api.cjs +17 -16
- package/_cjs/control/Sized/api.cjs.map +1 -1
- package/_cjs/control/Sized/definition.cjs +15 -15
- package/_cjs/control/Sized/definition.cjs.map +1 -1
- package/_cjs/control/Sized/live.cjs +25 -24
- package/_cjs/control/Sized/live.cjs.map +1 -1
- package/_cjs/control/Sized.cjs +9 -39
- package/_cjs/control/Spec/api.cjs +288 -385
- package/_cjs/control/Spec/api.cjs.map +1 -1
- package/_cjs/control/Spec/definition.cjs +86 -72
- package/_cjs/control/Spec/definition.cjs.map +1 -1
- package/_cjs/control/Spec.cjs +38 -28
- package/_cjs/control/SummaryBuilder.cjs +48 -56
- package/_cjs/control/SummaryBuilder.cjs.map +1 -1
- package/_cjs/control/Test.cjs +21 -17
- package/_cjs/control/Test.cjs.map +1 -1
- package/_cjs/control/TestAnnotationRenderer/api.cjs +63 -57
- package/_cjs/control/TestAnnotationRenderer/api.cjs.map +1 -1
- package/_cjs/control/TestAnnotationRenderer/definition.cjs +36 -31
- package/_cjs/control/TestAnnotationRenderer/definition.cjs.map +1 -1
- package/_cjs/control/TestAnnotationRenderer.cjs +14 -28
- package/_cjs/control/TestAspect/api.cjs +81 -80
- package/_cjs/control/TestAspect/api.cjs.map +1 -1
- package/_cjs/control/TestAspect/definition.cjs +0 -2
- package/_cjs/control/TestAspect.cjs +14 -28
- package/_cjs/control/TestClock/api.cjs +44 -32
- package/_cjs/control/TestClock/api.cjs.map +1 -1
- package/_cjs/control/TestClock/definition.cjs +175 -156
- package/_cjs/control/TestClock/definition.cjs.map +1 -1
- package/_cjs/control/TestClock.cjs +13 -28
- package/_cjs/control/TestConsole/api.cjs +45 -34
- package/_cjs/control/TestConsole/api.cjs.map +1 -1
- package/_cjs/control/TestConsole/definition.cjs +76 -68
- package/_cjs/control/TestConsole/definition.cjs.map +1 -1
- package/_cjs/control/TestConsole.cjs +8 -28
- package/_cjs/control/TestEnvironment.cjs +31 -23
- package/_cjs/control/TestEnvironment.cjs.map +1 -1
- package/_cjs/control/TestLogger.cjs +36 -31
- package/_cjs/control/TestLogger.cjs.map +1 -1
- package/_cjs/control/TestRandom/api.cjs +67 -58
- package/_cjs/control/TestRandom/api.cjs.map +1 -1
- package/_cjs/control/TestRandom/definition.cjs +332 -343
- package/_cjs/control/TestRandom/definition.cjs.map +1 -1
- package/_cjs/control/TestRandom.cjs +20 -28
- package/_cjs/control/TestRenderer/ConsoleRenderer.cjs +78 -82
- package/_cjs/control/TestRenderer/ConsoleRenderer.cjs.map +1 -1
- package/_cjs/control/TestRenderer/definition.cjs +0 -2
- package/_cjs/control.cjs +0 -2
- package/_cjs/data/AssertionData.cjs +35 -31
- package/_cjs/data/AssertionData.cjs.map +1 -1
- package/_cjs/data/AssertionResult.cjs +23 -21
- package/_cjs/data/AssertionResult.cjs.map +1 -1
- package/_cjs/data/AssertionValue/api.cjs +39 -40
- package/_cjs/data/AssertionValue/api.cjs.map +1 -1
- package/_cjs/data/AssertionValue/definition.cjs +27 -24
- package/_cjs/data/AssertionValue/definition.cjs.map +1 -1
- package/_cjs/data/AssertionValue.cjs +10 -28
- package/_cjs/data/ExecutedSpec/api.cjs +71 -90
- package/_cjs/data/ExecutedSpec/api.cjs.map +1 -1
- package/_cjs/data/ExecutedSpec/definition.cjs +39 -35
- package/_cjs/data/ExecutedSpec/definition.cjs.map +1 -1
- package/_cjs/data/ExecutedSpec.cjs +15 -28
- package/_cjs/data/ExecutionResult.cjs +78 -97
- package/_cjs/data/ExecutionResult.cjs.map +1 -1
- package/_cjs/data/FailureDetails.cjs +12 -12
- package/_cjs/data/FailureDetails.cjs.map +1 -1
- package/_cjs/data/FreeBooleanAlgebra/api.cjs +129 -127
- package/_cjs/data/FreeBooleanAlgebra/api.cjs.map +1 -1
- package/_cjs/data/FreeBooleanAlgebra/definition.cjs +40 -35
- package/_cjs/data/FreeBooleanAlgebra/definition.cjs.map +1 -1
- package/_cjs/data/FreeBooleanAlgebra.cjs +22 -28
- package/_cjs/data/GenFailureDetails.cjs +14 -13
- package/_cjs/data/GenFailureDetails.cjs.map +1 -1
- package/_cjs/data/LogLine/Fragment.cjs +10 -71
- package/_cjs/data/LogLine/Line.cjs +13 -110
- package/_cjs/data/LogLine/Message.cjs +13 -114
- package/_cjs/data/LogLine/Style.cjs +56 -65
- package/_cjs/data/LogLine/Style.cjs.map +1 -1
- package/_cjs/data/LogLine/api.cjs +30 -29
- package/_cjs/data/LogLine/api.cjs.map +1 -1
- package/_cjs/data/LogLine.cjs +24 -28
- package/_cjs/data/Render/api.cjs +13 -14
- package/_cjs/data/Render/api.cjs.map +1 -1
- package/_cjs/data/Render/definition.cjs +37 -31
- package/_cjs/data/Render/definition.cjs.map +1 -1
- package/_cjs/data/Render.cjs +8 -28
- package/_cjs/data/RenderParam/api.cjs +18 -22
- package/_cjs/data/RenderParam/api.cjs.map +1 -1
- package/_cjs/data/RenderParam/definition.cjs +20 -19
- package/_cjs/data/RenderParam/definition.cjs.map +1 -1
- package/_cjs/data/RenderParam.cjs +8 -28
- package/_cjs/data/Summary.cjs +19 -15
- package/_cjs/data/Summary.cjs.map +1 -1
- package/_cjs/data/TestAnnotation/api.cjs +55 -40
- package/_cjs/data/TestAnnotation/api.cjs.map +1 -1
- package/_cjs/data/TestAnnotation/definition.cjs +44 -36
- package/_cjs/data/TestAnnotation/definition.cjs.map +1 -1
- package/_cjs/data/TestAnnotation.cjs +19 -28
- package/_cjs/data/TestAnnotationMap.cjs +36 -33
- package/_cjs/data/TestAnnotationMap.cjs.map +1 -1
- package/_cjs/data/TestArgs/definition.cjs +14 -13
- package/_cjs/data/TestArgs/definition.cjs.map +1 -1
- package/_cjs/data/TestArgs.cjs +3 -17
- package/_cjs/data/TestConfig.cjs +46 -44
- package/_cjs/data/TestConfig.cjs.map +1 -1
- package/_cjs/data/TestFailure.cjs +41 -39
- package/_cjs/data/TestFailure.cjs.map +1 -1
- package/_cjs/data/TestSuccess.cjs +26 -27
- package/_cjs/data/TestSuccess.cjs.map +1 -1
- package/_cjs/data/TestTimeoutException.cjs +9 -11
- package/_cjs/data/TestTimeoutException.cjs.map +1 -1
- package/_cjs/data.cjs +0 -2
- package/_cjs/global.cjs +0 -2
- package/_cjs/index.cjs +0 -2
- package/_cjs/util/math.cjs +319 -440
- package/_cjs/util/math.cjs.map +1 -1
- package/_cjs/util.cjs +0 -2
- package/_cjs/vitest.cjs +115 -104
- package/_cjs/vitest.cjs.map +1 -1
- package/_mjs/Fragment.mjs +237 -0
- package/_mjs/Fragment.mjs.map +1 -0
- package/_mjs/api.mjs +67 -64
- package/_mjs/api.mjs.map +1 -1
- package/_mjs/control/AbstractRunnableSpec.mjs +53 -70
- package/_mjs/control/AbstractRunnableSpec.mjs.map +1 -1
- package/_mjs/control/Annotations/api.mjs +21 -17
- package/_mjs/control/Annotations/api.mjs.map +1 -1
- package/_mjs/control/Annotations/definition.mjs +14 -14
- package/_mjs/control/Annotations/definition.mjs.map +1 -1
- package/_mjs/control/Annotations/live.mjs +32 -27
- package/_mjs/control/Annotations/live.mjs.map +1 -1
- package/_mjs/control/Annotations.mjs +4 -5
- package/_mjs/control/Assertion/api.mjs +140 -142
- package/_mjs/control/Assertion/api.mjs.map +1 -1
- package/_mjs/control/Assertion/definition.mjs +19 -12
- package/_mjs/control/Assertion/definition.mjs.map +1 -1
- package/_mjs/control/Assertion.mjs +3 -4
- package/_mjs/control/AssertionIO/api.mjs +26 -22
- package/_mjs/control/AssertionIO/api.mjs.map +1 -1
- package/_mjs/control/AssertionIO/definition.mjs +22 -18
- package/_mjs/control/AssertionIO/definition.mjs.map +1 -1
- package/_mjs/control/AssertionIO.mjs +3 -4
- package/_mjs/control/DefaultRunnableSpec.mjs +9 -8
- package/_mjs/control/DefaultRunnableSpec.mjs.map +1 -1
- package/_mjs/control/DefaultTestReporter/definition.mjs +5 -1
- package/_mjs/control/DefaultTestReporter/definition.mjs.map +1 -1
- package/_mjs/control/DefaultTestReporter/render.mjs +152 -165
- package/_mjs/control/DefaultTestReporter/render.mjs.map +1 -1
- package/_mjs/control/DefaultTestReporter.mjs +3 -4
- package/_mjs/control/FreeBooleanAlgebraIO/api.mjs +43 -39
- package/_mjs/control/FreeBooleanAlgebraIO/api.mjs.map +1 -1
- package/_mjs/control/FreeBooleanAlgebraIO/definition.mjs +5 -1
- package/_mjs/control/FreeBooleanAlgebraIO/definition.mjs.map +1 -1
- package/_mjs/control/FreeBooleanAlgebraIO.mjs +3 -4
- package/_mjs/control/Gen/api.mjs +570 -591
- package/_mjs/control/Gen/api.mjs.map +1 -1
- package/_mjs/control/Gen/constraints.mjs +0 -2
- package/_mjs/control/Gen/definition.mjs +13 -8
- package/_mjs/control/Gen/definition.mjs.map +1 -1
- package/_mjs/control/Gen.mjs +4 -5
- package/_mjs/control/Live/definition.mjs +31 -27
- package/_mjs/control/Live/definition.mjs.map +1 -1
- package/_mjs/control/Live.mjs +2 -3
- package/_mjs/control/Sample/api.mjs +109 -126
- package/_mjs/control/Sample/api.mjs.map +1 -1
- package/_mjs/control/Sample/definition.mjs +15 -9
- package/_mjs/control/Sample/definition.mjs.map +1 -1
- package/_mjs/control/Sample.mjs +3 -4
- package/_mjs/control/Sized/api.mjs +13 -9
- package/_mjs/control/Sized/api.mjs.map +1 -1
- package/_mjs/control/Sized/definition.mjs +11 -7
- package/_mjs/control/Sized/definition.mjs.map +1 -1
- package/_mjs/control/Sized/live.mjs +18 -17
- package/_mjs/control/Sized/live.mjs.map +1 -1
- package/_mjs/control/Sized.mjs +4 -5
- package/_mjs/control/Spec/api.mjs +245 -366
- package/_mjs/control/Spec/api.mjs.map +1 -1
- package/_mjs/control/Spec/definition.mjs +79 -60
- package/_mjs/control/Spec/definition.mjs.map +1 -1
- package/_mjs/control/Spec.mjs +3 -4
- package/_mjs/control/SummaryBuilder.mjs +31 -41
- package/_mjs/control/SummaryBuilder.mjs.map +1 -1
- package/_mjs/control/Test.mjs +13 -9
- package/_mjs/control/Test.mjs.map +1 -1
- package/_mjs/control/TestAnnotationRenderer/api.mjs +53 -55
- package/_mjs/control/TestAnnotationRenderer/api.mjs.map +1 -1
- package/_mjs/control/TestAnnotationRenderer/definition.mjs +25 -19
- package/_mjs/control/TestAnnotationRenderer/definition.mjs.map +1 -1
- package/_mjs/control/TestAnnotationRenderer.mjs +3 -4
- package/_mjs/control/TestAspect/api.mjs +49 -63
- package/_mjs/control/TestAspect/api.mjs.map +1 -1
- package/_mjs/control/TestAspect/definition.mjs +0 -2
- package/_mjs/control/TestAspect.mjs +3 -4
- package/_mjs/control/TestClock/api.mjs +24 -20
- package/_mjs/control/TestClock/api.mjs.map +1 -1
- package/_mjs/control/TestClock/definition.mjs +128 -133
- package/_mjs/control/TestClock/definition.mjs.map +1 -1
- package/_mjs/control/TestClock.mjs +3 -4
- package/_mjs/control/TestConsole/api.mjs +27 -24
- package/_mjs/control/TestConsole/api.mjs.map +1 -1
- package/_mjs/control/TestConsole/definition.mjs +62 -57
- package/_mjs/control/TestConsole/definition.mjs.map +1 -1
- package/_mjs/control/TestConsole.mjs +3 -4
- package/_mjs/control/TestEnvironment.mjs +14 -10
- package/_mjs/control/TestEnvironment.mjs.map +1 -1
- package/_mjs/control/TestLogger.mjs +25 -21
- package/_mjs/control/TestLogger.mjs.map +1 -1
- package/_mjs/control/TestRandom/api.mjs +46 -43
- package/_mjs/control/TestRandom/api.mjs.map +1 -1
- package/_mjs/control/TestRandom/definition.mjs +311 -327
- package/_mjs/control/TestRandom/definition.mjs.map +1 -1
- package/_mjs/control/TestRandom.mjs +3 -4
- package/_mjs/control/TestRenderer/ConsoleRenderer.mjs +66 -72
- package/_mjs/control/TestRenderer/ConsoleRenderer.mjs.map +1 -1
- package/_mjs/control/TestRenderer/definition.mjs +0 -2
- package/_mjs/control.mjs +0 -2
- package/_mjs/data/AssertionData.mjs +27 -22
- package/_mjs/data/AssertionData.mjs.map +1 -1
- package/_mjs/data/AssertionResult.mjs +18 -12
- package/_mjs/data/AssertionResult.mjs.map +1 -1
- package/_mjs/data/AssertionValue/api.mjs +34 -32
- package/_mjs/data/AssertionValue/api.mjs.map +1 -1
- package/_mjs/data/AssertionValue/definition.mjs +24 -17
- package/_mjs/data/AssertionValue/definition.mjs.map +1 -1
- package/_mjs/data/AssertionValue.mjs +3 -4
- package/_mjs/data/ExecutedSpec/api.mjs +64 -80
- package/_mjs/data/ExecutedSpec/api.mjs.map +1 -1
- package/_mjs/data/ExecutedSpec/definition.mjs +38 -28
- package/_mjs/data/ExecutedSpec/definition.mjs.map +1 -1
- package/_mjs/data/ExecutedSpec.mjs +3 -4
- package/_mjs/data/ExecutionResult.mjs +63 -85
- package/_mjs/data/ExecutionResult.mjs.map +1 -1
- package/_mjs/data/FailureDetails.mjs +12 -6
- package/_mjs/data/FailureDetails.mjs.map +1 -1
- package/_mjs/data/FreeBooleanAlgebra/api.mjs +107 -111
- package/_mjs/data/FreeBooleanAlgebra/api.mjs.map +1 -1
- package/_mjs/data/FreeBooleanAlgebra/definition.mjs +37 -27
- package/_mjs/data/FreeBooleanAlgebra/definition.mjs.map +1 -1
- package/_mjs/data/FreeBooleanAlgebra.mjs +3 -4
- package/_mjs/data/GenFailureDetails.mjs +14 -7
- package/_mjs/data/GenFailureDetails.mjs.map +1 -1
- package/_mjs/data/LogLine/Fragment.mjs +2 -56
- package/_mjs/data/LogLine/Line.mjs +2 -92
- package/_mjs/data/LogLine/Message.mjs +2 -98
- package/_mjs/data/LogLine/Style.mjs +56 -66
- package/_mjs/data/LogLine/Style.mjs.map +1 -1
- package/_mjs/data/LogLine/api.mjs +24 -20
- package/_mjs/data/LogLine/api.mjs.map +1 -1
- package/_mjs/data/LogLine.mjs +3 -3
- package/_mjs/data/Render/api.mjs +12 -8
- package/_mjs/data/Render/api.mjs.map +1 -1
- package/_mjs/data/Render/definition.mjs +31 -22
- package/_mjs/data/Render/definition.mjs.map +1 -1
- package/_mjs/data/Render.mjs +3 -4
- package/_mjs/data/RenderParam/api.mjs +15 -15
- package/_mjs/data/RenderParam/api.mjs.map +1 -1
- package/_mjs/data/RenderParam/definition.mjs +19 -13
- package/_mjs/data/RenderParam/definition.mjs.map +1 -1
- package/_mjs/data/RenderParam.mjs +3 -4
- package/_mjs/data/Summary.mjs +19 -9
- package/_mjs/data/Summary.mjs.map +1 -1
- package/_mjs/data/TestAnnotation/api.mjs +34 -30
- package/_mjs/data/TestAnnotation/api.mjs.map +1 -1
- package/_mjs/data/TestAnnotation/definition.mjs +31 -24
- package/_mjs/data/TestAnnotation/definition.mjs.map +1 -1
- package/_mjs/data/TestAnnotation.mjs +3 -4
- package/_mjs/data/TestAnnotationMap.mjs +28 -23
- package/_mjs/data/TestAnnotationMap.mjs.map +1 -1
- package/_mjs/data/TestArgs/definition.mjs +14 -7
- package/_mjs/data/TestArgs/definition.mjs.map +1 -1
- package/_mjs/data/TestArgs.mjs +2 -3
- package/_mjs/data/TestConfig.mjs +34 -33
- package/_mjs/data/TestConfig.mjs.map +1 -1
- package/_mjs/data/TestFailure.mjs +35 -29
- package/_mjs/data/TestFailure.mjs.map +1 -1
- package/_mjs/data/TestSuccess.mjs +22 -19
- package/_mjs/data/TestSuccess.mjs.map +1 -1
- package/_mjs/data/TestTimeoutException.mjs +9 -5
- package/_mjs/data/TestTimeoutException.mjs.map +1 -1
- package/_mjs/data.mjs +0 -2
- package/_mjs/global.mjs +0 -2
- package/_mjs/index.mjs +0 -2
- package/_mjs/util/math.mjs +310 -432
- package/_mjs/util/math.mjs.map +1 -1
- package/_mjs/util.mjs +0 -2
- package/_mjs/vitest.mjs +80 -80
- package/_mjs/vitest.mjs.map +1 -1
- package/_src/control/TestClock/definition.ts +26 -18
- package/_src/control/TestConsole/definition.ts +19 -9
- package/_src/control/TestRandom/definition.ts +39 -17
- package/_src/data/Summary.ts +3 -1
- package/_src/vitest.ts +1 -1
- package/control/TestClock/definition.d.ts +4 -4
- package/control/TestConsole/definition.d.ts +5 -5
- package/control/TestRandom/definition.d.ts +13 -13
- package/data/Summary.d.ts +1 -1
- package/package.json +14 -5
- package/_cjs/control/Annotations.cjs.map +0 -1
- package/_cjs/control/Assertion.cjs.map +0 -1
- package/_cjs/control/AssertionIO.cjs.map +0 -1
- package/_cjs/control/DefaultTestReporter.cjs.map +0 -1
- package/_cjs/control/FreeBooleanAlgebraIO.cjs.map +0 -1
- package/_cjs/control/Gen/constraints.cjs.map +0 -1
- package/_cjs/control/Gen.cjs.map +0 -1
- package/_cjs/control/Live.cjs.map +0 -1
- package/_cjs/control/Sample.cjs.map +0 -1
- package/_cjs/control/Sized.cjs.map +0 -1
- package/_cjs/control/Spec.cjs.map +0 -1
- package/_cjs/control/TestAnnotationRenderer.cjs.map +0 -1
- package/_cjs/control/TestAspect/definition.cjs.map +0 -1
- package/_cjs/control/TestAspect.cjs.map +0 -1
- package/_cjs/control/TestClock.cjs.map +0 -1
- package/_cjs/control/TestConsole.cjs.map +0 -1
- package/_cjs/control/TestRandom.cjs.map +0 -1
- package/_cjs/control/TestRenderer/definition.cjs.map +0 -1
- package/_cjs/control.cjs.map +0 -1
- package/_cjs/data/AssertionValue.cjs.map +0 -1
- package/_cjs/data/ExecutedSpec.cjs.map +0 -1
- package/_cjs/data/FreeBooleanAlgebra.cjs.map +0 -1
- package/_cjs/data/LogLine/Fragment.cjs.map +0 -1
- package/_cjs/data/LogLine/Line.cjs.map +0 -1
- package/_cjs/data/LogLine/Message.cjs.map +0 -1
- package/_cjs/data/LogLine.cjs.map +0 -1
- package/_cjs/data/Render.cjs.map +0 -1
- package/_cjs/data/RenderParam.cjs.map +0 -1
- package/_cjs/data/TestAnnotation.cjs.map +0 -1
- package/_cjs/data/TestArgs.cjs.map +0 -1
- package/_cjs/data.cjs.map +0 -1
- package/_cjs/global.cjs.map +0 -1
- package/_cjs/index.cjs.map +0 -1
- package/_cjs/util.cjs.map +0 -1
- package/_mjs/control/Annotations.mjs.map +0 -1
- package/_mjs/control/Assertion.mjs.map +0 -1
- package/_mjs/control/AssertionIO.mjs.map +0 -1
- package/_mjs/control/DefaultTestReporter.mjs.map +0 -1
- package/_mjs/control/FreeBooleanAlgebraIO.mjs.map +0 -1
- package/_mjs/control/Gen/constraints.mjs.map +0 -1
- package/_mjs/control/Gen.mjs.map +0 -1
- package/_mjs/control/Live.mjs.map +0 -1
- package/_mjs/control/Sample.mjs.map +0 -1
- package/_mjs/control/Sized.mjs.map +0 -1
- package/_mjs/control/Spec.mjs.map +0 -1
- package/_mjs/control/TestAnnotationRenderer.mjs.map +0 -1
- package/_mjs/control/TestAspect/definition.mjs.map +0 -1
- package/_mjs/control/TestAspect.mjs.map +0 -1
- package/_mjs/control/TestClock.mjs.map +0 -1
- package/_mjs/control/TestConsole.mjs.map +0 -1
- package/_mjs/control/TestRandom.mjs.map +0 -1
- package/_mjs/control/TestRenderer/definition.mjs.map +0 -1
- package/_mjs/control.mjs.map +0 -1
- package/_mjs/data/AssertionValue.mjs.map +0 -1
- package/_mjs/data/ExecutedSpec.mjs.map +0 -1
- package/_mjs/data/FreeBooleanAlgebra.mjs.map +0 -1
- package/_mjs/data/LogLine/Fragment.mjs.map +0 -1
- package/_mjs/data/LogLine/Line.mjs.map +0 -1
- package/_mjs/data/LogLine/Message.mjs.map +0 -1
- package/_mjs/data/LogLine.mjs.map +0 -1
- package/_mjs/data/Render.mjs.map +0 -1
- package/_mjs/data/RenderParam.mjs.map +0 -1
- package/_mjs/data/TestAnnotation.mjs.map +0 -1
- package/_mjs/data/TestArgs.mjs.map +0 -1
- package/_mjs/data.mjs.map +0 -1
- package/_mjs/global.mjs.map +0 -1
- package/_mjs/index.mjs.map +0 -1
- package/_mjs/util.mjs.map +0 -1
|
@@ -1,155 +1,151 @@
|
|
|
1
|
-
|
|
1
|
+
import { And, Not, Or, Value } from "./definition.mjs";
|
|
2
2
|
import * as tsplus_module_1 from "@fncts/base/data/Maybe/constructors";
|
|
3
|
+
import * as tsplus_module_4 from "@fncts/base/data/Either/destructors";
|
|
3
4
|
import * as tsplus_module_2 from "@fncts/base/data/Either/constructors";
|
|
4
5
|
import * as tsplus_module_3 from "@fncts/base/data/Either/api";
|
|
5
|
-
import * as tsplus_module_4 from "@fncts/base/data/Either/destructors";
|
|
6
6
|
import * as tsplus_module_5 from "@fncts/base/control/Eval/constructors";
|
|
7
7
|
import * as tsplus_module_6 from "@fncts/base/control/Eval/api";
|
|
8
8
|
import * as tsplus_module_7 from "@fncts/base/control/Eval/run";
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
9
|
+
//#region build/esm/data/FreeBooleanAlgebra/api.js
|
|
10
|
+
const fileName_1 = "(@fncts/test) src/data/FreeBooleanAlgebra/api.ts";
|
|
11
|
+
const and = and_1;
|
|
12
|
+
const flatMap = flatMap_1;
|
|
13
|
+
const foldEval = foldEval_1;
|
|
14
|
+
const fold = fold_1;
|
|
15
|
+
const implies = implies_1;
|
|
16
|
+
const isSuccess = isSuccess_1;
|
|
17
|
+
const not = not_1;
|
|
18
|
+
const or = or_1;
|
|
19
|
+
const success = success_1;
|
|
19
20
|
/**
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
21
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra and
|
|
22
|
+
* @tsplus pipeable-operator fncts.test.FreeBooleanAlgebra &&
|
|
23
|
+
*/
|
|
23
24
|
function and_1(right) {
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
25
|
+
return (left) => {
|
|
26
|
+
return new And(left, right);
|
|
27
|
+
};
|
|
27
28
|
}
|
|
28
29
|
/**
|
|
29
|
-
|
|
30
|
-
|
|
30
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra flatMap
|
|
31
|
+
*/
|
|
31
32
|
function flatMap_1(f) {
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
33
|
+
return (self) => {
|
|
34
|
+
return fold_1({
|
|
35
|
+
Value: f,
|
|
36
|
+
And: (l, r) => and_1(r)(l),
|
|
37
|
+
Or: (l, r) => or_1(r)(l),
|
|
38
|
+
Not: (v) => not_1(v)
|
|
39
|
+
})(self);
|
|
40
|
+
};
|
|
40
41
|
}
|
|
41
42
|
/**
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
|
|
43
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra map
|
|
44
|
+
*/
|
|
45
|
+
function map(f) {
|
|
46
|
+
return (self) => {
|
|
47
|
+
return flatMap_1((a) => success_1(f(a)))(self);
|
|
48
|
+
};
|
|
48
49
|
}
|
|
49
50
|
/**
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
51
|
+
* @tsplus static fncts.test.FreeBooleanAlgebraOps failure
|
|
52
|
+
*/
|
|
53
|
+
function failure(a) {
|
|
54
|
+
return not_1(success_1(a));
|
|
54
55
|
}
|
|
55
56
|
/**
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(or_1(r.right)(l.right), fileName_1 + ":66:27") : l : tsplus_module_3.isRight(r) ? r : tsplus_module_2.left(or_1(r.left)(l.left), fileName_1 + ":70:26");
|
|
70
|
-
},
|
|
71
|
-
Not: v => tsplus_module_3.swap(v)
|
|
72
|
-
})(self));
|
|
57
|
+
* @tsplus getter fncts.test.FreeBooleanAlgebra failures
|
|
58
|
+
*/
|
|
59
|
+
function failures(self) {
|
|
60
|
+
return tsplus_module_4.match(tsplus_module_1.just, () => tsplus_module_1.nothing(fileName_1 + ":74:37"))(fold_1({
|
|
61
|
+
Value: (a) => tsplus_module_2.right(success_1(a), fileName_1 + ":49:33"),
|
|
62
|
+
And: (l, r) => {
|
|
63
|
+
return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(and_1(r.right)(l.right), fileName_1 + ":55:27") : r : tsplus_module_3.isRight(r) ? l : tsplus_module_2.left(and_1(r.left)(l.left), fileName_1 + ":59:26");
|
|
64
|
+
},
|
|
65
|
+
Or: (l, r) => {
|
|
66
|
+
return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(or_1(r.right)(l.right), fileName_1 + ":66:27") : l : tsplus_module_3.isRight(r) ? r : tsplus_module_2.left(or_1(r.left)(l.left), fileName_1 + ":70:26");
|
|
67
|
+
},
|
|
68
|
+
Not: (v) => tsplus_module_3.swap(v)
|
|
69
|
+
})(self));
|
|
73
70
|
}
|
|
74
71
|
/**
|
|
75
|
-
|
|
76
|
-
|
|
72
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra foldEval
|
|
73
|
+
*/
|
|
77
74
|
function foldEval_1(cases) {
|
|
78
|
-
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
return tsplus_module_6.map(cases.Not)(foldEval_1(cases)(self.result));
|
|
89
|
-
}
|
|
90
|
-
});
|
|
91
|
-
};
|
|
75
|
+
return (self) => {
|
|
76
|
+
return tsplus_module_5.defer(() => {
|
|
77
|
+
switch (self._tag) {
|
|
78
|
+
case "Value": return tsplus_module_5.now(cases.Value(self.value));
|
|
79
|
+
case "And": return tsplus_module_6.zipWith(foldEval_1(cases)(self.right), cases.And)(foldEval_1(cases)(self.left));
|
|
80
|
+
case "Or": return tsplus_module_6.zipWith(foldEval_1(cases)(self.right), cases.Or)(foldEval_1(cases)(self.left));
|
|
81
|
+
case "Not": return tsplus_module_6.map(cases.Not)(foldEval_1(cases)(self.result));
|
|
82
|
+
}
|
|
83
|
+
});
|
|
84
|
+
};
|
|
92
85
|
}
|
|
93
86
|
/**
|
|
94
|
-
|
|
95
|
-
|
|
87
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra fold
|
|
88
|
+
*/
|
|
96
89
|
function fold_1(cases) {
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
|
|
90
|
+
return (self) => {
|
|
91
|
+
return tsplus_module_7.run(foldEval_1(cases)(self));
|
|
92
|
+
};
|
|
100
93
|
}
|
|
101
94
|
/**
|
|
102
|
-
|
|
103
|
-
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
|
|
95
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra iff
|
|
96
|
+
*/
|
|
97
|
+
function iff(right) {
|
|
98
|
+
return (left) => {
|
|
99
|
+
return and_1(implies_1(left)(right))(implies_1(right)(left));
|
|
100
|
+
};
|
|
108
101
|
}
|
|
109
102
|
/**
|
|
110
|
-
|
|
111
|
-
|
|
103
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra implies
|
|
104
|
+
*/
|
|
112
105
|
function implies_1(right) {
|
|
113
|
-
|
|
114
|
-
|
|
115
|
-
|
|
106
|
+
return (left) => {
|
|
107
|
+
return or_1(right)(not_1(left));
|
|
108
|
+
};
|
|
116
109
|
}
|
|
117
110
|
/**
|
|
118
|
-
|
|
119
|
-
|
|
120
|
-
|
|
121
|
-
|
|
111
|
+
* @tsplus getter fncts.test.FreeBooleanAlgebra isFailure
|
|
112
|
+
*/
|
|
113
|
+
function isFailure(self) {
|
|
114
|
+
return !isSuccess_1(self);
|
|
122
115
|
}
|
|
123
116
|
/**
|
|
124
|
-
|
|
125
|
-
|
|
117
|
+
* @tsplus getter fncts.test.FreeBooleanAlgebra isSuccess
|
|
118
|
+
*/
|
|
126
119
|
function isSuccess_1(self) {
|
|
127
|
-
|
|
128
|
-
|
|
129
|
-
|
|
130
|
-
|
|
131
|
-
|
|
132
|
-
|
|
120
|
+
return fold_1({
|
|
121
|
+
Value: () => true,
|
|
122
|
+
And: (l, r) => l && r,
|
|
123
|
+
Or: (l, r) => l || r,
|
|
124
|
+
Not: (v) => !v
|
|
125
|
+
})(self);
|
|
133
126
|
}
|
|
134
127
|
/**
|
|
135
|
-
|
|
136
|
-
|
|
128
|
+
* @tsplus getter fncts.test.FreeBooleanAlgebra invert
|
|
129
|
+
*/
|
|
137
130
|
function not_1(self) {
|
|
138
|
-
|
|
131
|
+
return new Not(self);
|
|
139
132
|
}
|
|
140
133
|
/**
|
|
141
|
-
|
|
142
|
-
|
|
143
|
-
|
|
134
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra or
|
|
135
|
+
* @tsplus pipeable-operator fncts.test.FreeBooleanAlgebra ||
|
|
136
|
+
*/
|
|
144
137
|
function or_1(right) {
|
|
145
|
-
|
|
146
|
-
|
|
147
|
-
|
|
138
|
+
return (left) => {
|
|
139
|
+
return new Or(left, right);
|
|
140
|
+
};
|
|
148
141
|
}
|
|
149
142
|
/**
|
|
150
|
-
|
|
151
|
-
|
|
143
|
+
* @tsplus static fncts.test.FreeBooleanAlgebraOps success
|
|
144
|
+
*/
|
|
152
145
|
function success_1(a) {
|
|
153
|
-
|
|
146
|
+
return new Value(a);
|
|
154
147
|
}
|
|
148
|
+
//#endregion
|
|
149
|
+
export { and, failure, failures, flatMap, fold, foldEval, iff, implies, isFailure, isSuccess, map, not, or, success };
|
|
150
|
+
|
|
155
151
|
//# sourceMappingURL=api.mjs.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"api.mjs","names":["
|
|
1
|
+
{"version":3,"file":"api.mjs","names":[],"sources":["../../../esm/data/FreeBooleanAlgebra/api.js"],"sourcesContent":["const fileName_1 = \"(@fncts/test) src/data/FreeBooleanAlgebra/api.ts\";\nimport * as tsplus_module_1 from \"@fncts/base/data/Maybe/constructors\";\nimport * as tsplus_module_2 from \"@fncts/base/data/Either/constructors\";\nimport * as tsplus_module_3 from \"@fncts/base/data/Either/api\";\nimport * as tsplus_module_4 from \"@fncts/base/data/Either/destructors\";\nimport * as tsplus_module_5 from \"@fncts/base/control/Eval/constructors\";\nimport * as tsplus_module_6 from \"@fncts/base/control/Eval/api\";\nimport * as tsplus_module_7 from \"@fncts/base/control/Eval/run\";\nexport const and = and_1;\nexport const flatMap = flatMap_1;\nexport const foldEval = foldEval_1;\nexport const fold = fold_1;\nexport const implies = implies_1;\nexport const isSuccess = isSuccess_1;\nexport const not = not_1;\nexport const or = or_1;\nexport const success = success_1;\nimport { And, Not, Or, Value } from \"./definition.js\";\n/**\n * @tsplus pipeable fncts.test.FreeBooleanAlgebra and\n * @tsplus pipeable-operator fncts.test.FreeBooleanAlgebra &&\n */\nfunction and_1(right) {\n return (left) => {\n return new And(left, right);\n };\n}\n/**\n * @tsplus pipeable fncts.test.FreeBooleanAlgebra flatMap\n */\nfunction flatMap_1(f) {\n return (self) => {\n return fold_1({\n Value: f,\n And: (l, r) => and_1(r)(l),\n Or: (l, r) => or_1(r)(l),\n Not: (v) => not_1(v),\n })(self);\n };\n}\n/**\n * @tsplus pipeable fncts.test.FreeBooleanAlgebra map\n */\nexport function map(f) {\n return (self) => {\n return flatMap_1((a) => success_1(f(a)))(self);\n };\n}\n/**\n * @tsplus static fncts.test.FreeBooleanAlgebraOps failure\n */\nexport function failure(a) {\n return not_1(success_1(a));\n}\n/**\n * @tsplus getter fncts.test.FreeBooleanAlgebra failures\n */\nexport function failures(self) {\n return tsplus_module_4.match(tsplus_module_1.just, () => tsplus_module_1.nothing(fileName_1 + \":74:37\"))(fold_1({\n Value: (a) => tsplus_module_2.right(success_1(a), fileName_1 + \":49:33\"),\n And: (l, r) => {\n void 0;\n void 0;\n return tsplus_module_3.isRight(l)\n ? tsplus_module_3.isRight(r)\n ? tsplus_module_2.right(and_1(r.right)(l.right), fileName_1 + \":55:27\")\n : r\n : tsplus_module_3.isRight(r)\n ? l\n : tsplus_module_2.left(and_1(r.left)(l.left), fileName_1 + \":59:26\");\n },\n Or: (l, r) => {\n void 0;\n void 0;\n return tsplus_module_3.isRight(l)\n ? tsplus_module_3.isRight(r)\n ? tsplus_module_2.right(or_1(r.right)(l.right), fileName_1 + \":66:27\")\n : l\n : tsplus_module_3.isRight(r)\n ? r\n : tsplus_module_2.left(or_1(r.left)(l.left), fileName_1 + \":70:26\");\n },\n Not: (v) => tsplus_module_3.swap(v),\n })(self));\n}\n/**\n * @tsplus pipeable fncts.test.FreeBooleanAlgebra foldEval\n */\nfunction foldEval_1(cases) {\n return (self) => {\n return tsplus_module_5.defer(() => {\n switch (self._tag) {\n case \"Value\" /* FreeBooleanAlgebraTag.Value */:\n return tsplus_module_5.now(cases.Value(self.value));\n case \"And\" /* FreeBooleanAlgebraTag.And */:\n return tsplus_module_6.zipWith(foldEval_1(cases)(self.right), cases.And)(foldEval_1(cases)(self.left));\n case \"Or\" /* FreeBooleanAlgebraTag.Or */:\n return tsplus_module_6.zipWith(foldEval_1(cases)(self.right), cases.Or)(foldEval_1(cases)(self.left));\n case \"Not\" /* FreeBooleanAlgebraTag.Not */:\n return tsplus_module_6.map(cases.Not)(foldEval_1(cases)(self.result));\n }\n });\n };\n}\n/**\n * @tsplus pipeable fncts.test.FreeBooleanAlgebra fold\n */\nfunction fold_1(cases) {\n return (self) => {\n return tsplus_module_7.run(foldEval_1(cases)(self));\n };\n}\n/**\n * @tsplus pipeable fncts.test.FreeBooleanAlgebra iff\n */\nexport function iff(right) {\n return (left) => {\n return and_1(implies_1(left)(right))(implies_1(right)(left));\n };\n}\n/**\n * @tsplus pipeable fncts.test.FreeBooleanAlgebra implies\n */\nfunction implies_1(right) {\n return (left) => {\n return or_1(right)(not_1(left));\n };\n}\n/**\n * @tsplus getter fncts.test.FreeBooleanAlgebra isFailure\n */\nexport function isFailure(self) {\n return !isSuccess_1(self);\n}\n/**\n * @tsplus getter fncts.test.FreeBooleanAlgebra isSuccess\n */\nfunction isSuccess_1(self) {\n return fold_1({\n Value: () => true,\n And: (l, r) => l && r,\n Or: (l, r) => l || r,\n Not: (v) => !v,\n })(self);\n}\n/**\n * @tsplus getter fncts.test.FreeBooleanAlgebra invert\n */\nfunction not_1(self) {\n return new Not(self);\n}\n/**\n * @tsplus pipeable fncts.test.FreeBooleanAlgebra or\n * @tsplus pipeable-operator fncts.test.FreeBooleanAlgebra ||\n */\nfunction or_1(right) {\n return (left) => {\n return new Or(left, right);\n };\n}\n/**\n * @tsplus static fncts.test.FreeBooleanAlgebraOps success\n */\nfunction success_1(a) {\n return new Value(a);\n}\n//# sourceMappingURL=api.js.map"],"mappings":";;;;;;;;;AAAA,MAAM,aAAa;AAQnB,MAAa,MAAM;AACnB,MAAa,UAAU;AACvB,MAAa,WAAW;AACxB,MAAa,OAAO;AACpB,MAAa,UAAU;AACvB,MAAa,YAAY;AACzB,MAAa,MAAM;AACnB,MAAa,KAAK;AAClB,MAAa,UAAU;;;;;AAMvB,SAAS,MAAM,OAAO;AAClB,SAAQ,SAAS;AACb,SAAO,IAAI,IAAI,MAAM,MAAM;;;;;;AAMnC,SAAS,UAAU,GAAG;AAClB,SAAQ,SAAS;AACb,SAAO,OAAO;GACV,OAAO;GACP,MAAM,GAAG,MAAM,MAAM,EAAE,CAAC,EAAE;GAC1B,KAAK,GAAG,MAAM,KAAK,EAAE,CAAC,EAAE;GACxB,MAAM,MAAM,MAAM,EAAE;GACvB,CAAC,CAAC,KAAK;;;;;;AAMhB,SAAgB,IAAI,GAAG;AACnB,SAAQ,SAAS;AACb,SAAO,WAAW,MAAM,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK;;;;;;AAMtD,SAAgB,QAAQ,GAAG;AACvB,QAAO,MAAM,UAAU,EAAE,CAAC;;;;;AAK9B,SAAgB,SAAS,MAAM;AAC3B,QAAO,gBAAgB,MAAM,gBAAgB,YAAY,gBAAgB,QAAQ,aAAa,SAAS,CAAC,CAAC,OAAO;EAC5G,QAAQ,MAAM,gBAAgB,MAAM,UAAU,EAAE,EAAE,aAAa,SAAS;EACxE,MAAM,GAAG,MAAM;AAGX,UAAO,gBAAgB,QAAQ,EAAE,GAC3B,gBAAgB,QAAQ,EAAE,GACtB,gBAAgB,MAAM,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,SAAS,GACrE,IACJ,gBAAgB,QAAQ,EAAE,GACtB,IACA,gBAAgB,KAAK,MAAM,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,aAAa,SAAS;;EAEhF,KAAK,GAAG,MAAM;AAGV,UAAO,gBAAgB,QAAQ,EAAE,GAC3B,gBAAgB,QAAQ,EAAE,GACtB,gBAAgB,MAAM,KAAK,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,SAAS,GACpE,IACJ,gBAAgB,QAAQ,EAAE,GACtB,IACA,gBAAgB,KAAK,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,aAAa,SAAS;;EAE/E,MAAM,MAAM,gBAAgB,KAAK,EAAE;EACtC,CAAC,CAAC,KAAK,CAAC;;;;;AAKb,SAAS,WAAW,OAAO;AACvB,SAAQ,SAAS;AACb,SAAO,gBAAgB,YAAY;AAC/B,WAAQ,KAAK,MAAb;IACI,KAAK,QACD,QAAO,gBAAgB,IAAI,MAAM,MAAM,KAAK,MAAM,CAAC;IACvD,KAAK,MACD,QAAO,gBAAgB,QAAQ,WAAW,MAAM,CAAC,KAAK,MAAM,EAAE,MAAM,IAAI,CAAC,WAAW,MAAM,CAAC,KAAK,KAAK,CAAC;IAC1G,KAAK,KACD,QAAO,gBAAgB,QAAQ,WAAW,MAAM,CAAC,KAAK,MAAM,EAAE,MAAM,GAAG,CAAC,WAAW,MAAM,CAAC,KAAK,KAAK,CAAC;IACzG,KAAK,MACD,QAAO,gBAAgB,IAAI,MAAM,IAAI,CAAC,WAAW,MAAM,CAAC,KAAK,OAAO,CAAC;;IAE/E;;;;;;AAMV,SAAS,OAAO,OAAO;AACnB,SAAQ,SAAS;AACb,SAAO,gBAAgB,IAAI,WAAW,MAAM,CAAC,KAAK,CAAC;;;;;;AAM3D,SAAgB,IAAI,OAAO;AACvB,SAAQ,SAAS;AACb,SAAO,MAAM,UAAU,KAAK,CAAC,MAAM,CAAC,CAAC,UAAU,MAAM,CAAC,KAAK,CAAC;;;;;;AAMpE,SAAS,UAAU,OAAO;AACtB,SAAQ,SAAS;AACb,SAAO,KAAK,MAAM,CAAC,MAAM,KAAK,CAAC;;;;;;AAMvC,SAAgB,UAAU,MAAM;AAC5B,QAAO,CAAC,YAAY,KAAK;;;;;AAK7B,SAAS,YAAY,MAAM;AACvB,QAAO,OAAO;EACV,aAAa;EACb,MAAM,GAAG,MAAM,KAAK;EACpB,KAAK,GAAG,MAAM,KAAK;EACnB,MAAM,MAAM,CAAC;EAChB,CAAC,CAAC,KAAK;;;;;AAKZ,SAAS,MAAM,MAAM;AACjB,QAAO,IAAI,IAAI,KAAK;;;;;;AAMxB,SAAS,KAAK,OAAO;AACjB,SAAQ,SAAS;AACb,SAAO,IAAI,GAAG,MAAM,MAAM;;;;;;AAMlC,SAAS,UAAU,GAAG;AAClB,QAAO,IAAI,MAAM,EAAE"}
|
|
@@ -1,28 +1,38 @@
|
|
|
1
|
-
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
}
|
|
27
|
-
|
|
1
|
+
//#region build/esm/data/FreeBooleanAlgebra/definition.js
|
|
2
|
+
var Value = class {
|
|
3
|
+
value;
|
|
4
|
+
_tag = "Value";
|
|
5
|
+
constructor(value) {
|
|
6
|
+
this.value = value;
|
|
7
|
+
}
|
|
8
|
+
};
|
|
9
|
+
var And = class {
|
|
10
|
+
left;
|
|
11
|
+
right;
|
|
12
|
+
_tag = "And";
|
|
13
|
+
constructor(left, right) {
|
|
14
|
+
this.left = left;
|
|
15
|
+
this.right = right;
|
|
16
|
+
}
|
|
17
|
+
};
|
|
18
|
+
var Or = class {
|
|
19
|
+
left;
|
|
20
|
+
right;
|
|
21
|
+
_tag = "Or";
|
|
22
|
+
constructor(left, right) {
|
|
23
|
+
this.left = left;
|
|
24
|
+
this.right = right;
|
|
25
|
+
}
|
|
26
|
+
};
|
|
27
|
+
var Not = class {
|
|
28
|
+
result;
|
|
29
|
+
_tag = "Not";
|
|
30
|
+
constructor(result) {
|
|
31
|
+
this.result = result;
|
|
32
|
+
}
|
|
33
|
+
};
|
|
34
|
+
const FreeBooleanAlgebra = {};
|
|
35
|
+
//#endregion
|
|
36
|
+
export { And, FreeBooleanAlgebra, Not, Or, Value };
|
|
37
|
+
|
|
28
38
|
//# sourceMappingURL=definition.mjs.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"definition.mjs","names":["
|
|
1
|
+
{"version":3,"file":"definition.mjs","names":[],"sources":["../../../esm/data/FreeBooleanAlgebra/definition.js"],"sourcesContent":["export class Value {\n value;\n _tag = \"Value\" /* FreeBooleanAlgebraTag.Value */;\n constructor(value) {\n this.value = value;\n }\n}\nexport class And {\n left;\n right;\n _tag = \"And\" /* FreeBooleanAlgebraTag.And */;\n constructor(left, right) {\n this.left = left;\n this.right = right;\n }\n}\nexport class Or {\n left;\n right;\n _tag = \"Or\" /* FreeBooleanAlgebraTag.Or */;\n constructor(left, right) {\n this.left = left;\n this.right = right;\n }\n}\nexport class Not {\n result;\n _tag = \"Not\" /* FreeBooleanAlgebraTag.Not */;\n constructor(result) {\n this.result = result;\n }\n}\nexport const FreeBooleanAlgebra = {};\n//# sourceMappingURL=definition.js.map"],"mappings":";AAAA,IAAa,QAAb,MAAmB;CACf;CACA,OAAO;CACP,YAAY,OAAO;AACf,OAAK,QAAQ;;;AAGrB,IAAa,MAAb,MAAiB;CACb;CACA;CACA,OAAO;CACP,YAAY,MAAM,OAAO;AACrB,OAAK,OAAO;AACZ,OAAK,QAAQ;;;AAGrB,IAAa,KAAb,MAAgB;CACZ;CACA;CACA,OAAO;CACP,YAAY,MAAM,OAAO;AACrB,OAAK,OAAO;AACZ,OAAK,QAAQ;;;AAGrB,IAAa,MAAb,MAAiB;CACb;CACA,OAAO;CACP,YAAY,QAAQ;AAChB,OAAK,SAAS;;;AAGtB,MAAa,qBAAqB,EAAE"}
|
|
@@ -1,4 +1,3 @@
|
|
|
1
|
-
|
|
2
|
-
|
|
3
|
-
export
|
|
4
|
-
//# sourceMappingURL=FreeBooleanAlgebra.mjs.map
|
|
1
|
+
import { And, FreeBooleanAlgebra, Not, Or, Value } from "./FreeBooleanAlgebra/definition.mjs";
|
|
2
|
+
import { and, failure, failures, flatMap, fold, foldEval, iff, implies, isFailure, isSuccess, map, not, or, success } from "./FreeBooleanAlgebra/api.mjs";
|
|
3
|
+
export { And, FreeBooleanAlgebra, Not, Or, Value, and, failure, failures, flatMap, fold, foldEval, iff, implies, isFailure, isSuccess, map, not, or, success };
|
|
@@ -1,8 +1,15 @@
|
|
|
1
|
-
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
1
|
+
//#region build/esm/data/GenFailureDetails.js
|
|
2
|
+
var GenFailureDetails = class {
|
|
3
|
+
initialInput;
|
|
4
|
+
shrunkenInput;
|
|
5
|
+
iterations;
|
|
6
|
+
constructor(initialInput, shrunkenInput, iterations) {
|
|
7
|
+
this.initialInput = initialInput;
|
|
8
|
+
this.shrunkenInput = shrunkenInput;
|
|
9
|
+
this.iterations = iterations;
|
|
10
|
+
}
|
|
11
|
+
};
|
|
12
|
+
//#endregion
|
|
13
|
+
export { GenFailureDetails };
|
|
14
|
+
|
|
8
15
|
//# sourceMappingURL=GenFailureDetails.mjs.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"GenFailureDetails.mjs","names":[
|
|
1
|
+
{"version":3,"file":"GenFailureDetails.mjs","names":[],"sources":["../../esm/data/GenFailureDetails.js"],"sourcesContent":["export class GenFailureDetails {\n initialInput;\n shrunkenInput;\n iterations;\n constructor(initialInput, shrunkenInput, iterations) {\n this.initialInput = initialInput;\n this.shrunkenInput = shrunkenInput;\n this.iterations = iterations;\n }\n}\n//# sourceMappingURL=GenFailureDetails.js.map"],"mappings":";AAAA,IAAa,oBAAb,MAA+B;CAC3B;CACA;CACA;CACA,YAAY,cAAc,eAAe,YAAY;AACjD,OAAK,eAAe;AACpB,OAAK,gBAAgB;AACrB,OAAK,aAAa"}
|
|
@@ -1,56 +1,2 @@
|
|
|
1
|
-
import
|
|
2
|
-
|
|
3
|
-
import { Line } from "./Line.mjs";
|
|
4
|
-
/**
|
|
5
|
-
* @tsplus type fncts.test.data.Fragment
|
|
6
|
-
* @tsplus companion fncts.test.data.FragmentOps
|
|
7
|
-
*/
|
|
8
|
-
export class Fragment {
|
|
9
|
-
constructor(text, style = tsplus_module_1.Default) {
|
|
10
|
-
this.text = text;
|
|
11
|
-
this.style = style;
|
|
12
|
-
}
|
|
13
|
-
}
|
|
14
|
-
/**
|
|
15
|
-
* @tsplus static fncts.test.data.FragmentOps __call
|
|
16
|
-
*/
|
|
17
|
-
export function makeFragment(text, style = tsplus_module_1.Default) {
|
|
18
|
-
return new Fragment(text, style);
|
|
19
|
-
}
|
|
20
|
-
/**
|
|
21
|
-
* @tsplus operator fncts.test.data.Fragment +
|
|
22
|
-
*/
|
|
23
|
-
export function appendTo(line, self) {
|
|
24
|
-
return new Line(tsplus_module_2.append(self)(line.fragments), line.offset);
|
|
25
|
-
}
|
|
26
|
-
/**
|
|
27
|
-
* @tsplus operator fncts.test.data.Fragment +
|
|
28
|
-
*/
|
|
29
|
-
export function prependTo(self, line) {
|
|
30
|
-
return new Line(tsplus_module_2.prepend(self)(line.fragments), line.offset);
|
|
31
|
-
}
|
|
32
|
-
/**
|
|
33
|
-
* @tsplus operator fncts.test.data.Fragment +
|
|
34
|
-
*/
|
|
35
|
-
export function append(self, that) {
|
|
36
|
-
return new Line(tsplus_module_2.vector(self, that));
|
|
37
|
-
}
|
|
38
|
-
/**
|
|
39
|
-
* @tsplus getter fncts.test.data.Fragment toLine
|
|
40
|
-
*/
|
|
41
|
-
export function toLine(self) {
|
|
42
|
-
return new Line(tsplus_module_2.vector(self));
|
|
43
|
-
}
|
|
44
|
-
/**
|
|
45
|
-
* @tsplus getter fncts.test.data.Fragment bold
|
|
46
|
-
*/
|
|
47
|
-
export function bold(self) {
|
|
48
|
-
return new Fragment(self.text, tsplus_module_1.Bold(self));
|
|
49
|
-
}
|
|
50
|
-
/**
|
|
51
|
-
* @tsplus getter fncts.test.data.Fragment underlined
|
|
52
|
-
*/
|
|
53
|
-
export function underlined(self) {
|
|
54
|
-
return new Fragment(self.text, tsplus_module_1.Underlined(self));
|
|
55
|
-
}
|
|
56
|
-
//# sourceMappingURL=Fragment.mjs.map
|
|
1
|
+
import { a as makeFragment, c as underlined, i as bold, n as append, o as prependTo, r as appendTo, s as toLine, t as Fragment } from "../../Fragment.mjs";
|
|
2
|
+
export { Fragment, append, appendTo, bold, makeFragment, prependTo, toLine, underlined };
|
|
@@ -1,92 +1,2 @@
|
|
|
1
|
-
import
|
|
2
|
-
|
|
3
|
-
import * as tsplus_module_3 from "@fncts/base/collection/immutable/List/constructors";
|
|
4
|
-
import * as tsplus_module_4 from "@fncts/base/collection/immutable/List/definition";
|
|
5
|
-
export const makeLine = makeLine_1;
|
|
6
|
-
export const withOffset = withOffset_1;
|
|
7
|
-
import { Fragment } from "./Fragment.mjs";
|
|
8
|
-
import { Message } from "./Message.mjs";
|
|
9
|
-
/**
|
|
10
|
-
* @tsplus type fncts.test.data.Line
|
|
11
|
-
* @tsplus companion fncts.test.data.LineOps
|
|
12
|
-
*/
|
|
13
|
-
export class Line {
|
|
14
|
-
constructor(fragments = tsplus_module_1.empty(), offset = 0) {
|
|
15
|
-
this.fragments = fragments;
|
|
16
|
-
this.offset = offset;
|
|
17
|
-
}
|
|
18
|
-
}
|
|
19
|
-
/**
|
|
20
|
-
* @tsplus static fncts.test.data.LineOps empty
|
|
21
|
-
*/
|
|
22
|
-
export const empty = /*#__PURE__*/makeLine_1();
|
|
23
|
-
/**
|
|
24
|
-
* @tsplus static fncts.test.data.LineOps fromString
|
|
25
|
-
*/
|
|
26
|
-
export function fromString(text, offset = 0) {
|
|
27
|
-
return withOffset_1(offset)(tsplus_module_2.toLine(tsplus_module_2.makeFragment(text)));
|
|
28
|
-
}
|
|
29
|
-
/**
|
|
30
|
-
* @tsplus static fncts.test.data.LineOps __call
|
|
31
|
-
*/
|
|
32
|
-
function makeLine_1(fragments = tsplus_module_1.empty(), offset = 0) {
|
|
33
|
-
return new Line(fragments, offset);
|
|
34
|
-
}
|
|
35
|
-
/**
|
|
36
|
-
* @tsplus operator fncts.test.data.Line +
|
|
37
|
-
*/
|
|
38
|
-
export function append(self, that) {
|
|
39
|
-
return new Line(tsplus_module_1.concat(that.fragments)(self.fragments), self.offset);
|
|
40
|
-
}
|
|
41
|
-
/**
|
|
42
|
-
* @tsplus operator fncts.test.data.Line |
|
|
43
|
-
*/
|
|
44
|
-
export function concat(self, that) {
|
|
45
|
-
return new Message(tsplus_module_1.vector(self, that));
|
|
46
|
-
}
|
|
47
|
-
/**
|
|
48
|
-
* @tsplus operator fncts.test.data.Line +
|
|
49
|
-
*/
|
|
50
|
-
export function appendTo(message, self) {
|
|
51
|
-
return new Message(tsplus_module_1.append(self)(message.lines));
|
|
52
|
-
}
|
|
53
|
-
/**
|
|
54
|
-
* @tsplus operator fncts.test.data.Line +
|
|
55
|
-
*/
|
|
56
|
-
export function prependTo(self, message) {
|
|
57
|
-
return new Message(tsplus_module_1.prepend(self)(message.lines));
|
|
58
|
-
}
|
|
59
|
-
/**
|
|
60
|
-
* @tsplus pipeable fncts.test.data.Line withOffset
|
|
61
|
-
*/
|
|
62
|
-
function withOffset_1(shift) {
|
|
63
|
-
return self => {
|
|
64
|
-
return new Line(self.fragments, self.offset + shift);
|
|
65
|
-
};
|
|
66
|
-
}
|
|
67
|
-
/**
|
|
68
|
-
* @tsplus getter fncts.test.data.Line toMessage
|
|
69
|
-
*/
|
|
70
|
-
export function toMessage(self) {
|
|
71
|
-
return new Message(tsplus_module_1.vector(self));
|
|
72
|
-
}
|
|
73
|
-
/**
|
|
74
|
-
* @tsplus getter fncts.test.data.Line optimized
|
|
75
|
-
*/
|
|
76
|
-
export function optimized(self) {
|
|
77
|
-
const newFragments = tsplus_module_1.foldRight(tsplus_module_3.empty(), (curr, rest) => {
|
|
78
|
-
if (tsplus_module_4.isNonEmpty(rest)) {
|
|
79
|
-
const next = rest.head;
|
|
80
|
-
const fs = rest.tail;
|
|
81
|
-
if (curr.style === next.style) {
|
|
82
|
-
return tsplus_module_3.cons(tsplus_module_2.makeFragment(curr.text + next.text), fs);
|
|
83
|
-
} else {
|
|
84
|
-
return tsplus_module_3.cons(curr, tsplus_module_3.cons(next, fs));
|
|
85
|
-
}
|
|
86
|
-
} else {
|
|
87
|
-
return tsplus_module_3.cons(curr);
|
|
88
|
-
}
|
|
89
|
-
})(self.fragments);
|
|
90
|
-
return makeLine_1(tsplus_module_1.from(newFragments), self.offset);
|
|
91
|
-
}
|
|
92
|
-
//# sourceMappingURL=Line.mjs.map
|
|
1
|
+
import { _ as prependTo, d as appendTo, f as concat, g as optimized, h as makeLine, l as Line, m as fromString, p as empty, u as append, v as toMessage, y as withOffset } from "../../Fragment.mjs";
|
|
2
|
+
export { Line, append, appendTo, concat, empty, fromString, makeLine, optimized, prependTo, toMessage, withOffset };
|