@putout/plugin-printer 8.24.0 → 9.0.0

package/README.md

@@ -5,6 +5,8 @@
 
 🐊[**Putout**](https://github.com/coderaiser/putout) adds support of transformations for [`@putout/printer`](https://github.com/putoutjs/printer).
 
+> Type-checker rules moved to [`@putout/plugin-type-checker`](https://github.com/coderaiser/putout/tree/master/packages/plugin-type-checker#readme).
+
 ## Install
 
 ```
@@ -14,33 +16,18 @@ npm i @putout/plugin-printer -D
 ## Rules
 
 - ✅ [add-args](#add-args);
-- ✅ [add-missing-colon-to-type-checker](#add-missing-spaces-to-type-checker);
-- ✅ [add-missing-spaces-to-type-checker](#add-missing-spaces-to-type-checker);
-- ✅ [add-missing-tuples-to-type-checker](#add-missing-tuples-to-type-checker);
 - ✅ [apply-breakline](#apply-breakline);
 - ✅ [apply-computed-print](#apply-computed-print);
 - ✅ [apply-create-test-url](#apply-create-test-url);
 - ✅ [apply-linebreak](#apply-linebreak);
 - ✅ [apply-printer-declarations](#apply-printer-declarations);
 - ✅ [apply-types](#apply-types);
-- ✅ [check-if-success-possible-in-type-checker](#check-if-success-possible-in-type-checker);
-- ✅ [check-type-passed-to-type-checker](#check-type-passed-to-type-checker);
 - ✅ [declare](#declare);
 - ✅ [declare-nearby](#declare-nearby);
-- ✅ [merge-tuple-of-type-checker](#merge-tuple-of-type-checker);
 - ✅ [remove-args](#remove-args);
 - ✅ [remove-legacy-test-declaration](#remove-legacy-test-declaration);
-- ✅ [remove-trailing-spaces-from-type-checker](#remove-trailing-spaces-from-type-checker);
-- ✅ [remove-useless-arrow-from-type-checker](#remove-useless-arrow-from-type-checker);
-- ✅ [remove-useless-colon-from-type-checker](#remove-useless-colon-from-type-checker);
 - ✅ [remove-useless-maybe](#remove-useless-maybe);
-- ✅ [remove-useless-not-from-type-checker](#remove-useless-not-from-type-checker);
-- ✅ [remove-useless-path-from-type-checker](#remove-useless-path-from-type-checker);
 - ✅ [remove-useless-print](#remove-useless-print);
-- ✅ [remove-useless-spaces-from-type-checker](#remove-useless-spaces-from-type-checker);
-- ✅ [remove-useless-tuples-from-type-checker](#remove-useless-tuples-from-type-checker);
-- ✅ [reverse-comparison-in-type-checker](#reverse-comparison-in-type-checker);
-- ✅ [apply-boolean-operator-to-type-checker](#apply-boolean-operator-to-type-checker);
 
 ## Config
 
@@ -48,32 +35,17 @@ npm i @putout/plugin-printer -D
 {
     "rules": {
         "printer/add-args": "on",
-        "printer/add-missing-colon-to-type-checker": "on",
-        "printer/add-missing-spaces-to-type-checker": "on",
-        "printer/add-missing-tuples-to-type-checker": "on",
         "printer/apply-breakline": "on",
         "printer/apply-computed-print": "on",
         "printer/apply-create-test-url": "on",
         "printer/apply-linebreak": "on",
         "printer/apply-printer-declarations": "on",
         "printer/apply-types": "on",
-        "printer/check-if-success-possible-in-type-checker": "on",
-        "printer/check-type-passed-to-type-checker": "on",
         "printer/declare": "on",
         "printer/declare-nearby": "on",
-        "printer/merge-tuple-of-type-checker": "on",
         "printer/remove-args": "on",
-        "printer/remove-trailing-spaces-from-type-checker": "on",
-        "printer/remove-useless-arrow-from-type-checker": "on",
-        "printer/remove-useless-colon-from-type-checker": "on",
         "printer/remove-useless-maybe": "on",
-        "printer/remove-useless-not-from-type-checker": "on",
-        "printer/remove-useless-path-from-type-checker": "on",
-        "printer/remove-useless-print": "on",
-        "printer/remove-useless-spaces-from-type-checker": "on",
-        "printer/remove-useless-tuples-from-type-checker": "on",
-        "printer/reverse-comparison-in-type-checker": "on",
-        "printer/apply-boolean-operator-to-type-checker": "on"
+        "printer/remove-useless-print": "on"
     }
 }
 ```
@@ -112,50 +84,6 @@ module.exports = {
 print.linebreak();
 ```
 
-## add-missing-colon-to-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/97d38d9bee0586deb8c627c19e399a27/889646df2dcfcfe86f7eb0efb6e3ed5791701f58).
-
-### ❌ Example of incorrect code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['+ -> !', isInsideArray],
-    ['- parentPath ->', isCoupleLines],
-]);
-```
-
-### ✅ Example of correct code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['+: -> !', isInsideArray],
-    ['-: parentPath ->', isCoupleLines],
-]);
-```
-
-## add-missing-spaces-to-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/2451cd51ebd3dfd20c32b6d22ca176b7/bd593860ff4bb2d66e06cf95bbe103cb1203129d).
-
-### ❌ Example of incorrect code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['-:->!', isInsideArray],
-    ['-:parentPath->', isCoupleLines],
-]);
-```
-
-### ✅ Example of correct code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['-: -> !', isInsideArray],
-    ['-: parentPath ->', isCoupleLines],
-]);
-```
-
 ## apply-breakline
 
 ```diff
