@fncts/base 0.0.26 → 0.0.28
Sign up to get free protection for your applications and to get access to all the features.
- package/_cjs/collection/Iterable/api.cjs +3 -2
- package/_cjs/collection/Iterable/api.cjs.map +1 -1
- package/_cjs/collection/immutable/Conc/api.cjs +25 -12
- package/_cjs/collection/immutable/Conc/api.cjs.map +1 -1
- package/_cjs/collection/immutable/HashMap/api.cjs +20 -8
- package/_cjs/collection/immutable/HashMap/api.cjs.map +1 -1
- package/_cjs/collection/immutable/HashMap/definition.cjs +3 -2
- package/_cjs/collection/immutable/HashMap/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/HashMap/internal.cjs +9 -7
- package/_cjs/collection/immutable/HashMap/internal.cjs.map +1 -1
- package/_cjs/collection/immutable/HashSet/api.cjs +7 -6
- package/_cjs/collection/immutable/HashSet/api.cjs.map +1 -1
- package/_cjs/collection/immutable/ImmutableArray/api.cjs +18 -17
- package/_cjs/collection/immutable/ImmutableArray/api.cjs.map +1 -1
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/constructors.cjs +2 -1
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/constructors.cjs.map +1 -1
- package/_cjs/collection/immutable/List/api.cjs +3 -2
- package/_cjs/collection/immutable/List/api.cjs.map +1 -1
- package/_cjs/collection/immutable/List/definition.cjs +19 -4
- package/_cjs/collection/immutable/List/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/Queue/api.cjs +7 -6
- package/_cjs/collection/immutable/Queue/api.cjs.map +1 -1
- package/_cjs/collection/immutable/RoseTree/api.cjs +1 -1
- package/_cjs/collection/immutable/RoseTree/api.cjs.map +1 -1
- package/_cjs/collection/immutable/SortedMap/api.cjs +23 -22
- package/_cjs/collection/immutable/SortedMap/api.cjs.map +1 -1
- package/_cjs/collection/immutable/SortedMap/iterator.cjs +7 -6
- package/_cjs/collection/immutable/SortedMap/iterator.cjs.map +1 -1
- package/_cjs/collection/immutable/Vector/api.cjs +62 -19
- package/_cjs/collection/immutable/Vector/api.cjs.map +1 -1
- package/_cjs/collection/immutable/Vector/definition.cjs.map +1 -1
- package/_cjs/collection/mutable/HashMap.cjs +6 -19
- package/_cjs/collection/mutable/HashMap.cjs.map +1 -1
- package/_cjs/control/CompletablePromise.cjs +21 -0
- package/_cjs/control/CompletablePromise.cjs.map +1 -0
- package/_cjs/control/Z/api.cjs +1 -1
- package/_cjs/control/Z/api.cjs.map +1 -1
- package/_cjs/control/Z/runtime.cjs +2 -2
- package/_cjs/control/Z/runtime.cjs.map +1 -1
- package/_cjs/data/Branded/definition.cjs +4 -3
- package/_cjs/data/Branded/definition.cjs.map +1 -1
- package/_cjs/data/Cause/api/fold.cjs +8 -7
- package/_cjs/data/Cause/api/fold.cjs.map +1 -1
- package/_cjs/data/Cause/api.cjs +124 -128
- package/_cjs/data/Cause/api.cjs.map +1 -1
- package/_cjs/data/DatumEither/api.cjs +5 -4
- package/_cjs/data/DatumEither/api.cjs.map +1 -1
- package/_cjs/data/Decoder/api.cjs +2 -1
- package/_cjs/data/Decoder/api.cjs.map +1 -1
- package/_cjs/data/Either/api/alignWith.cjs +2 -1
- package/_cjs/data/Either/api/alignWith.cjs.map +1 -1
- package/_cjs/data/Either/api.cjs +25 -16
- package/_cjs/data/Either/api.cjs.map +1 -1
- package/_cjs/data/Either/constructors.cjs +10 -9
- package/_cjs/data/Either/constructors.cjs.map +1 -1
- package/_cjs/data/Either/definition.cjs +34 -6
- package/_cjs/data/Either/definition.cjs.map +1 -1
- package/_cjs/data/Either/instances.cjs +7 -6
- package/_cjs/data/Either/instances.cjs.map +1 -1
- package/_cjs/data/EitherT/api.cjs +4 -3
- package/_cjs/data/EitherT/api.cjs.map +1 -1
- package/_cjs/data/Eq/api.cjs +20 -0
- package/_cjs/data/Eq/api.cjs.map +1 -0
- package/_cjs/data/Eq.cjs +11 -0
- package/_cjs/data/Eq.cjs.map +1 -1
- package/_cjs/data/Equatable/api.cjs +39 -11
- package/_cjs/data/Equatable/api.cjs.map +1 -1
- package/_cjs/data/Equatable/definition.cjs +1 -1
- package/_cjs/data/Equatable/definition.cjs.map +1 -1
- package/_cjs/data/Exit/api.cjs +32 -6
- package/_cjs/data/Exit/api.cjs.map +1 -1
- package/_cjs/data/Exit/constructors.cjs +13 -12
- package/_cjs/data/Exit/constructors.cjs.map +1 -1
- package/_cjs/data/Exit/definition.cjs +11 -6
- package/_cjs/data/Exit/definition.cjs.map +1 -1
- package/_cjs/data/FiberId/api.cjs +16 -15
- package/_cjs/data/FiberId/api.cjs.map +1 -1
- package/_cjs/data/Interval.cjs +2 -1
- package/_cjs/data/Interval.cjs.map +1 -1
- package/_cjs/data/Maybe/api.cjs +8 -7
- package/_cjs/data/Maybe/api.cjs.map +1 -1
- package/_cjs/data/Maybe/constructors.cjs +11 -11
- package/_cjs/data/Maybe/constructors.cjs.map +1 -1
- package/_cjs/data/Maybe/definition.cjs +10 -5
- package/_cjs/data/Maybe/definition.cjs.map +1 -1
- package/_cjs/data/Maybe/instances.cjs +30 -8
- package/_cjs/data/Maybe/instances.cjs.map +1 -1
- package/_cjs/data/Showable/show.cjs +2 -2
- package/_cjs/data/Showable/show.cjs.map +1 -1
- package/_cjs/data/These/destructors.cjs +3 -2
- package/_cjs/data/These/destructors.cjs.map +1 -1
- package/_cjs/data/exceptions/IOError.cjs +25 -0
- package/_cjs/data/exceptions/IOError.cjs.map +1 -0
- package/_cjs/data/exceptions/NoSuchElementError.cjs.map +1 -1
- package/_cjs/data/exceptions.cjs +11 -0
- package/_cjs/data/exceptions.cjs.map +1 -1
- package/_cjs/optics/Lens/definition.cjs +2 -1
- package/_cjs/optics/Lens/definition.cjs.map +1 -1
- package/_cjs/optics/Prism/api/just.cjs +2 -1
- package/_cjs/optics/Prism/api/just.cjs.map +1 -1
- package/_cjs/typeclass/ApplicativeExcept.cjs +2 -1
- package/_cjs/typeclass/ApplicativeExcept.cjs.map +1 -1
- package/_cjs/typeclass/Semialign.cjs +2 -1
- package/_cjs/typeclass/Semialign.cjs.map +1 -1
- package/_cjs/typeclass/Witherable.cjs +2 -1
- package/_cjs/typeclass/Witherable.cjs.map +1 -1
- package/_cjs/typeclass/WitherableWithIndex.cjs +2 -1
- package/_cjs/typeclass/WitherableWithIndex.cjs.map +1 -1
- package/_cjs/typeclass.cjs +2 -2
- package/_cjs/types.cjs +0 -11
- package/_cjs/types.cjs.map +1 -1
- package/_cjs/util/predicates.cjs +4 -0
- package/_cjs/util/predicates.cjs.map +1 -1
- package/_cjs/util/rand/Random.cjs.map +1 -1
- package/_mjs/collection/Iterable/api.mjs +3 -2
- package/_mjs/collection/Iterable/api.mjs.map +1 -1
- package/_mjs/collection/immutable/Conc/api.mjs +24 -12
- package/_mjs/collection/immutable/Conc/api.mjs.map +1 -1
- package/_mjs/collection/immutable/HashMap/api.mjs +19 -8
- package/_mjs/collection/immutable/HashMap/api.mjs.map +1 -1
- package/_mjs/collection/immutable/HashMap/definition.mjs +3 -2
- package/_mjs/collection/immutable/HashMap/definition.mjs.map +1 -1
- package/_mjs/collection/immutable/HashMap/internal.mjs +8 -7
- package/_mjs/collection/immutable/HashMap/internal.mjs.map +1 -1
- package/_mjs/collection/immutable/HashSet/api.mjs +7 -6
- package/_mjs/collection/immutable/HashSet/api.mjs.map +1 -1
- package/_mjs/collection/immutable/ImmutableArray/api.mjs +18 -17
- package/_mjs/collection/immutable/ImmutableArray/api.mjs.map +1 -1
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/constructors.mjs +2 -1
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/constructors.mjs.map +1 -1
- package/_mjs/collection/immutable/List/api.mjs +3 -2
- package/_mjs/collection/immutable/List/api.mjs.map +1 -1
- package/_mjs/collection/immutable/List/definition.mjs +13 -2
- package/_mjs/collection/immutable/List/definition.mjs.map +1 -1
- package/_mjs/collection/immutable/Queue/api.mjs +7 -6
- package/_mjs/collection/immutable/Queue/api.mjs.map +1 -1
- package/_mjs/collection/immutable/RoseTree/api.mjs +1 -1
- package/_mjs/collection/immutable/RoseTree/api.mjs.map +1 -1
- package/_mjs/collection/immutable/SortedMap/api.mjs +23 -22
- package/_mjs/collection/immutable/SortedMap/api.mjs.map +1 -1
- package/_mjs/collection/immutable/SortedMap/iterator.mjs +7 -6
- package/_mjs/collection/immutable/SortedMap/iterator.mjs.map +1 -1
- package/_mjs/collection/immutable/Vector/api.mjs +54 -16
- package/_mjs/collection/immutable/Vector/api.mjs.map +1 -1
- package/_mjs/collection/immutable/Vector/definition.mjs.map +1 -1
- package/_mjs/collection/mutable/HashMap.mjs +6 -5
- package/_mjs/collection/mutable/HashMap.mjs.map +1 -1
- package/_mjs/control/CompletablePromise.mjs +15 -0
- package/_mjs/control/CompletablePromise.mjs.map +1 -0
- package/_mjs/control/Z/api.mjs +1 -1
- package/_mjs/control/Z/api.mjs.map +1 -1
- package/_mjs/control/Z/runtime.mjs +2 -2
- package/_mjs/control/Z/runtime.mjs.map +1 -1
- package/_mjs/data/Branded/definition.mjs +4 -3
- package/_mjs/data/Branded/definition.mjs.map +1 -1
- package/_mjs/data/Cause/api/fold.mjs +8 -7
- package/_mjs/data/Cause/api/fold.mjs.map +1 -1
- package/_mjs/data/Cause/api.mjs +123 -127
- package/_mjs/data/Cause/api.mjs.map +1 -1
- package/_mjs/data/DatumEither/api.mjs +5 -4
- package/_mjs/data/DatumEither/api.mjs.map +1 -1
- package/_mjs/data/Decoder/api.mjs +2 -1
- package/_mjs/data/Decoder/api.mjs.map +1 -1
- package/_mjs/data/Either/api/alignWith.mjs +2 -1
- package/_mjs/data/Either/api/alignWith.mjs.map +1 -1
- package/_mjs/data/Either/api.mjs +22 -15
- package/_mjs/data/Either/api.mjs.map +1 -1
- package/_mjs/data/Either/constructors.mjs +10 -9
- package/_mjs/data/Either/constructors.mjs.map +1 -1
- package/_mjs/data/Either/definition.mjs +30 -4
- package/_mjs/data/Either/definition.mjs.map +1 -1
- package/_mjs/data/Either/instances.mjs +7 -6
- package/_mjs/data/Either/instances.mjs.map +1 -1
- package/_mjs/data/EitherT/api.mjs +4 -3
- package/_mjs/data/EitherT/api.mjs.map +1 -1
- package/_mjs/data/Eq/api.mjs +12 -0
- package/_mjs/data/Eq/api.mjs.map +1 -0
- package/_mjs/data/Eq.mjs +1 -0
- package/_mjs/data/Eq.mjs.map +1 -1
- package/_mjs/data/Equatable/api.mjs +35 -8
- package/_mjs/data/Equatable/api.mjs.map +1 -1
- package/_mjs/data/Equatable/definition.mjs +1 -1
- package/_mjs/data/Equatable/definition.mjs.map +1 -1
- package/_mjs/data/Exit/api.mjs +30 -6
- package/_mjs/data/Exit/api.mjs.map +1 -1
- package/_mjs/data/Exit/constructors.mjs +13 -12
- package/_mjs/data/Exit/constructors.mjs.map +1 -1
- package/_mjs/data/Exit/definition.mjs +11 -6
- package/_mjs/data/Exit/definition.mjs.map +1 -1
- package/_mjs/data/FiberId/api.mjs +16 -15
- package/_mjs/data/FiberId/api.mjs.map +1 -1
- package/_mjs/data/Interval.mjs +2 -1
- package/_mjs/data/Interval.mjs.map +1 -1
- package/_mjs/data/Maybe/api.mjs +8 -7
- package/_mjs/data/Maybe/api.mjs.map +1 -1
- package/_mjs/data/Maybe/constructors.mjs +11 -11
- package/_mjs/data/Maybe/constructors.mjs.map +1 -1
- package/_mjs/data/Maybe/definition.mjs +10 -5
- package/_mjs/data/Maybe/definition.mjs.map +1 -1
- package/_mjs/data/Maybe/instances.mjs +30 -8
- package/_mjs/data/Maybe/instances.mjs.map +1 -1
- package/_mjs/data/Showable/show.mjs +2 -2
- package/_mjs/data/Showable/show.mjs.map +1 -1
- package/_mjs/data/These/destructors.mjs +3 -2
- package/_mjs/data/These/destructors.mjs.map +1 -1
- package/_mjs/data/exceptions/IOError.mjs +14 -0
- package/_mjs/data/exceptions/IOError.mjs.map +1 -0
- package/_mjs/data/exceptions/NoSuchElementError.mjs.map +1 -1
- package/_mjs/data/exceptions.mjs +1 -0
- package/_mjs/data/exceptions.mjs.map +1 -1
- package/_mjs/optics/Lens/definition.mjs +2 -1
- package/_mjs/optics/Lens/definition.mjs.map +1 -1
- package/_mjs/optics/Prism/api/just.mjs +2 -1
- package/_mjs/optics/Prism/api/just.mjs.map +1 -1
- package/_mjs/typeclass/ApplicativeExcept.mjs +2 -1
- package/_mjs/typeclass/ApplicativeExcept.mjs.map +1 -1
- package/_mjs/typeclass/Semialign.mjs +2 -1
- package/_mjs/typeclass/Semialign.mjs.map +1 -1
- package/_mjs/typeclass/Witherable.mjs +2 -1
- package/_mjs/typeclass/Witherable.mjs.map +1 -1
- package/_mjs/typeclass/WitherableWithIndex.mjs +2 -1
- package/_mjs/typeclass/WitherableWithIndex.mjs.map +1 -1
- package/_mjs/typeclass.mjs +1 -1
- package/_mjs/typeclass.mjs.map +1 -1
- package/_mjs/types.mjs +0 -1
- package/_mjs/types.mjs.map +1 -1
- package/_mjs/util/predicates.mjs +3 -0
- package/_mjs/util/predicates.mjs.map +1 -1
- package/_mjs/util/rand/Random.mjs +2 -1
- package/_mjs/util/rand/Random.mjs.map +1 -1
- package/_src/collection/immutable/Conc/api.ts +12 -0
- package/_src/collection/immutable/HashMap/api.ts +11 -0
- package/_src/collection/immutable/HashMap/internal.ts +1 -1
- package/_src/collection/immutable/HashSet/api.ts +4 -4
- package/_src/collection/immutable/List/definition.ts +14 -2
- package/_src/collection/immutable/RoseTree/api.ts +1 -1
- package/_src/collection/immutable/Vector/api.ts +64 -2
- package/_src/collection/immutable/Vector/definition.ts +1 -0
- package/_src/control/CompletablePromise.ts +23 -0
- package/_src/control.ts +1 -0
- package/_src/data/Branded/definition.ts +3 -3
- package/_src/data/Cause/api.ts +33 -40
- package/_src/data/Either/api.ts +10 -0
- package/_src/data/Either/constructors.ts +4 -4
- package/_src/data/Either/definition.ts +29 -2
- package/_src/data/Eq/api.ts +8 -0
- package/_src/data/Eq.ts +1 -0
- package/_src/data/Equatable/api.ts +33 -8
- package/_src/data/Equatable/definition.ts +6 -2
- package/_src/data/Exit/api.ts +26 -0
- package/_src/data/Exit/constructors.ts +7 -7
- package/_src/data/Exit/definition.ts +9 -4
- package/_src/data/FiberId/api.ts +5 -5
- package/_src/data/Maybe/constructors.ts +4 -6
- package/_src/data/Maybe/definition.ts +9 -1
- package/_src/data/Maybe/instances.ts +18 -0
- package/_src/data/Showable/show.ts +2 -2
- package/_src/data/exceptions/IOError.ts +11 -0
- package/_src/data/exceptions/NoSuchElementError.ts +1 -1
- package/_src/data/exceptions.ts +1 -0
- package/_src/data.ts +1 -0
- package/_src/typeclass.ts +1 -1
- package/_src/types.ts +0 -1
- package/_src/util/predicates.ts +4 -0
- package/collection/immutable/Conc/api.d.ts +5 -0
- package/collection/immutable/HashMap/api.d.ts +5 -0
- package/collection/immutable/HashMap/internal.d.ts +1 -2
- package/collection/immutable/List/definition.d.ts +9 -0
- package/collection/immutable/Vector/api.d.ts +30 -3
- package/collection/immutable/Vector/definition.d.ts +1 -0
- package/control/CompletablePromise.d.ts +13 -0
- package/control.d.ts +1 -0
- package/data/Branded/definition.d.ts +3 -2
- package/data/Cause/api.d.ts +1 -1
- package/data/Either/api.d.ts +5 -0
- package/data/Either/constructors.d.ts +2 -2
- package/data/Either/definition.d.ts +15 -2
- package/data/Eq/api.d.ts +6 -0
- package/data/Eq.d.ts +1 -0
- package/data/Equatable/api.d.ts +7 -1
- package/data/Equatable/definition.d.ts +4 -1
- package/data/Exit/api.d.ts +12 -0
- package/data/Exit/constructors.d.ts +5 -5
- package/data/Exit/definition.d.ts +9 -2
- package/data/Maybe/constructors.d.ts +2 -2
- package/data/Maybe/definition.d.ts +9 -1
- package/data/Maybe/instances.d.ts +24 -0
- package/data/exceptions/IOError.d.ts +9 -0
- package/data/exceptions/NoSuchElementError.d.ts +1 -1
- package/data/exceptions.d.ts +1 -0
- package/data.d.ts +1 -0
- package/package.json +1 -1
- package/typeclass.d.ts +1 -1
- package/types.d.ts +0 -1
- package/util/predicates.d.ts +1 -0
- package/_cjs/types/test.cjs +0 -6
- package/_cjs/types/test.cjs.map +0 -1
- package/_mjs/types/test.mjs +0 -2
- package/_mjs/types/test.mjs.map +0 -1
- package/_src/types/test.ts +0 -0
- package/types/test.d.ts +0 -1
package/_mjs/data/Cause/api.mjs
CHANGED
@@ -1,7 +1,8 @@
|
|
1
|
-
|
2
|
-
import * as
|
3
|
-
import * as
|
4
|
-
import * as
|
1
|
+
const fileName_1 = "(@fncts/base) src/data/Cause/api.ts";
|
2
|
+
import * as tsplus_module_1 from "@fncts/base/data/Cause/api/isEmpty";
|
3
|
+
import * as tsplus_module_2 from "@fncts/base/control/Eval/run";
|
4
|
+
import * as tsplus_module_3 from "@fncts/base/control/Eval/constructors";
|
5
|
+
import * as tsplus_module_4 from "@fncts/base/control/Eval/api";
|
5
6
|
import * as tsplus_module_5 from "@fncts/base/data/Maybe/constructors";
|
6
7
|
import * as tsplus_module_6 from "@fncts/base/collection/immutable/List/constructors";
|
7
8
|
import * as tsplus_module_7 from "@fncts/base/collection/immutable/List/api";
|
@@ -51,32 +52,11 @@ import { _Empty, Both, Empty, Fail, Halt, Interrupt, Stackless, Then } from "./d
|
|
51
52
|
/**
|
52
53
|
* @tsplus pipeable fncts.Cause as
|
53
54
|
*/
|
54
|
-
export function
|
55
|
+
export function as(b) {
|
55
56
|
return self => {
|
56
57
|
return map_1(() => b())(self);
|
57
58
|
};
|
58
59
|
}
|
59
|
-
/**
|
60
|
-
* @internal
|
61
|
-
*/
|
62
|
-
function chainEval(self, f) {
|
63
|
-
switch (self._tag) {
|
64
|
-
case "Empty" /* CauseTag.Empty */:
|
65
|
-
return tsplus_module_1.now(empty_1());
|
66
|
-
case "Fail" /* CauseTag.Fail */:
|
67
|
-
return tsplus_module_1.now(traced_1(f(self.value), self.trace));
|
68
|
-
case "Halt" /* CauseTag.Halt */:
|
69
|
-
return tsplus_module_1.now(self);
|
70
|
-
case "Interrupt" /* CauseTag.Interrupt */:
|
71
|
-
return tsplus_module_1.now(self);
|
72
|
-
case "Then" /* CauseTag.Then */:
|
73
|
-
return tsplus_module_2.zipWith(tsplus_module_1.defer(() => chainEval(self.right, f)), then_1)(tsplus_module_1.defer(() => chainEval(self.left, f)));
|
74
|
-
case "Both" /* CauseTag.Both */:
|
75
|
-
return tsplus_module_2.zipWith(tsplus_module_1.defer(() => chainEval(self.right, f)), both_1)(tsplus_module_1.defer(() => chainEval(self.left, f)));
|
76
|
-
case "Stackless" /* CauseTag.Stackless */:
|
77
|
-
return tsplus_module_1.defer(() => chainEval(self.cause, f));
|
78
|
-
}
|
79
|
-
}
|
80
60
|
/**
|
81
61
|
* Constructs a `Cause` from two `Cause`s, representing parallel failures.
|
82
62
|
*
|
@@ -86,7 +66,7 @@ function chainEval(self, f) {
|
|
86
66
|
* @tsplus static fncts.Cause.BothOps __call
|
87
67
|
*/
|
88
68
|
function both_1(left, right) {
|
89
|
-
return
|
69
|
+
return tsplus_module_1.isEmpty(left) ? right : tsplus_module_1.isEmpty(right) ? left : new Both(left, right);
|
90
70
|
}
|
91
71
|
/**
|
92
72
|
* Composes computations in sequence, using the return value of one computation as input for the next
|
@@ -95,9 +75,30 @@ function both_1(left, right) {
|
|
95
75
|
*/
|
96
76
|
function flatMap_1(f) {
|
97
77
|
return self => {
|
98
|
-
return
|
78
|
+
return tsplus_module_2.run(flatMapEval(self, f));
|
99
79
|
};
|
100
80
|
}
|
81
|
+
/**
|
82
|
+
* @internal
|
83
|
+
*/
|
84
|
+
function flatMapEval(self, f) {
|
85
|
+
switch (self._tag) {
|
86
|
+
case "Empty" /* CauseTag.Empty */:
|
87
|
+
return tsplus_module_3.now(empty_1());
|
88
|
+
case "Fail" /* CauseTag.Fail */:
|
89
|
+
return tsplus_module_3.now(traced_1(f(self.value), self.trace));
|
90
|
+
case "Halt" /* CauseTag.Halt */:
|
91
|
+
return tsplus_module_3.now(self);
|
92
|
+
case "Interrupt" /* CauseTag.Interrupt */:
|
93
|
+
return tsplus_module_3.now(self);
|
94
|
+
case "Then" /* CauseTag.Then */:
|
95
|
+
return tsplus_module_4.zipWith(tsplus_module_3.defer(() => flatMapEval(self.right, f)), then_1)(tsplus_module_3.defer(() => flatMapEval(self.left, f)));
|
96
|
+
case "Both" /* CauseTag.Both */:
|
97
|
+
return tsplus_module_4.zipWith(tsplus_module_3.defer(() => flatMapEval(self.right, f)), both_1)(tsplus_module_3.defer(() => flatMapEval(self.left, f)));
|
98
|
+
case "Stackless" /* CauseTag.Stackless */:
|
99
|
+
return tsplus_module_3.defer(() => flatMapEval(self.cause, f));
|
100
|
+
}
|
101
|
+
}
|
101
102
|
/**
|
102
103
|
* Determines whether a `Cause` contains or is equal to the specified cause.
|
103
104
|
*
|
@@ -105,19 +106,14 @@ function flatMap_1(f) {
|
|
105
106
|
*/
|
106
107
|
export function contains(that) {
|
107
108
|
return self => {
|
108
|
-
return
|
109
|
+
return tsplus_module_2.run(containsEval(self, that));
|
109
110
|
};
|
110
111
|
}
|
111
112
|
/**
|
112
113
|
* @internal
|
113
114
|
*/
|
114
115
|
function containsEval(self, that) {
|
115
|
-
return
|
116
|
-
if (yield* _(self.equalsEval(that))) {
|
117
|
-
return true;
|
118
|
-
}
|
119
|
-
return yield* _(foldLeft_1(tsplus_module_1.now(false), (computation, c) => tsplus_module_5.just(tsplus_module_2.flatMap(b => b ? tsplus_module_1.now(b) : c.equalsEval(that))(computation)))(self));
|
120
|
-
});
|
116
|
+
return foldLeft_1(self.equalsEval(that), (computation, innerCause) => tsplus_module_5.just(tsplus_module_4.flatMap(b => b ? tsplus_module_3.now(b) : innerCause.equalsEval(that))(computation), fileName_1 + ":83:9"))(self);
|
121
117
|
}
|
122
118
|
/**
|
123
119
|
* Extracts a list of non-recoverable errors from the `Cause`.
|
@@ -125,7 +121,7 @@ function containsEval(self, that) {
|
|
125
121
|
* @tsplus getter fncts.Cause defects
|
126
122
|
*/
|
127
123
|
function defects_1(self) {
|
128
|
-
return tsplus_module_7.reverse(foldLeft_1(tsplus_module_6.empty(), (z, c) => isHalt_1(c) ? tsplus_module_5.just(tsplus_module_7.prependOperator(c.value, z)) : tsplus_module_5.nothing())(self));
|
124
|
+
return tsplus_module_7.reverse(foldLeft_1(tsplus_module_6.empty(), (z, c) => isHalt_1(c) ? tsplus_module_5.just(tsplus_module_7.prependOperator(c.value, z), fileName_1 + ":93:66") : tsplus_module_5.nothing(fileName_1 + ":93:89"))(self));
|
129
125
|
}
|
130
126
|
/**
|
131
127
|
* The empty `Cause`
|
@@ -159,7 +155,7 @@ function failed_1(self) {
|
|
159
155
|
* @tsplus getter fncts.Cause failures
|
160
156
|
*/
|
161
157
|
export function failures(self) {
|
162
|
-
return tsplus_module_7.reverse(foldLeft_1(tsplus_module_6.empty(), (z, c) => isFail_1(c) ? tsplus_module_5.just(tsplus_module_7.prependOperator(c.value, z)) : tsplus_module_5.nothing())(self));
|
158
|
+
return tsplus_module_7.reverse(foldLeft_1(tsplus_module_6.empty(), (z, c) => isFail_1(c) ? tsplus_module_5.just(tsplus_module_7.prependOperator(c.value, z), fileName_1 + ":134:69") : tsplus_module_5.nothing(fileName_1 + ":134:92"))(self));
|
163
159
|
}
|
164
160
|
/**
|
165
161
|
* Retrieve the first checked error on the `Left` if available,
|
@@ -169,7 +165,7 @@ export function failures(self) {
|
|
169
165
|
* @tsplus getter fncts.Cause failureOrCause
|
170
166
|
*/
|
171
167
|
export function failureOrCause(self) {
|
172
|
-
return tsplus_module_9.match(() => tsplus_module_10.right(self), tsplus_module_10.left)(failureMaybe_1(self));
|
168
|
+
return tsplus_module_9.match(() => tsplus_module_10.right(self, fileName_1 + ":145:52"), tsplus_module_10.left)(failureMaybe_1(self));
|
173
169
|
}
|
174
170
|
/**
|
175
171
|
* Returns the `E` associated with the first `Fail` in this `Cause` if one
|
@@ -178,7 +174,7 @@ export function failureOrCause(self) {
|
|
178
174
|
* @tsplus getter fncts.Cause failureTraceMaybe
|
179
175
|
*/
|
180
176
|
function failureTraceMaybe_1(self) {
|
181
|
-
return find_1(c => isFail_1(c) ? tsplus_module_5.just([c.value, c.trace]) : tsplus_module_5.nothing())(self);
|
177
|
+
return find_1(c => isFail_1(c) ? tsplus_module_5.just([c.value, c.trace], fileName_1 + ":155:50") : tsplus_module_5.nothing(fileName_1 + ":155:86"))(self);
|
182
178
|
}
|
183
179
|
/**
|
184
180
|
* Retrieve the first checked error and its trace on the `Left` if available,
|
@@ -188,7 +184,7 @@ function failureTraceMaybe_1(self) {
|
|
188
184
|
* @tsplus getter fncts.Cause failureTraceOrCause
|
189
185
|
*/
|
190
186
|
export function failureTraceOrCause(self) {
|
191
|
-
return tsplus_module_9.match(() => tsplus_module_10.right(self), tsplus_module_10.left)(failureTraceMaybe_1(self));
|
187
|
+
return tsplus_module_9.match(() => tsplus_module_10.right(self, fileName_1 + ":166:57"), tsplus_module_10.left)(failureTraceMaybe_1(self));
|
192
188
|
}
|
193
189
|
/**
|
194
190
|
* Returns the `E` associated with the first `Fail` in this `Cause` if one exists.
|
@@ -196,7 +192,7 @@ export function failureTraceOrCause(self) {
|
|
196
192
|
* @tsplus getter fncts.Cause failureMaybe
|
197
193
|
*/
|
198
194
|
function failureMaybe_1(self) {
|
199
|
-
return find_1(c => c._tag === "Fail" /* CauseTag.Fail */ ? tsplus_module_5.just(c.value) : tsplus_module_5.nothing())(self);
|
195
|
+
return find_1(c => c._tag === "Fail" /* CauseTag.Fail */ ? tsplus_module_5.just(c.value, fileName_1 + ":175:65") : tsplus_module_5.nothing(fileName_1 + ":175:90"))(self);
|
200
196
|
}
|
201
197
|
/**
|
202
198
|
* Remove all `Halt` causes that the specified partial function is defined at,
|
@@ -208,30 +204,30 @@ function failureMaybe_1(self) {
|
|
208
204
|
export function filterDefects(p) {
|
209
205
|
return self => {
|
210
206
|
return tsplus_module_13.fold({
|
211
|
-
Empty: () => tsplus_module_5.just(empty_1()),
|
212
|
-
Fail: (e, trace) => tsplus_module_5.just(fail_1(e, trace)),
|
213
|
-
Halt: (u, trace) => p(u) ? tsplus_module_5.nothing() : tsplus_module_5.just(halt_1(u, trace)),
|
214
|
-
Interrupt: (fiberId, trace) => tsplus_module_5.just(interrupt_1(fiberId, trace)),
|
207
|
+
Empty: () => tsplus_module_5.just(empty_1(), fileName_1 + ":188:24"),
|
208
|
+
Fail: (e, trace) => tsplus_module_5.just(fail_1(e, trace), fileName_1 + ":189:31"),
|
209
|
+
Halt: (u, trace) => p(u) ? tsplus_module_5.nothing(fileName_1 + ":190:42") : tsplus_module_5.just(halt_1(u, trace), fileName_1 + ":190:51"),
|
210
|
+
Interrupt: (fiberId, trace) => tsplus_module_5.just(interrupt_1(fiberId, trace), fileName_1 + ":191:42"),
|
215
211
|
Then: (l, r) => {
|
216
212
|
if (tsplus_module_11.isJust(l) && tsplus_module_11.isJust(r)) {
|
217
|
-
return tsplus_module_5.just(then_1(l.value, r.value));
|
213
|
+
return tsplus_module_5.just(then_1(l.value, r.value), fileName_1 + ":194:22");
|
218
214
|
} else if (tsplus_module_11.isJust(l) && tsplus_module_11.isNothing(r)) {
|
219
|
-
return tsplus_module_5.just(l.value);
|
215
|
+
return tsplus_module_5.just(l.value, fileName_1 + ":196:22");
|
220
216
|
} else if (tsplus_module_11.isNothing(l) && tsplus_module_11.isJust(r)) {
|
221
|
-
return tsplus_module_5.just(r.value);
|
217
|
+
return tsplus_module_5.just(r.value, fileName_1 + ":198:22");
|
222
218
|
} else {
|
223
|
-
return tsplus_module_5.nothing();
|
219
|
+
return tsplus_module_5.nothing(fileName_1 + ":200:25");
|
224
220
|
}
|
225
221
|
},
|
226
222
|
Both: (l, r) => {
|
227
223
|
if (tsplus_module_11.isJust(l) && tsplus_module_11.isJust(r)) {
|
228
|
-
return tsplus_module_5.just(both_1(l.value, r.value));
|
224
|
+
return tsplus_module_5.just(both_1(l.value, r.value), fileName_1 + ":205:22");
|
229
225
|
} else if (tsplus_module_11.isJust(l) && tsplus_module_11.isNothing(r)) {
|
230
|
-
return tsplus_module_5.just(l.value);
|
226
|
+
return tsplus_module_5.just(l.value, fileName_1 + ":207:22");
|
231
227
|
} else if (tsplus_module_11.isNothing(l) && tsplus_module_11.isJust(r)) {
|
232
|
-
return tsplus_module_5.just(r.value);
|
228
|
+
return tsplus_module_5.just(r.value, fileName_1 + ":209:22");
|
233
229
|
} else {
|
234
|
-
return tsplus_module_5.nothing();
|
230
|
+
return tsplus_module_5.nothing(fileName_1 + ":211:25");
|
235
231
|
}
|
236
232
|
},
|
237
233
|
Stackless: (causeOption, stackless) => tsplus_module_12.map(cause => stackless_1(cause, stackless))(causeOption)
|
@@ -277,7 +273,7 @@ function findLoop(self, f, stack) {
|
|
277
273
|
stack_1 = stack_2;
|
278
274
|
continue;
|
279
275
|
}
|
280
|
-
return tsplus_module_5.nothing();
|
276
|
+
return tsplus_module_5.nothing(fileName_1 + ":236:25");
|
281
277
|
}
|
282
278
|
}
|
283
279
|
}
|
@@ -351,16 +347,16 @@ export function flipCauseEither(self) {
|
|
351
347
|
pushing: while (true) {
|
352
348
|
switch (c._tag) {
|
353
349
|
case "Empty" /* CauseTag.Empty */:
|
354
|
-
result = tsplus_module_10.left(empty_1());
|
350
|
+
result = tsplus_module_10.left(empty_1(), fileName_1 + ":316:31");
|
355
351
|
break pushing;
|
356
352
|
case "Interrupt" /* CauseTag.Interrupt */:
|
357
|
-
result = tsplus_module_10.left(interrupt_1(c.id, c.trace));
|
353
|
+
result = tsplus_module_10.left(interrupt_1(c.id, c.trace), fileName_1 + ":319:31");
|
358
354
|
break pushing;
|
359
355
|
case "Halt" /* CauseTag.Halt */:
|
360
|
-
result = tsplus_module_10.left(c);
|
356
|
+
result = tsplus_module_10.left(c, fileName_1 + ":322:31");
|
361
357
|
break pushing;
|
362
358
|
case "Fail" /* CauseTag.Fail */:
|
363
|
-
result = tsplus_module_17.match(l => tsplus_module_10.left(fail_1(l, tsplus_module_8.none)), r => tsplus_module_10.right(r))(c.value);
|
359
|
+
result = tsplus_module_17.match(l => tsplus_module_10.left(fail_1(l, tsplus_module_8.none), fileName_1 + ":326:31"), r => tsplus_module_10.right(r, fileName_1 + ":327:32"))(c.value);
|
364
360
|
break pushing;
|
365
361
|
case "Then" /* CauseTag.Then */:
|
366
362
|
stack.push(new FCEStackFrameThenLeft(c));
|
@@ -386,13 +382,13 @@ export function flipCauseEither(self) {
|
|
386
382
|
{
|
387
383
|
const l = top.leftResult;
|
388
384
|
if (tsplus_module_18.isLeft(l) && tsplus_module_18.isLeft(result)) {
|
389
|
-
result = tsplus_module_10.left(then_1(l.left, result.left));
|
385
|
+
result = tsplus_module_10.left(then_1(l.left, result.left), fileName_1 + ":356:33");
|
390
386
|
}
|
391
387
|
if (tsplus_module_18.isRight(l)) {
|
392
|
-
result = tsplus_module_10.right(l.right);
|
388
|
+
result = tsplus_module_10.right(l.right, fileName_1 + ":360:34");
|
393
389
|
}
|
394
390
|
if (tsplus_module_18.isRight(result)) {
|
395
|
-
result = tsplus_module_10.right(result.right);
|
391
|
+
result = tsplus_module_10.right(result.right, fileName_1 + ":364:34");
|
396
392
|
}
|
397
393
|
continue popping;
|
398
394
|
}
|
@@ -404,13 +400,13 @@ export function flipCauseEither(self) {
|
|
404
400
|
{
|
405
401
|
const l = top.leftResult;
|
406
402
|
if (tsplus_module_18.isLeft(l) && tsplus_module_18.isLeft(result)) {
|
407
|
-
result = tsplus_module_10.left(both_1(l.left, result.left));
|
403
|
+
result = tsplus_module_10.left(both_1(l.left, result.left), fileName_1 + ":377:33");
|
408
404
|
}
|
409
405
|
if (tsplus_module_18.isRight(l)) {
|
410
|
-
result = tsplus_module_10.right(l.right);
|
406
|
+
result = tsplus_module_10.right(l.right, fileName_1 + ":381:34");
|
411
407
|
}
|
412
408
|
if (tsplus_module_18.isRight(result)) {
|
413
|
-
result = tsplus_module_10.right(result.right);
|
409
|
+
result = tsplus_module_10.right(result.right, fileName_1 + ":385:34");
|
414
410
|
}
|
415
411
|
continue popping;
|
416
412
|
}
|
@@ -466,16 +462,16 @@ export function flipCauseOption(self) {
|
|
466
462
|
pushing: while (true) {
|
467
463
|
switch (c._tag) {
|
468
464
|
case "Empty" /* CauseTag.Empty */:
|
469
|
-
result = tsplus_module_5.just(empty_1());
|
465
|
+
result = tsplus_module_5.just(empty_1(), fileName_1 + ":449:24");
|
470
466
|
break pushing;
|
471
467
|
case "Interrupt" /* CauseTag.Interrupt */:
|
472
|
-
result = tsplus_module_5.just(interrupt_1(c.id, tsplus_module_8.none));
|
468
|
+
result = tsplus_module_5.just(interrupt_1(c.id, tsplus_module_8.none), fileName_1 + ":452:24");
|
473
469
|
break pushing;
|
474
470
|
case "Halt" /* CauseTag.Halt */:
|
475
|
-
result = tsplus_module_5.just(c);
|
471
|
+
result = tsplus_module_5.just(c, fileName_1 + ":455:24");
|
476
472
|
break pushing;
|
477
473
|
case "Fail" /* CauseTag.Fail */:
|
478
|
-
result = tsplus_module_9.match(() => tsplus_module_5.nothing(), r => tsplus_module_5.just(fail_1(r, tsplus_module_8.none)))(c.value);
|
474
|
+
result = tsplus_module_9.match(() => tsplus_module_5.nothing(fileName_1 + ":459:26"), r => tsplus_module_5.just(fail_1(r, tsplus_module_8.none), fileName_1 + ":460:24"))(c.value);
|
479
475
|
break pushing;
|
480
476
|
case "Then" /* CauseTag.Then */:
|
481
477
|
stack.push(new FCOStackFrameThenLeft(c));
|
@@ -501,15 +497,15 @@ export function flipCauseOption(self) {
|
|
501
497
|
{
|
502
498
|
const l = top.leftResult;
|
503
499
|
if (tsplus_module_11.isJust(l) && tsplus_module_11.isJust(result)) {
|
504
|
-
result = tsplus_module_5.just(then_1(l.value, result.value));
|
500
|
+
result = tsplus_module_5.just(then_1(l.value, result.value), fileName_1 + ":489:26");
|
505
501
|
}
|
506
502
|
if (tsplus_module_11.isNothing(l) && tsplus_module_11.isJust(result)) {
|
507
|
-
result = tsplus_module_5.just(result.value);
|
503
|
+
result = tsplus_module_5.just(result.value, fileName_1 + ":493:26");
|
508
504
|
}
|
509
505
|
if (tsplus_module_11.isJust(l) && tsplus_module_11.isNothing(result)) {
|
510
|
-
result = tsplus_module_5.just(l.value);
|
506
|
+
result = tsplus_module_5.just(l.value, fileName_1 + ":497:26");
|
511
507
|
}
|
512
|
-
result = tsplus_module_5.nothing();
|
508
|
+
result = tsplus_module_5.nothing(fileName_1 + ":500:27");
|
513
509
|
continue popping;
|
514
510
|
}
|
515
511
|
case "FCOStackFrameBothLeft":
|
@@ -520,15 +516,15 @@ export function flipCauseOption(self) {
|
|
520
516
|
{
|
521
517
|
const l = top.leftResult;
|
522
518
|
if (tsplus_module_11.isJust(l) && tsplus_module_11.isJust(result)) {
|
523
|
-
result = tsplus_module_5.just(both_1(l.value, result.value));
|
519
|
+
result = tsplus_module_5.just(both_1(l.value, result.value), fileName_1 + ":512:26");
|
524
520
|
}
|
525
521
|
if (tsplus_module_11.isNothing(l) && tsplus_module_11.isJust(result)) {
|
526
|
-
result = tsplus_module_5.just(result.value);
|
522
|
+
result = tsplus_module_5.just(result.value, fileName_1 + ":516:26");
|
527
523
|
}
|
528
524
|
if (tsplus_module_11.isJust(l) && tsplus_module_11.isNothing(result)) {
|
529
|
-
result = tsplus_module_5.just(l.value);
|
525
|
+
result = tsplus_module_5.just(l.value, fileName_1 + ":520:26");
|
530
526
|
}
|
531
|
-
result = tsplus_module_5.nothing();
|
527
|
+
result = tsplus_module_5.nothing(fileName_1 + ":523:27");
|
532
528
|
continue popping;
|
533
529
|
}
|
534
530
|
}
|
@@ -616,7 +612,7 @@ function halted_1(self) {
|
|
616
612
|
* @tsplus getter fncts.Cause haltMaybe
|
617
613
|
*/
|
618
614
|
function haltMaybe_1(self) {
|
619
|
-
return find_1(c => c._tag === "Halt" /* CauseTag.Halt */ ? tsplus_module_5.just(c.value) : tsplus_module_5.nothing())(self);
|
615
|
+
return find_1(c => c._tag === "Halt" /* CauseTag.Halt */ ? tsplus_module_5.just(c.value, fileName_1 + ":594:65") : tsplus_module_5.nothing(fileName_1 + ":594:90"))(self);
|
620
616
|
}
|
621
617
|
/**
|
622
618
|
* Constructs a `Cause` from an `Id`, representing an interruption of asynchronous computation
|
@@ -671,7 +667,7 @@ function isInterrupt_1(self) {
|
|
671
667
|
* @tsplus getter fncts.Cause isInterrupted
|
672
668
|
*/
|
673
669
|
function isInterrupted_1(self) {
|
674
|
-
return tsplus_module_11.isJust(find_1(cause => isInterrupt_1(cause) ? tsplus_module_5.just(cause) : tsplus_module_5.nothing())(self));
|
670
|
+
return tsplus_module_11.isJust(find_1(cause => isInterrupt_1(cause) ? tsplus_module_5.just(cause, fileName_1 + ":656:58") : tsplus_module_5.nothing(fileName_1 + ":656:75"))(self));
|
675
671
|
}
|
676
672
|
/**
|
677
673
|
* Determines if the `Cause` contains only interruptions and not any `Die` or
|
@@ -706,9 +702,9 @@ export function isTraced(self) {
|
|
706
702
|
case "Halt" /* CauseTag.Halt */:
|
707
703
|
case "Fail" /* CauseTag.Fail */:
|
708
704
|
case "Interrupt" /* CauseTag.Interrupt */:
|
709
|
-
return cause.trace !== tsplus_module_8.none ? tsplus_module_5.just(undefined) : tsplus_module_5.nothing();
|
705
|
+
return cause.trace !== tsplus_module_8.none ? tsplus_module_5.just(undefined, fileName_1 + ":695:51") : tsplus_module_5.nothing(fileName_1 + ":695:72");
|
710
706
|
default:
|
711
|
-
return tsplus_module_5.nothing();
|
707
|
+
return tsplus_module_5.nothing(fileName_1 + ":697:25");
|
712
708
|
}
|
713
709
|
})(self));
|
714
710
|
}
|
@@ -726,7 +722,7 @@ export function interrupted(self) {
|
|
726
722
|
* @tsplus getter fncts.Cause interruptOption
|
727
723
|
*/
|
728
724
|
function interruptOption_1(self) {
|
729
|
-
return find_1(c => c._tag === "Interrupt" /* CauseTag.Interrupt */ ? tsplus_module_5.just(c.id) : tsplus_module_5.nothing())(self);
|
725
|
+
return find_1(c => c._tag === "Interrupt" /* CauseTag.Interrupt */ ? tsplus_module_5.just(c.id, fileName_1 + ":721:64") : tsplus_module_5.nothing(fileName_1 + ":721:80"))(self);
|
730
726
|
}
|
731
727
|
/**
|
732
728
|
* Returns a set of interruptors, fibers that interrupted the fiber described
|
@@ -735,7 +731,7 @@ function interruptOption_1(self) {
|
|
735
731
|
* @tsplus getter fncts.Cause interruptors
|
736
732
|
*/
|
737
733
|
function interruptors_1(self) {
|
738
|
-
return foldLeft_1(tsplus_module_19.empty(), (s, c) => c._tag === "Interrupt" /* CauseTag.Interrupt */ ? tsplus_module_5.just(tsplus_module_19.add(c.id)(s)) : tsplus_module_5.nothing())(self);
|
734
|
+
return foldLeft_1(tsplus_module_19.empty(), (s, c) => c._tag === "Interrupt" /* CauseTag.Interrupt */ ? tsplus_module_5.just(tsplus_module_19.add(c.id)(s), fileName_1 + ":731:88") : tsplus_module_5.nothing(fileName_1 + ":731:111"))(self);
|
739
735
|
}
|
740
736
|
/**
|
741
737
|
* Determines if the `Cause` contains only interruptions and not any `Halt` or
|
@@ -744,7 +740,7 @@ function interruptors_1(self) {
|
|
744
740
|
* @tsplus getter fncts.Cause interruptedOnly
|
745
741
|
*/
|
746
742
|
export function interruptedOnly(self) {
|
747
|
-
return tsplus_module_12.getOrElse(() => true)(find_1(c => halted_1(c) || failed_1(c) ? tsplus_module_5.just(false) : tsplus_module_5.nothing())(self));
|
743
|
+
return tsplus_module_12.getOrElse(() => true)(find_1(c => halted_1(c) || failed_1(c) ? tsplus_module_5.just(false, fileName_1 + ":741:63") : tsplus_module_5.nothing(fileName_1 + ":741:86"))(self));
|
748
744
|
}
|
749
745
|
/**
|
750
746
|
* Remove all `Fail` and `Interrupt` nodes from this `Cause`,
|
@@ -754,30 +750,30 @@ export function interruptedOnly(self) {
|
|
754
750
|
*/
|
755
751
|
export function keepDefects(self) {
|
756
752
|
return tsplus_module_13.fold({
|
757
|
-
Empty: () => tsplus_module_5.nothing(),
|
758
|
-
Fail: () => tsplus_module_5.nothing(),
|
759
|
-
Halt: (t, trace) => tsplus_module_5.just(halt_1(t, trace)),
|
760
|
-
Interrupt: () => tsplus_module_5.nothing(),
|
753
|
+
Empty: () => tsplus_module_5.nothing(fileName_1 + ":752:25"),
|
754
|
+
Fail: () => tsplus_module_5.nothing(fileName_1 + ":753:24"),
|
755
|
+
Halt: (t, trace) => tsplus_module_5.just(halt_1(t, trace), fileName_1 + ":754:29"),
|
756
|
+
Interrupt: () => tsplus_module_5.nothing(fileName_1 + ":755:29"),
|
761
757
|
Then: (l, r) => {
|
762
758
|
if (tsplus_module_11.isJust(l) && tsplus_module_11.isJust(r)) {
|
763
|
-
return tsplus_module_5.just(then_1(l.value, r.value));
|
759
|
+
return tsplus_module_5.just(then_1(l.value, r.value), fileName_1 + ":758:20");
|
764
760
|
} else if (tsplus_module_11.isJust(l) && tsplus_module_11.isNothing(r)) {
|
765
|
-
return tsplus_module_5.just(l.value);
|
761
|
+
return tsplus_module_5.just(l.value, fileName_1 + ":760:20");
|
766
762
|
} else if (tsplus_module_11.isNothing(l) && tsplus_module_11.isJust(r)) {
|
767
|
-
return tsplus_module_5.just(r.value);
|
763
|
+
return tsplus_module_5.just(r.value, fileName_1 + ":762:20");
|
768
764
|
} else {
|
769
|
-
return tsplus_module_5.nothing();
|
765
|
+
return tsplus_module_5.nothing(fileName_1 + ":764:23");
|
770
766
|
}
|
771
767
|
},
|
772
768
|
Both: (l, r) => {
|
773
769
|
if (tsplus_module_11.isJust(l) && tsplus_module_11.isJust(r)) {
|
774
|
-
return tsplus_module_5.just(both_1(l.value, r.value));
|
770
|
+
return tsplus_module_5.just(both_1(l.value, r.value), fileName_1 + ":769:20");
|
775
771
|
} else if (tsplus_module_11.isJust(l) && tsplus_module_11.isNothing(r)) {
|
776
|
-
return tsplus_module_5.just(l.value);
|
772
|
+
return tsplus_module_5.just(l.value, fileName_1 + ":771:20");
|
777
773
|
} else if (tsplus_module_11.isNothing(l) && tsplus_module_11.isJust(r)) {
|
778
|
-
return tsplus_module_5.just(r.value);
|
774
|
+
return tsplus_module_5.just(r.value, fileName_1 + ":773:20");
|
779
775
|
} else {
|
780
|
-
return tsplus_module_5.nothing();
|
776
|
+
return tsplus_module_5.nothing(fileName_1 + ":775:23");
|
781
777
|
}
|
782
778
|
},
|
783
779
|
Stackless: (maybeCause, stackless) => tsplus_module_12.map(cause => stackless_1(cause, stackless))(maybeCause)
|
@@ -840,12 +836,12 @@ export function stripFailures(self) {
|
|
840
836
|
export function stripSomeDefects(p) {
|
841
837
|
return self => {
|
842
838
|
return tsplus_module_13.fold({
|
843
|
-
Empty: () => tsplus_module_5.just(empty_1()),
|
844
|
-
Fail: (e, trace) => tsplus_module_5.just(fail_1(e, trace)),
|
845
|
-
Halt: (t, trace) => p(t) ? tsplus_module_5.nothing() : tsplus_module_5.just(halt_1(t, trace)),
|
846
|
-
Interrupt: (fiberId, trace) => tsplus_module_5.just(interrupt_1(fiberId, trace)),
|
847
|
-
Then: (l, r) => tsplus_module_11.isJust(l) && tsplus_module_11.isJust(r) ? tsplus_module_5.just(then_1(l.value, r.value)) : tsplus_module_11.isJust(l) ? tsplus_module_5.just(l.value) : tsplus_module_11.isJust(r) ? tsplus_module_5.just(r.value) : tsplus_module_5.nothing(),
|
848
|
-
Both: (l, r) => tsplus_module_11.isJust(l) && tsplus_module_11.isJust(r) ? tsplus_module_5.just(then_1(l.value, r.value)) : tsplus_module_11.isJust(l) ? tsplus_module_5.just(l.value) : tsplus_module_11.isJust(r) ? tsplus_module_5.just(r.value) : tsplus_module_5.nothing(),
|
839
|
+
Empty: () => tsplus_module_5.just(empty_1(), fileName_1 + ":843:24"),
|
840
|
+
Fail: (e, trace) => tsplus_module_5.just(fail_1(e, trace), fileName_1 + ":844:31"),
|
841
|
+
Halt: (t, trace) => p(t) ? tsplus_module_5.nothing(fileName_1 + ":845:42") : tsplus_module_5.just(halt_1(t, trace), fileName_1 + ":845:51"),
|
842
|
+
Interrupt: (fiberId, trace) => tsplus_module_5.just(interrupt_1(fiberId, trace), fileName_1 + ":846:42"),
|
843
|
+
Then: (l, r) => tsplus_module_11.isJust(l) && tsplus_module_11.isJust(r) ? tsplus_module_5.just(then_1(l.value, r.value), fileName_1 + ":849:17") : tsplus_module_11.isJust(l) ? tsplus_module_5.just(l.value, fileName_1 + ":851:17") : tsplus_module_11.isJust(r) ? tsplus_module_5.just(r.value, fileName_1 + ":853:17") : tsplus_module_5.nothing(fileName_1 + ":854:20"),
|
844
|
+
Both: (l, r) => tsplus_module_11.isJust(l) && tsplus_module_11.isJust(r) ? tsplus_module_5.just(then_1(l.value, r.value), fileName_1 + ":857:17") : tsplus_module_11.isJust(l) ? tsplus_module_5.just(l.value, fileName_1 + ":859:17") : tsplus_module_11.isJust(r) ? tsplus_module_5.just(r.value, fileName_1 + ":861:17") : tsplus_module_5.nothing(fileName_1 + ":862:20"),
|
849
845
|
Stackless: (causeOption, stackless) => tsplus_module_12.map(cause => stackless_1(cause, stackless))(causeOption)
|
850
846
|
})(self);
|
851
847
|
};
|
@@ -854,39 +850,39 @@ function sequenceCauseEitherEval(self) {
|
|
854
850
|
switch (self._tag) {
|
855
851
|
case "Empty" /* CauseTag.Empty */:
|
856
852
|
{
|
857
|
-
return
|
853
|
+
return tsplus_module_3.now(tsplus_module_10.left(empty_1(), fileName_1 + ":871:34"));
|
858
854
|
}
|
859
855
|
case "Interrupt" /* CauseTag.Interrupt */:
|
860
856
|
{
|
861
|
-
return
|
857
|
+
return tsplus_module_3.now(tsplus_module_10.left(self, fileName_1 + ":874:34"));
|
862
858
|
}
|
863
859
|
case "Fail" /* CauseTag.Fail */:
|
864
860
|
{
|
865
|
-
return
|
861
|
+
return tsplus_module_3.now(tsplus_module_17.match(e => tsplus_module_10.left(fail_1(e, tsplus_module_8.none), fileName_1 + ":879:29"), a => tsplus_module_10.right(a, fileName_1 + ":880:30"))(self.value));
|
866
862
|
}
|
867
863
|
case "Halt" /* CauseTag.Halt */:
|
868
864
|
{
|
869
|
-
return
|
865
|
+
return tsplus_module_3.now(tsplus_module_10.left(self, fileName_1 + ":885:34"));
|
870
866
|
}
|
871
867
|
case "Then" /* CauseTag.Then */:
|
872
868
|
{
|
873
|
-
return
|
869
|
+
return tsplus_module_4.zipWith(tsplus_module_3.defer(() => sequenceCauseEitherEval(self.right)), (lefts, rights) => {
|
874
870
|
void 0;
|
875
871
|
void 0;
|
876
|
-
return lefts._tag === "Left" /* EitherTag.Left */ ? rights._tag === "Right" /* EitherTag.Right */ ? tsplus_module_10.right(rights.right) : tsplus_module_10.left(then_1(lefts.left, rights.left)) : tsplus_module_10.right(lefts.right);
|
877
|
-
})(
|
872
|
+
return lefts._tag === "Left" /* EitherTag.Left */ ? rights._tag === "Right" /* EitherTag.Right */ ? tsplus_module_10.right(rights.right, fileName_1 + ":895:29") : tsplus_module_10.left(then_1(lefts.left, rights.left), fileName_1 + ":896:28") : tsplus_module_10.right(lefts.right, fileName_1 + ":897:27");
|
873
|
+
})(tsplus_module_3.defer(() => sequenceCauseEitherEval(self.left)));
|
878
874
|
}
|
879
875
|
case "Both" /* CauseTag.Both */:
|
880
876
|
{
|
881
|
-
return
|
877
|
+
return tsplus_module_4.zipWith(tsplus_module_3.defer(() => sequenceCauseEitherEval(self.right)), (lefts, rights) => {
|
882
878
|
void 0;
|
883
879
|
void 0;
|
884
|
-
return lefts._tag === "Left" /* EitherTag.Left */ ? rights._tag === "Right" /* EitherTag.Right */ ? tsplus_module_10.right(rights.right) : tsplus_module_10.left(both_1(lefts.left, rights.left)) : tsplus_module_10.right(lefts.right);
|
885
|
-
})(
|
880
|
+
return lefts._tag === "Left" /* EitherTag.Left */ ? rights._tag === "Right" /* EitherTag.Right */ ? tsplus_module_10.right(rights.right, fileName_1 + ":909:29") : tsplus_module_10.left(both_1(lefts.left, rights.left), fileName_1 + ":910:28") : tsplus_module_10.right(lefts.right, fileName_1 + ":911:27");
|
881
|
+
})(tsplus_module_3.defer(() => sequenceCauseEitherEval(self.left)));
|
886
882
|
}
|
887
883
|
case "Stackless" /* CauseTag.Stackless */:
|
888
884
|
{
|
889
|
-
return
|
885
|
+
return tsplus_module_4.map(_ => tsplus_module_18.mapLeft(cause => stackless_1(cause, self.stackless))(_))(tsplus_module_3.defer(() => sequenceCauseEitherEval(self.cause)));
|
890
886
|
}
|
891
887
|
}
|
892
888
|
}
|
@@ -896,45 +892,45 @@ function sequenceCauseEitherEval(self) {
|
|
896
892
|
* @tsplus getter fncts.Cause sequenceCauseEither
|
897
893
|
*/
|
898
894
|
export function sequenceCauseEither(self) {
|
899
|
-
return
|
895
|
+
return tsplus_module_2.run(sequenceCauseEitherEval(self));
|
900
896
|
}
|
901
897
|
function sequenceCauseMaybeEval(self) {
|
902
898
|
switch (self._tag) {
|
903
899
|
case "Empty" /* CauseTag.Empty */:
|
904
900
|
{
|
905
|
-
return
|
901
|
+
return tsplus_module_3.now(tsplus_module_5.just(empty_1(), fileName_1 + ":935:33"));
|
906
902
|
}
|
907
903
|
case "Interrupt" /* CauseTag.Interrupt */:
|
908
904
|
{
|
909
|
-
return
|
905
|
+
return tsplus_module_3.now(tsplus_module_5.just(self, fileName_1 + ":938:33"));
|
910
906
|
}
|
911
907
|
case "Fail" /* CauseTag.Fail */:
|
912
908
|
{
|
913
|
-
return
|
909
|
+
return tsplus_module_3.now(tsplus_module_12.map(e => fail_1(e, tsplus_module_8.none))(self.value));
|
914
910
|
}
|
915
911
|
case "Halt" /* CauseTag.Halt */:
|
916
912
|
{
|
917
|
-
return
|
913
|
+
return tsplus_module_3.now(tsplus_module_5.just(self, fileName_1 + ":944:33"));
|
918
914
|
}
|
919
915
|
case "Then" /* CauseTag.Then */:
|
920
916
|
{
|
921
|
-
return
|
917
|
+
return tsplus_module_4.zipWith(tsplus_module_3.defer(() => sequenceCauseMaybeEval(self.right)), (lefts, rights) => {
|
922
918
|
void 0;
|
923
919
|
void 0;
|
924
|
-
return lefts._tag === "Just" /* MaybeTag.Just */ ? rights._tag === "Just" /* MaybeTag.Just */ ? tsplus_module_5.just(then_1(lefts.value, rights.value)) : lefts : rights._tag === "Just" /* MaybeTag.Just */ ? rights : tsplus_module_5.nothing();
|
925
|
-
})(
|
920
|
+
return lefts._tag === "Just" /* MaybeTag.Just */ ? rights._tag === "Just" /* MaybeTag.Just */ ? tsplus_module_5.just(then_1(lefts.value, rights.value), fileName_1 + ":954:27") : lefts : rights._tag === "Just" /* MaybeTag.Just */ ? rights : tsplus_module_5.nothing(fileName_1 + ":958:28");
|
921
|
+
})(tsplus_module_3.defer(() => sequenceCauseMaybeEval(self.left)));
|
926
922
|
}
|
927
923
|
case "Both" /* CauseTag.Both */:
|
928
924
|
{
|
929
|
-
return
|
925
|
+
return tsplus_module_4.zipWith(tsplus_module_3.defer(() => sequenceCauseMaybeEval(self.right)), (lefts, rights) => {
|
930
926
|
void 0;
|
931
927
|
void 0;
|
932
|
-
return lefts._tag === "Just" /* MaybeTag.Just */ ? rights._tag === "Just" /* MaybeTag.Just */ ? tsplus_module_5.just(both_1(lefts.value, rights.value)) : lefts : rights._tag === "Just" /* MaybeTag.Just */ ? rights : tsplus_module_5.nothing();
|
933
|
-
})(
|
928
|
+
return lefts._tag === "Just" /* MaybeTag.Just */ ? rights._tag === "Just" /* MaybeTag.Just */ ? tsplus_module_5.just(both_1(lefts.value, rights.value), fileName_1 + ":970:27") : lefts : rights._tag === "Just" /* MaybeTag.Just */ ? rights : tsplus_module_5.nothing(fileName_1 + ":974:28");
|
929
|
+
})(tsplus_module_3.defer(() => sequenceCauseMaybeEval(self.left)));
|
934
930
|
}
|
935
931
|
case "Stackless" /* CauseTag.Stackless */:
|
936
932
|
{
|
937
|
-
return
|
933
|
+
return tsplus_module_4.map(_ => tsplus_module_12.map(cause => stackless_1(cause, self.stackless))(_))(tsplus_module_3.defer(() => sequenceCauseMaybeEval(self.cause)));
|
938
934
|
}
|
939
935
|
}
|
940
936
|
}
|
@@ -944,7 +940,7 @@ function sequenceCauseMaybeEval(self) {
|
|
944
940
|
* @tsplus getter fncts.Cause sequenceCauseMaybe
|
945
941
|
*/
|
946
942
|
export function sequenceCauseMaybe(self) {
|
947
|
-
return
|
943
|
+
return tsplus_module_2.run(sequenceCauseMaybeEval(self));
|
948
944
|
}
|
949
945
|
/**
|
950
946
|
* Squashes a `Cause` down to a single `Error`, chosen to be the
|
@@ -954,7 +950,7 @@ export function sequenceCauseMaybe(self) {
|
|
954
950
|
*/
|
955
951
|
export function squashWith(f) {
|
956
952
|
return self => {
|
957
|
-
return tsplus_module_12.getOrElse(() => new tsplus_module_20.InterruptedException())(tsplus_module_12.orElse(() => tsplus_module_7.head(defects_1(self)))(tsplus_module_12.orElse(() => isInterrupted_1(self) ? tsplus_module_5.just(new tsplus_module_20.InterruptedException("Interrupted by fibers: " + tsplus_module_19.join(", ")(tsplus_module_19.map(id => `#${id}`)(tsplus_module_19.flatMap(id => tsplus_module_21.ids(id))(interruptors_1(self)))))) : tsplus_module_5.nothing())(tsplus_module_12.map(f)(failureMaybe_1(self)))));
|
953
|
+
return tsplus_module_12.getOrElse(() => new tsplus_module_20.InterruptedException())(tsplus_module_12.orElse(() => tsplus_module_7.head(defects_1(self)))(tsplus_module_12.orElse(() => isInterrupted_1(self) ? tsplus_module_5.just(new tsplus_module_20.InterruptedException("Interrupted by fibers: " + tsplus_module_19.join(", ")(tsplus_module_19.map(id => `#${id}`)(tsplus_module_19.flatMap(id => tsplus_module_21.ids(id))(interruptors_1(self))))), fileName_1 + ":1007:17") : tsplus_module_5.nothing(fileName_1 + ":1016:20"))(tsplus_module_12.map(f)(failureMaybe_1(self)))));
|
958
954
|
};
|
959
955
|
}
|
960
956
|
/**
|
@@ -966,7 +962,7 @@ export function squashWith(f) {
|
|
966
962
|
* @tsplus static fncts.Cause.ThenOps __call
|
967
963
|
*/
|
968
964
|
function then_1(left, right) {
|
969
|
-
return
|
965
|
+
return tsplus_module_1.isEmpty(left) ? right : tsplus_module_1.isEmpty(right) ? left : new Then(left, right);
|
970
966
|
}
|
971
967
|
/**
|
972
968
|
* Constructs a `Cause` from a `Cause` and a stack trace.
|