@putout/printer 1.64.0 → 1.66.0

package/ChangeLog

@@ -1,3 +1,13 @@
+2023.04.21, v1.66.0
+
+feature:
+- 31a3e52 @putout/printer: add support for const type parameters
+
+2023.04.21, v1.65.0
+
+feature:
+- a67785f @putout/printer: add support of TSConditionalType
+
 2023.04.21, v1.64.0
 
 feature:

package/lib/tokenize/expressions/functions/function-declaration.js

@@ -11,6 +11,7 @@ module.exports.FunctionDeclaration = {
         
         print('function ');
         print('__id');
+        print('__typeParameters');
         print('(');
         
         const params = path.get('params');

package/lib/tokenize/maybe/index.js

@@ -23,9 +23,7 @@ module.exports.maybeThrow = (a, path, b) => {
     }));
 };
 
-const maybeProgram = (ast) => isProgram(ast) ? ast : Program([
-    ExpressionStatement(ast),
-]);
+const maybeProgram = (ast) => isProgram(ast) ? ast : Program([ExpressionStatement(ast)]);
 
 module.exports.maybeFile = (ast) => isFile(ast) ? ast : File(maybeProgram(ast));
 

package/lib/tokenize/typescript/index.js

@@ -4,11 +4,42 @@ const {exists} = require('../is');
 const {TSTypeLiteral} = require('./ts-type-literal');
 const {TSTypeAliasDeclaration} = require('./ts-type-alias-declaration');
 const {TSMappedType} = require('./ts-mapped-type');
+const {TSConditionalType} = require('./ts-conditional-type');
+const {TSTypeParameter} = require('./ts-type-parameter');
 
 module.exports = {
     TSTypeLiteral,
     TSTypeAliasDeclaration,
+    TSTypeParameter,
     TSMappedType,
+    TSConditionalType,
+    TSNeverKeyword(path, {write}) {
+        write('never');
+    },
+    TSUnknownKeyword(path, {write}) {
+        write('unknown');
+    },
+    TSTupleType(path, {write, traverse, maybe}) {
+        const elementTypes = path.get('elementTypes');
+        const n = elementTypes.length - 1;
+        
+        write('[');
+        
+        for (const [i, elementType] of elementTypes.entries()) {
+            traverse(elementType);
+            maybe.write(i < n, ', ');
+        }
+        
+        write(']');
+    },
+    TSInferType(path, {print}) {
+        print('infer ');
+        print('__typeParameter');
+    },
+    TSRestType(path, {print}) {
+        print('...');
+        print('__typeAnnotation');
+    },
     TSTypeParameterDeclaration(path, {print}) {
         print('<');
         
@@ -35,21 +66,6 @@ module.exports = {
         print('__elementType');
         print('[]');
     },
-    TSTypeParameter(path, {write, traverse}) {
-        const constraint = path.get('constraint');
-        
-        if (path.node.in)
-            write('in ');
-        else if (path.node.out)
-            write('out ');
-        
-        write(path.node.name);
-        
-        if (exists(constraint)) {
-            write(' in ');
-            traverse(constraint);
-        }
-    },
     TSTypeOperator(path, {write, print}) {
         const {operator} = path.node;
         write(`${operator} `);

package/lib/tokenize/typescript/ts-conditional-type.js

@@ -0,0 +1,23 @@
+'use strict';
+
+module.exports.TSConditionalType = (path, {print, indent}) => {
+    indent.inc();
+    print.breakline();
+    print('__checkType');
+    print(' extends ');
+    print('__extendsType');
+    
+    indent.inc();
+    print.breakline();
+    
+    print('? ');
+    print('__trueType');
+    
+    print.breakline();
+    
+    print(': ');
+    print('__falseType');
+    
+    indent.dec();
+    indent.dec();
+};

package/lib/tokenize/typescript/ts-type-alias-declaration.js

@@ -6,13 +6,16 @@ const isNextType = (a) => a.getNextSibling().isTSTypeAliasDeclaration();
 
 module.exports.TSTypeAliasDeclaration = {
     print(path, {print, maybe, store}) {
+        const typeAnnotation = path.get('typeAnnotation');
+        const isConditional = typeAnnotation.isTSConditionalType();
+        
         print('type ');
         print('__id');
         print('__typeParameters');
         
         print.space();
         print('=');
-        print.space();
+        maybe.print.space(!isConditional);
         
         print('__typeAnnotation');
         print(';');

package/lib/tokenize/typescript/ts-type-parameter.js

@@ -0,0 +1,28 @@
+'use strict';
+
+const {exists} = require('../is');
+
+module.exports.TSTypeParameter = (path, {write, traverse}) => {
+    const constraint = path.get('constraint');
+    
+    if (path.node.in)
+        write('in ');
+    else if (path.node.out)
+        write('out ');
+    else if (path.node.const)
+        write('const ');
+    
+    write(path.node.name);
+    
+    if (!exists(constraint))
+        return;
+    
+    if (constraint.isTSTypeOperator()) {
+        write(' in ');
+    } else {
+        write(' extends ');
+    }
+    
+    traverse(constraint);
+};
+

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@putout/printer",
-  "version": "1.64.0",
+  "version": "1.66.0",
   "type": "commonjs",
   "author": "coderaiser <mnemonic.enemy@gmail.com> (https://github.com/coderaiser)",
   "description": "Easiest possible opinionated Babel AST printer made with ❤️  to use in 🐊Putout",