@@ -169,15 +97,21 @@ print.breakline();
 ### ❌ Example of incorrect code
 
 ```js
-print(path.get('block'));
+export const TryStatement = (path, {print}) => {
+    print(path.get('block'));
+};
 ```
 
 ### ✅ Example of correct code
 
 ```js
-print('__block');
+export const TryStatement = (path, {print}) => {
+    print('__block');
+};
 ```
 
+The rule changes only the `print` of a printer visitor (a parameter). Imported `print` of `putout` needs a path and stays as is.
+
 ## apply-create-test-url
 
 Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/ddf1425ace2a53e9010b82ded1dd1012/3e56365b58d01ebe8abba46caf04ed5e51043feb).
@@ -198,34 +132,6 @@ import {createTest} from '#test';
 const {test, fixture} = createTest(import.meta.url);
 ```
 
-## add-missing-tuple-to-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/9fdfda423df3af9b0f08541710706299/0259bba117997861fe7573bad5477282f4df8554).
-
-### ❌ Example of incorrect code
-
-```js
-export const beforeIf = createTypeChecker([
-    '- : -> !StringLiteral',
-    '- : -> BlockStatement',
-    '- : -> WrongType',
-    ['- : ->', isBlockStatement],
-    ['-', isBlockStatement],
-]);
-```
-
-### ✅ Example of correct code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['- : -> !StringLiteral'],
-    ['- : -> BlockStatement'],
-    ['- : -> WrongType'],
-    ['- : ->', isBlockStatement],
-    ['-', isBlockStatement],
-]);
-```
-
 ## apply-printer-declarations
 
 Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/2fc66c476a235eb25f47e55fd7b33042/b0371fe2dd62e8f9fe5ce1fff6d352386e69fcc6).
