hydra.type_script.serde module

Serialization functions for converting TypeScript AST to abstract expressions.

hydra.type_script.serde.all_digits(cps: Sequence[int]) → bool

True iff every codepoint is an ASCII digit 0-9, and the list is non-empty.

hydra.type_script.serde.array_element_to_expr(elem: ArrayElement) → Expr

Convert an array element to an AST expression.

hydra.type_script.serde.array_expression_to_expr(arr: Sequence[ArrayElement]) → Expr

Convert an array expression to an AST expression.

hydra.type_script.serde.array_pattern_to_expr(arr: Sequence[object]) → Expr

Convert an array pattern to an AST expression.

hydra.type_script.serde.arrow_function_expression_to_expr(arrow: ArrowFunctionExpression) → Expr

Convert an arrow function expression to an AST expression.

hydra.type_script.serde.assignment_expression_to_expr(assign: AssignmentExpression) → Expr

Convert an assignment expression to an AST expression.

hydra.type_script.serde.assignment_operator_to_string(op: AssignmentOperator) → str

Convert an assignment operator to a string.

hydra.type_script.serde.assignment_pattern_to_expr(assign: AssignmentPattern) → Expr

Convert an assignment pattern to an AST expression.

hydra.type_script.serde.binary_expression_to_expr(bin: BinaryExpression) → Expr

Convert a binary expression to an AST expression.

hydra.type_script.serde.binary_operator_to_expr(op: BinaryOperator) → Op

Convert a binary operator to an Op.

hydra.type_script.serde.block_statement_to_expr(block: Sequence[Statement]) → Expr

Convert a block statement to an AST expression. Renders as { stmt1n stmt2n … } using curlyBlock + newlineSep: statements are separated by newlines, NOT by commas (which curlyBracesList’s default would insert and which TypeScript rejects between block statements).

hydra.type_script.serde.break_statement_to_expr(b: object) → Expr

Convert a break statement to an AST expression.

hydra.type_script.serde.call_expression_to_expr(call: CallExpression) → Expr

Convert a call expression to an AST expression.

hydra.type_script.serde.catch_clause_to_expr(c: CatchClause) → Expr

Convert a catch clause to an AST expression.

hydra.type_script.serde.class_declaration_to_expr(cls: ClassDeclaration) → Expr

Convert a class declaration to an AST expression.

hydra.type_script.serde.class_declaration_with_comments_to_expr(cdwc: ClassDeclarationWithComments) → Expr

Convert a class declaration with comments to an AST expression.

hydra.type_script.serde.conditional_expression_to_expr(cond: ConditionalExpression) → Expr

Convert a conditional expression to an AST expression.

hydra.type_script.serde.continue_statement_to_expr(c: object) → Expr

Convert a continue statement to an AST expression.

hydra.type_script.serde.do_while_statement_to_expr(d: DoWhileStatement) → Expr

Convert a do-while statement to an AST expression.

hydra.type_script.serde.documentation_comment_to_expr(doc: DocumentationComment) → Expr

Convert a documentation comment to an AST expression.

hydra.type_script.serde.documentation_tag_to_line(tag: DocumentationTag) → str

Convert a documentation tag to a JSDoc line. Built by joining non-empty parts with spaces so that absent type/param/description components don’t introduce trailing whitespace.

hydra.type_script.serde.escape_string(s: str, single_quote: bool) → str

Escape special characters in a string for TypeScript.

hydra.type_script.serde.export_all_to_expr(a: ExportAllDeclaration) → Expr

Convert an export all declaration to an AST expression.

hydra.type_script.serde.export_declaration_to_expr(exp: ExportDeclaration) → Expr

Convert an export declaration to an AST expression.

hydra.type_script.serde.export_specifier_to_expr(spec: ExportSpecifier) → Expr

Convert an export specifier to an AST expression.

hydra.type_script.serde.expression_to_expr(expr: Expression) → Expr

Convert a TypeScript expression to an AST expression.

hydra.type_script.serde.for_in_statement_to_expr(f: ForInStatement) → Expr

Convert a for-in statement to an AST expression.

hydra.type_script.serde.for_of_statement_to_expr(f: ForOfStatement) → Expr

Convert a for-of statement to an AST expression.

hydra.type_script.serde.for_statement_to_expr(f: ForStatement) → Expr

Convert a for statement to an AST expression.

hydra.type_script.serde.format_import_specifiers(specs: Sequence[Expr]) → Expr

Format import specifiers, handling default vs named imports.

hydra.type_script.serde.function_declaration_to_expr(fn: FunctionDeclaration) → Expr

Convert a function declaration to an AST expression.

hydra.type_script.serde.function_declaration_with_comments_to_expr(fdwc: FunctionDeclarationWithComments) → Expr

Convert a function declaration with comments to an AST expression.

hydra.type_script.serde.function_expression_to_expr(fn: FunctionExpression) → Expr

Convert a function expression to an AST expression.

hydra.type_script.serde.identifier_to_expr(id: Identifier) → Expr

Convert an identifier to an AST expression.

hydra.type_script.serde.if_statement_to_expr(if_stmt: IfStatement) → Expr

