hydra.type_script namespace
Submodules
- hydra.type_script.coder module
analyze_type_script_function()collect_forall_params()collect_imports()collect_inner_type_imports()collect_term_imports()eager_free_variables_in_term()encode_binding_as_statement()encode_lazy_call()encode_literal()encode_literal_type()encode_param()encode_term()encode_term_definition()encode_type()encode_type_definition()encode_type_or_any()filter_non_local_names()flatten_application()force_lazy_refs()function_declaration_from_term()imports_to_text()lazy_flags_for_primitive()let_binding_is_thunk_candidate()mk_doc_comment()module_to_type_script()print_interface_declaration()print_literal()print_module_item()print_property_signature()print_type_alias_declaration()print_type_expression()print_type_parameter()print_type_parameter_list()sanitize_param_name()sort_bindings_topologically()sort_term_defs_topologically()strip_foralls()term_head_variable()thunk_lazy_bindings()thunk_lazy_let()ts_array()ts_arrow()ts_arrow_typed()ts_as_any()ts_call()ts_cond()ts_doc_entity_ref()ts_env_get_graph()ts_env_set_graph()ts_escape_string()ts_expr_ident()ts_expr_str()ts_ident()ts_member()ts_named_type()ts_new()ts_object()ts_param()ts_param_app1()ts_param_app2()ts_paren()ts_prop_sig()ts_prop_sig_with_doc()ts_readonly_map()ts_readonly_set()ts_tuple()ts_typed_ident()ts_undefined()
- hydra.type_script.language module
- hydra.type_script.operators module
add_op()arrow_op()assign_op()bitwise_and_op()bitwise_or_op()bitwise_xor_op()colon_op()comma_op()define_op()divide_op()equal_op()exponentiate_op()greater_than_op()greater_than_or_equal_op()in_op()instance_of_op()left_shift_op()less_than_op()less_than_or_equal_op()logical_and_op()logical_or_op()modulo_op()multiply_op()not_equal_op()nullish_coalescing_op()right_shift_op()strict_equal_op()strict_not_equal_op()subtract_op()ternary_op()unsigned_right_shift_op()
- hydra.type_script.serde module
all_digits()array_element_to_expr()array_expression_to_expr()array_pattern_to_expr()arrow_function_expression_to_expr()assignment_expression_to_expr()assignment_operator_to_string()assignment_pattern_to_expr()binary_expression_to_expr()binary_operator_to_expr()block_statement_to_expr()break_statement_to_expr()call_expression_to_expr()catch_clause_to_expr()class_declaration_to_expr()class_declaration_with_comments_to_expr()conditional_expression_to_expr()continue_statement_to_expr()do_while_statement_to_expr()documentation_comment_to_expr()documentation_tag_to_line()escape_string()export_all_to_expr()export_declaration_to_expr()export_specifier_to_expr()expression_to_expr()for_in_statement_to_expr()for_of_statement_to_expr()for_statement_to_expr()format_import_specifiers()function_declaration_to_expr()function_declaration_with_comments_to_expr()function_expression_to_expr()identifier_to_expr()if_statement_to_expr()import_declaration_to_expr()import_specifier_to_expr()is_kernel_type_var_name()labeled_statement_to_expr()literal_to_expr()member_expression_to_expr()method_definition_to_expr()module_item_to_expr()module_item_with_comments_to_expr()named_export_to_expr()numeric_literal_to_expr()object_expression_to_expr()object_pattern_property_to_expr()object_pattern_to_expr()pattern_to_expr()pattern_to_string()program_to_expr()property_to_expr()return_statement_to_expr()statement_to_expr()string_literal_to_expr()switch_case_to_expr()switch_statement_to_expr()template_literal_to_expr()throw_statement_to_expr()to_line_comment()to_type_script_comments()try_statement_to_expr()ts_type_expression_to_string()type_expression_to_string()typed_pattern_to_expr()unary_expression_to_expr()unary_operator_to_string()variable_declaration_to_expr()variable_declarator_to_expr()variable_kind_to_expr()while_statement_to_expr()
- hydra.type_script.syntax module
ArrayElementArrayElementExpressionArrayElementHoleArrayElementSpreadArrayTypeExpressionArrowFunctionBodyArrowFunctionBodyBlockArrowFunctionBodyExpressionArrowFunctionExpressionArrowFunctionExpression.ASYNCArrowFunctionExpression.BODYArrowFunctionExpression.BuilderArrowFunctionExpression.PARAMSArrowFunctionExpression.TYPE_ArrowFunctionExpression.async_ArrowFunctionExpression.bodyArrowFunctionExpression.builder()ArrowFunctionExpression.paramsArrowFunctionExpression.with_async_()ArrowFunctionExpression.with_body()ArrowFunctionExpression.with_params()
AsExpressionAssignmentExpressionAssignmentExpression.BuilderAssignmentExpression.LEFTAssignmentExpression.OPERATORAssignmentExpression.RIGHTAssignmentExpression.TYPE_AssignmentExpression.builder()AssignmentExpression.leftAssignmentExpression.operatorAssignmentExpression.rightAssignmentExpression.with_left()AssignmentExpression.with_operator()AssignmentExpression.with_right()
AssignmentOperatorAssignmentOperator.ADD_ASSIGNAssignmentOperator.AND_ASSIGNAssignmentOperator.ASSIGNAssignmentOperator.BITWISE_AND_ASSIGNAssignmentOperator.BITWISE_OR_ASSIGNAssignmentOperator.BITWISE_XOR_ASSIGNAssignmentOperator.DIVIDE_ASSIGNAssignmentOperator.EXPONENTIATE_ASSIGNAssignmentOperator.LEFT_SHIFT_ASSIGNAssignmentOperator.MODULO_ASSIGNAssignmentOperator.MULTIPLY_ASSIGNAssignmentOperator.NULLISH_ASSIGNAssignmentOperator.OR_ASSIGNAssignmentOperator.RIGHT_SHIFT_ASSIGNAssignmentOperator.SUBTRACT_ASSIGNAssignmentOperator.TYPE_AssignmentOperator.UNSIGNED_RIGHT_SHIFT_ASSIGN
AssignmentPatternBinaryExpressionBinaryExpression.BuilderBinaryExpression.LEFTBinaryExpression.OPERATORBinaryExpression.RIGHTBinaryExpression.TYPE_BinaryExpression.builder()BinaryExpression.leftBinaryExpression.operatorBinaryExpression.rightBinaryExpression.with_left()BinaryExpression.with_operator()BinaryExpression.with_right()
BinaryOperatorBinaryOperator.ADDBinaryOperator.ANDBinaryOperator.BITWISE_ANDBinaryOperator.BITWISE_ORBinaryOperator.BITWISE_XORBinaryOperator.DIVIDEBinaryOperator.EQUALBinaryOperator.EXPONENTIATEBinaryOperator.GREATER_THANBinaryOperator.GREATER_THAN_OR_EQUALBinaryOperator.INBinaryOperator.INSTANCEOFBinaryOperator.LEFT_SHIFTBinaryOperator.LESS_THANBinaryOperator.LESS_THAN_OR_EQUALBinaryOperator.MODULOBinaryOperator.MULTIPLYBinaryOperator.NOT_EQUALBinaryOperator.NULLISH_COALESCINGBinaryOperator.ORBinaryOperator.RIGHT_SHIFTBinaryOperator.STRICT_EQUALBinaryOperator.STRICT_NOT_EQUALBinaryOperator.SUBTRACTBinaryOperator.TYPE_BinaryOperator.UNSIGNED_RIGHT_SHIFT
CallExpressionCallExpression.ARGUMENTSCallExpression.BuilderCallExpression.CALLEECallExpression.OPTIONALCallExpression.TYPE_CallExpression.argumentsCallExpression.builder()CallExpression.calleeCallExpression.optionalCallExpression.with_arguments()CallExpression.with_callee()CallExpression.with_optional()
CatchClauseClassDeclarationClassDeclaration.BODYClassDeclaration.BuilderClassDeclaration.IDClassDeclaration.SUPER_CLASSClassDeclaration.TYPE_ClassDeclaration.bodyClassDeclaration.builder()ClassDeclaration.idClassDeclaration.super_classClassDeclaration.with_body()ClassDeclaration.with_id()ClassDeclaration.with_super_class()
ClassDeclarationWithCommentsClassDeclarationWithComments.BODYClassDeclarationWithComments.BuilderClassDeclarationWithComments.COMMENTSClassDeclarationWithComments.TYPE_ClassDeclarationWithComments.bodyClassDeclarationWithComments.builder()ClassDeclarationWithComments.commentsClassDeclarationWithComments.with_body()ClassDeclarationWithComments.with_comments()
CommentCommentBlockCommentDocumentationCommentLineConditionalExpressionConditionalExpression.ALTERNATEConditionalExpression.BuilderConditionalExpression.CONSEQUENTConditionalExpression.TESTConditionalExpression.TYPE_ConditionalExpression.alternateConditionalExpression.builder()ConditionalExpression.consequentConditionalExpression.testConditionalExpression.with_alternate()ConditionalExpression.with_consequent()ConditionalExpression.with_test()
DoWhileStatementDocumentationCommentDocumentationTagDocumentationTag.BuilderDocumentationTag.DESCRIPTIONDocumentationTag.NAMEDocumentationTag.PARAM_NAMEDocumentationTag.TYPEDocumentationTag.TYPE_DocumentationTag.builder()DocumentationTag.descriptionDocumentationTag.nameDocumentationTag.param_nameDocumentationTag.typeDocumentationTag.with_description()DocumentationTag.with_name()DocumentationTag.with_param_name()DocumentationTag.with_type()
ExportAllDeclarationExportDeclarationExportDeclarationAllExportDeclarationDeclarationExportDeclarationDefaultExportDeclarationNamedExportSpecifierExpressionExpression.ARRAYExpression.ARROWExpression.ASSIGNMENTExpression.AS_EXPRESSIONExpression.AWAITExpression.BINARYExpression.CALLExpression.CONDITIONALExpression.FUNCTIONExpression.IDENTIFIERExpression.LITERALExpression.MEMBERExpression.NEWExpression.OBJECTExpression.PARENTHESIZEDExpression.SEQUENCEExpression.SPREADExpression.THISExpression.TYPE_Expression.UNARYExpression.YIELD
ExpressionArrayExpressionArrowExpressionAsExpressionExpressionAssignmentExpressionAwaitExpressionBinaryExpressionCallExpressionConditionalExpressionFunctionExpressionIdentifierExpressionLiteralExpressionMemberExpressionNewExpressionObjectExpressionParenthesizedExpressionSequenceExpressionSpreadExpressionThisExpressionUnaryExpressionYieldForInLeftForInLeftPatternForInLeftVariableForInStatementForInitForInitExpressionForInitVariableForOfStatementForOfStatement.AWAITForOfStatement.BODYForOfStatement.BuilderForOfStatement.LEFTForOfStatement.RIGHTForOfStatement.TYPE_ForOfStatement.await_ForOfStatement.bodyForOfStatement.builder()ForOfStatement.leftForOfStatement.rightForOfStatement.with_await_()ForOfStatement.with_body()ForOfStatement.with_left()ForOfStatement.with_right()
ForStatementForStatement.BODYForStatement.BuilderForStatement.INITForStatement.TESTForStatement.TYPE_ForStatement.UPDATEForStatement.bodyForStatement.builder()ForStatement.initForStatement.testForStatement.updateForStatement.with_body()ForStatement.with_init()ForStatement.with_test()ForStatement.with_update()
FunctionDeclarationFunctionDeclaration.ASYNCFunctionDeclaration.BODYFunctionDeclaration.BuilderFunctionDeclaration.GENERATORFunctionDeclaration.IDFunctionDeclaration.PARAMSFunctionDeclaration.TYPE_FunctionDeclaration.async_FunctionDeclaration.bodyFunctionDeclaration.builder()FunctionDeclaration.generatorFunctionDeclaration.idFunctionDeclaration.paramsFunctionDeclaration.with_async_()FunctionDeclaration.with_body()FunctionDeclaration.with_generator()FunctionDeclaration.with_id()FunctionDeclaration.with_params()
FunctionDeclarationWithCommentsFunctionDeclarationWithComments.BODYFunctionDeclarationWithComments.BuilderFunctionDeclarationWithComments.COMMENTSFunctionDeclarationWithComments.TYPE_FunctionDeclarationWithComments.bodyFunctionDeclarationWithComments.builder()FunctionDeclarationWithComments.commentsFunctionDeclarationWithComments.with_body()FunctionDeclarationWithComments.with_comments()
FunctionExpressionFunctionExpression.ASYNCFunctionExpression.BODYFunctionExpression.BuilderFunctionExpression.GENERATORFunctionExpression.IDFunctionExpression.PARAMSFunctionExpression.TYPE_FunctionExpression.async_FunctionExpression.bodyFunctionExpression.builder()FunctionExpression.generatorFunctionExpression.idFunctionExpression.paramsFunctionExpression.with_async_()FunctionExpression.with_body()FunctionExpression.with_generator()FunctionExpression.with_id()FunctionExpression.with_params()
FunctionTypeExpressionFunctionTypeExpression.BuilderFunctionTypeExpression.PARAMETERSFunctionTypeExpression.RETURN_TYPEFunctionTypeExpression.TYPE_FunctionTypeExpression.TYPE_PARAMETERSFunctionTypeExpression.builder()FunctionTypeExpression.parametersFunctionTypeExpression.return_typeFunctionTypeExpression.type_parametersFunctionTypeExpression.with_parameters()FunctionTypeExpression.with_return_type()FunctionTypeExpression.with_type_parameters()
IdentifierIfStatementImportClauseImportClauseDefaultImportClauseNamedImportClauseNamespaceImportDeclarationImportDefaultSpecifierImportNamespaceSpecifierImportSpecifierInterfaceDeclarationInterfaceDeclaration.BuilderInterfaceDeclaration.EXTENDSInterfaceDeclaration.MEMBERSInterfaceDeclaration.NAMEInterfaceDeclaration.TYPE_InterfaceDeclaration.TYPE_PARAMETERSInterfaceDeclaration.builder()InterfaceDeclaration.extendsInterfaceDeclaration.membersInterfaceDeclaration.nameInterfaceDeclaration.type_parametersInterfaceDeclaration.with_extends()InterfaceDeclaration.with_members()InterfaceDeclaration.with_name()InterfaceDeclaration.with_type_parameters()
LabeledStatementLiteralLiteralBigIntLiteralBooleanLiteralNullLiteralNumberLiteralStringLiteralTemplateLiteralUndefinedMemberExpressionMemberExpression.BuilderMemberExpression.COMPUTEDMemberExpression.OBJECTMemberExpression.OPTIONALMemberExpression.PROPERTYMemberExpression.TYPE_MemberExpression.builder()MemberExpression.computedMemberExpression.objectMemberExpression.optionalMemberExpression.propertyMemberExpression.with_computed()MemberExpression.with_object()MemberExpression.with_optional()MemberExpression.with_property()
MethodDefinitionMethodDefinition.BuilderMethodDefinition.COMPUTEDMethodDefinition.KEYMethodDefinition.KINDMethodDefinition.STATICMethodDefinition.TYPE_MethodDefinition.VALUEMethodDefinition.builder()MethodDefinition.computedMethodDefinition.keyMethodDefinition.kindMethodDefinition.staticMethodDefinition.valueMethodDefinition.with_computed()MethodDefinition.with_key()MethodDefinition.with_kind()MethodDefinition.with_static()MethodDefinition.with_value()
MethodKindModuleItemModuleItemExportModuleItemImportModuleItemInterfaceModuleItemStatementModuleItemTypeAliasModuleItemWithCommentsNamedExportNumericLiteralNumericLiteralFloatNumericLiteralIntegerObjectPatternObjectPatternPropertyObjectPatternPropertyPropertyObjectPatternPropertyRestParameterizedTypeExpressionParameterizedTypeExpression.ARGUMENTSParameterizedTypeExpression.BASEParameterizedTypeExpression.BuilderParameterizedTypeExpression.TYPE_ParameterizedTypeExpression.argumentsParameterizedTypeExpression.baseParameterizedTypeExpression.builder()ParameterizedTypeExpression.with_arguments()ParameterizedTypeExpression.with_base()
PatternPatternArrayPatternAssignmentPatternIdentifierPatternObjectPatternRestPatternTypedProgramPropertyProperty.BuilderProperty.COMPUTEDProperty.KEYProperty.KINDProperty.SHORTHANDProperty.TYPE_Property.VALUEProperty.builder()Property.computedProperty.keyProperty.kindProperty.shorthandProperty.valueProperty.with_computed()Property.with_key()Property.with_kind()Property.with_shorthand()Property.with_value()
PropertyKindPropertySignaturePropertySignature.BuilderPropertySignature.COMMENTSPropertySignature.NAMEPropertySignature.OPTIONALPropertySignature.READONLYPropertySignature.TYPEPropertySignature.TYPE_PropertySignature.builder()PropertySignature.commentsPropertySignature.namePropertySignature.optionalPropertySignature.readonlyPropertySignature.typePropertySignature.with_comments()PropertySignature.with_name()PropertySignature.with_optional()PropertySignature.with_readonly()PropertySignature.with_type()
RestElementSourceTypeSpreadElementStatementStatement.BLOCKStatement.BREAKStatement.CLASS_DECLARATIONStatement.CONTINUEStatement.DEBUGGERStatement.DO_WHILEStatement.EMPTYStatement.EXPRESSIONStatement.FORStatement.FOR_INStatement.FOR_OFStatement.FUNCTION_DECLARATIONStatement.IFStatement.LABELEDStatement.RETURNStatement.SWITCHStatement.THROWStatement.TRYStatement.TYPE_Statement.VARIABLE_DECLARATIONStatement.WHILE
StatementBlockStatementBreakStatementClassDeclarationStatementContinueStatementDebuggerStatementDoWhileStatementEmptyStatementExpressionStatementForStatementForInStatementForOfStatementFunctionDeclarationStatementIfStatementLabeledStatementReturnStatementSwitchStatementThrowStatementTryStatementVariableDeclarationStatementWhileStatementWithCommentsStringLiteralSwitchCaseSwitchStatementTemplateElementTemplateLiteralThrowStatementTryStatementTypeAliasDeclarationTypeAliasDeclaration.BuilderTypeAliasDeclaration.NAMETypeAliasDeclaration.TYPETypeAliasDeclaration.TYPE_TypeAliasDeclaration.TYPE_PARAMETERSTypeAliasDeclaration.builder()TypeAliasDeclaration.nameTypeAliasDeclaration.typeTypeAliasDeclaration.type_parametersTypeAliasDeclaration.with_name()TypeAliasDeclaration.with_type()TypeAliasDeclaration.with_type_parameters()
TypeAnnotationTypeExpressionTypeExpression.ANYTypeExpression.ARRAYTypeExpression.FUNCTIONTypeExpression.IDENTIFIERTypeExpression.INTERSECTIONTypeExpression.LITERALTypeExpression.NEVERTypeExpression.OBJECTTypeExpression.OPTIONALTypeExpression.PARAMETERIZEDTypeExpression.READONLYTypeExpression.TUPLETypeExpression.TYPE_TypeExpression.UNIONTypeExpression.UNKNOWNTypeExpression.VOID
TypeExpressionAnyTypeExpressionArrayTypeExpressionFunctionTypeExpressionIdentifierTypeExpressionIntersectionTypeExpressionLiteralTypeExpressionNeverTypeExpressionObjectTypeExpressionOptionalTypeExpressionParameterizedTypeExpressionReadonlyTypeExpressionTupleTypeExpressionUnionTypeExpressionUnknownTypeExpressionVoidTypeParameterTypedPatternUnaryExpressionUnaryExpression.ARGUMENTUnaryExpression.BuilderUnaryExpression.OPERATORUnaryExpression.PREFIXUnaryExpression.TYPE_UnaryExpression.argumentUnaryExpression.builder()UnaryExpression.operatorUnaryExpression.prefixUnaryExpression.with_argument()UnaryExpression.with_operator()UnaryExpression.with_prefix()
UnaryOperatorVariableDeclarationVariableDeclaratorVariableKindWhileStatement