@@ -266,77 +172,6 @@ Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/8a88fec812
 +const {isIdentifier} = types;
 ```
 
-## check-if-success-possible-in-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/4164addec1e1b2bb93ad7caf3ed13ad8/b04dc172f4094ea6b6902ec54deee779aba6b944).
-When you have only negative branch defined in type checker it never never succeeds (`+`), and always returns false.
-
-Consider adding success branch, or remove type checker.
-
-☝️ *This rule has no autofix, because most likely tests will fail after auto fix,
-and instead of observing code with a problem, you will first see failed tests,
-and then after some searches determine that there is a wrong auto fix.*
-
-### ❌ Example of incorrect code
-
-```js
-const isSimple = createTypeChecker([
-    '-: -> SpreadElement',
-    '-: -> Identifier',
-    '-: -> !CallExpression',
-]);
-
-const isSimpleAfterObject = createTypeChecker([
-    ['-', isSimple],
-    ['-', callWithNext(isObjectExpression)],
-    ['-', callWithPrev(isObjectExpression)],
-]);
-```
-
-### ✅ Example of correct code
-
-Possible fix:
-
-```js
-const isSimple = createTypeChecker([
-    '-: -> SpreadElement',
-    '-: -> Identifier',
-    '+: -> !CallExpression',
-]);
-
-const isSimpleAfterObject = createTypeChecker([
-    ['-', isSimple],
-    ['-', callWithNext(isObjectExpression)],
-    ['+', callWithPrev(isObjectExpression)],
-]);
-```
-
-## check-type-passed-to-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/9b35f5f2f23bece832f0f87c929d30e2/b08df8ef8ce6c2a03bceebe6119846c45a78a119).
-
-☝️ *This rule has no autofix, because most likely tests will fail after auto fix,
-and instead of observing code with a problem, you will first see failed tests,
-and then after some searches determine that there is a wrong auto fix.*
-
-### ❌ Example of incorrect code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['- : -> WrongType'],
-]);
-```
-
-### ✅ Example of correct code
-
-Here is possible correct code:
-
-```js
-export const beforeIf = createTypeChecker([
-    ['- : -> Identifier'],
-]);
-```
-
 ## declare
 
 ### ❌ Example of incorrect code
@@ -393,30 +228,6 @@ export const FunctionDeclaration = {
 };
 ```
 
-## merge-tuple-of-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/7351b8359ac3da967e9b4b80d49b51da/74de1543f6e129f6e22f38e2eb597abce6c122a6).
-
-### ❌ Example of incorrect code
-
-```js
-export const isNewlineAfterComma = createTypeChecker([
-    ['+: -> !', isObjectExpression],
-    ['+: ->', isStringLiteral],
-    ['+', isStringLiteral],
-]);
-```
-
-### ✅ Example of correct code
-
-```js
-export const isNewlineAfterComma = createTypeChecker([
-    ['+: -> !ObjectExpression'],
-    ['+: -> StringLiteral'],
-    ['+: StringLiteral'],
-]);
-```
-
 ## remove-args
 
 ### ❌ Example of incorrect code
@@ -444,70 +255,6 @@ print.indent();
 -});
 ```
 
-## remove-trailing-spaces-from-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/91d33e39485c31e76b534ad8447ba4db/abca8d21ad6edc1f6fed23edb05fa166677f11d6).
-
-### ❌ Example of incorrect code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['-: parentPath -> ', isCoupleLines],
-]);
-```
-
-### ✅ Example of correct code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['-: parentPath ->', isCoupleLines],
-]);
-```
-
-## remove-useless-arrow-from-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/c12c37b793192eadb60fac332d95cc3b/3f4aa557c65897f4967712f30e51c29483feddc8).
-
-### ❌ Example of incorrect code
-
-```js
-const isTwoLongStringsInsideArray = createTypeChecker([
-    ['-: -> !', isTwoLongStrings],
-    ['+: parentPath -> -> ArrayExpression'],
-]);
-```
-
-### ✅ Example of correct code
-
-```js
-const isTwoLongStringsInsideArray = createTypeChecker([
-    ['-: -> !', isTwoLongStrings],
-    ['+: parentPath -> ArrayExpression'],
-]);
-```
-
-## remove-useless-colon-from-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/49a35399bd43d56bfd0221b3a0ace3b0/3ff3bdc8cb5f2a06786e9b616252d1b5f506dd73).
-
-### ❌ Example of incorrect code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['+:', isInsideArray],
-    ['-:', isCoupleLines],
-]);
-```
-
-### ✅ Example of correct code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['+', isInsideArray],
-    ['-', isCoupleLines],
-]);
-```
-
 ## remove-useless-maybe
 
 Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/d448a928400ff37043ae03510ce7c85c/db1a758809e8759f591533f9ef92bef1188d32b0).