Convert an if statement to an AST expression.

hydra.type_script.serde.import_declaration_to_expr(imp: ImportDeclaration) → Expr

Convert an import declaration to an AST expression.

hydra.type_script.serde.import_specifier_to_expr(spec: ImportClause) → Expr

Convert an import specifier to an AST expression.

hydra.type_script.serde.is_kernel_type_var_name(s: str) → bool

Detect a kernel-synthesized type-variable name like T0 or T12, which is unbound in inline type annotations.

hydra.type_script.serde.labeled_statement_to_expr(l: LabeledStatement) → Expr

Convert a labeled statement to an AST expression.

hydra.type_script.serde.literal_to_expr(lit: Literal) → Expr

Convert a literal to an AST expression.

hydra.type_script.serde.member_expression_to_expr(mem: MemberExpression) → Expr

Convert a member expression to an AST expression.

hydra.type_script.serde.method_definition_to_expr(method: MethodDefinition) → Expr

Convert a method definition to an AST expression.

hydra.type_script.serde.module_item_to_expr(item: ModuleItem) → Expr

Convert a module item to an AST expression.

hydra.type_script.serde.module_item_with_comments_to_expr(miwc: ModuleItemWithComments) → Expr

Convert a module item with comments to an AST expression.

hydra.type_script.serde.named_export_to_expr(n: NamedExport) → Expr

Convert a named export to an AST expression.

hydra.type_script.serde.numeric_literal_to_expr(n: NumericLiteral) → Expr

Convert a numeric literal to an AST expression.

hydra.type_script.serde.object_expression_to_expr(obj: Sequence[Property]) → Expr

Convert an object expression to an AST expression.

hydra.type_script.serde.object_pattern_property_to_expr(prop: ObjectPatternProperty) → Expr

Convert an object pattern property to an AST expression.

hydra.type_script.serde.object_pattern_to_expr(obj: ObjectPattern) → Expr

Convert an object pattern to an AST expression.

hydra.type_script.serde.pattern_to_expr(pat: Pattern) → Expr

Convert a pattern to an AST expression.

hydra.type_script.serde.pattern_to_string(pat: Pattern) → str

Render a TS.Pattern as a plain string.

hydra.type_script.serde.program_to_expr(prog: Program) → Expr

Convert a TypeScript program to an AST expression.

hydra.type_script.serde.property_to_expr(prop: Property) → Expr

Convert an object property to an AST expression.

hydra.type_script.serde.return_statement_to_expr(r: object) → Expr

Convert a return statement to an AST expression.

hydra.type_script.serde.statement_to_expr(stmt: Statement) → Expr

Convert a statement to an AST expression.

hydra.type_script.serde.string_literal_to_expr(s: StringLiteral) → Expr

Convert a string literal to an AST expression.

hydra.type_script.serde.switch_case_to_expr(c: SwitchCase) → Expr

Convert a switch case to an AST expression.

hydra.type_script.serde.switch_statement_to_expr(switch_stmt: SwitchStatement) → Expr

Convert a switch statement to an AST expression.

hydra.type_script.serde.template_literal_to_expr(t: TemplateLiteral) → Expr

Convert a template literal to an AST expression.

hydra.type_script.serde.throw_statement_to_expr(t: ThrowStatement) → Expr

Convert a throw statement to an AST expression.

hydra.type_script.serde.to_line_comment(s: str) → str

Convert a string to a TypeScript line comment. Empty source lines emit // (no trailing space).

hydra.type_script.serde.to_type_script_comments(desc: str, tags: Sequence[DocumentationTag]) → str

Format a description and tags as a JSDoc comment. Empty doc lines emit ` *` (no trailing space) so blank lines don’t carry trailing whitespace.

hydra.type_script.serde.try_statement_to_expr(t: TryStatement) → Expr

Convert a try statement to an AST expression.

hydra.type_script.serde.ts_type_expression_to_string(t: TypeExpression) → str

Render a TypeScript type expression as a string in TS syntax.

hydra.type_script.serde.type_expression_to_string(typ: TypeExpression) → str

Convert a type expression to a string for JSDoc.

hydra.type_script.serde.typed_pattern_to_expr(tp: TypedPattern) → Expr

Render <pattern>: <type> (TypeScript parameter / variable type annotation).

hydra.type_script.serde.unary_expression_to_expr(un: UnaryExpression) → Expr

Convert a unary expression to an AST expression.

hydra.type_script.serde.unary_operator_to_string(op: UnaryOperator) → str

Convert a unary operator to a string.

hydra.type_script.serde.variable_declaration_to_expr(decl: VariableDeclaration) → Expr

Convert a variable declaration to an AST expression.

hydra.type_script.serde.variable_declarator_to_expr(decl: VariableDeclarator) → Expr

Convert a variable declarator to an AST expression.

hydra.type_script.serde.variable_kind_to_expr(kind: VariableKind) → Expr

Convert a variable kind to an AST expression.

hydra.type_script.serde.while_statement_to_expr(w: WhileStatement) → Expr

Convert a while statement to an AST expression.