@fncts/base 0.0.26 → 0.0.28
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/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.
|