@thethracian/oxlint-config 0.3.0 → 0.3.2
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/CHANGELOG.md +13 -0
- package/dist/codemods/arrow-body-style.d.ts.map +1 -1
- package/dist/codemods/arrow-body-style.js +29 -68
- package/dist/codemods/arrow-body-style.js.map +1 -1
- package/dist/codemods/comment-format.d.ts.map +1 -1
- package/dist/codemods/comment-format.js +22 -32
- package/dist/codemods/comment-format.js.map +1 -1
- package/dist/codemods/explicit-return-types.d.ts.map +1 -1
- package/dist/codemods/explicit-return-types.js +58 -167
- package/dist/codemods/explicit-return-types.js.map +1 -1
- package/dist/codemods/format-file-header.d.ts.map +1 -1
- package/dist/codemods/format-file-header.js +33 -72
- package/dist/codemods/format-file-header.js.map +1 -1
- package/dist/codemods/format-jsdoc-comments.d.ts.map +1 -1
- package/dist/codemods/format-jsdoc-comments.js +58 -66
- package/dist/codemods/format-jsdoc-comments.js.map +1 -1
- package/dist/codemods/function-declarations.d.ts.map +1 -1
- package/dist/codemods/function-declarations.js +45 -80
- package/dist/codemods/function-declarations.js.map +1 -1
- package/dist/codemods/inline-export-lists.d.ts.map +1 -1
- package/dist/codemods/inline-export-lists.js +60 -108
- package/dist/codemods/inline-export-lists.js.map +1 -1
- package/dist/codemods/internal-export-docs.d.ts.map +1 -1
- package/dist/codemods/internal-export-docs.js +21 -59
- package/dist/codemods/internal-export-docs.js.map +1 -1
- package/dist/codemods/no-ternary-branch-initializers.d.ts.map +1 -1
- package/dist/codemods/no-ternary-branch-initializers.js +72 -144
- package/dist/codemods/no-ternary-branch-initializers.js.map +1 -1
- package/dist/codemods/no-ternary-variable-initializers.d.ts.map +1 -1
- package/dist/codemods/no-ternary-variable-initializers.js +69 -152
- package/dist/codemods/no-ternary-variable-initializers.js.map +1 -1
- package/dist/codemods/no-ternary.d.ts.map +1 -1
- package/dist/codemods/no-ternary.js +44 -108
- package/dist/codemods/no-ternary.js.map +1 -1
- package/dist/codemods/rename-acronyms.d.ts.map +1 -1
- package/dist/codemods/rename-acronyms.js +73 -99
- package/dist/codemods/rename-acronyms.js.map +1 -1
- package/dist/codemods/run.d.ts.map +1 -1
- package/dist/codemods/run.js +15 -7
- package/dist/codemods/run.js.map +1 -1
- package/dist/codemods/sort-imports.d.ts.map +1 -1
- package/dist/codemods/sort-imports.js +52 -94
- package/dist/codemods/sort-imports.js.map +1 -1
- package/dist/rules/acronym-case.d.ts.map +1 -1
- package/dist/rules/acronym-case.js +68 -141
- package/dist/rules/acronym-case.js.map +1 -1
- package/dist/rules/acronyms-1.d.ts +1 -1
- package/dist/rules/acronyms-1.d.ts.map +1 -1
- package/dist/rules/acronyms-1.js +2 -402
- package/dist/rules/acronyms-1.js.map +1 -1
- package/dist/rules/acronyms-2.d.ts +1 -1
- package/dist/rules/acronyms-2.d.ts.map +1 -1
- package/dist/rules/acronyms-2.js +2 -402
- package/dist/rules/acronyms-2.js.map +1 -1
- package/dist/rules/acronyms-3.d.ts +1 -1
- package/dist/rules/acronyms-3.d.ts.map +1 -1
- package/dist/rules/acronyms-3.js +2 -402
- package/dist/rules/acronyms-3.js.map +1 -1
- package/dist/rules/acronyms-4.d.ts +1 -1
- package/dist/rules/acronyms-4.d.ts.map +1 -1
- package/dist/rules/acronyms-4.js +2 -372
- package/dist/rules/acronyms-4.js.map +1 -1
- package/dist/rules/acronyms.d.ts.map +1 -1
- package/dist/rules/acronyms.js +3 -6
- package/dist/rules/acronyms.js.map +1 -1
- package/dist/rules/boolean-prefix.d.ts.map +1 -1
- package/dist/rules/boolean-prefix.js +25 -71
- package/dist/rules/boolean-prefix.js.map +1 -1
- package/dist/rules/camel-case-identifiers.d.ts.map +1 -1
- package/dist/rules/camel-case-identifiers.js +15 -54
- package/dist/rules/camel-case-identifiers.js.map +1 -1
- package/dist/rules/char-class.d.ts +1 -1
- package/dist/rules/char-class.d.ts.map +1 -1
- package/dist/rules/char-class.js +16 -16
- package/dist/rules/char-class.js.map +1 -1
- package/dist/rules/diagnostic-guidance.d.ts.map +1 -1
- package/dist/rules/diagnostic-guidance.js +11 -20
- package/dist/rules/diagnostic-guidance.js.map +1 -1
- package/dist/rules/effect-default-ast.d.ts.map +1 -1
- package/dist/rules/effect-default-ast.js +35 -116
- package/dist/rules/effect-default-ast.js.map +1 -1
- package/dist/rules/effect-default-compat-rules.d.ts.map +1 -1
- package/dist/rules/effect-default-compat-rules.js +41 -79
- package/dist/rules/effect-default-compat-rules.js.map +1 -1
- package/dist/rules/effect-default-env-rules.d.ts.map +1 -1
- package/dist/rules/effect-default-env-rules.js +23 -29
- package/dist/rules/effect-default-env-rules.js.map +1 -1
- package/dist/rules/effect-default-fiber-helpers.d.ts.map +1 -1
- package/dist/rules/effect-default-fiber-helpers.js +12 -26
- package/dist/rules/effect-default-fiber-helpers.js.map +1 -1
- package/dist/rules/effect-default-floating-helpers.d.ts.map +1 -1
- package/dist/rules/effect-default-floating-helpers.js +59 -67
- package/dist/rules/effect-default-floating-helpers.js.map +1 -1
- package/dist/rules/effect-default-resource-helpers.d.ts.map +1 -1
- package/dist/rules/effect-default-resource-helpers.js +36 -44
- package/dist/rules/effect-default-resource-helpers.js.map +1 -1
- package/dist/rules/effect-default-safety-helpers.d.ts.map +1 -1
- package/dist/rules/effect-default-safety-helpers.js +29 -68
- package/dist/rules/effect-default-safety-helpers.js.map +1 -1
- package/dist/rules/effect-default-scan-helpers.d.ts.map +1 -1
- package/dist/rules/effect-default-scan-helpers.js +51 -70
- package/dist/rules/effect-default-scan-helpers.js.map +1 -1
- package/dist/rules/effect-default-schema-helpers.d.ts.map +1 -1
- package/dist/rules/effect-default-schema-helpers.js +32 -43
- package/dist/rules/effect-default-schema-helpers.js.map +1 -1
- package/dist/rules/effect-default-test-helpers.d.ts.map +1 -1
- package/dist/rules/effect-default-test-helpers.js +13 -25
- package/dist/rules/effect-default-test-helpers.js.map +1 -1
- package/dist/rules/effect-default-workflow-helpers.d.ts.map +1 -1
- package/dist/rules/effect-default-workflow-helpers.js +53 -113
- package/dist/rules/effect-default-workflow-helpers.js.map +1 -1
- package/dist/rules/effect-exported-declarations.d.ts.map +1 -1
- package/dist/rules/effect-exported-declarations.js +90 -177
- package/dist/rules/effect-exported-declarations.js.map +1 -1
- package/dist/rules/effect-path-options.d.ts.map +1 -1
- package/dist/rules/effect-path-options.js +48 -58
- package/dist/rules/effect-path-options.js.map +1 -1
- package/dist/rules/effect-rule-aliases.d.ts.map +1 -1
- package/dist/rules/effect-rule-aliases.js +43 -101
- package/dist/rules/effect-rule-aliases.js.map +1 -1
- package/dist/rules/effect-rule-core.d.ts.map +1 -1
- package/dist/rules/effect-rule-core.js +42 -78
- package/dist/rules/effect-rule-core.js.map +1 -1
- package/dist/rules/effect-rule-names.d.ts +2 -2
- package/dist/rules/effect-rule-names.d.ts.map +1 -1
- package/dist/rules/effect-rule-names.js +3 -145
- package/dist/rules/effect-rule-names.js.map +1 -1
- package/dist/rules/effect-source-comments.d.ts.map +1 -1
- package/dist/rules/effect-source-comments.js +112 -167
- package/dist/rules/effect-source-comments.js.map +1 -1
- package/dist/rules/effect-source-navigation.d.ts.map +1 -1
- package/dist/rules/effect-source-navigation.js +103 -185
- package/dist/rules/effect-source-navigation.js.map +1 -1
- package/dist/rules/effect-source-regex-scan.d.ts +13 -0
- package/dist/rules/effect-source-regex-scan.d.ts.map +1 -0
- package/dist/rules/effect-source-regex-scan.js +126 -0
- package/dist/rules/effect-source-regex-scan.js.map +1 -0
- package/dist/rules/effect-source-scan.d.ts +1 -12
- package/dist/rules/effect-source-scan.d.ts.map +1 -1
- package/dist/rules/effect-source-scan.js +93 -239
- package/dist/rules/effect-source-scan.js.map +1 -1
- package/dist/rules/effect-strict-ast-specs.d.ts.map +1 -1
- package/dist/rules/effect-strict-ast-specs.js +11 -8
- package/dist/rules/effect-strict-ast-specs.js.map +1 -1
- package/dist/rules/effect-strict-boundary-helpers.d.ts.map +1 -1
- package/dist/rules/effect-strict-boundary-helpers.js +51 -87
- package/dist/rules/effect-strict-boundary-helpers.js.map +1 -1
- package/dist/rules/effect-strict-core-specs.d.ts.map +1 -1
- package/dist/rules/effect-strict-core-specs.js +8 -6
- package/dist/rules/effect-strict-core-specs.js.map +1 -1
- package/dist/rules/effect-strict-external-helpers.d.ts.map +1 -1
- package/dist/rules/effect-strict-external-helpers.js +20 -40
- package/dist/rules/effect-strict-external-helpers.js.map +1 -1
- package/dist/rules/effect-strict-helpers.d.ts.map +1 -1
- package/dist/rules/effect-strict-helpers.js +47 -72
- package/dist/rules/effect-strict-helpers.js.map +1 -1
- package/dist/rules/effect-strict-internals.d.ts.map +1 -1
- package/dist/rules/effect-strict-internals.js +46 -101
- package/dist/rules/effect-strict-internals.js.map +1 -1
- package/dist/rules/effect-strict-segment-helpers.d.ts.map +1 -1
- package/dist/rules/effect-strict-segment-helpers.js +103 -174
- package/dist/rules/effect-strict-segment-helpers.js.map +1 -1
- package/dist/rules/effect-strict.d.ts.map +1 -1
- package/dist/rules/effect-strict.js +3 -2
- package/dist/rules/effect-strict.js.map +1 -1
- package/dist/rules/max-import-depth.d.ts +2 -1
- package/dist/rules/max-import-depth.d.ts.map +1 -1
- package/dist/rules/max-import-depth.js +13 -15
- package/dist/rules/max-import-depth.js.map +1 -1
- package/dist/rules/max-line-length.d.ts.map +1 -1
- package/dist/rules/max-line-length.js +26 -39
- package/dist/rules/max-line-length.js.map +1 -1
- package/dist/rules/no-commented-out-code.d.ts.map +1 -1
- package/dist/rules/no-commented-out-code.js +53 -156
- package/dist/rules/no-commented-out-code.js.map +1 -1
- package/dist/rules/pascal-case-types.d.ts.map +1 -1
- package/dist/rules/pascal-case-types.js +16 -70
- package/dist/rules/pascal-case-types.js.map +1 -1
- package/dist/rules/plugin-commented-out-code-rule.d.ts.map +1 -1
- package/dist/rules/plugin-commented-out-code-rule.js +50 -77
- package/dist/rules/plugin-commented-out-code-rule.js.map +1 -1
- package/dist/rules/plugin.d.ts +5 -1
- package/dist/rules/plugin.d.ts.map +1 -1
- package/dist/rules/plugin.js +19 -36
- package/dist/rules/plugin.js.map +1 -1
- package/dist/rules/private-underscore.d.ts +3 -1
- package/dist/rules/private-underscore.d.ts.map +1 -1
- package/dist/rules/private-underscore.js +7 -9
- package/dist/rules/private-underscore.js.map +1 -1
- package/dist/rules/require-file-doc.d.ts.map +1 -1
- package/dist/rules/require-file-doc.js +28 -94
- package/dist/rules/require-file-doc.js.map +1 -1
- package/dist/rules/require-function-doc-ignored-text.d.ts.map +1 -1
- package/dist/rules/require-function-doc-ignored-text.js +6 -9
- package/dist/rules/require-function-doc-ignored-text.js.map +1 -1
- package/dist/rules/require-function-doc-local-exports.d.ts.map +1 -1
- package/dist/rules/require-function-doc-local-exports.js +16 -58
- package/dist/rules/require-function-doc-local-exports.js.map +1 -1
- package/dist/rules/require-function-doc.d.ts.map +1 -1
- package/dist/rules/require-function-doc.js +87 -196
- package/dist/rules/require-function-doc.js.map +1 -1
- package/dist/rules/source-cache.d.ts.map +1 -1
- package/dist/rules/source-cache.js +23 -33
- package/dist/rules/source-cache.js.map +1 -1
- package/package.json +3 -1
|
@@ -1,54 +1,48 @@
|
|
|
1
1
|
/* -------------------------------------------------------------------------- */
|
|
2
2
|
/* Floating Effect expression detection. */
|
|
3
3
|
/* -------------------------------------------------------------------------- */
|
|
4
|
+
import { Array, Match, Option, pipe } from 'effect';
|
|
4
5
|
import { findBalancedCallEnd, stripCommentsAndStrings } from './effect-source-helpers.js';
|
|
5
6
|
import { effectAliasesPattern } from './effect-default-scan-helpers.js';
|
|
6
7
|
import { effectImportAliases } from './effect-rule-core.js';
|
|
7
8
|
const EFFECT_PATTERN_CACHE_MAX = 256;
|
|
8
9
|
const floatingEffectPatternCache = new Map();
|
|
9
10
|
const setBoundedCacheValue = (cache, key, value) => {
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
11
|
+
pipe(Match.value(cache.size), Match.when((size) => size >= EFFECT_PATTERN_CACHE_MAX, () => {
|
|
12
|
+
pipe(Option.fromNullable(cache.keys().next().value), Option.match({
|
|
13
|
+
onNone: () => undefined,
|
|
14
|
+
onSome: (firstKey) => {
|
|
15
|
+
cache.delete(firstKey);
|
|
16
|
+
},
|
|
17
|
+
}));
|
|
18
|
+
}), Match.orElse(() => undefined));
|
|
16
19
|
cache.set(key, value);
|
|
17
20
|
return value;
|
|
18
21
|
};
|
|
19
22
|
const floatingEffectPatterns = (aliasPattern) => {
|
|
20
23
|
const cachedPatterns = floatingEffectPatternCache.get(aliasPattern);
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
if (line.includes('.pipe') || line.includes('Schema.decode')) {
|
|
35
|
-
return true;
|
|
36
|
-
}
|
|
37
|
-
return aliasNeedles.some((needle) => line.includes(needle));
|
|
24
|
+
return pipe(Option.fromNullable(cachedPatterns), Option.match({
|
|
25
|
+
onNone: () => {
|
|
26
|
+
const runtimeMethods = 'runPromise|runPromiseExit|runSync|runSyncExit|runFork';
|
|
27
|
+
return setBoundedCacheValue(floatingEffectPatternCache, aliasPattern, {
|
|
28
|
+
floatingEffectCall: new RegExp(`^(?:void\\s+)?\\(*\\s*(?:${aliasPattern})\\.(?!(?:${runtimeMethods})\\b)[A-Za-z_$][\\w$]*\\s*\\(`),
|
|
29
|
+
guardedAndEffectCall: new RegExp(`^[A-Za-z_$][\\w$]*(?:\\.[A-Za-z_$][\\w$]*)?\\s*&&\\s*(?:${aliasPattern})\\.(?!(?:${runtimeMethods})\\b)[A-Za-z_$][\\w$]*\\s*\\(`),
|
|
30
|
+
guardedOrEffectCall: new RegExp(`^[A-Za-z_$][\\w$]*(?:\\.[A-Za-z_$][\\w$]*)?\\s*\\|\\|\\s*(?:${aliasPattern})\\.(?!(?:${runtimeMethods})\\b)[A-Za-z_$][\\w$]*\\s*\\(`),
|
|
31
|
+
inlineIfEffectCall: new RegExp(`^if\\s*\\([^)]*\\)\\s*(?:${aliasPattern})\\.(?!(?:${runtimeMethods})\\b)[A-Za-z_$][\\w$]*\\s*\\(`),
|
|
32
|
+
ternaryEffectCall: new RegExp(`\\?\\s*(?:${aliasPattern})\\.(?!(?:${runtimeMethods})\\b)[A-Za-z_$][\\w$]*\\s*\\(`),
|
|
33
|
+
});
|
|
34
|
+
},
|
|
35
|
+
onSome: (patterns) => patterns,
|
|
36
|
+
}));
|
|
38
37
|
};
|
|
38
|
+
const hasFloatingEffectCandidateLine = (line, aliasNeedles) => Match.value(line).pipe(Match.when((value) => value.includes('.pipe') || value.includes('Schema.decode'), () => true), Match.orElse((value) => pipe(aliasNeedles, Array.some((needle) => value.includes(needle)))));
|
|
39
39
|
const lineEndFor = (source, lineStart) => {
|
|
40
40
|
const newlineIndex = source.indexOf('\n', lineStart);
|
|
41
|
-
|
|
42
|
-
return source.length;
|
|
43
|
-
}
|
|
44
|
-
return newlineIndex;
|
|
41
|
+
return Match.value(newlineIndex).pipe(Match.when((index) => index === -1, () => source.length), Match.orElse((index) => index));
|
|
45
42
|
};
|
|
46
43
|
const nextLineStart = (source, lineStart) => {
|
|
47
44
|
const newlineIndex = source.indexOf('\n', lineStart);
|
|
48
|
-
|
|
49
|
-
return undefined;
|
|
50
|
-
}
|
|
51
|
-
return newlineIndex + 1;
|
|
45
|
+
return Match.value(newlineIndex).pipe(Match.when((index) => index === -1, () => undefined), Match.orElse((index) => index + 1));
|
|
52
46
|
};
|
|
53
47
|
const isStandaloneFloatingCall = (input) => input.patterns.floatingEffectCall.test(input.line) &&
|
|
54
48
|
!/[=(:,[]\s*$/.test(input.previous) &&
|
|
@@ -56,49 +50,47 @@ const isStandaloneFloatingCall = (input) => input.patterns.floatingEffectCall.te
|
|
|
56
50
|
!input.line.endsWith(',');
|
|
57
51
|
const isFloatingPipeCall = (line, previous) => /^[A-Za-z_$][\w$]*\.pipe\s*\([\s\S]*?\bEffect\./.test(line) && !/[=(:,[]\s*$/.test(previous);
|
|
58
52
|
const isFloatingDecodeCall = (line) => /^Schema\.decode[A-Za-z]*\s*\([^)]*\)\s*\([^)]*\)\s*;?$/.test(line);
|
|
59
|
-
const isFloatingGuardedCall = (line, patterns) =>
|
|
60
|
-
patterns.
|
|
61
|
-
patterns.
|
|
62
|
-
patterns.
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
53
|
+
const isFloatingGuardedCall = (line, patterns) => pipe([
|
|
54
|
+
patterns.inlineIfEffectCall,
|
|
55
|
+
patterns.guardedAndEffectCall,
|
|
56
|
+
patterns.guardedOrEffectCall,
|
|
57
|
+
patterns.ternaryEffectCall,
|
|
58
|
+
], Array.some((pattern) => pattern.test(line)));
|
|
59
|
+
const isFloatingEffectLine = (input) => pipe([
|
|
60
|
+
() => isStandaloneFloatingCall(input),
|
|
61
|
+
() => isFloatingPipeCall(input.line, input.previous),
|
|
62
|
+
() => isFloatingDecodeCall(input.line),
|
|
63
|
+
() => isFloatingGuardedCall(input.line, input.patterns),
|
|
64
|
+
], Array.some((predicate) => predicate()));
|
|
67
65
|
const floatingLineState = (code, lineStart, previous) => {
|
|
68
66
|
const line = code.slice(lineStart, lineEndFor(code, lineStart)).trim();
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
67
|
+
return Match.value(line).pipe(Match.when((value) => value === '', () => ({
|
|
68
|
+
line,
|
|
69
|
+
nextPrevious: previous,
|
|
70
|
+
nextStart: nextLineStart(code, lineStart),
|
|
71
|
+
previous,
|
|
72
|
+
})), Match.orElse((value) => ({
|
|
73
|
+
line: value,
|
|
74
|
+
nextPrevious: value,
|
|
75
|
+
nextStart: nextLineStart(code, lineStart),
|
|
76
|
+
previous,
|
|
77
|
+
})));
|
|
73
78
|
};
|
|
74
79
|
const isFloatingEffectCandidate = (state, aliasNeedles, patterns) => hasFloatingEffectCandidateLine(state.line, aliasNeedles) &&
|
|
75
80
|
isFloatingEffectLine({ line: state.line, patterns, previous: state.previous });
|
|
76
81
|
const hasFloatingEffectLines = (code, aliasNeedles, aliases) => {
|
|
77
82
|
const patterns = floatingEffectPatterns(aliases);
|
|
78
|
-
|
|
79
|
-
|
|
80
|
-
if (isFloatingEffectCandidate(state, aliasNeedles, patterns)) {
|
|
81
|
-
return true;
|
|
82
|
-
}
|
|
83
|
-
if (state.nextStart === undefined) {
|
|
84
|
-
return false;
|
|
85
|
-
}
|
|
86
|
-
state = floatingLineState(code, state.nextStart, state.nextPrevious);
|
|
87
|
-
}
|
|
88
|
-
};
|
|
89
|
-
const hasFloatingPipeStatement = (code) => {
|
|
90
|
-
for (const match of code.matchAll(/^\s*[A-Za-z_$][\w$]*(?:\.[A-Za-z_$][\w$]*)?\.pipe\s*\(/gm)) {
|
|
91
|
-
const statementPrefix = code.slice(code.lastIndexOf(';', match.index) + 1, match.index);
|
|
92
|
-
if (!/[=(:,[]\s*$/.test(statementPrefix.trimEnd())) {
|
|
93
|
-
const openParenIndex = code.indexOf('(', match.index);
|
|
94
|
-
const pipeCall = code.slice(match.index, findBalancedCallEnd(code, openParenIndex) + 1);
|
|
95
|
-
if (/\bEffect\./.test(pipeCall)) {
|
|
96
|
-
return true;
|
|
97
|
-
}
|
|
98
|
-
}
|
|
99
|
-
}
|
|
100
|
-
return false;
|
|
83
|
+
const scanLine = (state) => Match.value(state).pipe(Match.when((currentState) => isFloatingEffectCandidate(currentState, aliasNeedles, patterns), () => true), Match.when((currentState) => currentState.nextStart === undefined, () => false), Match.orElse((currentState) => scanLine(floatingLineState(code, currentState.nextStart ?? 0, currentState.nextPrevious))));
|
|
84
|
+
return scanLine(floatingLineState(code, 0, ''));
|
|
101
85
|
};
|
|
86
|
+
const hasFloatingPipeStatement = (code) => pipe([...code.matchAll(/^\s*[A-Za-z_$][\w$]*(?:\.[A-Za-z_$][\w$]*)?\.pipe\s*\(/gm)], Array.some((match) => {
|
|
87
|
+
const statementPrefix = code.slice(code.lastIndexOf(';', match.index) + 1, match.index);
|
|
88
|
+
return Match.value(statementPrefix.trimEnd()).pipe(Match.when((prefix) => /[=(:,[]\s*$/.test(prefix), () => false), Match.orElse(() => {
|
|
89
|
+
const openParenIndex = code.indexOf('(', match.index);
|
|
90
|
+
const pipeCall = code.slice(match.index, findBalancedCallEnd(code, openParenIndex) + 1);
|
|
91
|
+
return /\bEffect\./.test(pipeCall);
|
|
92
|
+
}));
|
|
93
|
+
}));
|
|
102
94
|
/**
|
|
103
95
|
* Internal helper exported for package-local composition.
|
|
104
96
|
*
|
|
@@ -106,7 +98,7 @@ const hasFloatingPipeStatement = (code) => {
|
|
|
106
98
|
*/
|
|
107
99
|
export const hasFloatingEffect = (source) => {
|
|
108
100
|
const code = stripCommentsAndStrings(source);
|
|
109
|
-
const aliasNeedles = effectImportAliases(source).map((alias) => `${alias}.`);
|
|
101
|
+
const aliasNeedles = pipe(effectImportAliases(source), Array.map((alias) => `${alias}.`));
|
|
110
102
|
const aliases = effectAliasesPattern(source);
|
|
111
103
|
return hasFloatingEffectLines(code, aliasNeedles, aliases) || hasFloatingPipeStatement(code);
|
|
112
104
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effect-default-floating-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-default-floating-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AACvF,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAEzD,MAAM,wBAAwB,GAAG,GAAG,CAAC;AACrC,MAAM,0BAA0B,GAAG,IAAI,GAAG,EAAkC,CAAC;AAgB7E,MAAM,oBAAoB,GAAG,CAC3B,KAAyB,EACzB,GAAW,EACX,KAAY,EACL,EAAE;IACT,IAAI,KAAK,CAAC,IAAI,IAAI,
|
|
1
|
+
{"version":3,"file":"effect-default-floating-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-default-floating-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AACvF,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAEzD,MAAM,wBAAwB,GAAG,GAAG,CAAC;AACrC,MAAM,0BAA0B,GAAG,IAAI,GAAG,EAAkC,CAAC;AAgB7E,MAAM,oBAAoB,GAAG,CAC3B,KAAyB,EACzB,GAAW,EACX,KAAY,EACL,EAAE;IACT,IAAI,CACF,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EACvB,KAAK,CAAC,IAAI,CACR,CAAC,IAAI,EAAW,EAAE,CAAC,IAAI,IAAI,wBAAwB,EACnD,GAAS,EAAE;QACT,IAAI,CACF,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,EAC9C,MAAM,CAAC,KAAK,CAAC;YACX,MAAM,EAAE,GAAS,EAAE,CAAC,SAAS;YAC7B,MAAM,EAAE,CAAC,QAAQ,EAAQ,EAAE;gBACzB,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACzB,CAAC;SACF,CAAC,CACH,CAAC;IACJ,CAAC,CACF,EACD,KAAK,CAAC,MAAM,CAAC,GAAS,EAAE,CAAC,SAAS,CAAC,CACpC,CAAC;IACF,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACtB,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,YAAoB,EAA0B,EAAE;IAC9E,MAAM,cAAc,GAAG,0BAA0B,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACpE,OAAO,IAAI,CACT,MAAM,CAAC,YAAY,CAAC,cAAc,CAAC,EACnC,MAAM,CAAC,KAAK,CAAC;QACX,MAAM,EAAE,GAA2B,EAAE;YACnC,MAAM,cAAc,GAAG,uDAAuD,CAAC;YAC/E,OAAO,oBAAoB,CAAC,0BAA0B,EAAE,YAAY,EAAE;gBACpE,kBAAkB,EAAE,IAAI,MAAM,CAC5B,4BAA4B,YAAY,aAAa,cAAc,+BAA+B,CACnG;gBACD,oBAAoB,EAAE,IAAI,MAAM,CAC9B,2DAA2D,YAAY,aAAa,cAAc,+BAA+B,CAClI;gBACD,mBAAmB,EAAE,IAAI,MAAM,CAC7B,+DAA+D,YAAY,aAAa,cAAc,+BAA+B,CACtI;gBACD,kBAAkB,EAAE,IAAI,MAAM,CAC5B,4BAA4B,YAAY,aAAa,cAAc,+BAA+B,CACnG;gBACD,iBAAiB,EAAE,IAAI,MAAM,CAC3B,aAAa,YAAY,aAAa,cAAc,+BAA+B,CACpF;aACF,CAAC,CAAC;QACL,CAAC;QACD,MAAM,EAAE,CAAC,QAAQ,EAA0B,EAAE,CAAC,QAAQ;KACvD,CAAC,CACH,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CAAC,IAAY,EAAE,YAA+B,EAAW,EAAE,CAChG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACpB,KAAK,CAAC,IAAI,CACR,CAAC,KAAK,EAAW,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,EAC9E,GAAY,EAAE,CAAC,IAAI,CACpB,EACD,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAW,EAAE,CAC9B,IAAI,CACF,YAAY,EACZ,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAW,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CACxD,CACF,CACF,CAAC;AAEJ,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAU,EAAE;IAC/D,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CACnC,KAAK,CAAC,IAAI,CACR,CAAC,KAAK,EAAW,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAChC,GAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAC5B,EACD,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAU,EAAE,CAAC,KAAK,CAAC,CACvC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAsB,EAAE;IAC9E,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CACnC,KAAK,CAAC,IAAI,CACR,CAAC,KAAK,EAAW,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAChC,GAAc,EAAE,CAAC,SAAS,CAC3B,EACD,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAU,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAC3C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,KAAwB,EAAW,EAAE,CACrE,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAClD,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;IACnC,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;IAClC,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AAE5B,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAE,QAAgB,EAAW,EAAE,CACrE,gDAAgD,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAE/F,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAW,EAAE,CACrD,wDAAwD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEtE,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAE,QAAgC,EAAW,EAAE,CACxF,IAAI,CACF;IACE,QAAQ,CAAC,kBAAkB;IAC3B,QAAQ,CAAC,oBAAoB;IAC7B,QAAQ,CAAC,mBAAmB;IAC5B,QAAQ,CAAC,iBAAiB;CAC3B,EACD,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,EAAW,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CACrD,CAAC;AAEJ,MAAM,oBAAoB,GAAG,CAAC,KAAwB,EAAW,EAAE,CACjE,IAAI,CACF;IACE,GAAY,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC;IAC9C,GAAY,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC;IAC7D,GAAY,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC;IAC/C,GAAY,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC;CACjE,EACD,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAW,EAAE,CAAC,SAAS,EAAE,CAAC,CAChD,CAAC;AAEJ,MAAM,iBAAiB,GAAG,CACxB,IAAY,EACZ,SAAiB,EACjB,QAAgB,EAC8D,EAAE;IAChF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvE,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAC3B,KAAK,CAAC,IAAI,CACR,CAAC,KAAK,EAAW,EAAE,CAAC,KAAK,KAAK,EAAE,EAChC,GAAiF,EAAE,CAAC,CAAC;QACnF,IAAI;QACJ,YAAY,EAAE,QAAQ;QACtB,SAAS,EAAE,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC;QACzC,QAAQ;KACT,CAAC,CACH,EACD,KAAK,CAAC,MAAM,CACV,CAAC,KAAK,EAAgF,EAAE,CAAC,CAAC;QACxF,IAAI,EAAE,KAAK;QACX,YAAY,EAAE,KAAK;QACnB,SAAS,EAAE,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC;QACzC,QAAQ;KACT,CAAC,CACH,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,KAAyC,EACzC,YAA+B,EAC/B,QAAgC,EACvB,EAAE,CACX,8BAA8B,CAAC,KAAK,CAAC,IAAI,EAAE,YAAY,CAAC;IACxD,oBAAoB,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;AAEjF,MAAM,sBAAsB,GAAG,CAC7B,IAAY,EACZ,YAA+B,EAC/B,OAAe,EACN,EAAE;IACX,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,CAAC,KAA2C,EAAW,EAAE,CACxE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CACrB,KAAK,CAAC,IAAI,CACR,CAAC,YAAY,EAAW,EAAE,CAAC,yBAAyB,CAAC,YAAY,EAAE,YAAY,EAAE,QAAQ,CAAC,EAC1F,GAAY,EAAE,CAAC,IAAI,CACpB,EACD,KAAK,CAAC,IAAI,CACR,CAAC,YAAY,EAAW,EAAE,CAAC,YAAY,CAAC,SAAS,KAAK,SAAS,EAC/D,GAAY,EAAE,CAAC,KAAK,CACrB,EACD,KAAK,CAAC,MAAM,CAAC,CAAC,YAAY,EAAW,EAAE,CACrC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,EAAE,YAAY,CAAC,SAAS,IAAI,CAAC,EAAE,YAAY,CAAC,YAAY,CAAC,CAAC,CAC1F,CACF,CAAC;IACJ,OAAO,QAAQ,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAClD,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAW,EAAE,CACzD,IAAI,CACF,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,0DAA0D,CAAC,CAAC,EAC9E,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE;IAC5B,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACxF,OAAO,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAChD,KAAK,CAAC,IAAI,CACR,CAAC,MAAM,EAAW,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAC/C,GAAY,EAAE,CAAC,KAAK,CACrB,EACD,KAAK,CAAC,MAAM,CAAC,GAAY,EAAE;QACzB,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QACxF,OAAO,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC,CAAC,CACH,CAAC;AACJ,CAAC,CAAC,CACH,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAW,EAAE;IAC3D,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,IAAI,CACvB,mBAAmB,CAAC,MAAM,CAAC,EAC3B,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAU,EAAE,CAAC,GAAG,KAAK,GAAG,CAAC,CAC1C,CAAC;IACF,MAAM,OAAO,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC7C,OAAO,sBAAsB,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC;AAC/F,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effect-default-resource-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-default-resource-helpers.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"effect-default-resource-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-default-resource-helpers.ts"],"names":[],"mappings":"AAUA;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAAI,QAAQ,MAAM,KAAG,OAarD,CAAC;AAyEF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GAAI,QAAQ,MAAM,KAAG,OAM1D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GAAI,QAAQ,MAAM,KAAG,OAM5D,CAAC"}
|
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
/* -------------------------------------------------------------------------- */
|
|
2
2
|
/* Helpers for Effect resource-lifetime lint rules. */
|
|
3
3
|
/* -------------------------------------------------------------------------- */
|
|
4
|
+
import { Array, Match, Option, pipe } from 'effect';
|
|
4
5
|
import { findBalancedCallEnd, isInsideCall, stripCommentsAndStrings, } from './effect-source-helpers.js';
|
|
5
6
|
/**
|
|
6
7
|
* Internal helper exported for package-local composition.
|
|
@@ -9,43 +10,49 @@ import { findBalancedCallEnd, isInsideCall, stripCommentsAndStrings, } from './e
|
|
|
9
10
|
*/
|
|
10
11
|
export const hasUnreleasedAcquire = (source) => {
|
|
11
12
|
const code = stripCommentsAndStrings(source);
|
|
12
|
-
|
|
13
|
+
return pipe([...code.matchAll(/Effect\.(?:sync|try|tryPromise)\s*\(/g)], Array.some((match) => {
|
|
13
14
|
const openParenIndex = code.indexOf('(', match.index);
|
|
14
15
|
const callSource = code.slice(match.index, findBalancedCallEnd(code, openParenIndex) + 1);
|
|
15
|
-
|
|
16
|
-
!isInsideCall(code, match.index, /Effect\.acquireRelease\s*\(/g))
|
|
17
|
-
|
|
18
|
-
}
|
|
19
|
-
}
|
|
20
|
-
return false;
|
|
16
|
+
return (/\b(?:open|connect|subscribe|listen)\w*\s*\(/.test(callSource) &&
|
|
17
|
+
!isInsideCall(code, match.index, /Effect\.acquireRelease\s*\(/g));
|
|
18
|
+
}));
|
|
21
19
|
};
|
|
22
|
-
const assignedBindingNameBefore = (source, targetIndex) =>
|
|
23
|
-
|
|
24
|
-
const
|
|
25
|
-
return
|
|
20
|
+
const assignedBindingNameBefore = (source, targetIndex) => pipe(source.slice(source.lastIndexOf(';', targetIndex) + 1, targetIndex), (prefix) => /\b(?:const|let)\s+([A-Za-z_$][\w$]*)\s*=\s*$/.exec(prefix), Option.fromNullable, Option.flatMapNullable((match) => match[1]), Option.getOrUndefined);
|
|
21
|
+
const scopedCallBody = (source, match) => {
|
|
22
|
+
const openParenIndex = source.indexOf('(', match.index);
|
|
23
|
+
return source.slice(openParenIndex + 1, findBalancedCallEnd(source, openParenIndex));
|
|
26
24
|
};
|
|
27
25
|
const isBindingUsedInScopedBoundary = (source, bindingName) => {
|
|
28
26
|
const bindingPattern = new RegExp(`\\b${bindingName}\\b`);
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
27
|
+
return pipe([...source.matchAll(/\b(?:Effect|Layer)\.scoped\s*\(/g)], Array.some((match) => bindingPattern.test(scopedCallBody(source, match))));
|
|
28
|
+
};
|
|
29
|
+
const isOptionalBindingUsedInScopedBoundary = (source, bindingName) => pipe(Option.fromNullable(bindingName), Option.match({
|
|
30
|
+
onNone: () => false,
|
|
31
|
+
onSome: (name) => isBindingUsedInScopedBoundary(source, name),
|
|
32
|
+
}));
|
|
33
|
+
const pipeScopedBody = (source, pipeStart) => {
|
|
34
|
+
const openParenIndex = source.indexOf('(', pipeStart);
|
|
35
|
+
return source.slice(openParenIndex + 1, findBalancedCallEnd(source, openParenIndex));
|
|
37
36
|
};
|
|
38
37
|
const hasScopedPipeAfterCall = (source, callEndIndex) => {
|
|
39
38
|
const tail = source.slice(callEndIndex + 1);
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
return /\b(?:Effect|Layer)\.scoped\b/.test(pipeBody);
|
|
39
|
+
return pipe(Option.fromNullable(/^\s*\.pipe\s*\(/.exec(tail)), Option.match({
|
|
40
|
+
onNone: () => false,
|
|
41
|
+
onSome: (pipeMatch) => {
|
|
42
|
+
const pipeStart = callEndIndex + 1 + pipeMatch.index;
|
|
43
|
+
return /\b(?:Effect|Layer)\.scoped\b/.test(pipeScopedBody(source, pipeStart));
|
|
44
|
+
},
|
|
45
|
+
}));
|
|
48
46
|
};
|
|
47
|
+
const hasUnscopedAcquireReleaseMatch = (code, match) => {
|
|
48
|
+
const bindingName = assignedBindingNameBefore(code, match.index);
|
|
49
|
+
const openParenIndex = code.indexOf('(', match.index);
|
|
50
|
+
const callEndIndex = findBalancedCallEnd(code, openParenIndex);
|
|
51
|
+
return (!isInsideCall(code, match.index, /\b(?:Effect|Layer)\.scoped\s*\(/g) &&
|
|
52
|
+
!hasScopedPipeAfterCall(code, callEndIndex) &&
|
|
53
|
+
!isOptionalBindingUsedInScopedBoundary(code, bindingName));
|
|
54
|
+
};
|
|
55
|
+
const hasUnscopedResourceWorkflowMatch = (code, match) => Match.value(match.index).pipe(Match.orElse((index) => !isInsideCall(code, index, /\b(?:Effect|Layer)\.scoped\s*\(/g)));
|
|
49
56
|
/**
|
|
50
57
|
* Internal helper exported for package-local composition.
|
|
51
58
|
*
|
|
@@ -53,17 +60,7 @@ const hasScopedPipeAfterCall = (source, callEndIndex) => {
|
|
|
53
60
|
*/
|
|
54
61
|
export const hasUnscopedAcquireRelease = (source) => {
|
|
55
62
|
const code = stripCommentsAndStrings(source);
|
|
56
|
-
|
|
57
|
-
const bindingName = assignedBindingNameBefore(code, match.index);
|
|
58
|
-
const openParenIndex = code.indexOf('(', match.index);
|
|
59
|
-
const callEndIndex = findBalancedCallEnd(code, openParenIndex);
|
|
60
|
-
if (!isInsideCall(code, match.index, /\b(?:Effect|Layer)\.scoped\s*\(/g) &&
|
|
61
|
-
!hasScopedPipeAfterCall(code, callEndIndex) &&
|
|
62
|
-
!(bindingName && isBindingUsedInScopedBoundary(code, bindingName))) {
|
|
63
|
-
return true;
|
|
64
|
-
}
|
|
65
|
-
}
|
|
66
|
-
return false;
|
|
63
|
+
return pipe([...code.matchAll(/Effect\.acquireRelease\s*\(/g)], Array.some((match) => hasUnscopedAcquireReleaseMatch(code, match)));
|
|
67
64
|
};
|
|
68
65
|
/**
|
|
69
66
|
* Internal helper exported for package-local composition.
|
|
@@ -72,11 +69,6 @@ export const hasUnscopedAcquireRelease = (source) => {
|
|
|
72
69
|
*/
|
|
73
70
|
export const hasUnscopedResourceWorkflow = (source) => {
|
|
74
71
|
const code = stripCommentsAndStrings(source);
|
|
75
|
-
|
|
76
|
-
if (!isInsideCall(code, match.index, /\b(?:Effect|Layer)\.scoped\s*\(/g)) {
|
|
77
|
-
return true;
|
|
78
|
-
}
|
|
79
|
-
}
|
|
80
|
-
return false;
|
|
72
|
+
return pipe([...code.matchAll(/\b(?:Socket|Connection)\.(?:open|connect|listen|subscribe)\w*\s*\(/g)], Array.some((match) => hasUnscopedResourceWorkflowMatch(code, match)));
|
|
81
73
|
};
|
|
82
74
|
//# sourceMappingURL=effect-default-resource-helpers.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effect-default-resource-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-default-resource-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AAEjC;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,MAAc,EAAW,EAAE;IAC9D,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,
|
|
1
|
+
{"version":3,"file":"effect-default-resource-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-default-resource-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACpD,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AAEjC;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,MAAc,EAAW,EAAE;IAC9D,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,OAAO,IAAI,CACT,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,uCAAuC,CAAC,CAAC,EAC3D,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE;QAC5B,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1F,OAAO,CACL,6CAA6C,CAAC,IAAI,CAAC,UAAU,CAAC;YAC9D,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,8BAA8B,CAAC,CACjE,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAAC,MAAc,EAAE,WAAmB,EAAsB,EAAE,CAC5F,IAAI,CACF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,EACnE,CAAC,MAAM,EAA0B,EAAE,CAAC,8CAA8C,CAAC,IAAI,CAAC,MAAM,CAAC,EAC/F,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,eAAe,CAAC,CAAC,KAAK,EAAsB,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAC/D,MAAM,CAAC,cAAc,CACtB,CAAC;AAEJ,MAAM,cAAc,GAAG,CAAC,MAAc,EAAE,KAAsB,EAAU,EAAE;IACxE,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACxD,OAAO,MAAM,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,EAAE,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;AACvF,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CAAC,MAAc,EAAE,WAAmB,EAAW,EAAE;IACrF,MAAM,cAAc,GAAG,IAAI,MAAM,CAAC,MAAM,WAAW,KAAK,CAAC,CAAC;IAC1D,OAAO,IAAI,CACT,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,kCAAkC,CAAC,CAAC,EACxD,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CACnF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qCAAqC,GAAG,CAC5C,MAAc,EACd,WAA+B,EACtB,EAAE,CACX,IAAI,CACF,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,EAChC,MAAM,CAAC,KAAK,CAAC;IACX,MAAM,EAAE,GAAY,EAAE,CAAC,KAAK;IAC5B,MAAM,EAAE,CAAC,IAAI,EAAW,EAAE,CAAC,6BAA6B,CAAC,MAAM,EAAE,IAAI,CAAC;CACvE,CAAC,CACH,CAAC;AAEJ,MAAM,cAAc,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAU,EAAE;IACnE,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACtD,OAAO,MAAM,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,EAAE,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;AACvF,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,MAAc,EAAE,YAAoB,EAAW,EAAE;IAC/E,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;IAC5C,OAAO,IAAI,CACT,MAAM,CAAC,YAAY,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EACjD,MAAM,CAAC,KAAK,CAAC;QACX,MAAM,EAAE,GAAY,EAAE,CAAC,KAAK;QAC5B,MAAM,EAAE,CAAC,SAAS,EAAW,EAAE;YAC7B,MAAM,SAAS,GAAG,YAAY,GAAG,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC;YACrD,OAAO,8BAA8B,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;QAChF,CAAC;KACF,CAAC,CACH,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CAAC,IAAY,EAAE,KAAsB,EAAW,EAAE;IACvF,MAAM,WAAW,GAAG,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IAC/D,OAAO,CACL,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,kCAAkC,CAAC;QACpE,CAAC,sBAAsB,CAAC,IAAI,EAAE,YAAY,CAAC;QAC3C,CAAC,qCAAqC,CAAC,IAAI,EAAE,WAAW,CAAC,CAC1D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CAAC,IAAY,EAAE,KAAsB,EAAW,EAAE,CACzF,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAC3B,KAAK,CAAC,MAAM,CACV,CAAC,KAAK,EAAW,EAAE,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,kCAAkC,CAAC,CACnF,CACF,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,MAAc,EAAW,EAAE;IACnE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,OAAO,IAAI,CACT,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,8BAA8B,CAAC,CAAC,EAClD,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAAC,8BAA8B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAC5E,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,MAAc,EAAW,EAAE;IACrE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,OAAO,IAAI,CACT,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,qEAAqE,CAAC,CAAC,EACzF,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAAC,gCAAgC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAC9E,CAAC;AACJ,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effect-default-safety-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-default-safety-helpers.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"effect-default-safety-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-default-safety-helpers.ts"],"names":[],"mappings":"AAaA;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAAI,QAAQ,MAAM,KAAG,OAUxD,CAAC;AAaF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,MAAM,KAAG,OAShD,CAAC;AAgBJ;;;;GAIG;AACH,eAAO,MAAM,6BAA6B,GAAI,QAAQ,MAAM,KAAG,OAc9D,CAAC;AAgBF;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,GAAI,QAAQ,MAAM,KAAG,OAW/D,CAAC;AAeF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GAAI,QAAQ,MAAM,KAAG,OAW5D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GAAI,QAAQ,MAAM,KAAG,OAO1D,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,sCAAsC,GAAI,QAAQ,MAAM,KAAG,OAcvE,CAAC"}
|
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
/* -------------------------------------------------------------------------- */
|
|
2
2
|
/* Error-handling and cleanup predicates for always-on Effect rules. */
|
|
3
3
|
/* -------------------------------------------------------------------------- */
|
|
4
|
+
import { Array, Match, Option, pipe } from 'effect';
|
|
4
5
|
import { effectCallBodies, enclosingPipeBody } from './effect-default-scan-helpers.js';
|
|
5
6
|
import { findBalancedCallEnd, isInsideCall, stripCommentsAndStrings, } from './effect-source-helpers.js';
|
|
6
7
|
const LOCAL_PREFIX_SCAN_WINDOW = 160;
|
|
@@ -11,30 +12,23 @@ const LOCAL_PREFIX_SCAN_WINDOW = 160;
|
|
|
11
12
|
*/
|
|
12
13
|
export const hasUnsafeLazyEvaluation = (source) => {
|
|
13
14
|
const code = stripCommentsAndStrings(source);
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
}
|
|
18
|
-
}
|
|
19
|
-
return false;
|
|
15
|
+
return pipe([
|
|
16
|
+
...code.matchAll(/Effect\.succeed\s*\(\s*(?:Date\.now|Math\.random|new\s+Date|JSON\.parse)\s*\(/g),
|
|
17
|
+
], Array.some((match) => !isInsideCall(code, match.index, /Effect\.suspend\s*\(/g)));
|
|
20
18
|
};
|
|
19
|
+
const localIgnorePrefix = (source, matchIndex) => pipe(Option.fromNullable(enclosingPipeBody(source, matchIndex)), Option.match({
|
|
20
|
+
onNone: () => source.slice(Math.max(0, matchIndex - LOCAL_PREFIX_SCAN_WINDOW), matchIndex),
|
|
21
|
+
onSome: (pipeBody) => pipeBody.slice(0, Math.max(0, matchIndex - source.indexOf(pipeBody))),
|
|
22
|
+
}));
|
|
21
23
|
/**
|
|
22
24
|
* Internal helper exported for package-local composition.
|
|
23
25
|
*
|
|
24
26
|
* @internal
|
|
25
27
|
*/
|
|
26
|
-
export const hasUnloggedIgnore = (source) =>
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
if (pipeBody) {
|
|
31
|
-
localPrefix = pipeBody.slice(0, Math.max(0, match.index - source.indexOf(pipeBody)));
|
|
32
|
-
}
|
|
33
|
-
if (!/\b(?:Effect\.log|tapError|tapBoth|catchAll)\b/.test(localPrefix)) {
|
|
34
|
-
return true;
|
|
35
|
-
}
|
|
36
|
-
}
|
|
37
|
-
return false;
|
|
28
|
+
export const hasUnloggedIgnore = (source) => pipe([...source.matchAll(/\bEffect\.ignore\b/g)], Array.some((match) => !/\b(?:Effect\.log|tapError|tapBoth|catchAll)\b/.test(localIgnorePrefix(source, match.index))));
|
|
29
|
+
const pipeBodyAt = (source, match) => {
|
|
30
|
+
const openParenIndex = source.indexOf('(', match.index);
|
|
31
|
+
return Match.value(openParenIndex).pipe(Match.when((index) => index === -1, () => Option.none()), Match.orElse((index) => Option.some(source.slice(match.index, findBalancedCallEnd(source, index) + 1))));
|
|
38
32
|
};
|
|
39
33
|
/**
|
|
40
34
|
* Internal helper exported for package-local composition.
|
|
@@ -43,17 +37,14 @@ export const hasUnloggedIgnore = (source) => {
|
|
|
43
37
|
*/
|
|
44
38
|
export const hasMultipleCatchTagsInOnePipe = (source) => {
|
|
45
39
|
const code = stripCommentsAndStrings(source);
|
|
46
|
-
|
|
47
|
-
const
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
}
|
|
55
|
-
}
|
|
56
|
-
return false;
|
|
40
|
+
return pipe([...code.matchAll(/\.pipe\s*\(/g)], Array.some((match) => pipe(pipeBodyAt(source, match), Option.exists((pipeBody) => {
|
|
41
|
+
const catchTagCount = [...pipeBody.matchAll(/Effect\.catchTag\s*\(/g)].length;
|
|
42
|
+
return catchTagCount > 1 && !/Effect\.catchTags\s*\(/.test(pipeBody);
|
|
43
|
+
}))));
|
|
44
|
+
};
|
|
45
|
+
const balancedCallBodyAt = (source, match) => {
|
|
46
|
+
const openParenIndex = source.indexOf('(', match.index);
|
|
47
|
+
return Match.value(openParenIndex).pipe(Match.when((index) => index === -1, () => Option.none()), Match.orElse((index) => Option.some(source.slice(index + 1, findBalancedCallEnd(source, index)))));
|
|
57
48
|
};
|
|
58
49
|
/**
|
|
59
50
|
* Internal helper exported for package-local composition.
|
|
@@ -62,27 +53,13 @@ export const hasMultipleCatchTagsInOnePipe = (source) => {
|
|
|
62
53
|
*/
|
|
63
54
|
export const hasBroadCatchAllWithoutRethrow = (source) => {
|
|
64
55
|
const code = stripCommentsAndStrings(source);
|
|
65
|
-
|
|
66
|
-
const openParenIndex = source.indexOf('(', match.index);
|
|
67
|
-
if (openParenIndex !== -1) {
|
|
68
|
-
const callBody = source.slice(openParenIndex + 1, findBalancedCallEnd(source, openParenIndex));
|
|
69
|
-
if (!/=>\s*Effect\.fail\s*\(/.test(callBody)) {
|
|
70
|
-
return true;
|
|
71
|
-
}
|
|
72
|
-
}
|
|
73
|
-
}
|
|
74
|
-
return false;
|
|
75
|
-
};
|
|
76
|
-
const hasErrorWithoutCause = (callBody) => {
|
|
77
|
-
for (const errorMatch of callBody.matchAll(/new\s+[A-Z][\w$]*Error\s*\(/g)) {
|
|
78
|
-
const errorOpenParenIndex = callBody.indexOf('(', errorMatch.index);
|
|
79
|
-
const errorArgs = callBody.slice(errorOpenParenIndex + 1, findBalancedCallEnd(callBody, errorOpenParenIndex));
|
|
80
|
-
if (!/\bcause\b/.test(errorArgs)) {
|
|
81
|
-
return true;
|
|
82
|
-
}
|
|
83
|
-
}
|
|
84
|
-
return false;
|
|
56
|
+
return pipe([...code.matchAll(/Effect\.catchAll\s*\(/g)], Array.some((match) => pipe(balancedCallBodyAt(source, match), Option.exists((callBody) => !/=>\s*Effect\.fail\s*\(/.test(callBody)))));
|
|
85
57
|
};
|
|
58
|
+
const hasErrorWithoutCause = (callBody) => pipe([...callBody.matchAll(/new\s+[A-Z][\w$]*Error\s*\(/g)], Array.some((errorMatch) => {
|
|
59
|
+
const errorOpenParenIndex = callBody.indexOf('(', errorMatch.index);
|
|
60
|
+
const errorArgs = callBody.slice(errorOpenParenIndex + 1, findBalancedCallEnd(callBody, errorOpenParenIndex));
|
|
61
|
+
return !/\bcause\b/.test(errorArgs);
|
|
62
|
+
}));
|
|
86
63
|
/**
|
|
87
64
|
* Internal helper exported for package-local composition.
|
|
88
65
|
*
|
|
@@ -90,23 +67,14 @@ const hasErrorWithoutCause = (callBody) => {
|
|
|
90
67
|
*/
|
|
91
68
|
export const hasErrorMappingWithoutCause = (source) => {
|
|
92
69
|
const code = stripCommentsAndStrings(source);
|
|
93
|
-
|
|
94
|
-
const openParenIndex = source.indexOf('(', match.index);
|
|
95
|
-
if (openParenIndex !== -1) {
|
|
96
|
-
const callBody = source.slice(openParenIndex + 1, findBalancedCallEnd(source, openParenIndex));
|
|
97
|
-
if (hasErrorWithoutCause(callBody)) {
|
|
98
|
-
return true;
|
|
99
|
-
}
|
|
100
|
-
}
|
|
101
|
-
}
|
|
102
|
-
return false;
|
|
70
|
+
return pipe([...code.matchAll(/(?:mapError|catchAll)\s*\(/g)], Array.some((match) => pipe(balancedCallBodyAt(source, match), Option.exists((callBody) => hasErrorWithoutCause(callBody)))));
|
|
103
71
|
};
|
|
104
72
|
/**
|
|
105
73
|
* Internal helper exported for package-local composition.
|
|
106
74
|
*
|
|
107
75
|
* @internal
|
|
108
76
|
*/
|
|
109
|
-
export const hasForkDaemonWithoutCleanup = (source) => effectCallBodies(source, /\bEffect\.forkDaemon\s*\(/g).some((body) => !/\b(?:Effect\.)?(?:ensuring|onExit|onInterrupt|supervised)\b|Supervisor\./.test(body));
|
|
77
|
+
export const hasForkDaemonWithoutCleanup = (source) => pipe(effectCallBodies(source, /\bEffect\.forkDaemon\s*\(/g), Array.some((body) => !/\b(?:Effect\.)?(?:ensuring|onExit|onInterrupt|supervised)\b|Supervisor\./.test(body)));
|
|
110
78
|
/**
|
|
111
79
|
* Internal helper exported for package-local composition.
|
|
112
80
|
*
|
|
@@ -114,13 +82,6 @@ export const hasForkDaemonWithoutCleanup = (source) => effectCallBodies(source,
|
|
|
114
82
|
*/
|
|
115
83
|
export const hasForkInUninterruptibleWithoutRestore = (source) => {
|
|
116
84
|
const code = stripCommentsAndStrings(source);
|
|
117
|
-
|
|
118
|
-
const openParenIndex = source.indexOf('(', match.index);
|
|
119
|
-
const callBody = source.slice(openParenIndex + 1, findBalancedCallEnd(source, openParenIndex));
|
|
120
|
-
if (/\bEffect\.fork\b/.test(callBody) && !/\brestore\s*\(/.test(callBody)) {
|
|
121
|
-
return true;
|
|
122
|
-
}
|
|
123
|
-
}
|
|
124
|
-
return false;
|
|
85
|
+
return pipe([...code.matchAll(/\bEffect\.uninterruptible\s*\(/g)], Array.some((match) => pipe(balancedCallBodyAt(source, match), Option.exists((callBody) => /\bEffect\.fork\b/.test(callBody) && !/\brestore\s*\(/.test(callBody)))));
|
|
125
86
|
};
|
|
126
87
|
//# sourceMappingURL=effect-default-safety-helpers.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effect-default-safety-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-default-safety-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACpF,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,wBAAwB,GAAG,GAAG,CAAC;AAErC;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,MAAc,EAAW,EAAE;IACjE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,
|
|
1
|
+
{"version":3,"file":"effect-default-safety-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-default-safety-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACpF,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,wBAAwB,GAAG,GAAG,CAAC;AAErC;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,MAAc,EAAW,EAAE;IACjE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,OAAO,IAAI,CACT;QACE,GAAG,IAAI,CAAC,QAAQ,CACd,gFAAgF,CACjF;KACF,EACD,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,uBAAuB,CAAC,CAAC,CAC1F,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAE,UAAkB,EAAU,EAAE,CACvE,IAAI,CACF,MAAM,CAAC,YAAY,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,EAC1D,MAAM,CAAC,KAAK,CAAC;IACX,MAAM,EAAE,GAAW,EAAE,CACnB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,wBAAwB,CAAC,EAAE,UAAU,CAAC;IAC9E,MAAM,EAAE,CAAC,QAAQ,EAAU,EAAE,CAC3B,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;CACxE,CAAC,CACH,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAW,EAAE,CAC3D,IAAI,CACF,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,EAC3C,KAAK,CAAC,IAAI,CACR,CAAC,KAAK,EAAW,EAAE,CACjB,CAAC,+CAA+C,CAAC,IAAI,CACnD,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CACvC,CACJ,CACF,CAAC;AAEJ,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,KAAsB,EAAyB,EAAE;IACnF,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACxD,OAAO,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CACrC,KAAK,CAAC,IAAI,CACR,CAAC,KAAK,EAAW,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAChC,GAA0B,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAC3C,EACD,KAAK,CAAC,MAAM,CACV,CAAC,KAAK,EAAyB,EAAE,CAC/B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CACjF,CACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,MAAc,EAAW,EAAE;IACvE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,OAAO,IAAI,CACT,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,EAClC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAC5B,IAAI,CACF,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,EACzB,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAW,EAAE;QAClC,MAAM,aAAa,GAAG,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC,MAAM,CAAC;QAC9E,OAAO,aAAa,GAAG,CAAC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvE,CAAC,CAAC,CACH,CACF,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,MAAc,EAAE,KAAsB,EAAyB,EAAE;IAC3F,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACxD,OAAO,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CACrC,KAAK,CAAC,IAAI,CACR,CAAC,KAAK,EAAW,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAChC,GAA0B,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAC3C,EACD,KAAK,CAAC,MAAM,CACV,CAAC,KAAK,EAAyB,EAAE,CAC/B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAC3E,CACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,MAAc,EAAW,EAAE;IACxE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,OAAO,IAAI,CACT,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,EAC5C,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAC5B,IAAI,CACF,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAW,EAAE,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAC/E,CACF,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,QAAgB,EAAW,EAAE,CACzD,IAAI,CACF,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,8BAA8B,CAAC,CAAC,EACtD,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,EAAW,EAAE;IACjC,MAAM,mBAAmB,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAC9B,mBAAmB,GAAG,CAAC,EACvB,mBAAmB,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CACnD,CAAC;IACF,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AACtC,CAAC,CAAC,CACH,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,MAAc,EAAW,EAAE;IACrE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,OAAO,IAAI,CACT,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,6BAA6B,CAAC,CAAC,EACjD,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAC5B,IAAI,CACF,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAW,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CACrE,CACF,CACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,MAAc,EAAW,EAAE,CACrE,IAAI,CACF,gBAAgB,CAAC,MAAM,EAAE,4BAA4B,CAAC,EACtD,KAAK,CAAC,IAAI,CACR,CAAC,IAAI,EAAW,EAAE,CAChB,CAAC,0EAA0E,CAAC,IAAI,CAAC,IAAI,CAAC,CACzF,CACF,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAC,MAAc,EAAW,EAAE;IAChF,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,OAAO,IAAI,CACT,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,iCAAiC,CAAC,CAAC,EACrD,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAC5B,IAAI,CACF,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,MAAM,CAAC,MAAM,CACX,CAAC,QAAQ,EAAW,EAAE,CACpB,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CACxE,CACF,CACF,CACF,CAAC;AACJ,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effect-default-scan-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-default-scan-helpers.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"effect-default-scan-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-default-scan-helpers.ts"],"names":[],"mappings":"AA8CA;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAAI,QAAQ,MAAM,KAAG,MAcrD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,MAAM,EAAE,SAAS,MAAM,KAAG,MAuBnE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,MAAM,EAAE,aAAa,MAAM,KAAG,MAWtE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,MAAM,EAAE,aAAa,MAAM,KAAG,MAAM,EAkB5E,CAAC;AA+DF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,QAAQ,MAAM,EACd,WAAW,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,KACnC,OAGF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,MAAM,EAAE,aAAa,MAAM,KAAG,MAAM,GAAG,SAkB9E,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAAI,QAAQ,MAAM,EAAE,aAAa,MAAM,KAAG,MACpB,CAAC"}
|