@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,27 +1,27 @@
|
|
1
1
|
import { Maybe } from "@fncts/base/data/Maybe/definition";
|
2
2
|
import { AssertionValue } from "./definition.js";
|
3
3
|
/**
|
4
|
-
* @tsplus
|
4
|
+
* @tsplus pipeable fncts.test.data.AssertionValue label
|
5
5
|
* @tsplus location "@fncts/test/data/AssertionValue/api"
|
6
6
|
*/
|
7
|
-
export declare function label<A>(self: AssertionValue<A
|
7
|
+
export declare function label(string: string): <A>(self: AssertionValue<A>) => AssertionValue<A>;
|
8
8
|
/**
|
9
|
-
* @tsplus
|
9
|
+
* @tsplus pipeable fncts.test.data.AssertionValue isSameAssertionAs
|
10
10
|
* @tsplus location "@fncts/test/data/AssertionValue/api"
|
11
11
|
*/
|
12
|
-
export declare function isSameAssertionAs<A>(
|
12
|
+
export declare function isSameAssertionAs<A>(that: AssertionValue<A>): (self: AssertionValue<A>) => boolean;
|
13
13
|
/**
|
14
|
-
* @tsplus
|
14
|
+
* @tsplus pipeable fncts.test.data.AssertionValue showValue
|
15
15
|
* @tsplus location "@fncts/test/data/AssertionValue/api"
|
16
16
|
*/
|
17
|
-
export declare function showValue<A>(self: AssertionValue<A
|
17
|
+
export declare function showValue(offset?: number): <A>(self: AssertionValue<A>) => string;
|
18
18
|
/**
|
19
19
|
* @tsplus getter fncts.test.data.AssertionValue printAssertion
|
20
20
|
* @tsplus location "@fncts/test/data/AssertionValue/api"
|
21
21
|
*/
|
22
22
|
export declare function printAssertion<A>(self: AssertionValue<A>): string;
|
23
23
|
/**
|
24
|
-
* @tsplus
|
24
|
+
* @tsplus pipeable fncts.test.data.AssertionValue withContext
|
25
25
|
* @tsplus location "@fncts/test/data/AssertionValue/api"
|
26
26
|
*/
|
27
|
-
export declare function withContext
|
27
|
+
export declare function withContext(expr: Maybe<string>, sourceLocation: Maybe<string>): <A>(self: AssertionValue<A>) => AssertionValue<A>;
|
@@ -6,20 +6,20 @@ import type { TestSuccess } from "../TestSuccess.js";
|
|
6
6
|
import type { SpecCase } from "./definition.js";
|
7
7
|
import { ExecutedSpec } from "./definition.js";
|
8
8
|
/**
|
9
|
-
* @tsplus
|
9
|
+
* @tsplus pipeable fncts.test.data.ExecutedSpec fold
|
10
10
|
* @tsplus location "@fncts/test/data/ExecutedSpec/api"
|
11
11
|
*/
|
12
|
-
export declare function
|
12
|
+
export declare function fold<E, Z>(f: (_: SpecCase<E, Z>) => Z): (self: ExecutedSpec<E>) => Z;
|
13
13
|
/**
|
14
14
|
* @tsplus static fncts.test.data.ExecutedSpecOps labeled
|
15
15
|
* @tsplus location "@fncts/test/data/ExecutedSpec/api"
|
16
16
|
*/
|
17
17
|
export declare function labeled<E>(spec: ExecutedSpec<E>, label: string): ExecutedSpec<E>;
|
18
18
|
/**
|
19
|
-
* @tsplus
|
19
|
+
* @tsplus pipeable fncts.test.data.ExecutedSpecCase map
|
20
20
|
* @tsplus location "@fncts/test/data/ExecutedSpec/api"
|
21
21
|
*/
|
22
|
-
export declare function
|
22
|
+
export declare function mapSpecCase<A, B>(f: (a: A) => B): <E>(self: SpecCase<E, A>) => SpecCase<E, B>;
|
23
23
|
/**
|
24
24
|
* @tsplus static fncts.test.data.ExecutedSpecOps multiple
|
25
25
|
* @tsplus location "@fncts/test/data/ExecutedSpec/api"
|
@@ -31,15 +31,15 @@ export declare function multiple<E>(specs: Conc<ExecutedSpec<E>>): ExecutedSpec<
|
|
31
31
|
*/
|
32
32
|
export declare function test<E>(test: Either<TestFailure<E>, TestSuccess>, annotations: TestAnnotationMap): ExecutedSpec<E>;
|
33
33
|
/**
|
34
|
-
* @tsplus
|
34
|
+
* @tsplus pipeable fncts.test.data.ExecutedSpec transform
|
35
35
|
* @tsplus location "@fncts/test/data/ExecutedSpec/api"
|
36
36
|
*/
|
37
|
-
export declare function
|
37
|
+
export declare function transform<E, E1>(f: (_: SpecCase<E, ExecutedSpec<E1>>) => SpecCase<E1, ExecutedSpec<E1>>): (self: ExecutedSpec<E>) => ExecutedSpec<E1>;
|
38
38
|
/**
|
39
|
-
* @tsplus
|
39
|
+
* @tsplus pipeable fncts.test.data.ExecutedSpec exists
|
40
40
|
* @tsplus location "@fncts/test/data/ExecutedSpec/api"
|
41
41
|
*/
|
42
|
-
export declare function
|
42
|
+
export declare function exists<E>(f: (_: SpecCase<E, boolean>) => boolean): (self: ExecutedSpec<E>) => boolean;
|
43
43
|
/**
|
44
44
|
* @tsplus getter fncts.test.data.ExecutedSpec size
|
45
45
|
* @tsplus location "@fncts/test/data/ExecutedSpec/api"
|
@@ -42,15 +42,15 @@ export declare class ExecutionResult {
|
|
42
42
|
}
|
43
43
|
export declare function rendered(caseType: ResultType, label: string, status: Status, offset: number, lines: List<Line>): ExecutionResult;
|
44
44
|
/**
|
45
|
-
* @tsplus operator fncts.test.ExecutionResult &&
|
45
|
+
* @tsplus pipeable-operator fncts.test.ExecutionResult &&
|
46
46
|
* @tsplus location "@fncts/test/data/ExecutionResult"
|
47
47
|
*/
|
48
|
-
export declare function
|
48
|
+
export declare function and(that: ExecutionResult): (self: ExecutionResult) => ExecutionResult;
|
49
49
|
/**
|
50
|
-
* @tsplus operator fncts.test.ExecutionResult ||
|
50
|
+
* @tsplus pipeable-operator fncts.test.ExecutionResult ||
|
51
51
|
* @tsplus location "@fncts/test/data/ExecutionResult"
|
52
52
|
*/
|
53
|
-
export declare function
|
53
|
+
export declare function or(that: ExecutionResult): (self: ExecutionResult) => ExecutionResult;
|
54
54
|
/**
|
55
55
|
* @tsplus getter fncts.test.ExecutionResult invert
|
56
56
|
* @tsplus location "@fncts/test/data/ExecutionResult"
|
@@ -3,21 +3,21 @@ import { Either } from "@fncts/base/data/Either/definition";
|
|
3
3
|
import { Eval } from "@fncts/base/control/Eval/definition";
|
4
4
|
import { FreeBooleanAlgebra } from "./definition.js";
|
5
5
|
/**
|
6
|
-
* @tsplus
|
7
|
-
* @tsplus operator fncts.test.FreeBooleanAlgebra &&
|
6
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra and
|
7
|
+
* @tsplus pipeable-operator fncts.test.FreeBooleanAlgebra &&
|
8
8
|
* @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
|
9
9
|
*/
|
10
|
-
export declare function
|
10
|
+
export declare function and<A>(right: FreeBooleanAlgebra<A>): (left: FreeBooleanAlgebra<A>) => FreeBooleanAlgebra<A>;
|
11
11
|
/**
|
12
|
-
* @tsplus
|
12
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra flatMap
|
13
13
|
* @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
|
14
14
|
*/
|
15
|
-
export declare function
|
15
|
+
export declare function flatMap<A, B>(f: (a: A) => FreeBooleanAlgebra<B>): (self: FreeBooleanAlgebra<A>) => FreeBooleanAlgebra<B>;
|
16
16
|
/**
|
17
|
-
* @tsplus
|
17
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra map
|
18
18
|
* @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
|
19
19
|
*/
|
20
|
-
export declare function
|
20
|
+
export declare function map<A, B>(f: (a: A) => B): (self: FreeBooleanAlgebra<A>) => FreeBooleanAlgebra<B>;
|
21
21
|
/**
|
22
22
|
* @tsplus static fncts.test.FreeBooleanAlgebraOps failure
|
23
23
|
* @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
|
@@ -29,35 +29,35 @@ export declare function failure<A>(a: A): FreeBooleanAlgebra<A>;
|
|
29
29
|
*/
|
30
30
|
export declare function failures<A>(self: FreeBooleanAlgebra<A>): Maybe<FreeBooleanAlgebra<A>>;
|
31
31
|
/**
|
32
|
-
* @tsplus
|
32
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra foldEval
|
33
33
|
* @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
|
34
34
|
*/
|
35
|
-
export declare function
|
35
|
+
export declare function foldEval<A, B>(cases: {
|
36
36
|
Value: (value: A) => B;
|
37
37
|
And: (left: B, right: B) => B;
|
38
38
|
Or: (left: B, right: B) => B;
|
39
39
|
Not: (value: B) => B;
|
40
|
-
}): Eval<B>;
|
40
|
+
}): (self: FreeBooleanAlgebra<A>) => Eval<B>;
|
41
41
|
/**
|
42
|
-
* @tsplus
|
42
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra fold
|
43
43
|
* @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
|
44
44
|
*/
|
45
|
-
export declare function
|
45
|
+
export declare function fold<A, B>(cases: {
|
46
46
|
Value: (value: A) => B;
|
47
47
|
And: (left: B, right: B) => B;
|
48
48
|
Or: (left: B, right: B) => B;
|
49
49
|
Not: (value: B) => B;
|
50
|
-
}): B;
|
50
|
+
}): (self: FreeBooleanAlgebra<A>) => B;
|
51
51
|
/**
|
52
|
-
* @tsplus
|
52
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra iff
|
53
53
|
* @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
|
54
54
|
*/
|
55
|
-
export declare function
|
55
|
+
export declare function iff<A>(right: FreeBooleanAlgebra<A>): (left: FreeBooleanAlgebra<A>) => FreeBooleanAlgebra<A>;
|
56
56
|
/**
|
57
|
-
* @tsplus
|
57
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra implies
|
58
58
|
* @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
|
59
59
|
*/
|
60
|
-
export declare function
|
60
|
+
export declare function implies<A>(right: FreeBooleanAlgebra<A>): (left: FreeBooleanAlgebra<A>) => FreeBooleanAlgebra<A>;
|
61
61
|
/**
|
62
62
|
* @tsplus getter fncts.test.FreeBooleanAlgebra isFailure
|
63
63
|
* @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
|
@@ -74,11 +74,11 @@ export declare function isSuccess<A>(self: FreeBooleanAlgebra<A>): boolean;
|
|
74
74
|
*/
|
75
75
|
export declare function not<A>(self: FreeBooleanAlgebra<A>): FreeBooleanAlgebra<A>;
|
76
76
|
/**
|
77
|
-
* @tsplus
|
78
|
-
* @tsplus operator fncts.test.FreeBooleanAlgebra ||
|
77
|
+
* @tsplus pipeable fncts.test.FreeBooleanAlgebra or
|
78
|
+
* @tsplus pipeable-operator fncts.test.FreeBooleanAlgebra ||
|
79
79
|
* @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
|
80
80
|
*/
|
81
|
-
export declare function
|
81
|
+
export declare function or<A>(right: FreeBooleanAlgebra<A>): (left: FreeBooleanAlgebra<A>) => FreeBooleanAlgebra<A>;
|
82
82
|
/**
|
83
83
|
* @tsplus static fncts.test.FreeBooleanAlgebraOps success
|
84
84
|
* @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
|
package/data/LogLine/Line.d.ts
CHANGED
@@ -46,10 +46,10 @@ export declare function appendTo(message: Message, self: Line): Message;
|
|
46
46
|
*/
|
47
47
|
export declare function prependTo(self: Line, message: Message): Message;
|
48
48
|
/**
|
49
|
-
* @tsplus
|
49
|
+
* @tsplus pipeable fncts.test.data.Line withOffset
|
50
50
|
* @tsplus location "@fncts/test/data/LogLine/Line"
|
51
51
|
*/
|
52
|
-
export declare function withOffset(
|
52
|
+
export declare function withOffset(shift: number): (self: Line) => Line;
|
53
53
|
/**
|
54
54
|
* @tsplus getter fncts.test.data.Line toMessage
|
55
55
|
* @tsplus location "@fncts/test/data/LogLine/Line"
|
@@ -33,29 +33,29 @@ export declare function prependFragment(fragment: Fragment, self: Message): Mess
|
|
33
33
|
* @tsplus operator fncts.test.data.Message +
|
34
34
|
* @tsplus location "@fncts/test/data/LogLine/Message"
|
35
35
|
*/
|
36
|
-
export declare function
|
36
|
+
export declare function concat(self: Message, that: Message): Message;
|
37
37
|
/**
|
38
38
|
* @tsplus operator fncts.test.data.Message |
|
39
39
|
* @tsplus location "@fncts/test/data/LogLine/Message"
|
40
40
|
*/
|
41
|
-
export declare function
|
41
|
+
export declare function combine(self: Message, that: Message): Message;
|
42
42
|
/**
|
43
|
-
* @tsplus
|
43
|
+
* @tsplus pipeable fncts.test.data.Message drop
|
44
44
|
* @tsplus location "@fncts/test/data/LogLine/Message"
|
45
45
|
*/
|
46
|
-
export declare function
|
46
|
+
export declare function drop(n: number): (self: Message) => Message;
|
47
47
|
/**
|
48
|
-
* @tsplus
|
48
|
+
* @tsplus pipeable fncts.test.data.Message map
|
49
49
|
* @tsplus location "@fncts/test/data/LogLine/Message"
|
50
50
|
*/
|
51
|
-
export declare function
|
51
|
+
export declare function map(f: (line: Line) => Line): (self: Message) => Message;
|
52
52
|
/**
|
53
|
-
* @tsplus
|
53
|
+
* @tsplus pipeable fncts.test.data.Message withOffset
|
54
54
|
* @tsplus location "@fncts/test/data/LogLine/Message"
|
55
55
|
*/
|
56
|
-
export declare function withOffset(
|
56
|
+
export declare function withOffset(offset: number): (self: Message) => Message;
|
57
57
|
/**
|
58
|
-
* @tsplus
|
58
|
+
* @tsplus pipeable fncts.test.data.Message intersperse
|
59
59
|
* @tsplus location "@fncts/test/data/LogLine/Message"
|
60
60
|
*/
|
61
|
-
export declare function intersperse(
|
61
|
+
export declare function intersperse(line: Line): (self: Message) => Message;
|
package/package.json
CHANGED