in src/languages/python.ts [758:786]
function doRender(jsiiType: JsiiType): string {
switch (jsiiType.kind) {
case 'unknown':
return fallback;
case 'error':
renderer.report(owningNode, jsiiType.message);
return fallback;
case 'map':
return `Dict[str, ${doRender(jsiiType.elementType)}]`;
case 'list':
return `List[${doRender(jsiiType.elementType)}]`;
case 'namedType':
// in this case, the fallback will hold more information than jsiiType.name
return fallback;
case 'builtIn':
switch (jsiiType.builtIn) {
case 'boolean':
return 'bool';
case 'number':
return 'number';
case 'string':
return 'str';
case 'any':
return 'Any';
default:
return jsiiType.builtIn;
}
}
}