@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.
- package/_cjs/api.cjs +39 -76
- package/_cjs/api.cjs.map +1 -1
- package/_cjs/control/AbstractRunnableSpec.cjs +1 -12
- package/_cjs/control/AbstractRunnableSpec.cjs.map +1 -1
- package/_cjs/control/Annotations/api.cjs +0 -12
- package/_cjs/control/Annotations/api.cjs.map +1 -1
- package/_cjs/control/Annotations/definition.cjs +0 -6
- package/_cjs/control/Annotations/definition.cjs.map +1 -1
- package/_cjs/control/Annotations/live.cjs +6 -29
- package/_cjs/control/Annotations/live.cjs.map +1 -1
- package/_cjs/control/Annotations.cjs +0 -6
- package/_cjs/control/Annotations.cjs.map +1 -1
- package/_cjs/control/Assertion/api.cjs +50 -100
- package/_cjs/control/Assertion/api.cjs.map +1 -1
- package/_cjs/control/Assertion/definition.cjs +0 -8
- package/_cjs/control/Assertion/definition.cjs.map +1 -1
- package/_cjs/control/Assertion.cjs +0 -4
- package/_cjs/control/Assertion.cjs.map +1 -1
- package/_cjs/control/AssertionIO/api.cjs +20 -26
- package/_cjs/control/AssertionIO/api.cjs.map +1 -1
- package/_cjs/control/AssertionIO/definition.cjs +0 -8
- package/_cjs/control/AssertionIO/definition.cjs.map +1 -1
- package/_cjs/control/AssertionIO.cjs +0 -4
- package/_cjs/control/AssertionIO.cjs.map +1 -1
- package/_cjs/control/DefaultRunnableSpec.cjs +0 -12
- package/_cjs/control/DefaultRunnableSpec.cjs.map +1 -1
- package/_cjs/control/DefaultTestReporter/definition.cjs.map +1 -1
- package/_cjs/control/DefaultTestReporter/render.cjs +54 -123
- package/_cjs/control/DefaultTestReporter/render.cjs.map +1 -1
- package/_cjs/control/DefaultTestReporter.cjs +0 -4
- package/_cjs/control/DefaultTestReporter.cjs.map +1 -1
- package/_cjs/control/FreeBooleanAlgebraIO/api.cjs +20 -36
- package/_cjs/control/FreeBooleanAlgebraIO/api.cjs.map +1 -1
- package/_cjs/control/FreeBooleanAlgebraIO/definition.cjs.map +1 -1
- package/_cjs/control/FreeBooleanAlgebraIO.cjs +0 -4
- package/_cjs/control/FreeBooleanAlgebraIO.cjs.map +1 -1
- package/_cjs/control/Gen/api.cjs +533 -200
- package/_cjs/control/Gen/api.cjs.map +1 -1
- package/_cjs/control/Gen/definition.cjs +0 -3
- package/_cjs/control/Gen/definition.cjs.map +1 -1
- package/_cjs/control/Gen.cjs +0 -97
- package/_cjs/control/Gen.cjs.map +1 -1
- package/_cjs/control/Live/definition.cjs +5 -23
- package/_cjs/control/Live/definition.cjs.map +1 -1
- package/_cjs/control/Live.cjs +0 -2
- package/_cjs/control/Live.cjs.map +1 -1
- package/_cjs/control/RunnableSpec.cjs +8 -28
- package/_cjs/control/RunnableSpec.cjs.map +1 -1
- package/_cjs/control/Sample/api.cjs +66 -107
- package/_cjs/control/Sample/api.cjs.map +1 -1
- package/_cjs/control/Sample/definition.cjs +0 -3
- package/_cjs/control/Sample/definition.cjs.map +1 -1
- package/_cjs/control/Sample.cjs +0 -4
- package/_cjs/control/Sample.cjs.map +1 -1
- package/_cjs/control/Sized/api.cjs +0 -8
- package/_cjs/control/Sized/api.cjs.map +1 -1
- package/_cjs/control/Sized/definition.cjs +0 -6
- package/_cjs/control/Sized/definition.cjs.map +1 -1
- package/_cjs/control/Sized/live.cjs +3 -15
- package/_cjs/control/Sized/live.cjs.map +1 -1
- package/_cjs/control/Sized.cjs +0 -6
- package/_cjs/control/Sized.cjs.map +1 -1
- package/_cjs/control/Spec/api.cjs +322 -367
- package/_cjs/control/Spec/api.cjs.map +1 -1
- package/_cjs/control/Spec/definition.cjs +6 -45
- package/_cjs/control/Spec/definition.cjs.map +1 -1
- package/_cjs/control/Spec.cjs +0 -4
- package/_cjs/control/Spec.cjs.map +1 -1
- package/_cjs/control/SummaryBuilder.cjs +10 -31
- package/_cjs/control/SummaryBuilder.cjs.map +1 -1
- package/_cjs/control/Test.cjs +1 -11
- package/_cjs/control/Test.cjs.map +1 -1
- package/_cjs/control/TestAnnotationRenderer/api.cjs +20 -45
- package/_cjs/control/TestAnnotationRenderer/api.cjs.map +1 -1
- package/_cjs/control/TestAnnotationRenderer/definition.cjs +4 -20
- package/_cjs/control/TestAnnotationRenderer/definition.cjs.map +1 -1
- package/_cjs/control/TestAnnotationRenderer.cjs +0 -4
- package/_cjs/control/TestAnnotationRenderer.cjs.map +1 -1
- package/_cjs/control/TestAspect/api.cjs +14 -55
- package/_cjs/control/TestAspect/api.cjs.map +1 -1
- package/_cjs/control/TestAspect.cjs +0 -4
- package/_cjs/control/TestAspect.cjs.map +1 -1
- package/_cjs/control/TestClock/api.cjs +1 -22
- package/_cjs/control/TestClock/api.cjs.map +1 -1
- package/_cjs/control/TestClock/definition.cjs +50 -110
- package/_cjs/control/TestClock/definition.cjs.map +1 -1
- package/_cjs/control/TestClock.cjs +0 -4
- package/_cjs/control/TestClock.cjs.map +1 -1
- package/_cjs/control/TestConsole/api.cjs +3 -21
- package/_cjs/control/TestConsole/api.cjs.map +1 -1
- package/_cjs/control/TestConsole/definition.cjs +23 -48
- package/_cjs/control/TestConsole/definition.cjs.map +1 -1
- package/_cjs/control/TestConsole.cjs +0 -4
- package/_cjs/control/TestConsole.cjs.map +1 -1
- package/_cjs/control/TestEnvironment.cjs +3 -15
- package/_cjs/control/TestEnvironment.cjs.map +1 -1
- package/_cjs/control/TestExecutor.cjs +3 -17
- package/_cjs/control/TestExecutor.cjs.map +1 -1
- package/_cjs/control/TestLogger.cjs +2 -17
- package/_cjs/control/TestLogger.cjs.map +1 -1
- package/_cjs/control/TestRandom/api.cjs +9 -39
- package/_cjs/control/TestRandom/api.cjs.map +1 -1
- package/_cjs/control/TestRandom/definition.cjs +61 -145
- package/_cjs/control/TestRandom/definition.cjs.map +1 -1
- package/_cjs/control/TestRandom.cjs +0 -4
- package/_cjs/control/TestRandom.cjs.map +1 -1
- package/_cjs/control/TestRenderer/ConsoleRenderer.cjs +11 -36
- package/_cjs/control/TestRenderer/ConsoleRenderer.cjs.map +1 -1
- package/_cjs/control/TestRunner.cjs +2 -19
- package/_cjs/control/TestRunner.cjs.map +1 -1
- package/_cjs/data/AssertionData.cjs +0 -14
- package/_cjs/data/AssertionData.cjs.map +1 -1
- package/_cjs/data/AssertionResult.cjs +0 -8
- package/_cjs/data/AssertionResult.cjs.map +1 -1
- package/_cjs/data/AssertionValue/api.cjs +23 -30
- package/_cjs/data/AssertionValue/api.cjs.map +1 -1
- package/_cjs/data/AssertionValue/definition.cjs +0 -8
- package/_cjs/data/AssertionValue/definition.cjs.map +1 -1
- package/_cjs/data/AssertionValue.cjs +0 -4
- package/_cjs/data/AssertionValue.cjs.map +1 -1
- package/_cjs/data/ExecutedSpec/api.cjs +61 -75
- package/_cjs/data/ExecutedSpec/api.cjs.map +1 -1
- package/_cjs/data/ExecutedSpec/definition.cjs +3 -21
- package/_cjs/data/ExecutedSpec/definition.cjs.map +1 -1
- package/_cjs/data/ExecutedSpec.cjs +0 -4
- package/_cjs/data/ExecutedSpec.cjs.map +1 -1
- package/_cjs/data/ExecutionResult.cjs +42 -67
- package/_cjs/data/ExecutionResult.cjs.map +1 -1
- package/_cjs/data/FailureDetails.cjs +0 -3
- package/_cjs/data/FailureDetails.cjs.map +1 -1
- package/_cjs/data/FreeBooleanAlgebra/api.cjs +82 -115
- package/_cjs/data/FreeBooleanAlgebra/api.cjs.map +1 -1
- package/_cjs/data/FreeBooleanAlgebra/definition.cjs +4 -24
- package/_cjs/data/FreeBooleanAlgebra/definition.cjs.map +1 -1
- package/_cjs/data/FreeBooleanAlgebra.cjs +0 -4
- package/_cjs/data/FreeBooleanAlgebra.cjs.map +1 -1
- package/_cjs/data/GenFailureDetails.cjs +0 -3
- package/_cjs/data/GenFailureDetails.cjs.map +1 -1
- package/_cjs/data/LogLine/Fragment.cjs +2 -24
- package/_cjs/data/LogLine/Fragment.cjs.map +1 -1
- package/_cjs/data/LogLine/Line.cjs +11 -41
- package/_cjs/data/LogLine/Line.cjs.map +1 -1
- package/_cjs/data/LogLine/Message.cjs +32 -58
- package/_cjs/data/LogLine/Message.cjs.map +1 -1
- package/_cjs/data/LogLine/Style.cjs +10 -44
- package/_cjs/data/LogLine/Style.cjs.map +1 -1
- package/_cjs/data/LogLine/api.cjs +0 -15
- package/_cjs/data/LogLine/api.cjs.map +1 -1
- package/_cjs/data/LogLine.cjs +0 -4
- package/_cjs/data/LogLine.cjs.map +1 -1
- package/_cjs/data/Render/api.cjs +0 -4
- package/_cjs/data/Render/api.cjs.map +1 -1
- package/_cjs/data/Render/definition.cjs +3 -17
- package/_cjs/data/Render/definition.cjs.map +1 -1
- package/_cjs/data/Render.cjs +0 -4
- package/_cjs/data/Render.cjs.map +1 -1
- package/_cjs/data/RenderParam/api.cjs +3 -15
- package/_cjs/data/RenderParam/api.cjs.map +1 -1
- package/_cjs/data/RenderParam/definition.cjs +2 -12
- package/_cjs/data/RenderParam/definition.cjs.map +1 -1
- package/_cjs/data/RenderParam.cjs +0 -4
- package/_cjs/data/RenderParam.cjs.map +1 -1
- package/_cjs/data/Summary.cjs +0 -3
- package/_cjs/data/Summary.cjs.map +1 -1
- package/_cjs/data/TestAnnotation/api.cjs +2 -17
- package/_cjs/data/TestAnnotation/api.cjs.map +1 -1
- package/_cjs/data/TestAnnotation/definition.cjs +4 -19
- package/_cjs/data/TestAnnotation/definition.cjs.map +1 -1
- package/_cjs/data/TestAnnotation.cjs +0 -4
- package/_cjs/data/TestAnnotation.cjs.map +1 -1
- package/_cjs/data/TestAnnotationMap.cjs +4 -19
- package/_cjs/data/TestAnnotationMap.cjs.map +1 -1
- package/_cjs/data/TestArgs/definition.cjs +0 -3
- package/_cjs/data/TestArgs/definition.cjs.map +1 -1
- package/_cjs/data/TestArgs.cjs +0 -2
- package/_cjs/data/TestArgs.cjs.map +1 -1
- package/_cjs/data/TestConfig.cjs +0 -17
- package/_cjs/data/TestConfig.cjs.map +1 -1
- package/_cjs/data/TestFailure.cjs +2 -23
- package/_cjs/data/TestFailure.cjs.map +1 -1
- package/_cjs/data/TestSuccess.cjs +2 -16
- package/_cjs/data/TestSuccess.cjs.map +1 -1
- package/_cjs/data/TestTimeoutException.cjs +0 -3
- package/_cjs/data/TestTimeoutException.cjs.map +1 -1
- package/_cjs/demo.cjs +5 -15
- package/_cjs/demo.cjs.map +1 -1
- package/_cjs/util/math.cjs +20 -148
- package/_cjs/util/math.cjs.map +1 -1
- package/_mjs/api.mjs +37 -40
- package/_mjs/api.mjs.map +1 -1
- package/_mjs/control/AbstractRunnableSpec.mjs +1 -7
- package/_mjs/control/AbstractRunnableSpec.mjs.map +1 -1
- package/_mjs/control/Annotations/api.mjs +0 -4
- package/_mjs/control/Annotations/api.mjs.map +1 -1
- package/_mjs/control/Annotations/definition.mjs +0 -2
- package/_mjs/control/Annotations/definition.mjs.map +1 -1
- package/_mjs/control/Annotations/live.mjs +6 -11
- package/_mjs/control/Annotations/live.mjs.map +1 -1
- package/_mjs/control/Annotations.mjs.map +1 -1
- package/_mjs/control/Assertion/api.mjs +43 -46
- package/_mjs/control/Assertion/api.mjs.map +1 -1
- package/_mjs/control/Assertion/definition.mjs +0 -2
- package/_mjs/control/Assertion/definition.mjs.map +1 -1
- package/_mjs/control/Assertion.mjs.map +1 -1
- package/_mjs/control/AssertionIO/api.mjs +17 -14
- package/_mjs/control/AssertionIO/api.mjs.map +1 -1
- package/_mjs/control/AssertionIO/definition.mjs +0 -3
- package/_mjs/control/AssertionIO/definition.mjs.map +1 -1
- package/_mjs/control/AssertionIO.mjs.map +1 -1
- package/_mjs/control/DefaultRunnableSpec.mjs +0 -1
- package/_mjs/control/DefaultRunnableSpec.mjs.map +1 -1
- package/_mjs/control/DefaultTestReporter/definition.mjs.map +1 -1
- package/_mjs/control/DefaultTestReporter/render.mjs +54 -87
- package/_mjs/control/DefaultTestReporter/render.mjs.map +1 -1
- package/_mjs/control/DefaultTestReporter.mjs.map +1 -1
- package/_mjs/control/FreeBooleanAlgebraIO/api.mjs +18 -22
- package/_mjs/control/FreeBooleanAlgebraIO/api.mjs.map +1 -1
- package/_mjs/control/FreeBooleanAlgebraIO/definition.mjs.map +1 -1
- package/_mjs/control/FreeBooleanAlgebraIO.mjs.map +1 -1
- package/_mjs/control/Gen/api.mjs +462 -138
- package/_mjs/control/Gen/api.mjs.map +1 -1
- package/_mjs/control/Gen/definition.mjs +0 -1
- package/_mjs/control/Gen/definition.mjs.map +1 -1
- package/_mjs/control/Gen.mjs +1 -10
- package/_mjs/control/Gen.mjs.map +1 -1
- package/_mjs/control/Live/definition.mjs +5 -10
- package/_mjs/control/Live/definition.mjs.map +1 -1
- package/_mjs/control/Live.mjs.map +1 -1
- package/_mjs/control/RunnableSpec.mjs +8 -11
- package/_mjs/control/RunnableSpec.mjs.map +1 -1
- package/_mjs/control/Sample/api.mjs +57 -73
- package/_mjs/control/Sample/api.mjs.map +1 -1
- package/_mjs/control/Sample/definition.mjs +0 -1
- package/_mjs/control/Sample/definition.mjs.map +1 -1
- package/_mjs/control/Sample.mjs.map +1 -1
- package/_mjs/control/Sized/api.mjs +0 -2
- package/_mjs/control/Sized/api.mjs.map +1 -1
- package/_mjs/control/Sized/definition.mjs +0 -2
- package/_mjs/control/Sized/definition.mjs.map +1 -1
- package/_mjs/control/Sized/live.mjs +3 -6
- package/_mjs/control/Sized/live.mjs.map +1 -1
- package/_mjs/control/Sized.mjs.map +1 -1
- package/_mjs/control/Spec/api.mjs +300 -309
- package/_mjs/control/Spec/api.mjs.map +1 -1
- package/_mjs/control/Spec/definition.mjs +6 -31
- package/_mjs/control/Spec/definition.mjs.map +1 -1
- package/_mjs/control/Spec.mjs.map +1 -1
- package/_mjs/control/SummaryBuilder.mjs +10 -15
- package/_mjs/control/SummaryBuilder.mjs.map +1 -1
- package/_mjs/control/Test.mjs +1 -2
- package/_mjs/control/Test.mjs.map +1 -1
- package/_mjs/control/TestAnnotationRenderer/api.mjs +20 -34
- package/_mjs/control/TestAnnotationRenderer/api.mjs.map +1 -1
- package/_mjs/control/TestAnnotationRenderer/definition.mjs +4 -10
- package/_mjs/control/TestAnnotationRenderer/definition.mjs.map +1 -1
- package/_mjs/control/TestAnnotationRenderer.mjs.map +1 -1
- package/_mjs/control/TestAspect/api.mjs +14 -18
- package/_mjs/control/TestAspect/api.mjs.map +1 -1
- package/_mjs/control/TestAspect.mjs.map +1 -1
- package/_mjs/control/TestClock/api.mjs +1 -5
- package/_mjs/control/TestClock/api.mjs.map +1 -1
- package/_mjs/control/TestClock/definition.mjs +50 -72
- package/_mjs/control/TestClock/definition.mjs.map +1 -1
- package/_mjs/control/TestClock.mjs.map +1 -1
- package/_mjs/control/TestConsole/api.mjs +3 -6
- package/_mjs/control/TestConsole/api.mjs.map +1 -1
- package/_mjs/control/TestConsole/definition.mjs +23 -32
- package/_mjs/control/TestConsole/definition.mjs.map +1 -1
- package/_mjs/control/TestConsole.mjs.map +1 -1
- package/_mjs/control/TestEnvironment.mjs +3 -3
- package/_mjs/control/TestEnvironment.mjs.map +1 -1
- package/_mjs/control/TestExecutor.mjs +3 -3
- package/_mjs/control/TestExecutor.mjs.map +1 -1
- package/_mjs/control/TestLogger.mjs +2 -7
- package/_mjs/control/TestLogger.mjs.map +1 -1
- package/_mjs/control/TestRandom/api.mjs +9 -19
- package/_mjs/control/TestRandom/api.mjs.map +1 -1
- package/_mjs/control/TestRandom/definition.mjs +61 -121
- package/_mjs/control/TestRandom/definition.mjs.map +1 -1
- package/_mjs/control/TestRandom.mjs.map +1 -1
- package/_mjs/control/TestRenderer/ConsoleRenderer.mjs +11 -21
- package/_mjs/control/TestRenderer/ConsoleRenderer.mjs.map +1 -1
- package/_mjs/control/TestRunner.mjs +2 -6
- package/_mjs/control/TestRunner.mjs.map +1 -1
- package/_mjs/data/AssertionData.mjs +0 -5
- package/_mjs/data/AssertionData.mjs.map +1 -1
- package/_mjs/data/AssertionResult.mjs +0 -2
- package/_mjs/data/AssertionResult.mjs.map +1 -1
- package/_mjs/data/AssertionValue/api.mjs +23 -20
- package/_mjs/data/AssertionValue/api.mjs.map +1 -1
- package/_mjs/data/AssertionValue/definition.mjs +0 -2
- package/_mjs/data/AssertionValue/definition.mjs.map +1 -1
- package/_mjs/data/AssertionValue.mjs.map +1 -1
- package/_mjs/data/ExecutedSpec/api.mjs +55 -57
- package/_mjs/data/ExecutedSpec/api.mjs.map +1 -1
- package/_mjs/data/ExecutedSpec/definition.mjs +5 -13
- package/_mjs/data/ExecutedSpec/definition.mjs.map +1 -1
- package/_mjs/data/ExecutedSpec.mjs.map +1 -1
- package/_mjs/data/ExecutionResult.mjs +40 -52
- package/_mjs/data/ExecutionResult.mjs.map +1 -1
- package/_mjs/data/FailureDetails.mjs +0 -1
- package/_mjs/data/FailureDetails.mjs.map +1 -1
- package/_mjs/data/FreeBooleanAlgebra/api.mjs +70 -87
- package/_mjs/data/FreeBooleanAlgebra/api.mjs.map +1 -1
- package/_mjs/data/FreeBooleanAlgebra/definition.mjs +8 -16
- package/_mjs/data/FreeBooleanAlgebra/definition.mjs.map +1 -1
- package/_mjs/data/FreeBooleanAlgebra.mjs.map +1 -1
- package/_mjs/data/GenFailureDetails.mjs +0 -1
- package/_mjs/data/GenFailureDetails.mjs.map +1 -1
- package/_mjs/data/LogLine/Fragment.mjs +2 -11
- package/_mjs/data/LogLine/Fragment.mjs.map +1 -1
- package/_mjs/data/LogLine/Line.mjs +11 -24
- package/_mjs/data/LogLine/Line.mjs.map +1 -1
- package/_mjs/data/LogLine/Message.mjs +26 -36
- package/_mjs/data/LogLine/Message.mjs.map +1 -1
- package/_mjs/data/LogLine/Style.mjs +10 -39
- package/_mjs/data/LogLine/Style.mjs.map +1 -1
- package/_mjs/data/LogLine/api.mjs.map +1 -1
- package/_mjs/data/LogLine.mjs.map +1 -1
- package/_mjs/data/Render/api.mjs +0 -2
- package/_mjs/data/Render/api.mjs.map +1 -1
- package/_mjs/data/Render/definition.mjs +3 -9
- package/_mjs/data/Render/definition.mjs.map +1 -1
- package/_mjs/data/Render.mjs.map +1 -1
- package/_mjs/data/RenderParam/api.mjs +3 -10
- package/_mjs/data/RenderParam/api.mjs.map +1 -1
- package/_mjs/data/RenderParam/definition.mjs +4 -8
- package/_mjs/data/RenderParam/definition.mjs.map +1 -1
- package/_mjs/data/RenderParam.mjs.map +1 -1
- package/_mjs/data/Summary.mjs +0 -1
- package/_mjs/data/Summary.mjs.map +1 -1
- package/_mjs/data/TestAnnotation/api.mjs +2 -8
- package/_mjs/data/TestAnnotation/api.mjs.map +1 -1
- package/_mjs/data/TestAnnotation/definition.mjs +4 -8
- package/_mjs/data/TestAnnotation/definition.mjs.map +1 -1
- package/_mjs/data/TestAnnotation.mjs.map +1 -1
- package/_mjs/data/TestAnnotationMap.mjs +4 -10
- package/_mjs/data/TestAnnotationMap.mjs.map +1 -1
- package/_mjs/data/TestArgs/definition.mjs +0 -1
- package/_mjs/data/TestArgs/definition.mjs.map +1 -1
- package/_mjs/data/TestArgs.mjs.map +1 -1
- package/_mjs/data/TestConfig.mjs +0 -8
- package/_mjs/data/TestConfig.mjs.map +1 -1
- package/_mjs/data/TestFailure.mjs +4 -12
- package/_mjs/data/TestFailure.mjs.map +1 -1
- package/_mjs/data/TestSuccess.mjs +4 -10
- package/_mjs/data/TestSuccess.mjs.map +1 -1
- package/_mjs/data/TestTimeoutException.mjs +0 -1
- package/_mjs/data/TestTimeoutException.mjs.map +1 -1
- package/_mjs/demo.mjs +5 -8
- package/_mjs/demo.mjs.map +1 -1
- package/_mjs/util/math.mjs +20 -117
- package/_mjs/util/math.mjs.map +1 -1
- package/_src/api.ts +36 -35
- package/_src/control/AbstractRunnableSpec.ts +0 -6
- package/_src/control/Annotations/live.ts +4 -10
- package/_src/control/Assertion/api.ts +36 -25
- package/_src/control/AssertionIO/api.ts +23 -17
- package/_src/control/DefaultTestReporter/render.ts +2 -12
- package/_src/control/FreeBooleanAlgebraIO/api.ts +12 -14
- package/_src/control/Gen/api.ts +476 -71
- package/_src/control/Gen.ts +0 -10
- package/_src/control/Live/definition.ts +0 -4
- package/_src/control/RunnableSpec.ts +1 -1
- package/_src/control/Sample/api.ts +78 -67
- package/_src/control/Spec/api.ts +235 -222
- package/_src/control/Spec/definition.ts +0 -2
- package/_src/control/SummaryBuilder.ts +0 -1
- package/_src/control/TestAnnotationRenderer/api.ts +17 -15
- package/_src/control/TestAnnotationRenderer/definition.ts +0 -2
- package/_src/control/TestAspect/api.ts +2 -3
- package/_src/control/TestClock/definition.ts +13 -25
- package/_src/control/TestConsole/definition.ts +1 -2
- package/_src/control/TestLogger.ts +0 -2
- package/_src/control/TestRandom/api.ts +5 -0
- package/_src/control/TestRandom/definition.ts +3 -37
- package/_src/control/TestRenderer/ConsoleRenderer.ts +0 -1
- package/_src/control/TestRunner.ts +0 -3
- package/_src/data/AssertionValue/api.ts +27 -23
- package/_src/data/AssertionValue/definition.ts +0 -1
- package/_src/data/ExecutedSpec/api.ts +41 -36
- package/_src/data/ExecutionResult.ts +54 -51
- package/_src/data/FreeBooleanAlgebra/api.ts +68 -58
- package/_src/data/LogLine/Line.ts +5 -3
- package/_src/data/LogLine/Message.ts +26 -18
- package/_src/data/LogLine/Style.ts +0 -1
- package/_src/data/Render/definition.ts +0 -2
- package/_src/data/RenderParam/api.ts +1 -1
- package/_src/data/TestAnnotation/api.ts +4 -2
- package/_src/data/TestAnnotation/definition.ts +0 -3
- package/_src/data/TestAnnotationMap.ts +2 -8
- package/_src/demo.ts +3 -4
- package/_src/util/math.ts +31 -17
- package/api.d.ts +12 -12
- package/control/AbstractRunnableSpec.d.ts +0 -1
- package/control/Annotations/live.d.ts +1 -1
- package/control/Assertion/api.d.ts +16 -12
- package/control/AssertionIO/api.d.ts +8 -8
- package/control/FreeBooleanAlgebraIO/api.d.ts +6 -6
- package/control/Gen/api.d.ts +216 -33
- package/control/Gen.d.ts +0 -7
- package/control/Sample/api.d.ts +14 -14
- package/control/Spec/api.d.ts +38 -41
- package/control/TestAnnotationRenderer/api.d.ts +3 -3
- package/control/TestClock/definition.d.ts +2 -2
- package/control/TestConsole/definition.d.ts +1 -1
- package/control/TestRandom/definition.d.ts +1 -1
- package/control/TestRunner.d.ts +1 -3
- package/data/AssertionValue/api.d.ts +8 -8
- package/data/ExecutedSpec/api.d.ts +8 -8
- package/data/ExecutionResult.d.ts +4 -4
- package/data/FreeBooleanAlgebra/api.d.ts +20 -20
- package/data/LogLine/Line.d.ts +2 -2
- package/data/LogLine/Message.d.ts +10 -10
- package/data/TestAnnotation/api.d.ts +1 -1
- package/data/TestAnnotation/definition.d.ts +2 -2
- package/package.json +4 -4
- package/_cjs/control/Gen/api/array.cjs +0 -50
- package/_cjs/control/Gen/api/array.cjs.map +0 -1
- package/_cjs/control/Gen/api/char.cjs +0 -129
- package/_cjs/control/Gen/api/char.cjs.map +0 -1
- package/_cjs/control/Gen/api/conc.cjs +0 -73
- package/_cjs/control/Gen/api/conc.cjs.map +0 -1
- package/_cjs/control/Gen/api/double.cjs +0 -82
- package/_cjs/control/Gen/api/double.cjs.map +0 -1
- package/_cjs/control/Gen/api/float.cjs +0 -55
- package/_cjs/control/Gen/api/float.cjs.map +0 -1
- package/_cjs/control/Gen/api/string.cjs +0 -102
- package/_cjs/control/Gen/api/string.cjs.map +0 -1
- package/_cjs/control/Gen/api/struct.cjs +0 -36
- package/_cjs/control/Gen/api/struct.cjs.map +0 -1
- package/_mjs/control/Gen/api/array.mjs +0 -31
- package/_mjs/control/Gen/api/array.mjs.map +0 -1
- package/_mjs/control/Gen/api/char.mjs +0 -95
- package/_mjs/control/Gen/api/char.mjs.map +0 -1
- package/_mjs/control/Gen/api/conc.mjs +0 -49
- package/_mjs/control/Gen/api/conc.mjs.map +0 -1
- package/_mjs/control/Gen/api/double.mjs +0 -60
- package/_mjs/control/Gen/api/double.mjs.map +0 -1
- package/_mjs/control/Gen/api/float.mjs +0 -41
- package/_mjs/control/Gen/api/float.mjs.map +0 -1
- package/_mjs/control/Gen/api/string.mjs +0 -72
- package/_mjs/control/Gen/api/string.mjs.map +0 -1
- package/_mjs/control/Gen/api/struct.mjs +0 -18
- package/_mjs/control/Gen/api/struct.mjs.map +0 -1
- package/_src/control/Gen/api/array.ts +0 -31
- package/_src/control/Gen/api/char.ts +0 -83
- package/_src/control/Gen/api/conc.ts +0 -48
- package/_src/control/Gen/api/double.ts +0 -64
- package/_src/control/Gen/api/float.ts +0 -36
- package/_src/control/Gen/api/string.ts +0 -71
- package/_src/control/Gen/api/struct.ts +0 -21
- package/control/Gen/api/array.d.ts +0 -18
- package/control/Gen/api/char.d.ts +0 -47
- package/control/Gen/api/conc.d.ts +0 -25
- package/control/Gen/api/double.d.ts +0 -13
- package/control/Gen/api/float.d.ts +0 -7
- package/control/Gen/api/string.d.ts +0 -48
- 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,
|
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,
|
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
|
-
|
50
|
-
|
51
|
-
|
52
|
-
|
53
|
-
|
54
|
-
|
55
|
-
|
56
|
-
|
57
|
-
|
58
|
-
|
59
|
-
|
60
|
-
|
61
|
-
|
62
|
-
|
63
|
-
|
64
|
-
|
65
|
-
|
66
|
-
|
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
|
-
|
77
|
-
|
78
|
-
|
79
|
-
|
80
|
-
|
81
|
-
|
82
|
-
|
83
|
-
|
84
|
-
|
85
|
-
|
86
|
-
|
87
|
-
|
88
|
-
|
89
|
-
|
90
|
-
|
91
|
-
|
92
|
-
|
93
|
-
|
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,
|
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]}
|
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"FailureDetails.mjs","mappings":"AAUA,OAAM,MAAOA,
|
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
|
9
|
-
export const
|
10
|
-
export const
|
11
|
-
export const
|
12
|
-
export const
|
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
|
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
|
20
|
-
* @tsplus operator fncts.test.FreeBooleanAlgebra &&
|
19
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra and
|
20
|
+
* @tsplus pipeable-operator fncts.test.FreeBooleanAlgebra &&
|
21
21
|
*/
|
22
|
-
|
23
|
-
|
24
|
-
|
22
|
+
function and_1(right) {
|
23
|
+
return left => {
|
24
|
+
return new And(left, right);
|
25
|
+
};
|
25
26
|
}
|
26
27
|
/**
|
27
|
-
* @tsplus
|
28
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra flatMap
|
28
29
|
*/
|
29
|
-
|
30
|
-
|
31
|
-
|
32
|
-
|
33
|
-
|
34
|
-
|
35
|
-
|
36
|
-
|
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
|
41
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra map
|
41
42
|
*/
|
42
|
-
|
43
|
-
|
44
|
-
|
45
|
-
|
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.
|
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(
|
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(
|
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
|
-
})
|
71
|
+
})(self));
|
73
72
|
}
|
74
73
|
/**
|
75
|
-
* @tsplus
|
74
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra foldEval
|
76
75
|
*/
|
77
|
-
|
78
|
-
|
79
|
-
|
80
|
-
|
81
|
-
|
82
|
-
|
83
|
-
|
84
|
-
|
85
|
-
|
86
|
-
|
87
|
-
|
88
|
-
|
89
|
-
|
90
|
-
|
91
|
-
|
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
|
93
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra fold
|
105
94
|
*/
|
106
|
-
|
107
|
-
|
108
|
-
|
109
|
-
|
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
|
101
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra iff
|
113
102
|
*/
|
114
|
-
|
115
|
-
|
116
|
-
|
117
|
-
|
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
|
109
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra implies
|
121
110
|
*/
|
122
|
-
|
123
|
-
|
124
|
-
|
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(
|
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
|
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
|
-
|
161
|
-
|
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,
|
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,
|
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,
|
1
|
+
{"version":3,"file":"FreeBooleanAlgebra.mjs","mappings":"AAAA;AACA,cAAc,8BAA6B;AAC3C,cAAc,qCAAoC","names":[],"sourceRoot":"","sources":["../../_src/data/FreeBooleanAlgebra.ts"],"sourcesContent":[null]}
|
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"GenFailureDetails.mjs","mappings":"AAAA,OAAM,MAAOA,
|
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.
|
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.
|
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
|
}
|