@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
package/api.d.ts
CHANGED
@@ -12,35 +12,35 @@ import { Spec } from "./control/Spec.js";
|
|
12
12
|
import { TestConfig } from "./data/TestConfig.js";
|
13
13
|
export declare function traverseResult<A>(value: A, assertResult: AssertResult<A>, assertion: AssertionIO<A>): TestResult;
|
14
14
|
/**
|
15
|
-
* @tsplus
|
15
|
+
* @tsplus pipeable global assert 1
|
16
16
|
* @tsplus location "@fncts/test/api"
|
17
17
|
*/
|
18
|
-
export declare function
|
18
|
+
export declare function assert<A>(assertion: Assertion<A>): (value: A) => TestResult;
|
19
19
|
/**
|
20
|
-
* @tsplus
|
20
|
+
* @tsplus pipeable global assert 0
|
21
21
|
* @tsplus location "@fncts/test/api"
|
22
22
|
*/
|
23
|
-
export declare function
|
23
|
+
export declare function assertIO<A>(assertion: AssertionIO<A>): <R, E>(io: import("@fncts/io/IO.js").IO<R, E, A>) => import("@fncts/io/IO.js").IO<R, E, TestResult>;
|
24
24
|
export declare function suite<Specs extends ReadonlyArray<Spec<any, any>>>(label: string, ...specs: Specs): Spec<_R<Specs[number]>, _E<Specs[number]>>;
|
25
25
|
export declare function testIO<R, E>(label: string, assertion: Lazy<IO<R, E, TestResult>>): Spec<R, E>;
|
26
26
|
export declare function test(label: string, assertion: Lazy<TestResult>): Spec<never, never>;
|
27
27
|
/**
|
28
|
-
* @tsplus
|
28
|
+
* @tsplus pipeable fncts.test.Gen check
|
29
29
|
* @tsplus location "@fncts/test/api"
|
30
30
|
*/
|
31
|
-
export declare function check<
|
31
|
+
export declare function check<A>(test: (a: A) => TestResult): <R>(rv: Gen<R, A>) => import("@fncts/io/IO.js").IO<TestConfig | R, never, TestResult>;
|
32
32
|
/**
|
33
|
-
* @tsplus
|
33
|
+
* @tsplus pipeable fncts.test.Gen check
|
34
34
|
* @tsplus location "@fncts/test/api"
|
35
35
|
*/
|
36
|
-
export declare function checkIO<
|
36
|
+
export declare function checkIO<A, R1, E>(test: (a: A) => IO<R1, E, TestResult>): <R>(rv: Gen<R, A>) => import("@fncts/io/IO.js").IO<TestConfig | R1 | R, E, TestResult>;
|
37
37
|
/**
|
38
|
-
* @tsplus
|
38
|
+
* @tsplus pipeable fncts.test.Gen checkAllC
|
39
39
|
* @tsplus location "@fncts/test/api"
|
40
40
|
*/
|
41
|
-
export declare function checkAllC<
|
41
|
+
export declare function checkAllC<A>(concurrency: number, test: (a: A) => TestResult): <R>(rv: Gen<R, A>) => import("@fncts/io/IO.js").IO<TestConfig | R, never, TestResult>;
|
42
42
|
/**
|
43
|
-
* @tsplus
|
43
|
+
* @tsplus pipeable fncts.test.Gen checkAllC
|
44
44
|
* @tsplus location "@fncts/test/api"
|
45
45
|
*/
|
46
|
-
export declare function checkAllIOC<
|
46
|
+
export declare function checkAllIOC<A, R1, E>(concurrency: number, test: (a: A) => IO<R1, E, TestResult>): <R>(rv: Gen<R, A>) => import("@fncts/io/IO.js").IO<TestConfig | R1 | R, E, TestResult>;
|
@@ -10,11 +10,11 @@ import { FreeBooleanAlgebra } from "../../data/FreeBooleanAlgebra.js";
|
|
10
10
|
import { RenderParam } from "../../data/RenderParam.js";
|
11
11
|
import { Assertion } from "./definition.js";
|
12
12
|
/**
|
13
|
-
* @tsplus
|
14
|
-
* @tsplus operator fncts.test.Assertion &&
|
13
|
+
* @tsplus pipeable fncts.test.Assertion and
|
14
|
+
* @tsplus pipeable-operator fncts.test.Assertion &&
|
15
15
|
* @tsplus location "@fncts/test/control/Assertion/api"
|
16
16
|
*/
|
17
|
-
export declare function
|
17
|
+
export declare function and<A>(that: Assertion<A>): (self: Assertion<A>) => Assertion<A>;
|
18
18
|
/**
|
19
19
|
* @tsplus static fncts.test.AssertionOps anything
|
20
20
|
* @tsplus location "@fncts/test/control/Assertion/api"
|
@@ -62,25 +62,29 @@ export declare const isEmpty: Assertion<Iterable<any>>;
|
|
62
62
|
export declare const isUnit: Assertion<void>;
|
63
63
|
export declare function isLessThanOrEqualTo(n: number): Assertion<number>;
|
64
64
|
/**
|
65
|
-
* @tsplus
|
65
|
+
* @tsplus pipeable fncts.test.Assertion label
|
66
66
|
* @tsplus location "@fncts/test/control/Assertion/api"
|
67
67
|
*/
|
68
|
-
export declare function
|
68
|
+
export declare function label(label: string): <A>(self: Assertion<A>) => Assertion<A>;
|
69
69
|
/**
|
70
70
|
* @tsplus getter fncts.test.Assertion invert
|
71
71
|
* @tsplus location "@fncts/test/control/Assertion/api"
|
72
72
|
*/
|
73
73
|
export declare function not<A>(assertion: Assertion<A>): Assertion<A>;
|
74
74
|
/**
|
75
|
-
* @tsplus
|
76
|
-
* @tsplus operator fncts.test.Assertion ||
|
75
|
+
* @tsplus pipeable fncts.test.Assertion or
|
76
|
+
* @tsplus pipeable-operator fncts.test.Assertion ||
|
77
|
+
* @tsplus location "@fncts/test/control/Assertion/api"
|
78
|
+
*/
|
79
|
+
export declare function or<A>(that: Assertion<A>): (self: Assertion<A>) => Assertion<A>;
|
80
|
+
/**
|
81
|
+
* @tsplus getter fncts.test.Assertion succeeds
|
77
82
|
* @tsplus location "@fncts/test/control/Assertion/api"
|
78
83
|
*/
|
79
|
-
export declare function or_<A>(self: Assertion<A>, that: Assertion<A>): Assertion<A>;
|
80
84
|
export declare function succeeds<A>(assertion: Assertion<A>): Assertion<Exit<any, A>>;
|
81
85
|
/**
|
82
|
-
* @tsplus
|
86
|
+
* @tsplus pipeable fncts.test.Assertion test
|
83
87
|
* @tsplus location "@fncts/test/control/Assertion/api"
|
84
88
|
*/
|
85
|
-
export declare function
|
89
|
+
export declare function test<A>(actual: A): (self: Assertion<A>) => boolean;
|
86
90
|
export declare const completes: Assertion<unknown>;
|
@@ -1,18 +1,18 @@
|
|
1
1
|
import { AssertionIO } from "./definition.js";
|
2
2
|
/**
|
3
|
-
* @tsplus
|
4
|
-
* @tsplus operator fncts.test.AssertionIO &&
|
3
|
+
* @tsplus pipeable fncts.test.AssertionIO and
|
4
|
+
* @tsplus pipeable-operator fncts.test.AssertionIO &&
|
5
5
|
* @tsplus location "@fncts/test/control/AssertionIO/api"
|
6
6
|
*/
|
7
|
-
export declare function
|
7
|
+
export declare function and<A>(that: AssertionIO<A>): (self: AssertionIO<A>) => AssertionIO<A>;
|
8
8
|
/**
|
9
|
-
* @tsplus
|
10
|
-
* @tsplus operator fncts.test.AssertionIO ||
|
9
|
+
* @tsplus pipeable fncts.test.AssertionIO or
|
10
|
+
* @tsplus pipeable-operator fncts.test.AssertionIO ||
|
11
11
|
* @tsplus location "@fncts/test/control/AssertionIO/api"
|
12
12
|
*/
|
13
|
-
export declare function
|
13
|
+
export declare function or<A>(that: AssertionIO<A>): (self: AssertionIO<A>) => AssertionIO<A>;
|
14
14
|
/**
|
15
|
-
* @tsplus
|
15
|
+
* @tsplus pipeable fncts.test.AssertionIO label
|
16
16
|
* @tsplus location "@fncts/test/control/AssertionIO/api"
|
17
17
|
*/
|
18
|
-
export declare function
|
18
|
+
export declare function label(label: string): <A>(self: AssertionIO<A>) => AssertionIO<A>;
|
@@ -1,17 +1,17 @@
|
|
1
1
|
import { IO } from "@fncts/io/IO/definition";
|
2
2
|
import type { FreeBooleanAlgebraIO } from "./definition.js";
|
3
3
|
/**
|
4
|
-
* @tsplus
|
5
|
-
* @tsplus operator fncts.test.FreeBooleanAlgebraIO &&
|
4
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebraIO and
|
5
|
+
* @tsplus pipeable-operator fncts.test.FreeBooleanAlgebraIO &&
|
6
6
|
* @tsplus location "@fncts/test/control/FreeBooleanAlgebraIO/api"
|
7
7
|
*/
|
8
|
-
export declare function
|
8
|
+
export declare function and<R1, E1, A1>(that: FreeBooleanAlgebraIO<R1, E1, A1>): <R, E, A extends A1>(self: FreeBooleanAlgebraIO<R, E, A>) => FreeBooleanAlgebraIO<R1 | R, E1 | E, A1 | A>;
|
9
9
|
/**
|
10
|
-
* @tsplus
|
11
|
-
* @tsplus operator fncts.test.FreeBooleanAlgebraIO ||
|
10
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebraIO or
|
11
|
+
* @tsplus pipeable-operator fncts.test.FreeBooleanAlgebraIO ||
|
12
12
|
* @tsplus location "@fncts/test/control/FreeBooleanAlgebraIO/api"
|
13
13
|
*/
|
14
|
-
export declare function
|
14
|
+
export declare function or<R1, E1, A1>(that: FreeBooleanAlgebraIO<R1, E1, A1>): <R, E, A extends A1>(self: FreeBooleanAlgebraIO<R, E, A>) => FreeBooleanAlgebraIO<R1 | R, E1 | E, A1 | A>;
|
15
15
|
/**
|
16
16
|
* @tsplus fluent fncts.test.FreeBooleanAlgebraIO invert
|
17
17
|
* @tsplus location "@fncts/test/control/FreeBooleanAlgebraIO/api"
|
@@ -2,17 +2,17 @@ import type { Sized } from "../../Sized.js";
|
|
2
2
|
import type { EqConstraint, LengthConstraints } from "../constraints.js";
|
3
3
|
import { Gen } from "../definition.js";
|
4
4
|
/**
|
5
|
-
* @tsplus
|
5
|
+
* @tsplus pipeable fncts.test.Gen array
|
6
6
|
* @tsplus location "@fncts/test/control/Gen/api/array"
|
7
7
|
*/
|
8
|
-
export declare function array<R, A>(g: Gen<R, A
|
8
|
+
export declare function array(constraints?: LengthConstraints): <R, A>(g: Gen<R, A>) => Gen<Sized | R, readonly A[]>;
|
9
9
|
/**
|
10
|
-
* @tsplus
|
10
|
+
* @tsplus pipeable fncts.test.Gen arrayN
|
11
11
|
* @tsplus location "@fncts/test/control/Gen/api/array"
|
12
12
|
*/
|
13
|
-
export declare function
|
13
|
+
export declare function arrayN(n: number): <R, A>(self: Gen<R, A>) => Gen<R, readonly A[]>;
|
14
14
|
/**
|
15
|
-
* @tsplus
|
15
|
+
* @tsplus pipeable fncts.test.Gen uniqueArray
|
16
16
|
* @tsplus location "@fncts/test/control/Gen/api/array"
|
17
17
|
*/
|
18
|
-
export declare function
|
18
|
+
export declare function uniqueArray<A>(constraints?: LengthConstraints & EqConstraint<A>): <R>(gen: Gen<R, A>) => Gen<Sized | R, readonly A[]>;
|
@@ -4,22 +4,22 @@ import type { EqConstraint, LengthConstraints } from "../constraints.js";
|
|
4
4
|
import { Eq } from "@fncts/base/typeclass";
|
5
5
|
import { Gen } from "../definition.js";
|
6
6
|
/**
|
7
|
-
* @tsplus
|
7
|
+
* @tsplus pipeable fncts.test.Gen conc
|
8
8
|
* @tsplus location "@fncts/test/control/Gen/api/conc"
|
9
9
|
*/
|
10
|
-
export declare function conc<R, A>(self: Gen<R, A
|
10
|
+
export declare function conc(constraints?: LengthConstraints): <R, A>(self: Gen<R, A>) => Gen<Sized | R, import("@fncts/base/collection/immutable/Conc.js").Conc<A>>;
|
11
11
|
/**
|
12
|
-
* @tsplus
|
12
|
+
* @tsplus pipeable fncts.test.Gen concN
|
13
13
|
* @tsplus location "@fncts/test/control/Gen/api/conc"
|
14
14
|
*/
|
15
|
-
export declare function
|
15
|
+
export declare function concN(n: number): <R, A>(g: Gen<R, A>) => Gen<R, import("@fncts/base/collection/immutable/Conc.js").Conc<A>>;
|
16
16
|
/**
|
17
|
-
* @tsplus
|
17
|
+
* @tsplus pipeable fncts.test.Gen uniqueConc
|
18
18
|
* @tsplus location "@fncts/test/control/Gen/api/conc"
|
19
19
|
*/
|
20
|
-
export declare function
|
20
|
+
export declare function uniqueConc<A>(constraints?: LengthConstraints & EqConstraint<A>): <R>(self: Gen<R, A>) => Gen<Sized | R, import("@fncts/base/collection/immutable/Conc.js").Conc<A>>;
|
21
21
|
/**
|
22
|
-
* @tsplus
|
22
|
+
* @tsplus pipeable fncts.test.Gen uniqueConcN
|
23
23
|
* @tsplus location "@fncts/test/control/Gen/api/conc"
|
24
24
|
*/
|
25
|
-
export declare function
|
25
|
+
export declare function uniqueConcN<A>(n: number, /** @tsplus auto */ E: Eq<A>): <R>(self: Gen<R, A>) => Gen<R, import("@fncts/base/collection/immutable/Conc.js").Conc<A>>;
|
@@ -32,15 +32,15 @@ export declare function hexString(constraints?: LengthConstraints): Gen<Sized, s
|
|
32
32
|
*/
|
33
33
|
export declare function string16(constraints?: LengthConstraints): Gen<Sized, string>;
|
34
34
|
/**
|
35
|
-
* @tsplus
|
35
|
+
* @tsplus pipeable fncts.test.Gen string
|
36
36
|
* @tsplus location "@fncts/test/control/Gen/api/string"
|
37
37
|
*/
|
38
|
-
export declare function string<R>(char: Gen<R, string
|
38
|
+
export declare function string(constraints?: LengthConstraints): <R>(char: Gen<R, string>) => Gen<Sized | R, string>;
|
39
39
|
/**
|
40
|
-
* @tsplus
|
40
|
+
* @tsplus pipeable fncts.test.Gen stringN
|
41
41
|
* @tsplus location "@fncts/test/control/Gen/api/string"
|
42
42
|
*/
|
43
|
-
export declare function stringN<R>(char: Gen<R, string
|
43
|
+
export declare function stringN(n: number): <R>(char: Gen<R, string>) => Gen<R, string>;
|
44
44
|
/**
|
45
45
|
* @tsplus static fncts.test.GenOps unicodeString
|
46
46
|
* @tsplus location "@fncts/test/control/Gen/api/string"
|
package/control/Gen/api.d.ts
CHANGED
@@ -36,10 +36,10 @@ export declare function bounded<R, A>(min: number, max: number, f: (n: number) =
|
|
36
36
|
*/
|
37
37
|
export declare function constant<A>(a: A): Gen<never, A>;
|
38
38
|
/**
|
39
|
-
* @tsplus
|
39
|
+
* @tsplus pipeable fncts.test.Gen flatMap
|
40
40
|
* @tsplus location "@fncts/test/control/Gen/api"
|
41
41
|
*/
|
42
|
-
export declare function
|
42
|
+
export declare function flatMap<A, R1, B>(f: (a: A) => Gen<R1, B>): <R>(ma: Gen<R, A>) => Gen<R1 | R, B>;
|
43
43
|
/**
|
44
44
|
* @tsplus static fncts.test.GenOps defer
|
45
45
|
* @tsplus location "@fncts/test/control/Gen/api"
|
@@ -51,16 +51,16 @@ export declare function defer<R, A>(gen: Lazy<Gen<R, A>>): Gen<R, A>;
|
|
51
51
|
*/
|
52
52
|
export declare const empty: Gen<never, never>;
|
53
53
|
/**
|
54
|
-
* @tsplus
|
54
|
+
* @tsplus pipeable fncts.test.Gen filter
|
55
55
|
* @tsplus location "@fncts/test/control/Gen/api"
|
56
56
|
*/
|
57
|
-
export declare function
|
58
|
-
export declare function
|
57
|
+
export declare function filter<A, B extends A>(p: Refinement<A, B>): <R>(fa: Gen<R, A>) => Gen<R, B>;
|
58
|
+
export declare function filter<A>(p: Predicate<A>): <R>(fa: Gen<R, A>) => Gen<R, A>;
|
59
59
|
/**
|
60
|
-
* @tsplus
|
60
|
+
* @tsplus pipeable fncts.test.Gen filterNot
|
61
61
|
* @tsplus location "@fncts/test/control/Gen/api"
|
62
62
|
*/
|
63
|
-
export declare function
|
63
|
+
export declare function filterNot<A>(p: Predicate<A>): <R>(fa: Gen<R, A>) => Gen<R, A>;
|
64
64
|
/**
|
65
65
|
* @tsplus getter fncts.test.Gen flatten
|
66
66
|
* @tsplus location "@fncts/test/control/Gen/api"
|
@@ -82,15 +82,15 @@ export declare function fromIOSample<R, A>(effect: IO<R, never, Sample<R, A>>):
|
|
82
82
|
*/
|
83
83
|
export declare function int(constraints?: NumberConstraints): Gen<never, number>;
|
84
84
|
/**
|
85
|
-
* @tsplus
|
85
|
+
* @tsplus pipeable fncts.test.Gen map
|
86
86
|
* @tsplus location "@fncts/test/control/Gen/api"
|
87
87
|
*/
|
88
|
-
export declare function
|
88
|
+
export declare function map<A, B>(f: (a: A) => B): <R>(self: Gen<R, A>) => Gen<R, B>;
|
89
89
|
/**
|
90
|
-
* @tsplus
|
90
|
+
* @tsplus pipeable fncts.test.Gen mapIO
|
91
91
|
* @tsplus location "@fncts/test/control/Gen/api"
|
92
92
|
*/
|
93
|
-
export declare function
|
93
|
+
export declare function mapIO<A, R1, B>(f: (a: A) => IO<R1, never, B>): <R>(self: Gen<R, A>) => Gen<R1 | R, B>;
|
94
94
|
/**
|
95
95
|
* @tsplus static fncts.test.GenOps exponential
|
96
96
|
* @tsplus location "@fncts/test/control/Gen/api"
|
@@ -122,10 +122,10 @@ export declare function nat(max?: number): Gen<unknown, number>;
|
|
122
122
|
*/
|
123
123
|
export declare function oneOf<A extends ReadonlyArray<Gen<any, any>>>(...gens: A): Gen<_R<A[number]>, _A<A[number]>>;
|
124
124
|
/**
|
125
|
-
* @tsplus
|
125
|
+
* @tsplus pipeable fncts.test.Gen reshrink
|
126
126
|
* @tsplus location "@fncts/test/control/Gen/api"
|
127
127
|
*/
|
128
|
-
export declare function
|
128
|
+
export declare function reshrink<A, R1, B>(f: (a: A) => Sample<R1, B>): <R>(gen: Gen<R, A>) => Gen<R1 | R, B>;
|
129
129
|
/**
|
130
130
|
* @tsplus static fncts.test.GenOps sized
|
131
131
|
* @tsplus location "@fncts/test/control/Gen/api"
|
@@ -162,7 +162,7 @@ export declare function unwrap<R, R1, A>(effect: URIO<R, Gen<R1, A>>): Gen<R | R
|
|
162
162
|
*/
|
163
163
|
export declare function weighted<R, A>(...gens: ReadonlyArray<readonly [Gen<R, A>, number]>): Gen<R, A>;
|
164
164
|
/**
|
165
|
-
* @tsplus
|
165
|
+
* @tsplus pipeable fncts.test.Gen zipWith
|
166
166
|
* @tsplus location "@fncts/test/control/Gen/api"
|
167
167
|
*/
|
168
|
-
export declare function
|
168
|
+
export declare function zipWith<A, R1, B, C>(that: Gen<R1, B>, f: (a: A, b: B) => C): <R>(self: Gen<R, A>) => Gen<R1 | R, C>;
|
package/control/Sample/api.d.ts
CHANGED
@@ -8,45 +8,45 @@ import { Either } from "@fncts/base/data/Either/definition";
|
|
8
8
|
import type { ArrayInt64 } from "@fncts/base/util/rand";
|
9
9
|
import { Sample } from "./definition.js";
|
10
10
|
/**
|
11
|
-
* @tsplus
|
11
|
+
* @tsplus pipeable fncts.test.Sample flatMap
|
12
12
|
* @tsplus location "@fncts/test/control/Sample/api"
|
13
13
|
*/
|
14
|
-
export declare function
|
14
|
+
export declare function flatMap<A, R1, B>(f: (a: A) => Sample<R1, B>): <R>(ma: Sample<R, A>) => Sample<R1 | R, B>;
|
15
15
|
/**
|
16
|
-
* @tsplus
|
16
|
+
* @tsplus pipeable fncts.test.Sample filter
|
17
17
|
* @tsplus location "@fncts/test/control/Sample/api"
|
18
18
|
*/
|
19
|
-
export declare function
|
19
|
+
export declare function filter<A>(f: Predicate<A>): <R>(ma: Sample<R, A>) => import("@fncts/io/Stream.js").Stream<R, never, import("@fncts/base/data/Maybe.js").Maybe<Sample<R, A>>>;
|
20
20
|
/**
|
21
|
-
* @tsplus
|
21
|
+
* @tsplus pipeable fncts.test.Sample foreach
|
22
22
|
* @tsplus location "@fncts/test/control/Sample/api"
|
23
23
|
*/
|
24
|
-
export declare function
|
24
|
+
export declare function foreach<A, R1, B>(f: (a: A) => IO<R1, never, B>): <R>(ma: Sample<R, A>) => import("@fncts/io/IO.js").IO<R1 | R, never, Sample<R1 | R, B>>;
|
25
25
|
/**
|
26
|
-
* @tsplus
|
26
|
+
* @tsplus pipeable fncts.test.Sample map
|
27
27
|
* @tsplus location "@fncts/test/control/Sample/api"
|
28
28
|
*/
|
29
|
-
export declare function
|
29
|
+
export declare function map<A, B>(f: (a: A) => B): <R>(ma: Sample<R, A>) => Sample<R, B>;
|
30
30
|
/**
|
31
|
-
* @tsplus
|
31
|
+
* @tsplus pipeable fncts.test.Sample shrinkSearch
|
32
32
|
* @tsplus location "@fncts/test/control/Sample/api"
|
33
33
|
*/
|
34
|
-
export declare function
|
34
|
+
export declare function shrinkSearch<A>(p: Predicate<A>): <R>(ma: Sample<R, A>) => import("@fncts/io/Stream.js").Stream<R, never, A>;
|
35
35
|
/**
|
36
36
|
* @tsplus static fncts.test.SampleOps unfold
|
37
37
|
* @tsplus location "@fncts/test/control/Sample/api"
|
38
38
|
*/
|
39
39
|
export declare function unfold<R, A, S>(s: S, f: (s: S) => readonly [A, Stream<R, never, S>]): Sample<R, A>;
|
40
40
|
/**
|
41
|
-
* @tsplus
|
41
|
+
* @tsplus pipeable fncts.test.Sample zip
|
42
42
|
* @tsplus location "@fncts/test/control/Sample/api"
|
43
43
|
*/
|
44
|
-
export declare function zip<
|
44
|
+
export declare function zip<R1, B>(mb: Sample<R1, B>): <R, A>(ma: Sample<R, A>) => Sample<R1 | R, readonly [A, B]>;
|
45
45
|
/**
|
46
|
-
* @tsplus
|
46
|
+
* @tsplus pipeable fncts.test.Sample zipWith
|
47
47
|
* @tsplus location "@fncts/test/control/Sample/api"
|
48
48
|
*/
|
49
|
-
export declare function
|
49
|
+
export declare function zipWith<A, R1, B, C>(mb: Sample<R1, B>, f: (a: A, b: B) => C): <R>(ma: Sample<R, A>) => Sample<R1 | R, C>;
|
50
50
|
/**
|
51
51
|
* @tsplus static fncts.test.SampleOps noShrink
|
52
52
|
* @tsplus location "@fncts/test/control/Sample/api"
|
package/control/Spec/api.d.ts
CHANGED
@@ -22,20 +22,20 @@ import { PSpec } from "./definition.js";
|
|
22
22
|
*/
|
23
23
|
export declare function annotated<R, E, T>(spec: PSpec<R, E, T>): PSpec<R | Annotations, Annotated<E>, Annotated<T>>;
|
24
24
|
/**
|
25
|
-
* @tsplus
|
25
|
+
* @tsplus pipeable fncts.test.PSpec combine
|
26
26
|
* @tsplus location "@fncts/test/control/Spec/api"
|
27
27
|
*/
|
28
|
-
export declare function
|
28
|
+
export declare function combine<R1, E1, T1>(that: PSpec<R1, E1, T1>): <R, E, T>(self: PSpec<R, E, T>) => PSpec<R1 | R, E1 | E, T1 | T>;
|
29
29
|
/**
|
30
|
-
* @tsplus
|
30
|
+
* @tsplus pipeable fncts.test.PSpec contramapEnvironment
|
31
31
|
* @tsplus location "@fncts/test/control/Spec/api"
|
32
32
|
*/
|
33
|
-
export declare function
|
33
|
+
export declare function contramapEnvironment<R, R0>(f: (r0: Environment<R0>) => Environment<R>): <E, T>(self: PSpec<R, E, T>) => PSpec<R0, E, T>;
|
34
34
|
/**
|
35
|
-
* @tsplus
|
35
|
+
* @tsplus pipeable fncts.test.PSpec countTests
|
36
36
|
* @tsplus location "@fncts/test/control/Spec/api"
|
37
37
|
*/
|
38
|
-
export declare function
|
38
|
+
export declare function countTests<T>(f: (t: T) => boolean): <R, E>(spec: PSpec<R, E, T>) => import("@fncts/io/IO.js").IO<import("@fncts/io/Scope.js").Scope | R, E, number>;
|
39
39
|
/**
|
40
40
|
* @tsplus static fncts.test.PSpecOps empty
|
41
41
|
* @tsplus location "@fncts/test/control/Spec/api"
|
@@ -48,45 +48,45 @@ export declare const empty: PSpec<never, never, never>;
|
|
48
48
|
*/
|
49
49
|
export declare function exec<R, E, T>(spec: PSpec<R, E, T>, exec: ExecutionStrategy): PSpec<R, E, T>;
|
50
50
|
/**
|
51
|
-
* @tsplus
|
51
|
+
* @tsplus pipeable fncts.test.PSpec execute
|
52
52
|
* @tsplus location "@fncts/test/control/Spec/api"
|
53
53
|
*/
|
54
|
-
export declare function execute<R, E, T>(self: PSpec<R, E, T
|
54
|
+
export declare function execute(defExec: ExecutionStrategy): <R, E, T>(self: PSpec<R, E, T>) => import("@fncts/io/IO.js").IO<import("@fncts/io/Scope.js").Scope | R, never, PSpec<never, E, T>>;
|
55
55
|
/**
|
56
|
-
* @tsplus
|
56
|
+
* @tsplus pipeable fncts.test.PSpec filterAnnotations
|
57
57
|
* @tsplus location "@fncts/test/control/Spec/api"
|
58
58
|
*/
|
59
|
-
export declare function
|
59
|
+
export declare function filterAnnotations<V>(key: TestAnnotation<V>, f: (v: V) => boolean): <R, E, T>(spec: PSpec<R, E, T>) => import("@fncts/base/data/Maybe.js").Maybe<PSpec<R, E, T>>;
|
60
60
|
/**
|
61
|
-
* @tsplus
|
61
|
+
* @tsplus pipeable fncts.test.PSpec filterLabels
|
62
62
|
* @tsplus location "@fncts/test/control/Spec/api"
|
63
63
|
*/
|
64
|
-
export declare function
|
64
|
+
export declare function filterLabels(f: (label: string) => boolean): <R, E, T>(spec: PSpec<R, E, T>) => import("@fncts/base/data/Maybe.js").Maybe<PSpec<R, E, T>>;
|
65
65
|
/**
|
66
|
-
* @tsplus
|
66
|
+
* @tsplus pipeable fncts.test.PSpec filterTags
|
67
67
|
* @tsplus location "@fncts/test/control/Spec/api"
|
68
68
|
*/
|
69
|
-
export declare function
|
69
|
+
export declare function filterTags(f: (tag: string) => boolean): <R, E, T>(spec: PSpec<R, E, T>) => import("@fncts/base/data/Maybe.js").Maybe<PSpec<R, E, T>>;
|
70
70
|
/**
|
71
|
-
* @tsplus
|
71
|
+
* @tsplus pipeable fncts.test.PSpec filterByArgs
|
72
72
|
* @tsplus location "@fncts/test/control/Spec/api"
|
73
73
|
*/
|
74
|
-
export declare function filterByArgs<R, E>(spec: Spec<R, E
|
74
|
+
export declare function filterByArgs(args: TestArgs): <R, E>(spec: Spec<R, E>) => Spec<R, E>;
|
75
75
|
/**
|
76
|
-
* @tsplus
|
76
|
+
* @tsplus pipeable fncts.test.PSpec fold
|
77
77
|
* @tsplus location "@fncts/test/control/Spec/api"
|
78
78
|
*/
|
79
|
-
export declare function
|
79
|
+
export declare function fold<R, E, T, Z>(f: (_: SpecCase<R, E, T, Z>) => Z): (spec: PSpec<R, E, T>) => Z;
|
80
80
|
/**
|
81
|
-
* @tsplus
|
81
|
+
* @tsplus pipeable fncts.test.PSpec foldScoped
|
82
82
|
* @tsplus location "@fncts/test/control/Spec/api"
|
83
83
|
*/
|
84
|
-
export declare function
|
84
|
+
export declare function foldScoped<R, E, T, R1, E1, Z>(f: (_: SpecCase<R, E, T, Z>) => IO<R1 | Scope, E1, Z>, defExec: ExecutionStrategy): (spec: PSpec<R, E, T>) => IO<R | R1 | Scope, E1, Z>;
|
85
85
|
/**
|
86
|
-
* @tsplus
|
86
|
+
* @tsplus pipeable fncts.test.PSpec foreachExec
|
87
87
|
* @tsplus location "@fncts/test/control/Spec/api"
|
88
88
|
*/
|
89
|
-
export declare function
|
89
|
+
export declare function foreachExec<E, T, R1, E1, A, R2, E2, B>(failure: (c: Cause<E>) => IO<R1, E1, A>, success: (t: T) => IO<R2, E2, B>, defExec: ExecutionStrategy): <R>(spec: PSpec<R, E, T>) => import("@fncts/io/IO.js").IO<import("@fncts/io/Scope.js").Scope | R1 | R2 | R, never, PSpec<R1 | R2 | R, E1 | E2, A | B>>;
|
90
90
|
/**
|
91
91
|
* @tsplus fluent fncts.test.PSpec labeled
|
92
92
|
* @tsplus static fncts.test.PSpecOps labeled
|
@@ -95,63 +95,60 @@ export declare function foreachExec_<R, E, T, R1, E1, A, R2, E2, B>(spec: PSpec<
|
|
95
95
|
*/
|
96
96
|
export declare function labeledCase<R, E, T>(spec: PSpec<R, E, T>, label: string): PSpec<R, E, T>;
|
97
97
|
/**
|
98
|
-
* @tsplus fluent fncts.test.PSpec scoped
|
99
98
|
* @tsplus static fncts.test.PSpecOps scoped
|
100
99
|
* @tsplus static fncts.test.PSpec.ScopedCaseOps __call
|
101
100
|
* @tsplus location "@fncts/test/control/Spec/api"
|
102
101
|
*/
|
103
102
|
export declare function scoped<R, E, T>(managed: IO<R | Scope, E, PSpec<R, E, T>>): PSpec<R, E, T>;
|
104
103
|
/**
|
105
|
-
* @tsplus
|
104
|
+
* @tsplus pipeable fncts.test.SpecCase mapError
|
106
105
|
* @tsplus location "@fncts/test/control/Spec/api"
|
107
106
|
*/
|
108
|
-
export declare function mapError<
|
107
|
+
export declare function mapError<E, E1>(f: (e: E) => E1): <R, T>(self: PSpec<R, E, T>) => PSpec<R, E1, T>;
|
109
108
|
/**
|
110
|
-
* @tsplus
|
109
|
+
* @tsplus pipeable fncts.test.SpecCase map
|
111
110
|
* @tsplus location "@fncts/test/control/Spec/api"
|
112
111
|
*/
|
113
|
-
export declare function
|
112
|
+
export declare function mapSpecCase<A, B>(f: (a: A) => B): <R, E, T>(fa: SpecCase<R, E, T, A>) => SpecCase<R, E, T, B>;
|
114
113
|
/**
|
115
|
-
* @tsplus fluent fncts.test.PSpec multiple
|
116
114
|
* @tsplus static fncts.test.PSpecOps multiple
|
117
115
|
* @tsplus static fncts.test.PSpec.MultipleCaseOps __call
|
118
116
|
* @tsplus location "@fncts/test/control/Spec/api"
|
119
117
|
*/
|
120
118
|
export declare function multipleCase<R, E, T>(specs: Conc<PSpec<R, E, T>>): PSpec<R, E, T>;
|
121
119
|
/**
|
122
|
-
* @tsplus
|
120
|
+
* @tsplus pipeable fncts.test.PSpec provideEnvironment
|
123
121
|
* @tsplus location "@fncts/test/control/Spec/api"
|
124
122
|
*/
|
125
|
-
export declare function
|
123
|
+
export declare function provideEnvironment<R>(r: Environment<R>): <E, T>(self: PSpec<R, E, T>) => PSpec<never, E, T>;
|
126
124
|
/**
|
127
|
-
* @tsplus
|
125
|
+
* @tsplus pipeable fncts.test.PSpec provideLayer
|
128
126
|
* @tsplus location "@fncts/test/control/Spec/api"
|
129
127
|
*/
|
130
|
-
export declare function
|
128
|
+
export declare function provideLayer<RIn, E, ROut>(layer: Layer<RIn, E, ROut>): <E1, T>(self: PSpec<ROut, E1, T>) => PSpec<RIn, E | E1, T>;
|
131
129
|
/**
|
132
|
-
* @tsplus fluent fncts.test.PSpec test
|
133
130
|
* @tsplus static fncts.test.PSpecOps test
|
134
131
|
* @tsplus static fncts.test.PSpec.TestCaseOps __call
|
135
132
|
* @tsplus location "@fncts/test/control/Spec/api"
|
136
133
|
*/
|
137
134
|
export declare function testCase<R, E, T>(test: IO<R, E, T>, annotations: TestAnnotationMap): PSpec<R, E, T>;
|
138
135
|
/**
|
139
|
-
* @tsplus
|
136
|
+
* @tsplus pipeable fncts.test.PSpec transform
|
140
137
|
* @tsplus location "@fncts/test/control/Spec/api"
|
141
138
|
*/
|
142
|
-
export declare function
|
139
|
+
export declare function transform<R, E, T, R1, E1, T1>(f: (_: SpecCase<R, E, T, PSpec<R1, E1, T1>>) => SpecCase<R1, E1, T1, PSpec<R1, E1, T1>>): (spec: PSpec<R, E, T>) => PSpec<R1, E1, T1>;
|
143
140
|
/**
|
144
|
-
* @tsplus
|
141
|
+
* @tsplus pipeable fncts.test.PSpec annotate
|
145
142
|
* @tsplus location "@fncts/test/control/Spec/api"
|
146
143
|
*/
|
147
|
-
export declare function
|
144
|
+
export declare function annotate<V>(key: TestAnnotation<V>, value: V): <R, E, T>(self: PSpec<R, E, T>) => PSpec<R, E, T>;
|
148
145
|
/**
|
149
|
-
* @tsplus
|
146
|
+
* @tsplus pipeable fncts.test.PSpec whenIO
|
150
147
|
* @tsplus location "@fncts/test/control/Spec/api"
|
151
148
|
*/
|
152
|
-
export declare function
|
149
|
+
export declare function whenIO<R1, E1>(b: IO<R1, E1, boolean>): <R, E>(self: PSpec<R, E, TestSuccess>) => PSpec<Annotations | R1 | R, E1 | E, TestSuccess>;
|
153
150
|
/**
|
154
|
-
* @tsplus
|
151
|
+
* @tsplus pipeable fncts.test.PSpec when
|
155
152
|
* @tsplus location "@fncts/test/control/Spec/api"
|
156
153
|
*/
|
157
|
-
export declare function
|
154
|
+
export declare function when(b: Lazy<boolean>): <R, E>(self: PSpec<R, E, TestSuccess>) => PSpec<Annotations | R, E, TestSuccess>;
|
@@ -1,10 +1,10 @@
|
|
1
1
|
import type { TestAnnotationRenderer } from "./definition.js";
|
2
2
|
/**
|
3
|
-
* @tsplus
|
4
|
-
* @tsplus operator fncts.test.TestAnnotationRenderer +
|
3
|
+
* @tsplus pipeable fncts.test.TestAnnotationRenderer combine
|
4
|
+
* @tsplus pipeable-operator fncts.test.TestAnnotationRenderer +
|
5
5
|
* @tsplus location "@fncts/test/control/TestAnnotationRenderer/api"
|
6
6
|
*/
|
7
|
-
export declare function
|
7
|
+
export declare function combine(that: TestAnnotationRenderer): (self: TestAnnotationRenderer) => TestAnnotationRenderer;
|
8
8
|
/**
|
9
9
|
* @tsplus static fncts.test.TestAnnotationRendererOps Ignored
|
10
10
|
* @tsplus location "@fncts/test/control/TestAnnotationRenderer/api"
|
@@ -24,8 +24,8 @@ export declare class TestConsole implements Console {
|
|
24
24
|
show(...input: ReadonlyArray<unknown>): UIO<void>;
|
25
25
|
print(line: string): UIO<void>;
|
26
26
|
error(line: string): UIO<void>;
|
27
|
-
clearInput: import("@fncts/io/IO").
|
28
|
-
clearOutput: import("@fncts/io/IO").
|
27
|
+
clearInput: import("@fncts/io/IO").UIO<void>;
|
28
|
+
clearOutput: import("@fncts/io/IO").UIO<void>;
|
29
29
|
output: import("@fncts/io/IO").IO<never, never, import("@fncts/base/collection/immutable/Vector").Vector<string>>;
|
30
30
|
errOutput: import("@fncts/io/IO").IO<never, never, import("@fncts/base/collection/immutable/Vector").Vector<string>>;
|
31
31
|
debugOutput: import("@fncts/io/IO").IO<never, never, import("@fncts/base/collection/immutable/Vector").Vector<string>>;
|