@fncts/test 0.0.20 → 0.0.21
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/_cjs/api.cjs +39 -31
- package/_cjs/api.cjs.map +1 -1
- package/_cjs/control/AbstractRunnableSpec.cjs +1 -1
- package/_cjs/control/AbstractRunnableSpec.cjs.map +1 -1
- package/_cjs/control/Annotations/live.cjs +10 -12
- package/_cjs/control/Annotations/live.cjs.map +1 -1
- package/_cjs/control/Assertion/api.cjs +45 -33
- package/_cjs/control/Assertion/api.cjs.map +1 -1
- package/_cjs/control/AssertionIO/api.cjs +20 -14
- package/_cjs/control/AssertionIO/api.cjs.map +1 -1
- package/_cjs/control/DefaultTestReporter/render.cjs +50 -50
- package/_cjs/control/DefaultTestReporter/render.cjs.map +1 -1
- package/_cjs/control/FreeBooleanAlgebraIO/api.cjs +20 -16
- package/_cjs/control/FreeBooleanAlgebraIO/api.cjs.map +1 -1
- package/_cjs/control/Gen/api/array.cjs +23 -17
- package/_cjs/control/Gen/api/array.cjs.map +1 -1
- package/_cjs/control/Gen/api/char.cjs +2 -2
- package/_cjs/control/Gen/api/char.cjs.map +1 -1
- package/_cjs/control/Gen/api/conc.cjs +35 -26
- package/_cjs/control/Gen/api/conc.cjs.map +1 -1
- package/_cjs/control/Gen/api/double.cjs +8 -8
- package/_cjs/control/Gen/api/double.cjs.map +1 -1
- package/_cjs/control/Gen/api/float.cjs +6 -6
- package/_cjs/control/Gen/api/float.cjs.map +1 -1
- package/_cjs/control/Gen/api/string.cjs +18 -14
- package/_cjs/control/Gen/api/string.cjs.map +1 -1
- package/_cjs/control/Gen/api/struct.cjs +4 -4
- package/_cjs/control/Gen/api/struct.cjs.map +1 -1
- package/_cjs/control/Gen/api.cjs +78 -65
- package/_cjs/control/Gen/api.cjs.map +1 -1
- package/_cjs/control/Gen.cjs.map +1 -1
- package/_cjs/control/Live/definition.cjs +5 -5
- package/_cjs/control/Live/definition.cjs.map +1 -1
- package/_cjs/control/RunnableSpec.cjs +8 -8
- package/_cjs/control/RunnableSpec.cjs.map +1 -1
- package/_cjs/control/Sample/api.cjs +66 -52
- package/_cjs/control/Sample/api.cjs.map +1 -1
- package/_cjs/control/Sized/live.cjs +3 -3
- package/_cjs/control/Sized/live.cjs.map +1 -1
- package/_cjs/control/Spec/api.cjs +322 -286
- package/_cjs/control/Spec/api.cjs.map +1 -1
- package/_cjs/control/Spec/definition.cjs.map +1 -1
- package/_cjs/control/SummaryBuilder.cjs +10 -10
- package/_cjs/control/SummaryBuilder.cjs.map +1 -1
- package/_cjs/control/Test.cjs +1 -1
- package/_cjs/control/Test.cjs.map +1 -1
- package/_cjs/control/TestAnnotationRenderer/api.cjs +28 -26
- package/_cjs/control/TestAnnotationRenderer/api.cjs.map +1 -1
- package/_cjs/control/TestAnnotationRenderer/definition.cjs +2 -2
- package/_cjs/control/TestAnnotationRenderer/definition.cjs.map +1 -1
- package/_cjs/control/TestAspect/api.cjs +14 -14
- package/_cjs/control/TestAspect/api.cjs.map +1 -1
- package/_cjs/control/TestClock/api.cjs +9 -11
- package/_cjs/control/TestClock/api.cjs.map +1 -1
- package/_cjs/control/TestClock/definition.cjs +65 -75
- package/_cjs/control/TestClock/definition.cjs.map +1 -1
- package/_cjs/control/TestConsole/api.cjs +3 -3
- package/_cjs/control/TestConsole/api.cjs.map +1 -1
- package/_cjs/control/TestConsole/definition.cjs +20 -24
- package/_cjs/control/TestConsole/definition.cjs.map +1 -1
- package/_cjs/control/TestEnvironment.cjs +3 -3
- package/_cjs/control/TestEnvironment.cjs.map +1 -1
- package/_cjs/control/TestExecutor.cjs +3 -3
- package/_cjs/control/TestExecutor.cjs.map +1 -1
- package/_cjs/control/TestLogger.cjs +2 -2
- package/_cjs/control/TestLogger.cjs.map +1 -1
- package/_cjs/control/TestRandom/api.cjs +9 -9
- package/_cjs/control/TestRandom/api.cjs.map +1 -1
- package/_cjs/control/TestRandom/definition.cjs +65 -71
- package/_cjs/control/TestRandom/definition.cjs.map +1 -1
- package/_cjs/control/TestRenderer/ConsoleRenderer.cjs +11 -11
- package/_cjs/control/TestRenderer/ConsoleRenderer.cjs.map +1 -1
- package/_cjs/control/TestRunner.cjs +1 -1
- package/_cjs/control/TestRunner.cjs.map +1 -1
- package/_cjs/data/AssertionValue/api.cjs +22 -14
- package/_cjs/data/AssertionValue/api.cjs.map +1 -1
- package/_cjs/data/AssertionValue/definition.cjs.map +1 -1
- package/_cjs/data/ExecutedSpec/api.cjs +61 -53
- package/_cjs/data/ExecutedSpec/api.cjs.map +1 -1
- package/_cjs/data/ExecutionResult.cjs +42 -38
- package/_cjs/data/ExecutionResult.cjs.map +1 -1
- package/_cjs/data/FreeBooleanAlgebra/api.cjs +93 -77
- package/_cjs/data/FreeBooleanAlgebra/api.cjs.map +1 -1
- package/_cjs/data/LogLine/Fragment.cjs +2 -2
- package/_cjs/data/LogLine/Fragment.cjs.map +1 -1
- package/_cjs/data/LogLine/Line.cjs +11 -9
- package/_cjs/data/LogLine/Line.cjs.map +1 -1
- package/_cjs/data/LogLine/Message.cjs +32 -24
- package/_cjs/data/LogLine/Message.cjs.map +1 -1
- package/_cjs/data/LogLine/Style.cjs.map +1 -1
- package/_cjs/data/Render/definition.cjs +1 -1
- package/_cjs/data/Render/definition.cjs.map +1 -1
- package/_cjs/data/TestAnnotation/api.cjs +2 -2
- package/_cjs/data/TestAnnotation/api.cjs.map +1 -1
- package/_cjs/data/TestAnnotation/definition.cjs.map +1 -1
- package/_cjs/data/TestAnnotationMap.cjs +3 -3
- package/_cjs/data/TestAnnotationMap.cjs.map +1 -1
- package/_cjs/demo.cjs +5 -5
- package/_cjs/demo.cjs.map +1 -1
- package/_cjs/util/math.cjs +6 -6
- package/_cjs/util/math.cjs.map +1 -1
- package/_mjs/api.mjs +37 -29
- package/_mjs/api.mjs.map +1 -1
- package/_mjs/control/AbstractRunnableSpec.mjs +1 -1
- package/_mjs/control/AbstractRunnableSpec.mjs.map +1 -1
- package/_mjs/control/Annotations/live.mjs +10 -11
- package/_mjs/control/Annotations/live.mjs.map +1 -1
- package/_mjs/control/Assertion/api.mjs +40 -28
- package/_mjs/control/Assertion/api.mjs.map +1 -1
- package/_mjs/control/AssertionIO/api.mjs +17 -11
- package/_mjs/control/AssertionIO/api.mjs.map +1 -1
- package/_mjs/control/DefaultTestReporter/render.mjs +50 -50
- package/_mjs/control/DefaultTestReporter/render.mjs.map +1 -1
- package/_mjs/control/FreeBooleanAlgebraIO/api.mjs +18 -14
- package/_mjs/control/FreeBooleanAlgebraIO/api.mjs.map +1 -1
- package/_mjs/control/Gen/api/array.mjs +20 -14
- package/_mjs/control/Gen/api/array.mjs.map +1 -1
- package/_mjs/control/Gen/api/char.mjs +2 -2
- package/_mjs/control/Gen/api/char.mjs.map +1 -1
- package/_mjs/control/Gen/api/conc.mjs +30 -22
- package/_mjs/control/Gen/api/conc.mjs.map +1 -1
- package/_mjs/control/Gen/api/double.mjs +8 -8
- package/_mjs/control/Gen/api/double.mjs.map +1 -1
- package/_mjs/control/Gen/api/float.mjs +6 -6
- package/_mjs/control/Gen/api/float.mjs.map +1 -1
- package/_mjs/control/Gen/api/string.mjs +18 -14
- package/_mjs/control/Gen/api/string.mjs.map +1 -1
- package/_mjs/control/Gen/api/struct.mjs +4 -4
- package/_mjs/control/Gen/api/struct.mjs.map +1 -1
- package/_mjs/control/Gen/api.mjs +68 -54
- package/_mjs/control/Gen/api.mjs.map +1 -1
- package/_mjs/control/Gen.mjs.map +1 -1
- package/_mjs/control/Live/definition.mjs +5 -5
- package/_mjs/control/Live/definition.mjs.map +1 -1
- package/_mjs/control/RunnableSpec.mjs +8 -8
- package/_mjs/control/RunnableSpec.mjs.map +1 -1
- package/_mjs/control/Sample/api.mjs +57 -43
- package/_mjs/control/Sample/api.mjs.map +1 -1
- package/_mjs/control/Sized/live.mjs +3 -3
- package/_mjs/control/Sized/live.mjs.map +1 -1
- package/_mjs/control/Spec/api.mjs +300 -265
- package/_mjs/control/Spec/api.mjs.map +1 -1
- package/_mjs/control/Spec/definition.mjs.map +1 -1
- package/_mjs/control/SummaryBuilder.mjs +10 -10
- package/_mjs/control/SummaryBuilder.mjs.map +1 -1
- package/_mjs/control/Test.mjs +1 -1
- package/_mjs/control/Test.mjs.map +1 -1
- package/_mjs/control/TestAnnotationRenderer/api.mjs +27 -25
- package/_mjs/control/TestAnnotationRenderer/api.mjs.map +1 -1
- package/_mjs/control/TestAnnotationRenderer/definition.mjs +2 -2
- package/_mjs/control/TestAnnotationRenderer/definition.mjs.map +1 -1
- package/_mjs/control/TestAspect/api.mjs +14 -14
- package/_mjs/control/TestAspect/api.mjs.map +1 -1
- package/_mjs/control/TestClock/api.mjs +9 -10
- package/_mjs/control/TestClock/api.mjs.map +1 -1
- package/_mjs/control/TestClock/definition.mjs +65 -72
- package/_mjs/control/TestClock/definition.mjs.map +1 -1
- package/_mjs/control/TestConsole/api.mjs +3 -3
- package/_mjs/control/TestConsole/api.mjs.map +1 -1
- package/_mjs/control/TestConsole/definition.mjs +20 -22
- package/_mjs/control/TestConsole/definition.mjs.map +1 -1
- package/_mjs/control/TestEnvironment.mjs +3 -3
- package/_mjs/control/TestEnvironment.mjs.map +1 -1
- package/_mjs/control/TestExecutor.mjs +3 -3
- package/_mjs/control/TestExecutor.mjs.map +1 -1
- package/_mjs/control/TestLogger.mjs +2 -2
- package/_mjs/control/TestLogger.mjs.map +1 -1
- package/_mjs/control/TestRandom/api.mjs +9 -9
- package/_mjs/control/TestRandom/api.mjs.map +1 -1
- package/_mjs/control/TestRandom/definition.mjs +65 -68
- package/_mjs/control/TestRandom/definition.mjs.map +1 -1
- package/_mjs/control/TestRenderer/ConsoleRenderer.mjs +11 -11
- package/_mjs/control/TestRenderer/ConsoleRenderer.mjs.map +1 -1
- package/_mjs/control/TestRunner.mjs +1 -1
- package/_mjs/control/TestRunner.mjs.map +1 -1
- package/_mjs/data/AssertionValue/api.mjs +22 -14
- package/_mjs/data/AssertionValue/api.mjs.map +1 -1
- package/_mjs/data/AssertionValue/definition.mjs.map +1 -1
- package/_mjs/data/ExecutedSpec/api.mjs +55 -47
- package/_mjs/data/ExecutedSpec/api.mjs.map +1 -1
- package/_mjs/data/ExecutionResult.mjs +40 -36
- package/_mjs/data/ExecutionResult.mjs.map +1 -1
- package/_mjs/data/FreeBooleanAlgebra/api.mjs +81 -65
- package/_mjs/data/FreeBooleanAlgebra/api.mjs.map +1 -1
- package/_mjs/data/LogLine/Fragment.mjs +2 -2
- package/_mjs/data/LogLine/Fragment.mjs.map +1 -1
- package/_mjs/data/LogLine/Line.mjs +11 -9
- package/_mjs/data/LogLine/Line.mjs.map +1 -1
- package/_mjs/data/LogLine/Message.mjs +26 -18
- package/_mjs/data/LogLine/Message.mjs.map +1 -1
- package/_mjs/data/LogLine/Style.mjs.map +1 -1
- package/_mjs/data/Render/definition.mjs +1 -1
- package/_mjs/data/Render/definition.mjs.map +1 -1
- package/_mjs/data/TestAnnotation/api.mjs +2 -2
- package/_mjs/data/TestAnnotation/api.mjs.map +1 -1
- package/_mjs/data/TestAnnotation/definition.mjs.map +1 -1
- package/_mjs/data/TestAnnotationMap.mjs +3 -3
- package/_mjs/data/TestAnnotationMap.mjs.map +1 -1
- package/_mjs/demo.mjs +5 -5
- package/_mjs/demo.mjs.map +1 -1
- package/_mjs/util/math.mjs +6 -6
- package/_mjs/util/math.mjs.map +1 -1
- package/_src/api.ts +36 -35
- package/_src/control/AbstractRunnableSpec.ts +0 -3
- package/_src/control/Annotations/live.ts +0 -4
- package/_src/control/Assertion/api.ts +31 -20
- package/_src/control/AssertionIO/api.ts +23 -17
- package/_src/control/DefaultTestReporter/render.ts +1 -11
- package/_src/control/FreeBooleanAlgebraIO/api.ts +12 -14
- package/_src/control/Gen/api/array.ts +18 -15
- package/_src/control/Gen/api/conc.ts +31 -26
- package/_src/control/Gen/api/string.ts +13 -9
- package/_src/control/Gen/api/struct.ts +12 -2
- package/_src/control/Gen/api.ts +56 -40
- package/_src/control/Gen.ts +0 -1
- package/_src/control/Live/definition.ts +0 -4
- package/_src/control/Sample/api.ts +77 -66
- package/_src/control/Spec/api.ts +235 -222
- package/_src/control/Spec/definition.ts +0 -2
- package/_src/control/SummaryBuilder.ts +0 -1
- package/_src/control/TestAnnotationRenderer/api.ts +17 -15
- package/_src/control/TestAnnotationRenderer/definition.ts +0 -2
- package/_src/control/TestAspect/api.ts +0 -1
- package/_src/control/TestClock/definition.ts +4 -17
- package/_src/control/TestConsole/definition.ts +0 -1
- package/_src/control/TestLogger.ts +0 -2
- package/_src/control/TestRandom/api.ts +5 -0
- package/_src/control/TestRandom/definition.ts +3 -37
- package/_src/control/TestRenderer/ConsoleRenderer.ts +0 -1
- package/_src/data/AssertionValue/api.ts +26 -22
- package/_src/data/AssertionValue/definition.ts +0 -1
- package/_src/data/ExecutedSpec/api.ts +41 -36
- package/_src/data/ExecutionResult.ts +54 -51
- package/_src/data/FreeBooleanAlgebra/api.ts +68 -58
- package/_src/data/LogLine/Line.ts +5 -3
- package/_src/data/LogLine/Message.ts +26 -18
- package/_src/data/LogLine/Style.ts +0 -1
- package/_src/data/Render/definition.ts +0 -2
- package/_src/data/TestAnnotation/api.ts +3 -1
- package/_src/data/TestAnnotation/definition.ts +0 -3
- package/_src/data/TestAnnotationMap.ts +0 -6
- package/_src/demo.ts +3 -4
- package/_src/util/math.ts +31 -17
- package/api.d.ts +12 -12
- package/control/Assertion/api.d.ts +14 -10
- package/control/AssertionIO/api.d.ts +8 -8
- package/control/FreeBooleanAlgebraIO/api.d.ts +6 -6
- package/control/Gen/api/array.d.ts +6 -6
- package/control/Gen/api/conc.d.ts +8 -8
- package/control/Gen/api/string.d.ts +4 -4
- package/control/Gen/api.d.ts +15 -15
- package/control/Sample/api.d.ts +14 -14
- package/control/Spec/api.d.ts +38 -41
- package/control/TestAnnotationRenderer/api.d.ts +3 -3
- package/control/TestConsole/definition.d.ts +2 -2
- package/data/AssertionValue/api.d.ts +8 -8
- package/data/ExecutedSpec/api.d.ts +8 -8
- package/data/ExecutionResult.d.ts +4 -4
- package/data/FreeBooleanAlgebra/api.d.ts +20 -20
- package/data/LogLine/Line.d.ts +2 -2
- package/data/LogLine/Message.d.ts +10 -10
- package/package.json +3 -3
@@ -1,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