@fncts/test 0.0.19 → 0.0.21
Sign up to get free protection for your applications and to get access to all the features.
- 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
|