@@ -526,168 +273,6 @@ maybe.indent(wasNewline);
 print.newline();
 ```
 
-## remove-useless-not-from-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/051b981021fd1e048b675106f0850211/2022b9797125016d4e5c5e6b5d4e066ab2e103ad).
-
-### ❌ Example of incorrect code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['-: -> !+'],
-    ['+: -> !-'],
-]);
-```
-
-### ✅ Example of correct code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['-: -> -'],
-    ['+: -> +'],
-]);
-```
-
-## remove-useless-path-from-type-checker
-
-Selector always starts from `path`, so it can be `parentPath.`, or `node.`, but never `path.`, since it is self reference.
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/ef8e1dc1036a4a2fcc99b32c3dc661e2/bc43a082dc9cb5ed8a8afe6964174f0d1be2e1c1).
-
-### ❌ Example of incorrect code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['-: path.parentPath -> ', isCoupleLines],
-]);
-```
-
-### ✅ Example of correct code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['-: parentPath -> ', isCoupleLines],
-]);
-```
-
-## remove-useless-spaces-from-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/2e90aa74898a496b488f9c369801b47a/fbd700d965952e80588ec61054b3ed7aee4d17a2).
-
-### ❌ Example of incorrect code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['- : -> !', isInsideArray],
-]);
-```
-
-### ✅ Example of correct code
-
-```js
-export const beforeIf = createTypeChecker([
-    ['-: -> !', isInsideArray],
-]);
-```
-
-## remove-useless-tuples-from-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/f53f386b607115e0a96f7e294e34761e/cefd72aba4fcade59bbf8faa59739bac5c2fe057).
-
-### ❌ Example of incorrect code
-
-```js
-export const allStrings = createTypeChecker([
-    ['- : -> BlockStatement'],
-    ['- : -> WrongType'],
-]);
-```
-
-### ✅ Example of correct code
-
-```js
-export const allStrings = createTypeChecker([
-    '- : -> BlockStatement',
-    '- : -> WrongType',
-]);
-```
-
-## reverse-comparison-in-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/ae2335d32022de240e918ce077144767/f25c5a11f746fe532f81adede991286cb77d1b11).
-
-### ❌ Example of incorrect code
-
-```js
-const isMoreThenMaxElementLengthInOneLine = createTypeChecker([
-    ['-: node.elements.length -> !', '<', 2],
-    ['-: node.elements.length -> !', '>', 2],
-    ['-: node.elements.length -> !', '>=', 2],
-    ['-: node.elements.length -> !', '<=', 2],
-]);
-```
-
-### ✅ Example of correct code
-
-```js
-const isMoreThenMaxElementLengthInOneLine = createTypeChecker([
-    ['-: node.elements.length', '>=', 2],
-    ['-: node.elements.length', '<=', 2],
-    ['-: node.elements.length', '<', 2],
-    ['-: node.elements.length', '>', 2],
-]);
-```
-
-## reverse-comparison-in-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/be2bb33f5c7ac7b687c1fa856704bc73/e57fa5a3ded571adca03f5bdeb5a0f63a594aa81).
-
-### ❌ Example of incorrect code
-
-```js
-export const ExpressionStatement = {
-    print(path, {indent, print}) {
-        indent();
-        print('__expression');
-        print.newline();
-    },
-};
-```
-
-### ✅ Example of correct code
-
-```js
-export const ExpressionStatement = (path, {indent, print}) => {
-    indent();
-    print('__expression');
-    print.newline();
-};
-```
-
-## apply-boolean-operator-to-type-checker
-
-Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/053946bd010f04ad87e148c648d3af32/a69e0182048d692747b34df94ac4ce0b47d49f33).
-
-### ❌ Example of incorrect code
-
-```js
-const isNotMarked = createTypeChecker([
-    ['-: node.async', not(Boolean)],
-    ['-: __putout_promises_add_missing_async', Boolean],
-    ['+', Boolean],
-]);
-```
-
-### ✅ Example of correct code
-
-```js
-const isNotMarked = createTypeChecker([
-    ['-: node.async -> -'],
-    ['-: __putout_promises_add_missing_async -> +'],
-    ['+ -> +'],
-]);
-```
-
 ## License
 
 MIT

