@fncts/test 0.0.20 → 0.0.21
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 -31
- package/_cjs/api.cjs.map +1 -1
- package/_cjs/control/AbstractRunnableSpec.cjs +1 -1
- package/_cjs/control/AbstractRunnableSpec.cjs.map +1 -1
- package/_cjs/control/Annotations/live.cjs +10 -12
- package/_cjs/control/Annotations/live.cjs.map +1 -1
- package/_cjs/control/Assertion/api.cjs +45 -33
- package/_cjs/control/Assertion/api.cjs.map +1 -1
- package/_cjs/control/AssertionIO/api.cjs +20 -14
- package/_cjs/control/AssertionIO/api.cjs.map +1 -1
- package/_cjs/control/DefaultTestReporter/render.cjs +50 -50
- package/_cjs/control/DefaultTestReporter/render.cjs.map +1 -1
- package/_cjs/control/FreeBooleanAlgebraIO/api.cjs +20 -16
- package/_cjs/control/FreeBooleanAlgebraIO/api.cjs.map +1 -1
- package/_cjs/control/Gen/api/array.cjs +23 -17
- package/_cjs/control/Gen/api/array.cjs.map +1 -1
- package/_cjs/control/Gen/api/char.cjs +2 -2
- package/_cjs/control/Gen/api/char.cjs.map +1 -1
- package/_cjs/control/Gen/api/conc.cjs +35 -26
- package/_cjs/control/Gen/api/conc.cjs.map +1 -1
- package/_cjs/control/Gen/api/double.cjs +8 -8
- package/_cjs/control/Gen/api/double.cjs.map +1 -1
- package/_cjs/control/Gen/api/float.cjs +6 -6
- package/_cjs/control/Gen/api/float.cjs.map +1 -1
- package/_cjs/control/Gen/api/string.cjs +18 -14
- package/_cjs/control/Gen/api/string.cjs.map +1 -1
- package/_cjs/control/Gen/api/struct.cjs +4 -4
- package/_cjs/control/Gen/api/struct.cjs.map +1 -1
- package/_cjs/control/Gen/api.cjs +78 -65
- package/_cjs/control/Gen/api.cjs.map +1 -1
- package/_cjs/control/Gen.cjs.map +1 -1
- package/_cjs/control/Live/definition.cjs +5 -5
- package/_cjs/control/Live/definition.cjs.map +1 -1
- package/_cjs/control/RunnableSpec.cjs +8 -8
- package/_cjs/control/RunnableSpec.cjs.map +1 -1
- package/_cjs/control/Sample/api.cjs +66 -52
- package/_cjs/control/Sample/api.cjs.map +1 -1
- package/_cjs/control/Sized/live.cjs +3 -3
- package/_cjs/control/Sized/live.cjs.map +1 -1
- package/_cjs/control/Spec/api.cjs +322 -286
- package/_cjs/control/Spec/api.cjs.map +1 -1
- package/_cjs/control/Spec/definition.cjs.map +1 -1
- package/_cjs/control/SummaryBuilder.cjs +10 -10
- package/_cjs/control/SummaryBuilder.cjs.map +1 -1
- package/_cjs/control/Test.cjs +1 -1
- package/_cjs/control/Test.cjs.map +1 -1
- package/_cjs/control/TestAnnotationRenderer/api.cjs +28 -26
- package/_cjs/control/TestAnnotationRenderer/api.cjs.map +1 -1
- package/_cjs/control/TestAnnotationRenderer/definition.cjs +2 -2
- package/_cjs/control/TestAnnotationRenderer/definition.cjs.map +1 -1
- package/_cjs/control/TestAspect/api.cjs +14 -14
- package/_cjs/control/TestAspect/api.cjs.map +1 -1
- package/_cjs/control/TestClock/api.cjs +9 -11
- package/_cjs/control/TestClock/api.cjs.map +1 -1
- package/_cjs/control/TestClock/definition.cjs +65 -75
- package/_cjs/control/TestClock/definition.cjs.map +1 -1
- package/_cjs/control/TestConsole/api.cjs +3 -3
- package/_cjs/control/TestConsole/api.cjs.map +1 -1
- package/_cjs/control/TestConsole/definition.cjs +20 -24
- package/_cjs/control/TestConsole/definition.cjs.map +1 -1
- package/_cjs/control/TestEnvironment.cjs +3 -3
- package/_cjs/control/TestEnvironment.cjs.map +1 -1
- package/_cjs/control/TestExecutor.cjs +3 -3
- package/_cjs/control/TestExecutor.cjs.map +1 -1
- package/_cjs/control/TestLogger.cjs +2 -2
- package/_cjs/control/TestLogger.cjs.map +1 -1
- package/_cjs/control/TestRandom/api.cjs +9 -9
- package/_cjs/control/TestRandom/api.cjs.map +1 -1
- package/_cjs/control/TestRandom/definition.cjs +65 -71
- package/_cjs/control/TestRandom/definition.cjs.map +1 -1
- package/_cjs/control/TestRenderer/ConsoleRenderer.cjs +11 -11
- package/_cjs/control/TestRenderer/ConsoleRenderer.cjs.map +1 -1
- package/_cjs/control/TestRunner.cjs +1 -1
- package/_cjs/control/TestRunner.cjs.map +1 -1
- package/_cjs/data/AssertionValue/api.cjs +22 -14
- package/_cjs/data/AssertionValue/api.cjs.map +1 -1
- package/_cjs/data/AssertionValue/definition.cjs.map +1 -1
- package/_cjs/data/ExecutedSpec/api.cjs +61 -53
- package/_cjs/data/ExecutedSpec/api.cjs.map +1 -1
- package/_cjs/data/ExecutionResult.cjs +42 -38
- package/_cjs/data/ExecutionResult.cjs.map +1 -1
- package/_cjs/data/FreeBooleanAlgebra/api.cjs +93 -77
- package/_cjs/data/FreeBooleanAlgebra/api.cjs.map +1 -1
- package/_cjs/data/LogLine/Fragment.cjs +2 -2
- package/_cjs/data/LogLine/Fragment.cjs.map +1 -1
- package/_cjs/data/LogLine/Line.cjs +11 -9
- package/_cjs/data/LogLine/Line.cjs.map +1 -1
- package/_cjs/data/LogLine/Message.cjs +32 -24
- package/_cjs/data/LogLine/Message.cjs.map +1 -1
- package/_cjs/data/LogLine/Style.cjs.map +1 -1
- package/_cjs/data/Render/definition.cjs +1 -1
- package/_cjs/data/Render/definition.cjs.map +1 -1
- package/_cjs/data/TestAnnotation/api.cjs +2 -2
- package/_cjs/data/TestAnnotation/api.cjs.map +1 -1
- package/_cjs/data/TestAnnotation/definition.cjs.map +1 -1
- package/_cjs/data/TestAnnotationMap.cjs +3 -3
- package/_cjs/data/TestAnnotationMap.cjs.map +1 -1
- package/_cjs/demo.cjs +5 -5
- package/_cjs/demo.cjs.map +1 -1
- package/_cjs/util/math.cjs +6 -6
- package/_cjs/util/math.cjs.map +1 -1
- package/_mjs/api.mjs +37 -29
- package/_mjs/api.mjs.map +1 -1
- package/_mjs/control/AbstractRunnableSpec.mjs +1 -1
- package/_mjs/control/AbstractRunnableSpec.mjs.map +1 -1
- package/_mjs/control/Annotations/live.mjs +10 -11
- package/_mjs/control/Annotations/live.mjs.map +1 -1
- package/_mjs/control/Assertion/api.mjs +40 -28
- package/_mjs/control/Assertion/api.mjs.map +1 -1
- package/_mjs/control/AssertionIO/api.mjs +17 -11
- package/_mjs/control/AssertionIO/api.mjs.map +1 -1
- package/_mjs/control/DefaultTestReporter/render.mjs +50 -50
- package/_mjs/control/DefaultTestReporter/render.mjs.map +1 -1
- package/_mjs/control/FreeBooleanAlgebraIO/api.mjs +18 -14
- package/_mjs/control/FreeBooleanAlgebraIO/api.mjs.map +1 -1
- package/_mjs/control/Gen/api/array.mjs +20 -14
- package/_mjs/control/Gen/api/array.mjs.map +1 -1
- package/_mjs/control/Gen/api/char.mjs +2 -2
- package/_mjs/control/Gen/api/char.mjs.map +1 -1
- package/_mjs/control/Gen/api/conc.mjs +30 -22
- package/_mjs/control/Gen/api/conc.mjs.map +1 -1
- package/_mjs/control/Gen/api/double.mjs +8 -8
- package/_mjs/control/Gen/api/double.mjs.map +1 -1
- package/_mjs/control/Gen/api/float.mjs +6 -6
- package/_mjs/control/Gen/api/float.mjs.map +1 -1
- package/_mjs/control/Gen/api/string.mjs +18 -14
- package/_mjs/control/Gen/api/string.mjs.map +1 -1
- package/_mjs/control/Gen/api/struct.mjs +4 -4
- package/_mjs/control/Gen/api/struct.mjs.map +1 -1
- package/_mjs/control/Gen/api.mjs +68 -54
- package/_mjs/control/Gen/api.mjs.map +1 -1
- package/_mjs/control/Gen.mjs.map +1 -1
- package/_mjs/control/Live/definition.mjs +5 -5
- package/_mjs/control/Live/definition.mjs.map +1 -1
- package/_mjs/control/RunnableSpec.mjs +8 -8
- package/_mjs/control/RunnableSpec.mjs.map +1 -1
- package/_mjs/control/Sample/api.mjs +57 -43
- package/_mjs/control/Sample/api.mjs.map +1 -1
- package/_mjs/control/Sized/live.mjs +3 -3
- package/_mjs/control/Sized/live.mjs.map +1 -1
- package/_mjs/control/Spec/api.mjs +300 -265
- package/_mjs/control/Spec/api.mjs.map +1 -1
- package/_mjs/control/Spec/definition.mjs.map +1 -1
- package/_mjs/control/SummaryBuilder.mjs +10 -10
- package/_mjs/control/SummaryBuilder.mjs.map +1 -1
- package/_mjs/control/Test.mjs +1 -1
- package/_mjs/control/Test.mjs.map +1 -1
- package/_mjs/control/TestAnnotationRenderer/api.mjs +27 -25
- package/_mjs/control/TestAnnotationRenderer/api.mjs.map +1 -1
- package/_mjs/control/TestAnnotationRenderer/definition.mjs +2 -2
- package/_mjs/control/TestAnnotationRenderer/definition.mjs.map +1 -1
- package/_mjs/control/TestAspect/api.mjs +14 -14
- package/_mjs/control/TestAspect/api.mjs.map +1 -1
- package/_mjs/control/TestClock/api.mjs +9 -10
- package/_mjs/control/TestClock/api.mjs.map +1 -1
- package/_mjs/control/TestClock/definition.mjs +65 -72
- package/_mjs/control/TestClock/definition.mjs.map +1 -1
- package/_mjs/control/TestConsole/api.mjs +3 -3
- package/_mjs/control/TestConsole/api.mjs.map +1 -1
- package/_mjs/control/TestConsole/definition.mjs +20 -22
- package/_mjs/control/TestConsole/definition.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 -2
- package/_mjs/control/TestLogger.mjs.map +1 -1
- package/_mjs/control/TestRandom/api.mjs +9 -9
- package/_mjs/control/TestRandom/api.mjs.map +1 -1
- package/_mjs/control/TestRandom/definition.mjs +65 -68
- package/_mjs/control/TestRandom/definition.mjs.map +1 -1
- package/_mjs/control/TestRenderer/ConsoleRenderer.mjs +11 -11
- package/_mjs/control/TestRenderer/ConsoleRenderer.mjs.map +1 -1
- package/_mjs/control/TestRunner.mjs +1 -1
- package/_mjs/control/TestRunner.mjs.map +1 -1
- package/_mjs/data/AssertionValue/api.mjs +22 -14
- package/_mjs/data/AssertionValue/api.mjs.map +1 -1
- package/_mjs/data/AssertionValue/definition.mjs.map +1 -1
- package/_mjs/data/ExecutedSpec/api.mjs +55 -47
- package/_mjs/data/ExecutedSpec/api.mjs.map +1 -1
- package/_mjs/data/ExecutionResult.mjs +40 -36
- package/_mjs/data/ExecutionResult.mjs.map +1 -1
- package/_mjs/data/FreeBooleanAlgebra/api.mjs +81 -65
- package/_mjs/data/FreeBooleanAlgebra/api.mjs.map +1 -1
- package/_mjs/data/LogLine/Fragment.mjs +2 -2
- package/_mjs/data/LogLine/Fragment.mjs.map +1 -1
- package/_mjs/data/LogLine/Line.mjs +11 -9
- package/_mjs/data/LogLine/Line.mjs.map +1 -1
- package/_mjs/data/LogLine/Message.mjs +26 -18
- package/_mjs/data/LogLine/Message.mjs.map +1 -1
- package/_mjs/data/LogLine/Style.mjs.map +1 -1
- package/_mjs/data/Render/definition.mjs +1 -1
- package/_mjs/data/Render/definition.mjs.map +1 -1
- package/_mjs/data/TestAnnotation/api.mjs +2 -2
- package/_mjs/data/TestAnnotation/api.mjs.map +1 -1
- package/_mjs/data/TestAnnotation/definition.mjs.map +1 -1
- package/_mjs/data/TestAnnotationMap.mjs +3 -3
- package/_mjs/data/TestAnnotationMap.mjs.map +1 -1
- package/_mjs/demo.mjs +5 -5
- package/_mjs/demo.mjs.map +1 -1
- package/_mjs/util/math.mjs +6 -6
- package/_mjs/util/math.mjs.map +1 -1
- package/_src/api.ts +36 -35
- package/_src/control/AbstractRunnableSpec.ts +0 -3
- package/_src/control/Annotations/live.ts +0 -4
- package/_src/control/Assertion/api.ts +31 -20
- package/_src/control/AssertionIO/api.ts +23 -17
- package/_src/control/DefaultTestReporter/render.ts +1 -11
- package/_src/control/FreeBooleanAlgebraIO/api.ts +12 -14
- package/_src/control/Gen/api/array.ts +18 -15
- package/_src/control/Gen/api/conc.ts +31 -26
- package/_src/control/Gen/api/string.ts +13 -9
- package/_src/control/Gen/api/struct.ts +12 -2
- package/_src/control/Gen/api.ts +56 -40
- package/_src/control/Gen.ts +0 -1
- package/_src/control/Live/definition.ts +0 -4
- package/_src/control/Sample/api.ts +77 -66
- 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 +0 -1
- package/_src/control/TestClock/definition.ts +4 -17
- package/_src/control/TestConsole/definition.ts +0 -1
- 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/data/AssertionValue/api.ts +26 -22
- 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/TestAnnotation/api.ts +3 -1
- package/_src/data/TestAnnotation/definition.ts +0 -3
- package/_src/data/TestAnnotationMap.ts +0 -6
- package/_src/demo.ts +3 -4
- package/_src/util/math.ts +31 -17
- package/api.d.ts +12 -12
- package/control/Assertion/api.d.ts +14 -10
- package/control/AssertionIO/api.d.ts +8 -8
- package/control/FreeBooleanAlgebraIO/api.d.ts +6 -6
- package/control/Gen/api/array.d.ts +6 -6
- package/control/Gen/api/conc.d.ts +8 -8
- package/control/Gen/api/string.d.ts +4 -4
- package/control/Gen/api.d.ts +15 -15
- 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/TestConsole/definition.d.ts +2 -2
- 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/package.json +3 -3
@@ -1,25 +1,27 @@
|
|
1
1
|
import * as tsplus_module_1 from "@fncts/base/collection/immutable/Conc/api";
|
2
|
-
export const
|
3
|
-
export const
|
2
|
+
export const fold = fold_1;
|
3
|
+
export const transform = transform_1;
|
4
4
|
import { identity } from "@fncts/base/data/function";
|
5
5
|
import { matchTag, matchTag_ } from "@fncts/base/util/pattern";
|
6
6
|
import { ExecutedSpec, TestCase } from "./definition.mjs";
|
7
7
|
import { LabeledCase, MultipleCase } from "./definition.mjs";
|
8
8
|
/**
|
9
|
-
* @tsplus
|
9
|
+
* @tsplus pipeable fncts.test.data.ExecutedSpec fold
|
10
10
|
*/
|
11
11
|
|
12
|
-
function fold_1(
|
13
|
-
return
|
14
|
-
|
15
|
-
|
16
|
-
|
17
|
-
|
18
|
-
|
19
|
-
|
20
|
-
|
21
|
-
|
22
|
-
|
12
|
+
function fold_1(f) {
|
13
|
+
return self => {
|
14
|
+
return matchTag_(self.caseValue, {
|
15
|
+
Labeled: ({
|
16
|
+
label,
|
17
|
+
spec
|
18
|
+
}) => f(new LabeledCase(label, fold_1(f)(spec))),
|
19
|
+
Multiple: ({
|
20
|
+
specs
|
21
|
+
}) => f(new MultipleCase(tsplus_module_1.map(spec => fold_1(f)(spec))(specs))),
|
22
|
+
Test: f
|
23
|
+
});
|
24
|
+
};
|
23
25
|
}
|
24
26
|
/**
|
25
27
|
* @tsplus static fncts.test.data.ExecutedSpecOps labeled
|
@@ -30,19 +32,21 @@ export function labeled(spec, label) {
|
|
30
32
|
return new ExecutedSpec(new LabeledCase(label, spec));
|
31
33
|
}
|
32
34
|
/**
|
33
|
-
* @tsplus
|
35
|
+
* @tsplus pipeable fncts.test.data.ExecutedSpecCase map
|
34
36
|
*/
|
35
37
|
|
36
|
-
export function
|
37
|
-
return
|
38
|
-
|
39
|
-
|
40
|
-
|
41
|
-
|
42
|
-
|
43
|
-
|
44
|
-
|
45
|
-
|
38
|
+
export function mapSpecCase(f) {
|
39
|
+
return self => {
|
40
|
+
return matchTag_(self, {
|
41
|
+
Labeled: ({
|
42
|
+
label,
|
43
|
+
spec
|
44
|
+
}) => new LabeledCase(label, f(spec)),
|
45
|
+
Multiple: ({
|
46
|
+
specs
|
47
|
+
}) => new MultipleCase(tsplus_module_1.map(f)(specs))
|
48
|
+
}, identity);
|
49
|
+
};
|
46
50
|
}
|
47
51
|
/**
|
48
52
|
* @tsplus static fncts.test.data.ExecutedSpecOps multiple
|
@@ -59,46 +63,50 @@ export function test(test, annotations) {
|
|
59
63
|
return new ExecutedSpec(new TestCase(test, annotations));
|
60
64
|
}
|
61
65
|
/**
|
62
|
-
* @tsplus
|
66
|
+
* @tsplus pipeable fncts.test.data.ExecutedSpec transform
|
63
67
|
*/
|
64
68
|
|
65
|
-
function transform_1(
|
66
|
-
return
|
67
|
-
|
68
|
-
|
69
|
-
|
70
|
-
|
71
|
-
|
72
|
-
|
73
|
-
|
74
|
-
|
75
|
-
|
69
|
+
function transform_1(f) {
|
70
|
+
return self => {
|
71
|
+
return matchTag_(self.caseValue, {
|
72
|
+
Labeled: ({
|
73
|
+
label,
|
74
|
+
spec
|
75
|
+
}) => new ExecutedSpec(f(new LabeledCase(label, transform_1(f)(spec)))),
|
76
|
+
Multiple: ({
|
77
|
+
specs
|
78
|
+
}) => new ExecutedSpec(f(new MultipleCase(tsplus_module_1.map(spec => transform_1(f)(spec))(specs)))),
|
79
|
+
Test: t => new ExecutedSpec(f(t))
|
80
|
+
});
|
81
|
+
};
|
76
82
|
}
|
77
83
|
/**
|
78
|
-
* @tsplus
|
84
|
+
* @tsplus pipeable fncts.test.data.ExecutedSpec exists
|
79
85
|
*/
|
80
86
|
|
81
87
|
|
82
|
-
export function
|
83
|
-
return
|
84
|
-
|
85
|
-
|
86
|
-
|
87
|
-
|
88
|
+
export function exists(f) {
|
89
|
+
return self => {
|
90
|
+
return fold_1(matchTag({
|
91
|
+
Labeled: c => c.spec || f(c),
|
92
|
+
Multiple: c => tsplus_module_1.exists(identity)(c.specs) || f(c),
|
93
|
+
Test: f
|
94
|
+
}))(self);
|
95
|
+
};
|
88
96
|
}
|
89
97
|
/**
|
90
98
|
* @tsplus getter fncts.test.data.ExecutedSpec size
|
91
99
|
*/
|
92
100
|
|
93
101
|
export function size(self) {
|
94
|
-
return fold_1(
|
102
|
+
return fold_1(matchTag({
|
95
103
|
Labeled: ({
|
96
104
|
spec
|
97
105
|
}) => spec,
|
98
106
|
Multiple: ({
|
99
107
|
specs
|
100
|
-
}) => tsplus_module_1.
|
108
|
+
}) => tsplus_module_1.foldLeft(0, (b, a) => b + a)(specs),
|
101
109
|
Test: () => 1
|
102
|
-
}));
|
110
|
+
}))(self);
|
103
111
|
}
|
104
112
|
//# sourceMappingURL=api.mjs.map
|
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"api.mjs","mappings":";aAcgBA,
|
1
|
+
{"version":3,"file":"api.mjs","mappings":";aAcgBA,IAAI;aAkDJC,SAAS;AA3DzB,SAASC,QAAT,QAAyB,2BAAzB;AACA,SAASC,QAAT,EAAmBC,SAAnB,QAAoC,0BAApC;AAEA,SAASC,YAAT,EAAuBC,QAAvB,QAAuC,kBAAvC;AACA,SAASC,WAAT,EAAsBC,YAAtB,QAA0C,kBAA1C;AAEA;;;;AAGA,gBAA2BC,CAA3B,EAAsD;EACpD,OAAQC,IAAD,IAA6B;IAClC,OAAON,SAAS,CAACM,IAAI,CAACC,SAAN,EAAiB;MAC/BC,OAAO,EAAE,CAAC;QAAEC,KAAF;QAASC;MAAT,CAAD,KAAqBL,CAAC,CAAC,IAAIF,WAAJ,CAAgBM,KAAhB,EAAuBE,OAAUN,CAAV,OAAvB,CAAD,CADA;MAE/BO,QAAQ,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAeR,CAAC,CAAC,IAAID,YAAJ,CAAiBU,oBAAWJ,IAAD,IAAUC,OAAUN,CAAV,OAApB,QAAjB,CAAD,CAFK;MAG/BU,IAAI,EAAEV;IAHyB,CAAjB,CAAhB;EAKD,CAND;AAOD;AAED;;;;;AAGA,OAAM,SAAUW,OAAV,CAAqBN,IAArB,EAA4CD,KAA5C,EAAyD;EAC7D,OAAO,IAAIR,YAAJ,CAAiB,IAAIE,WAAJ,CAAgBM,KAAhB,EAAuBC,IAAvB,CAAjB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUO,WAAV,CAA4BZ,CAA5B,EAA0C;EAC9C,OAAWC,IAAJ,IAA4C;IACjD,OAAON,SAAS,CACdM,IADc,EAEd;MACEE,OAAO,EAAE,CAAC;QAAEC,KAAF;QAASC;MAAT,CAAD,KAAqB,IAAIP,WAAJ,CAAgBM,KAAhB,EAAuBJ,CAAC,CAACK,IAAD,CAAxB,CADhC;MAEEE,QAAQ,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAe,IAAIT,YAAJ,CAAiBU,oBAAUT,CAAV,QAAjB;IAF3B,CAFc,EAMdP,QANc,CAAhB;EAQD,CATD;AAUD;AAED;;;;AAGA,OAAM,SAAUoB,QAAV,CAAsBL,KAAtB,EAAkD;EACtD,OAAO,IAAIZ,YAAJ,CAAiB,IAAIG,YAAJ,CAAiBS,KAAjB,CAAjB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUM,IAAV,CAAkBA,IAAlB,EAA6DC,WAA7D,EAA2F;EAC/F,OAAO,IAAInB,YAAJ,CAAiB,IAAIC,QAAJ,CAAaiB,IAAb,EAAmBC,WAAnB,CAAjB,CAAP;AACD;AAED;;;;AAGA,qBAAiCf,CAAjC,EAAwG;EACtG,OAAQC,IAAD,IAA4C;IACjD,OAAON,SAAS,CAACM,IAAI,CAACC,SAAN,EAAiB;MAC/BC,OAAO,EAAE,CAAC;QAAEC,KAAF;QAASC;MAAT,CAAD,KAAqB,IAAIT,YAAJ,CAAiBI,CAAC,CAAC,IAAIF,WAAJ,CAAgBM,KAAhB,EAAuBY,YAAehB,CAAf,OAAvB,CAAD,CAAlB,CADC;MAE/BO,QAAQ,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAe,IAAIZ,YAAJ,CAAiBI,CAAC,CAAC,IAAID,YAAJ,CAAiBU,oBAAWJ,IAAD,IAAUW,YAAehB,CAAf,OAApB,QAAjB,CAAD,CAAlB,CAFM;MAG/BU,IAAI,EAAGO,CAAD,IAAO,IAAIrB,YAAJ,CAAiBI,CAAC,CAACiB,CAAD,CAAlB;IAHkB,CAAjB,CAAhB;EAKD,CAND;AAOD;AAED;;;;;AAGA,OAAM,SAAUC,MAAV,CAAoBlB,CAApB,EAA2D;EAC/D,OAAQC,IAAD,IAAmC;IACxC,OAAOK,OACLZ,QAAQ,CAAC;MACPS,OAAO,EAAGgB,CAAD,IAAOA,CAAC,CAACd,IAAF,IAAUL,CAAC,CAACmB,CAAD,CADpB;MAEPZ,QAAQ,EAAGY,CAAD,IAAOV,uBAAehB,QAAf,GAAC,CAACe,KAAF,KAA4BR,CAAC,CAACmB,CAAD,CAFvC;MAGPT,IAAI,EAAEV;IAHC,CAAD,CADH,OAAP;EAOD,CARD;AASD;AAED;;;;AAGA,OAAM,SAAUoB,IAAV,CAAkBnB,IAAlB,EAAuC;EAC3C,OAAOK,OACLZ,QAAQ,CAAC;IACPS,OAAO,EAAE,CAAC;MAAEE;IAAF,CAAD,KAAcA,IADhB;IAEPE,QAAQ,EAAE,CAAC;MAAEC;IAAF,CAAD,KAAeC,yBAAe,CAAf,EAAkB,CAACY,CAAD,EAAIC,CAAJ,KAAUD,CAAC,GAAGC,CAAhC,QAFlB;IAGPZ,IAAI,EAAE,MAAM;EAHL,CAAD,CADH,OAAP;AAOD","names":["fold","transform","identity","matchTag","matchTag_","ExecutedSpec","TestCase","LabeledCase","MultipleCase","f","self","caseValue","Labeled","label","spec","fold_1","Multiple","specs","tsplus_module_1","Test","labeled","mapSpecCase","multiple","test","annotations","transform_1","t","exists","c","size","b","a"],"sourceRoot":"","sources":["../../../_src/data/ExecutedSpec/api.ts"],"sourcesContent":[null]}
|
@@ -43,58 +43,62 @@ export function rendered(caseType, label, status, offset, lines) {
|
|
43
43
|
return new ExecutionResult(caseType, label, status, offset, tsplus_module_1.nil(), lines);
|
44
44
|
}
|
45
45
|
/**
|
46
|
-
* @tsplus operator fncts.test.ExecutionResult &&
|
46
|
+
* @tsplus pipeable-operator fncts.test.ExecutionResult &&
|
47
47
|
*/
|
48
48
|
|
49
|
-
export function
|
50
|
-
|
51
|
-
|
52
|
-
|
49
|
+
export function and(that) {
|
50
|
+
return self => {
|
51
|
+
if (self.status._tag === "Ignored") {
|
52
|
+
return that;
|
53
|
+
}
|
53
54
|
|
54
|
-
|
55
|
-
|
56
|
-
|
55
|
+
if (that.status._tag === "Ignored") {
|
56
|
+
return self;
|
57
|
+
}
|
57
58
|
|
58
|
-
|
59
|
-
|
60
|
-
|
59
|
+
if (self.status._tag === "Failed" && that.status._tag === "Failed") {
|
60
|
+
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));
|
61
|
+
}
|
61
62
|
|
62
|
-
|
63
|
-
|
64
|
-
|
63
|
+
if (self.status._tag === "Passed") {
|
64
|
+
return that;
|
65
|
+
}
|
65
66
|
|
66
|
-
|
67
|
-
|
68
|
-
|
67
|
+
if (that.status._tag === "Passed") {
|
68
|
+
return self;
|
69
|
+
}
|
69
70
|
|
70
|
-
|
71
|
+
throw new Error("BUG");
|
72
|
+
};
|
71
73
|
}
|
72
74
|
/**
|
73
|
-
* @tsplus operator fncts.test.ExecutionResult ||
|
75
|
+
* @tsplus pipeable-operator fncts.test.ExecutionResult ||
|
74
76
|
*/
|
75
77
|
|
76
|
-
export function
|
77
|
-
|
78
|
-
|
79
|
-
|
78
|
+
export function or(that) {
|
79
|
+
return self => {
|
80
|
+
if (self.status._tag === "Ignored") {
|
81
|
+
return that;
|
82
|
+
}
|
80
83
|
|
81
|
-
|
82
|
-
|
83
|
-
|
84
|
+
if (that.status._tag === "Ignored") {
|
85
|
+
return self;
|
86
|
+
}
|
84
87
|
|
85
|
-
|
86
|
-
|
87
|
-
|
88
|
+
if (self.status._tag === "Failed" && that.status._tag === "Failed") {
|
89
|
+
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));
|
90
|
+
}
|
88
91
|
|
89
|
-
|
90
|
-
|
91
|
-
|
92
|
+
if (self.status._tag === "Passed") {
|
93
|
+
return self;
|
94
|
+
}
|
92
95
|
|
93
|
-
|
94
|
-
|
95
|
-
|
96
|
+
if (that.status._tag === "Passed") {
|
97
|
+
return that;
|
98
|
+
}
|
96
99
|
|
97
|
-
|
100
|
+
throw new Error("BUG");
|
101
|
+
};
|
98
102
|
}
|
99
103
|
/**
|
100
104
|
* @tsplus getter fncts.test.ExecutionResult invert
|
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"ExecutionResult.mjs","mappings":";;;AAGA,SAASA,SAAT,QAA0B,0BAA1B;AAMA,OAAO,MAAMC,MAAM,GAAW;EAC5BC,IAAI,EAAE;AADsB,CAAvB;AAQP,OAAO,MAAMC,MAAM,GAAW;EAC5BD,IAAI,EAAE;AADsB,CAAvB;AAQP,OAAO,MAAME,OAAO,GAAY;EAC9BF,IAAI,EAAE;AADwB,CAAzB;AAUP,OAAO,MAAMG,IAAI,GAAe;EAC9BH,IAAI,EAAE;AADwB,CAAzB;AAQP,OAAO,MAAMI,KAAK,GAAe;EAC/BJ,IAAI,EAAE;AADyB,CAA1B;AAQP,OAAO,MAAMK,KAAK,GAAe;EAC/BL,IAAI,EAAE;AADyB,CAA1B;AAMP;;;;AAGA,OAAM,MAAOM,eAAP,CAAsB;EAC1BC,YACWC,UADX,EAEWC,KAFX,EAGWC,MAHX,EAIWC,MAJX,EAKWC,WALX,EAMWC,KANX,EAM4B;IALjB;IACA;IACA;IACA;IACA;IACA;EACP;;
|
1
|
+
{"version":3,"file":"ExecutionResult.mjs","mappings":";;;AAGA,SAASA,SAAT,QAA0B,0BAA1B;AAMA,OAAO,MAAMC,MAAM,GAAW;EAC5BC,IAAI,EAAE;AADsB,CAAvB;AAQP,OAAO,MAAMC,MAAM,GAAW;EAC5BD,IAAI,EAAE;AADsB,CAAvB;AAQP,OAAO,MAAME,OAAO,GAAY;EAC9BF,IAAI,EAAE;AADwB,CAAzB;AAUP,OAAO,MAAMG,IAAI,GAAe;EAC9BH,IAAI,EAAE;AADwB,CAAzB;AAQP,OAAO,MAAMI,KAAK,GAAe;EAC/BJ,IAAI,EAAE;AADyB,CAA1B;AAQP,OAAO,MAAMK,KAAK,GAAe;EAC/BL,IAAI,EAAE;AADyB,CAA1B;AAMP;;;;AAGA,OAAM,MAAOM,eAAP,CAAsB;EAC1BC,YACWC,UADX,EAEWC,KAFX,EAGWC,MAHX,EAIWC,MAJX,EAKWC,WALX,EAMWC,KANX,EAM4B;IALjB;IACA;IACA;IACA;IACA;IACA;EACP;;EACJC,eAAe,CAACF,WAAD,EAAqC;IAClD,OAAO,IAAIN,eAAJ,CAAoB,KAAKE,UAAzB,EAAqC,KAAKC,KAA1C,EAAiD,KAAKC,MAAtD,EAA8D,KAAKC,MAAnE,EAA2EC,WAA3E,EAAwF,KAAKC,KAA7F,CAAP;EACD;;AAXyB;AAc5B,OAAM,SAAUE,QAAV,CACJC,QADI,EAEJP,KAFI,EAGJC,MAHI,EAIJC,MAJI,EAKJE,KALI,EAKa;EAEjB,OAAO,IAAIP,eAAJ,CAAoBU,QAApB,EAA8BP,KAA9B,EAAqCC,MAArC,EAA6CC,MAA7C,EAAqDM,qBAArD,EAA4DJ,KAA5D,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUK,GAAV,CAAcC,IAAd,EAAmC;EACvC,OAAQC,IAAD,IAA2C;IAChD,IAAIA,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,SAAzB,EAAoC;MAClC,OAAOmB,IAAP;IACD;;IACD,IAAIA,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,SAAzB,EAAoC;MAClC,OAAOoB,IAAP;IACD;;IACD,IAAIA,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,QAArB,IAAiCmB,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,QAA1D,EAAoE;MAClE,OAAO,IAAIM,eAAJ,CACLc,IAAI,CAACZ,UADA,EAELY,IAAI,CAACX,KAFA,EAGLW,IAAI,CAACV,MAHA,EAILU,IAAI,CAACT,MAJA,EAKLS,IAAI,CAACR,WALA,EAMLS,uBAAkBC,gCAA0BL,qBAA1B,EAA+BI,qBAA/BF,IAAI,CAACN,KAA0B,CAA/B,CAAlB,MAAI,CAACA,KAAL,CANK,CAAP;IAQD;;IACD,IAAIO,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,QAAzB,EAAmC;MACjC,OAAOmB,IAAP;IACD;;IACD,IAAIA,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,QAAzB,EAAmC;MACjC,OAAOoB,IAAP;IACD;;IACD,MAAM,IAAIG,KAAJ,CAAU,KAAV,CAAN;EACD,CAxBD;AAyBD;AAED;;;;AAGA,OAAM,SAAUC,EAAV,CAAaL,IAAb,EAAkC;EACtC,OAAQC,IAAD,IAA2C;IAChD,IAAIA,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,SAAzB,EAAoC;MAClC,OAAOmB,IAAP;IACD;;IACD,IAAIA,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,SAAzB,EAAoC;MAClC,OAAOoB,IAAP;IACD;;IACD,IAAIA,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,QAArB,IAAiCmB,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,QAA1D,EAAoE;MAClE,OAAO,IAAIM,eAAJ,CACLc,IAAI,CAACZ,UADA,EAELY,IAAI,CAACX,KAFA,EAGLW,IAAI,CAACV,MAHA,EAILU,IAAI,CAACT,MAJA,EAKLS,IAAI,CAACR,WALA,EAMLS,uBAAkBC,gCAA0BL,qBAA1B,EAA+BI,qBAA/BF,IAAI,CAACN,KAA0B,CAA/B,CAAlB,MAAI,CAACA,KAAL,CANK,CAAP;IAQD;;IACD,IAAIO,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,QAAzB,EAAmC;MACjC,OAAOoB,IAAP;IACD;;IACD,IAAID,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,QAAzB,EAAmC;MACjC,OAAOmB,IAAP;IACD;;IACD,MAAM,IAAII,KAAJ,CAAU,KAAV,CAAN;EACD,CAxBD;AAyBD;AAED;;;;AAGA,OAAM,SAAUE,MAAV,CAAiBL,IAAjB,EAAsC;EAC1C,OAAOtB,SAAS,CAACsB,IAAI,CAACV,MAAN,EAAc;IAC5BR,OAAO,EAAE,MAAMkB,IADa;IAE5BrB,MAAM,EAAE,MAAM,IAAIO,eAAJ,CAAoBc,IAAI,CAACZ,UAAzB,EAAqCY,IAAI,CAACX,KAA1C,EAAiDR,MAAjD,EAAyDmB,IAAI,CAACT,MAA9D,EAAsES,IAAI,CAACR,WAA3E,EAAwFQ,IAAI,CAACP,KAA7F,CAFc;IAG5BZ,MAAM,EAAE,MAAM,IAAIK,eAAJ,CAAoBc,IAAI,CAACZ,UAAzB,EAAqCY,IAAI,CAACX,KAA1C,EAAiDV,MAAjD,EAAyDqB,IAAI,CAACT,MAA9D,EAAsES,IAAI,CAACR,WAA3E,EAAwFQ,IAAI,CAACP,KAA7F;EAHc,CAAd,CAAhB;AAKD","names":["matchTag_","Failed","_tag","Passed","Ignored","Test","Suite","Other","ExecutionResult","constructor","resultType","label","status","offset","annotations","lines","withAnnotations","rendered","caseType","tsplus_module_1","and","that","self","tsplus_module_2","tsplus_module_3","Error","or","invert"],"sourceRoot":"","sources":["../../_src/data/ExecutionResult.ts"],"sourcesContent":[null]}
|
@@ -5,44 +5,50 @@ 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
22
|
|
23
|
-
function and_1(
|
24
|
-
return
|
23
|
+
function and_1(right) {
|
24
|
+
return left => {
|
25
|
+
return new And(left, right);
|
26
|
+
};
|
25
27
|
}
|
26
28
|
/**
|
27
|
-
* @tsplus
|
29
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra flatMap
|
28
30
|
*/
|
29
31
|
|
30
32
|
|
31
|
-
function flatMap_1(
|
32
|
-
return
|
33
|
-
|
34
|
-
|
35
|
-
|
36
|
-
|
37
|
-
|
33
|
+
function flatMap_1(f) {
|
34
|
+
return self => {
|
35
|
+
return fold_1({
|
36
|
+
Value: f,
|
37
|
+
And: (l, r) => and_1(r)(l),
|
38
|
+
Or: (l, r) => or_1(r)(l),
|
39
|
+
Not: v => not_1(v)
|
40
|
+
})(self);
|
41
|
+
};
|
38
42
|
}
|
39
43
|
/**
|
40
|
-
* @tsplus
|
44
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra map
|
41
45
|
*/
|
42
46
|
|
43
47
|
|
44
|
-
export function
|
45
|
-
return
|
48
|
+
export function map(f) {
|
49
|
+
return self => {
|
50
|
+
return flatMap_1(a => success_1(f(a)))(self);
|
51
|
+
};
|
46
52
|
}
|
47
53
|
/**
|
48
54
|
* @tsplus static fncts.test.FreeBooleanAlgebraOps failure
|
@@ -56,72 +62,80 @@ export function failure(a) {
|
|
56
62
|
*/
|
57
63
|
|
58
64
|
export function failures(self) {
|
59
|
-
return tsplus_module_4.
|
65
|
+
return tsplus_module_4.match(tsplus_module_1.just, () => tsplus_module_1.nothing())(fold_1({
|
60
66
|
Value: a => tsplus_module_2.right(success_1(a)),
|
61
67
|
And: (l, r) => {
|
62
68
|
void 0;
|
63
69
|
void 0;
|
64
|
-
return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(and_1(
|
70
|
+
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
71
|
},
|
66
72
|
Or: (l, r) => {
|
67
73
|
void 0;
|
68
74
|
void 0;
|
69
|
-
return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(or_1(
|
75
|
+
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
76
|
},
|
71
77
|
Not: v => tsplus_module_3.swap(v)
|
72
|
-
})
|
78
|
+
})(self));
|
73
79
|
}
|
74
80
|
/**
|
75
|
-
* @tsplus
|
81
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra foldEval
|
76
82
|
*/
|
77
83
|
|
78
|
-
function foldEval_1(
|
79
|
-
return
|
80
|
-
|
81
|
-
|
82
|
-
|
83
|
-
|
84
|
-
|
85
|
-
|
86
|
-
|
87
|
-
|
88
|
-
|
89
|
-
|
90
|
-
|
91
|
-
|
92
|
-
|
93
|
-
|
94
|
-
|
95
|
-
|
96
|
-
|
97
|
-
|
98
|
-
|
99
|
-
|
100
|
-
|
101
|
-
|
84
|
+
function foldEval_1(cases) {
|
85
|
+
return self => {
|
86
|
+
return tsplus_module_5.defer(() => {
|
87
|
+
switch (self._tag) {
|
88
|
+
case "Value"
|
89
|
+
/* FreeBooleanAlgebraTag.Value */
|
90
|
+
:
|
91
|
+
return tsplus_module_5.now(cases.Value(self.value));
|
92
|
+
|
93
|
+
case "And"
|
94
|
+
/* FreeBooleanAlgebraTag.And */
|
95
|
+
:
|
96
|
+
return tsplus_module_6.zipWith(foldEval_1(cases)(self.right), cases.And)(foldEval_1(cases)(self.left));
|
97
|
+
|
98
|
+
case "Or"
|
99
|
+
/* FreeBooleanAlgebraTag.Or */
|
100
|
+
:
|
101
|
+
return tsplus_module_6.zipWith(foldEval_1(cases)(self.right), cases.Or)(foldEval_1(cases)(self.left));
|
102
|
+
|
103
|
+
case "Not"
|
104
|
+
/* FreeBooleanAlgebraTag.Not */
|
105
|
+
:
|
106
|
+
return tsplus_module_6.map(cases.Not)(foldEval_1(cases)(self.result));
|
107
|
+
}
|
108
|
+
});
|
109
|
+
};
|
102
110
|
}
|
103
111
|
/**
|
104
|
-
* @tsplus
|
112
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra fold
|
105
113
|
*/
|
106
114
|
|
107
115
|
|
108
|
-
function fold_1(
|
109
|
-
return
|
116
|
+
function fold_1(cases) {
|
117
|
+
return self => {
|
118
|
+
return tsplus_module_7.run(foldEval_1(cases)(self));
|
119
|
+
};
|
110
120
|
}
|
111
121
|
/**
|
112
|
-
* @tsplus
|
122
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra iff
|
113
123
|
*/
|
114
124
|
|
115
125
|
|
116
|
-
export function
|
117
|
-
return
|
126
|
+
export function iff(right) {
|
127
|
+
return left => {
|
128
|
+
return and_1(implies_1(left)(right))(implies_1(right)(left));
|
129
|
+
};
|
118
130
|
}
|
119
131
|
/**
|
120
|
-
* @tsplus
|
132
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra implies
|
121
133
|
*/
|
122
134
|
|
123
|
-
function implies_1(
|
124
|
-
return
|
135
|
+
function implies_1(right) {
|
136
|
+
return left => {
|
137
|
+
return or_1(right)(not_1(left));
|
138
|
+
};
|
125
139
|
}
|
126
140
|
/**
|
127
141
|
* @tsplus getter fncts.test.FreeBooleanAlgebra isFailure
|
@@ -136,12 +150,12 @@ export function isFailure(self) {
|
|
136
150
|
*/
|
137
151
|
|
138
152
|
function isSuccess_1(self) {
|
139
|
-
return fold_1(
|
153
|
+
return fold_1({
|
140
154
|
Value: () => true,
|
141
155
|
And: (l, r) => l && r,
|
142
156
|
Or: (l, r) => l || r,
|
143
157
|
Not: v => !v
|
144
|
-
});
|
158
|
+
})(self);
|
145
159
|
}
|
146
160
|
/**
|
147
161
|
* @tsplus getter fncts.test.FreeBooleanAlgebra invert
|
@@ -152,13 +166,15 @@ function not_1(self) {
|
|
152
166
|
return new Not(self);
|
153
167
|
}
|
154
168
|
/**
|
155
|
-
* @tsplus
|
156
|
-
* @tsplus operator fncts.test.FreeBooleanAlgebra ||
|
169
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra or
|
170
|
+
* @tsplus pipeable-operator fncts.test.FreeBooleanAlgebra ||
|
157
171
|
*/
|
158
172
|
|
159
173
|
|
160
|
-
function or_1(
|
161
|
-
return
|
174
|
+
function or_1(right) {
|
175
|
+
return left => {
|
176
|
+
return new Or(left, right);
|
177
|
+
};
|
162
178
|
}
|
163
179
|
/**
|
164
180
|
* @tsplus static fncts.test.FreeBooleanAlgebraOps success
|
@@ -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,GAAT,EAAyDC,GAAzD,EAA8DC,EAA9D,EAAkEC,KAAlE,QAA+E,kBAA/E;AAEA;;;;;AAIA,eAAuBC,KAAvB,EAAmD;EACjD,OAAQC,IAAD,IAAuD;IAC5D,OAAO,IAAIL,GAAJ,CAAQK,IAAR,EAAcD,KAAd,CAAP;EACD,CAFD;AAGD;AAED;;;;;AAGA,mBAA8BE,CAA9B,EAAgE;EAC9D,OAAQC,IAAD,IAAuD;IAC5D,OAAOC,OAAU;MACfL,KAAK,EAAEG,CADQ;MAEfN,GAAG,EAAE,CAACS,CAAD,EAAIC,CAAJ,KAASC,MAAMD,CAAN,EAACD,CAAD,CAFC;MAGfP,EAAE,EAAE,CAACO,CAAD,EAAIC,CAAJ,KAASE,KAAMF,CAAN,EAACD,CAAD,CAHE;MAIfR,GAAG,EAAGY,CAAD,IAAMC,MAACD,CAAD;IAJI,CAAV,OAAP;EAMD,CAPD;AAQD;AAED;;;;;AAGA,OAAM,SAAUE,GAAV,CAAoBT,CAApB,EAAkC;EACtC,OAAQC,IAAD,IAAuD;IAC5D,OAAOS,UAAcC,CAAD,IAAOC,UAA2BZ,CAAC,CAACW,CAAD,CAA5B,CAApB,OAAP;EACD,CAFD;AAGD;AAED;;;;AAGA,OAAM,SAAUE,OAAV,CAAqBF,CAArB,EAAyB;EAC7B,aAAOC,UAA2BD,CAA3B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUG,QAAV,CAAsBb,IAAtB,EAAiD;EACrD,OAAOc,4CA2Bc,MAAMC,yBA3BpB,SAC0D;IAC7DnB,KAAK,EAAGc,CAAD,IAAOM,sBAAaL,UAA2BD,CAA3B,CAAb,CAD+C;IAE7DjB,GAAG,EAAE,CAACS,CAAD,EAAIC,CAAJ,KAAS;MACZ;MACA;MACA,OAAOc,6BACHA,6BACED,4BAAwBb,CAAC,CAACN,KAA1B,EAAaK,CAAC,CAACL,KAAf,EADF,GAEEM,CAHC,GAIHc,6BACAf,CADA,GAEAc,2BAAsBb,CAAC,CAACL,IAAxB,EAAYI,CAAC,CAACJ,IAAd,EANJ;IAOD,CAZ4D;IAa7DH,EAAE,EAAE,CAACO,CAAD,EAAIC,CAAJ,KAAS;MACX;MACA;MACA,OAAOc,6BACHA,6BACED,2BAAwBb,CAAC,CAACN,KAA1B,EAAaK,CAAC,CAACL,KAAf,EADF,GAEEK,CAHC,GAIHe,6BACAd,CADA,GAEAa,0BAAsBb,CAAC,CAACL,IAAxB,EAAYI,CAAC,CAACJ,IAAd,EANJ;IAOD,CAvB4D;IAwB7DJ,GAAG,EAAGY,CAAD,IAAMW,qBAACX,CAAD;EAxBkD,CAD1D,QAAP;AA4BD;AAED;;;;AAGA,oBAA+BY,KAA/B,EAKC;EACC,OAAQlB,IAAD,IAAyC;IAC9C,OAAOmB,sBAAW,MAAK;MACrB,QAAQnB,IAAI,CAACoB,IAAb;QACE;QAAA;QAAA;UACE,OAAOD,oBAASD,KAAK,CAACtB,KAAN,CAAYI,IAAI,CAACqB,KAAjB,CAAT,CAAP;;QACF;QAAA;QAAA;UACE,OAAOC,wBAAkCC,WAAoBL,KAApB,MAAI,CAACrB,KAAL,CAAlC,EAA8DqB,KAAK,CAACzB,GAApE,aAAmByB,KAAnB,MAAI,CAACpB,IAAL,EAAP;;QACF;QAAA;QAAA;UACE,OAAOwB,wBAAkCC,WAAoBL,KAApB,MAAI,CAACrB,KAAL,CAAlC,EAA8DqB,KAAK,CAACvB,EAApE,aAAmBuB,KAAnB,MAAI,CAACpB,IAAL,EAAP;;QACF;QAAA;QAAA;UACE,OAAOwB,oBAAgCJ,KAAK,CAACxB,GAAtC,aAAqBwB,KAArB,MAAI,CAACM,MAAL,EAAP;MARJ;IAUD,CAXM,CAAP;EAYD,CAbD;AAcD;AAED;;;;;AAGA,gBAA2BN,KAA3B,EAKC;EACC,OAAQlB,IAAD,IAAmC;IACxC,2BAAOuB,WAAcL,KAAd,OAAP;EACD,CAFD;AAGD;AAED;;;;;AAGA,OAAM,SAAUO,GAAV,CAAiB5B,KAAjB,EAA6C;EACjD,OAAQC,IAAD,IAAuD;IAC5D,aAA8B4B,UAAc5B,IAAd,QAA9B,EAAO4B,UAAa7B,KAAb,OAAP;EACD,CAFD;AAGD;AAED;;;;AAGA,mBAA2BA,KAA3B,EAAuD;EACrD,OAAQC,IAAD,IAAuD;IAC5D,YAAsBD,KAAtB,EAA2BU,MAApBT,IAAoB,CAA3B;EACD,CAFD;AAGD;AAED;;;;;AAGA,OAAM,SAAU6B,SAAV,CAAuB3B,IAAvB,EAAkD;EACtD,OAAO,aAACA,IAAD,CAAP;AACD;AAED;;;;AAGA,qBAA6BA,IAA7B,EAAwD;EACtD,OAAOC,OAAU;IACfL,KAAK,EAAE,MAAe,IADP;IAEfH,GAAG,EAAE,CAACS,CAAD,EAAIC,CAAJ,KAAUD,CAAC,IAAIC,CAFL;IAGfR,EAAE,EAAE,CAACO,CAAD,EAAIC,CAAJ,KAAUD,CAAC,IAAIC,CAHJ;IAIfT,GAAG,EAAGY,CAAD,IAAO,CAACA;EAJE,CAAV,OAAP;AAMD;AAED;;;;;AAGA,eAAuBN,IAAvB,EAAkD;EAChD,OAAO,IAAIN,GAAJ,CAAQM,IAAR,CAAP;AACD;AAED;;;;;;AAIA,cAAsBH,KAAtB,EAAkD;EAChD,OAAQC,IAAD,IAAuD;IAC5D,OAAO,IAAIH,EAAJ,CAAOG,IAAP,EAAaD,KAAb,CAAP;EACD,CAFD;AAGD;AAED;;;;;AAGA,mBAA2Ba,CAA3B,EAA+B;EAC7B,OAAO,IAAId,KAAJ,CAAUc,CAAV,CAAP;AACD","names":["and","flatMap","foldEval","fold","implies","isSuccess","not","or","success","And","Not","Or","Value","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]}
|
@@ -25,14 +25,14 @@ export function makeFragment(text, style = tsplus_module_1.Default) {
|
|
25
25
|
*/
|
26
26
|
|
27
27
|
export function appendTo(line, self) {
|
28
|
-
return new Line(tsplus_module_2.
|
28
|
+
return new Line(tsplus_module_2.append(self)(line.fragments), line.offset);
|
29
29
|
}
|
30
30
|
/**
|
31
31
|
* @tsplus operator fncts.test.data.Fragment +
|
32
32
|
*/
|
33
33
|
|
34
34
|
export function prependTo(self, line) {
|
35
|
-
return new Line(tsplus_module_2.
|
35
|
+
return new Line(tsplus_module_2.prepend(self)(line.fragments), line.offset);
|
36
36
|
}
|
37
37
|
/**
|
38
38
|
* @tsplus operator fncts.test.data.Fragment +
|
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"Fragment.mjs","mappings":";;AAAA,SAASA,IAAT,QAAqB,YAArB;AAGA;;;;;AAIA,OAAM,MAAOC,QAAP,CAAe;EACnBC,YAAqBC,IAArB,EAA4CC,+BAA5C,EAAwE;IAAnD;IAAuB;EAAgC;;AADzD;AAIrB;;;;AAGA,OAAM,SAAUC,YAAV,CAAuBF,IAAvB,EAAqCC,KAAK,0BAA1C,EAA0D;EAC9D,OAAO,IAAIH,QAAJ,CAAaE,IAAb,EAAmBC,KAAnB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUE,QAAV,CAAmBC,IAAnB,EAA+BC,IAA/B,EAA6C;EACjD,OAAO,IAAIR,IAAJ,CAASS,
|
1
|
+
{"version":3,"file":"Fragment.mjs","mappings":";;AAAA,SAASA,IAAT,QAAqB,YAArB;AAGA;;;;;AAIA,OAAM,MAAOC,QAAP,CAAe;EACnBC,YAAqBC,IAArB,EAA4CC,+BAA5C,EAAwE;IAAnD;IAAuB;EAAgC;;AADzD;AAIrB;;;;AAGA,OAAM,SAAUC,YAAV,CAAuBF,IAAvB,EAAqCC,KAAK,0BAA1C,EAA0D;EAC9D,OAAO,IAAIH,QAAJ,CAAaE,IAAb,EAAmBC,KAAnB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUE,QAAV,CAAmBC,IAAnB,EAA+BC,IAA/B,EAA6C;EACjD,OAAO,IAAIR,IAAJ,CAASS,uBAAsBD,IAAtB,MAAI,CAACE,SAAL,CAAT,EAAsCH,IAAI,CAACI,MAA3C,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,SAAV,CAAoBJ,IAApB,EAAoCD,IAApC,EAA8C;EAClD,OAAO,IAAIP,IAAJ,CAASS,wBAAuBD,IAAvB,MAAI,CAACE,SAAL,CAAT,EAAuCH,IAAI,CAACI,MAA5C,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUE,MAAV,CAAiBL,IAAjB,EAAiCM,IAAjC,EAA+C;EACnD,OAAO,IAAId,IAAJ,CAASS,uBAAOD,IAAP,EAAaM,IAAb,CAAT,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,MAAV,CAAiBP,IAAjB,EAA+B;EACnC,OAAO,IAAIR,IAAJ,CAASS,uBAAOD,IAAP,CAAT,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUQ,IAAV,CAAeR,IAAf,EAA6B;EACjC,OAAO,IAAIP,QAAJ,CAAaO,IAAI,CAACL,IAAlB,EAAwBc,qBAAWT,IAAX,CAAxB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUU,UAAV,CAAqBV,IAArB,EAAmC;EACvC,OAAO,IAAIP,QAAJ,CAAaO,IAAI,CAACL,IAAlB,EAAwBc,2BAAiBT,IAAjB,CAAxB,CAAP;AACD","names":["Line","Fragment","constructor","text","style","makeFragment","appendTo","line","self","tsplus_module_2","fragments","offset","prependTo","append","that","toLine","bold","tsplus_module_1","underlined"],"sourceRoot":"","sources":["../../../_src/data/LogLine/Fragment.ts"],"sourcesContent":[null]}
|
@@ -28,7 +28,7 @@ export const empty = /*#__PURE__*/makeLine_1();
|
|
28
28
|
*/
|
29
29
|
|
30
30
|
export function fromString(text, offset = 0) {
|
31
|
-
return withOffset_1(tsplus_module_2.toLine(tsplus_module_2.makeFragment(text))
|
31
|
+
return withOffset_1(offset)(tsplus_module_2.toLine(tsplus_module_2.makeFragment(text)));
|
32
32
|
}
|
33
33
|
/**
|
34
34
|
* @tsplus static fncts.test.data.LineOps __call
|
@@ -43,7 +43,7 @@ function makeLine_1(fragments = tsplus_module_1.empty(), offset = 0) {
|
|
43
43
|
|
44
44
|
|
45
45
|
export function append(self, that) {
|
46
|
-
return new Line(tsplus_module_1.
|
46
|
+
return new Line(tsplus_module_1.concat(that.fragments)(self.fragments), self.offset);
|
47
47
|
}
|
48
48
|
/**
|
49
49
|
* @tsplus operator fncts.test.data.Line |
|
@@ -57,21 +57,23 @@ export function concat(self, that) {
|
|
57
57
|
*/
|
58
58
|
|
59
59
|
export function appendTo(message, self) {
|
60
|
-
return new Message(tsplus_module_1.
|
60
|
+
return new Message(tsplus_module_1.append(self)(message.lines));
|
61
61
|
}
|
62
62
|
/**
|
63
63
|
* @tsplus operator fncts.test.data.Line +
|
64
64
|
*/
|
65
65
|
|
66
66
|
export function prependTo(self, message) {
|
67
|
-
return new Message(tsplus_module_1.
|
67
|
+
return new Message(tsplus_module_1.prepend(self)(message.lines));
|
68
68
|
}
|
69
69
|
/**
|
70
|
-
* @tsplus
|
70
|
+
* @tsplus pipeable fncts.test.data.Line withOffset
|
71
71
|
*/
|
72
72
|
|
73
|
-
function withOffset_1(
|
74
|
-
return
|
73
|
+
function withOffset_1(shift) {
|
74
|
+
return self => {
|
75
|
+
return new Line(self.fragments, self.offset + shift);
|
76
|
+
};
|
75
77
|
}
|
76
78
|
/**
|
77
79
|
* @tsplus getter fncts.test.data.Line toMessage
|
@@ -86,7 +88,7 @@ export function toMessage(self) {
|
|
86
88
|
*/
|
87
89
|
|
88
90
|
export function optimized(self) {
|
89
|
-
const newFragments = tsplus_module_1.
|
91
|
+
const newFragments = tsplus_module_1.foldRight(tsplus_module_3.empty(), (curr, rest) => {
|
90
92
|
if (tsplus_module_4.isNonEmpty(rest)) {
|
91
93
|
const next = rest.head;
|
92
94
|
const fs = rest.tail;
|
@@ -99,7 +101,7 @@ export function optimized(self) {
|
|
99
101
|
} else {
|
100
102
|
return tsplus_module_3.cons(curr);
|
101
103
|
}
|
102
|
-
});
|
104
|
+
})(self.fragments);
|
103
105
|
return makeLine_1(tsplus_module_1.from(newFragments), self.offset);
|
104
106
|
}
|
105
107
|
//# sourceMappingURL=Line.mjs.map
|