package/lib/apply-computed-print/index.js

@@ -1,7 +1,18 @@
+import {operator} from 'putout';
+
+const {getBinding} = operator;
 const {assign} = Object;
 
 export const report = () => `Use print('__path') instead of path.get(__path)`;
 
+// 'print' of '@putout/printer' visitor is a param: '(path, {print}) => {}'
+// 'print' of 'putout' is imported and needs a path
+const isPrintParam = (path) => getBinding(path, 'print')?.kind === 'param';
+
+export const match = () => ({
+    'print(path.get(__a))': (vars, path) => isPrintParam(path),
+});
+
 export const replace = () => ({
     'print(path.get(__a))': ({__a}) => {
         const {raw, value} = __a;

package/lib/index.js

@@ -1,22 +1,6 @@
-import * as applyBooleanOperatorToTypeChecker from './apply-boolean-operator-to-type-checker/index.js';
 import * as declareNearby from './declare-nearby/index.js';
 import * as applyPrinterDeclarations from './apply-printer-declarations/index.js';
 import * as removeUselessPrint from './remove-useless-print/index.js';
-import * as addMissingArrowToTypeChecker from './add-missing-arrow-to-type-checker/index.js';
-import * as removeUselessArrowFromTypeChecker from './remove-useless-arrow-from-type-checker/index.js';
-import * as removeUselessPathFromTypeChecker from './remove-useless-path-from-type-checker/index.js';
-import * as reverseComparisonInTypeChecker from './reverse-comparison-in-type-checker/index.js';
-import * as removeUselessNotFromTypeChecker from './remove-useless-not-from-type-checker/index.js';
-import * as removeUselessColonFromTypeChecker from './remove-useless-colon-from-type-checker/index.js';
-import * as addMissingColonToTypeChecker from './add-missing-colon-to-type-checker/index.js';
-import * as mergeTuplesOfTypeCheckers from './merge-tuples-of-type-checkers/index.js';
-import * as checkIfSuccessPossibleInTypeChecker from './check-if-success-possible-in-type-checker/index.js';
-import * as removeUselessTuplesFromTypeChecker from './remove-useless-tuples-from-type-checker/index.js';
-import * as addMissingTuplesToTypeChecker from './add-missing-tuples-to-type-checker/index.js';
-import * as checkTypePassedToTypeChecker from './check-type-passed-to-type-checker/index.js';
-import * as removeUselessSpacesFromTypeChecker from './remove-useless-spaces-from-type-checker/index.js';
-import * as addMissingSpacesToTypeChecker from './add-missing-spaces-to-type-checker/index.js';
-import * as removeTrailingSpacesFromTypeChecker from './remove-trailing-spaces-from-type-checker/index.js';
 import * as removeUselessMaybe from './remove-useless-maybe/index.js';
 import * as applyCreateTestUrl from './apply-create-test-url/index.js';
 import * as removeArgs from './remove-args/index.js';
@@ -40,22 +24,6 @@ export const rules = {
     'remove-legacy-test-declaration': removeLegacyTestDeclaration,
     'remove-args': removeArgs,
     'remove-useless-maybe': removeUselessMaybe,
-    'remove-trailing-spaces-from-type-checker': removeTrailingSpacesFromTypeChecker,
-    'add-missing-spaces-to-type-checker': addMissingSpacesToTypeChecker,
-    'remove-useless-spaces-from-type-checker': removeUselessSpacesFromTypeChecker,
-    'check-type-passed-to-type-checker': checkTypePassedToTypeChecker,
-    'add-missing-tuples-to-type-checker': addMissingTuplesToTypeChecker,
-    'remove-useless-tuples-from-type-checker': removeUselessTuplesFromTypeChecker,
-    'check-if-success-possible-in-type-checker': checkIfSuccessPossibleInTypeChecker,
-    'merge-tuples-of-type-checkers': mergeTuplesOfTypeCheckers,
-    'add-missing-colon-to-type-checker': addMissingColonToTypeChecker,
-    'remove-useless-colon-from-type-checker': removeUselessColonFromTypeChecker,
-    'remove-useless-not-from-type-checker': removeUselessNotFromTypeChecker,
-    'reverse-comparison-in-type-checker': reverseComparisonInTypeChecker,
-    'remove-useless-path-from-type-checker': removeUselessPathFromTypeChecker,
-    'remove-useless-arrow-from-type-checker': removeUselessArrowFromTypeChecker,
-    'add-missing-arrow-to-type-checker': addMissingArrowToTypeChecker,
     'remove-useless-print': removeUselessPrint,
     'declare-nearby': declareNearby,
-    'apply-boolean-operator-to-type-checker': applyBooleanOperatorToTypeChecker,
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@putout/plugin-printer",
-  "version": "8.24.0",
+  "version": "9.0.0",
   "type": "module",
   "author": "coderaiser <mnemonic.enemy@gmail.com> (https://github.com/coderaiser)",
   "description": "🐊Putout plugin adds support of transformations for @putout/printer",

package/lib/add-missing-arrow-to-type-checker/index.js

@@ -1,77 +0,0 @@
-import {operator, types} from 'putout';
-import {isTypeExists} from '#types';
-
-const {
-    isIdentifier,
-    isCallExpression,
-} = types;
-
-const {setLiteralValue} = operator;
-
-export const report = ({path, where}) => {
-    const {value} = path.node;
-    const withSpaces = addArrow(value, where);
-    
-    return `Add missing arrow: '${value}' -> '${withSpaces}'`;
-};
-
-export const fix = ({path, where}) => {
-    const {value} = path.node;
-    setLiteralValue(path, addArrow(value, where));
-};
-export const traverse = ({push}) => ({
-    StringLiteral(path) {
-        const call = path.find(isCallExpression);
-        
-        if (!call)
-            return;
-        
-        if (!isIdentifier(call.node.callee, {name: 'createTypeChecker'}))
-            return;
-        
-        const {value} = path.node;
-        const where = createWhere(value);
-        
-        if (where.length)
-            push({
-                path,
-                where,
-            });
-    },
-});
-
-function createWhere(value) {
-    const where = [];
-    
-    if (value.startsWith('+: !') && !value.includes('->'))
-        where.push('after-colon');
-    
-    if (value.startsWith('-: !') && !value.includes('->'))
-        where.push('after-colon');
-    
-    if (value.startsWith('+: ') && !value.includes('->')) {
-        const type = value.replace('+: ', '');
-        
-        if (isTypeExists(type))
-            where.push('before-type');
-    }
-    
-    if (value.startsWith('-: ') && !value.includes('->')) {
-        const type = value.replace('-: ', '');
-        
-        if (isTypeExists(type))
-            where.push('before-type');
-    }
-    
-    return where;
-}
-
-function addArrow(value, where) {
-    if (where.includes('after-colon'))
-        value = value.replace(': !', ': -> !');
-    
-    if (where.includes('before-type'))
-        value = value.replace(': ', ': -> ');
-    
-    return value;
-}