hydra.dsl.go.syntax module

DSL functions for hydra.go.syntax.

hydra.dsl.go.syntax.alias_decl(name: hydra.typed.TypedTerm[hydra.go.syntax.Identifier], type: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.AliasDecl]

DSL constructor for hydra.go.syntax.AliasDecl.

hydra.dsl.go.syntax.alias_decl_name(x: hydra.typed.TypedTerm[hydra.go.syntax.AliasDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier]

DSL accessor for the name field of hydra.go.syntax.AliasDecl.

hydra.dsl.go.syntax.alias_decl_type(x: hydra.typed.TypedTerm[hydra.go.syntax.AliasDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the type field of hydra.go.syntax.AliasDecl.

hydra.dsl.go.syntax.alias_decl_with_name(original: hydra.typed.TypedTerm[hydra.go.syntax.AliasDecl], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.AliasDecl]

DSL updater for the name field of hydra.go.syntax.AliasDecl.

hydra.dsl.go.syntax.alias_decl_with_type(original: hydra.typed.TypedTerm[hydra.go.syntax.AliasDecl], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.AliasDecl]

DSL updater for the type field of hydra.go.syntax.AliasDecl.

hydra.dsl.go.syntax.annotated_declaration(comment: hydra.typed.TypedTerm[str], declaration: hydra.typed.TypedTerm[hydra.go.syntax.TopLevelDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.AnnotatedDeclaration]

DSL constructor for hydra.go.syntax.AnnotatedDeclaration.

hydra.dsl.go.syntax.annotated_declaration_comment(x: hydra.typed.TypedTerm[hydra.go.syntax.AnnotatedDeclaration]) → hydra.typed.TypedTerm[str]

DSL accessor for the comment field of hydra.go.syntax.AnnotatedDeclaration.

hydra.dsl.go.syntax.annotated_declaration_declaration(x: hydra.typed.TypedTerm[hydra.go.syntax.AnnotatedDeclaration]) → hydra.typed.TypedTerm[hydra.go.syntax.TopLevelDecl]

DSL accessor for the declaration field of hydra.go.syntax.AnnotatedDeclaration.

hydra.dsl.go.syntax.annotated_declaration_with_comment(original: hydra.typed.TypedTerm[hydra.go.syntax.AnnotatedDeclaration], new_val: hydra.typed.TypedTerm[str]) → hydra.typed.TypedTerm[hydra.go.syntax.AnnotatedDeclaration]

DSL updater for the comment field of hydra.go.syntax.AnnotatedDeclaration.

hydra.dsl.go.syntax.annotated_declaration_with_declaration(original: hydra.typed.TypedTerm[hydra.go.syntax.AnnotatedDeclaration], new_val: hydra.typed.TypedTerm[hydra.go.syntax.TopLevelDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.AnnotatedDeclaration]

DSL updater for the declaration field of hydra.go.syntax.AnnotatedDeclaration.

hydra.dsl.go.syntax.arguments(type_arg: hydra.typed.TypedTerm[hydra.go.syntax.Type | None], expressions: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]], ellipsis: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.go.syntax.Arguments]

DSL constructor for hydra.go.syntax.Arguments.

hydra.dsl.go.syntax.arguments_ellipsis(x: hydra.typed.TypedTerm[hydra.go.syntax.Arguments]) → hydra.typed.TypedTerm[bool]

DSL accessor for the ellipsis field of hydra.go.syntax.Arguments.

hydra.dsl.go.syntax.arguments_expressions(x: hydra.typed.TypedTerm[hydra.go.syntax.Arguments]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]

DSL accessor for the expressions field of hydra.go.syntax.Arguments.

hydra.dsl.go.syntax.arguments_type_arg(x: hydra.typed.TypedTerm[hydra.go.syntax.Arguments]) → hydra.typed.TypedTerm[hydra.go.syntax.Type | None]

DSL accessor for the typeArg field of hydra.go.syntax.Arguments.

hydra.dsl.go.syntax.arguments_with_ellipsis(original: hydra.typed.TypedTerm[hydra.go.syntax.Arguments], new_val: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.go.syntax.Arguments]

DSL updater for the ellipsis field of hydra.go.syntax.Arguments.

hydra.dsl.go.syntax.arguments_with_expressions(original: hydra.typed.TypedTerm[hydra.go.syntax.Arguments], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]) → hydra.typed.TypedTerm[hydra.go.syntax.Arguments]

DSL updater for the expressions field of hydra.go.syntax.Arguments.

hydra.dsl.go.syntax.arguments_with_type_arg(original: hydra.typed.TypedTerm[hydra.go.syntax.Arguments], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type | None]) → hydra.typed.TypedTerm[hydra.go.syntax.Arguments]

DSL updater for the typeArg field of hydra.go.syntax.Arguments.

hydra.dsl.go.syntax.array_type(length: hydra.typed.TypedTerm[hydra.go.syntax.Expression], element: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.ArrayType]

DSL constructor for hydra.go.syntax.ArrayType.

hydra.dsl.go.syntax.array_type_element(x: hydra.typed.TypedTerm[hydra.go.syntax.ArrayType]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the element field of hydra.go.syntax.ArrayType.

hydra.dsl.go.syntax.array_type_length(x: hydra.typed.TypedTerm[hydra.go.syntax.ArrayType]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the length field of hydra.go.syntax.ArrayType.

hydra.dsl.go.syntax.array_type_with_element(original: hydra.typed.TypedTerm[hydra.go.syntax.ArrayType], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.ArrayType]

DSL updater for the element field of hydra.go.syntax.ArrayType.

hydra.dsl.go.syntax.array_type_with_length(original: hydra.typed.TypedTerm[hydra.go.syntax.ArrayType], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.ArrayType]

DSL updater for the length field of hydra.go.syntax.ArrayType.

hydra.dsl.go.syntax.assign_op_add(x: hydra.typed.TypedTerm[hydra.go.syntax.AddOp]) → hydra.typed.TypedTerm[hydra.go.syntax.AssignOp]

DSL injection for the add variant of hydra.go.syntax.AssignOp.

hydra.dsl.go.syntax.assign_op_mul(x: hydra.typed.TypedTerm[hydra.go.syntax.MulOp]) → hydra.typed.TypedTerm[hydra.go.syntax.AssignOp]

DSL injection for the mul variant of hydra.go.syntax.AssignOp.

hydra.dsl.go.syntax.assignment(lhs: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]], op: hydra.typed.TypedTerm[hydra.go.syntax.AssignOp], rhs: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]) → hydra.typed.TypedTerm[hydra.go.syntax.Assignment]

DSL constructor for hydra.go.syntax.Assignment.

hydra.dsl.go.syntax.assignment_lhs(x: hydra.typed.TypedTerm[hydra.go.syntax.Assignment]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]

DSL accessor for the lhs field of hydra.go.syntax.Assignment.

hydra.dsl.go.syntax.assignment_op(x: hydra.typed.TypedTerm[hydra.go.syntax.Assignment]) → hydra.typed.TypedTerm[hydra.go.syntax.AssignOp]

DSL accessor for the op field of hydra.go.syntax.Assignment.

hydra.dsl.go.syntax.assignment_rhs(x: hydra.typed.TypedTerm[hydra.go.syntax.Assignment]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]

DSL accessor for the rhs field of hydra.go.syntax.Assignment.

hydra.dsl.go.syntax.assignment_with_lhs(original: hydra.typed.TypedTerm[hydra.go.syntax.Assignment], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]) → hydra.typed.TypedTerm[hydra.go.syntax.Assignment]

DSL updater for the lhs field of hydra.go.syntax.Assignment.

hydra.dsl.go.syntax.assignment_with_op(original: hydra.typed.TypedTerm[hydra.go.syntax.Assignment], new_val: hydra.typed.TypedTerm[hydra.go.syntax.AssignOp]) → hydra.typed.TypedTerm[hydra.go.syntax.Assignment]

DSL updater for the op field of hydra.go.syntax.Assignment.

hydra.dsl.go.syntax.assignment_with_rhs(original: hydra.typed.TypedTerm[hydra.go.syntax.Assignment], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]) → hydra.typed.TypedTerm[hydra.go.syntax.Assignment]

DSL updater for the rhs field of hydra.go.syntax.Assignment.

hydra.dsl.go.syntax.basic_lit_float(x: hydra.typed.TypedTerm[hydra.go.syntax.FloatLit]) → hydra.typed.TypedTerm[hydra.go.syntax.BasicLit]

DSL injection for the float variant of hydra.go.syntax.BasicLit.

hydra.dsl.go.syntax.basic_lit_imaginary(x: hydra.typed.TypedTerm[hydra.go.syntax.ImaginaryLit]) → hydra.typed.TypedTerm[hydra.go.syntax.BasicLit]

DSL injection for the imaginary variant of hydra.go.syntax.BasicLit.

hydra.dsl.go.syntax.basic_lit_int(x: hydra.typed.TypedTerm[hydra.go.syntax.IntLit]) → hydra.typed.TypedTerm[hydra.go.syntax.BasicLit]

DSL injection for the int variant of hydra.go.syntax.BasicLit.

hydra.dsl.go.syntax.basic_lit_rune(x: hydra.typed.TypedTerm[hydra.go.syntax.RuneLit]) → hydra.typed.TypedTerm[hydra.go.syntax.BasicLit]

DSL injection for the rune variant of hydra.go.syntax.BasicLit.

hydra.dsl.go.syntax.basic_lit_string(x: hydra.typed.TypedTerm[hydra.go.syntax.StringLit]) → hydra.typed.TypedTerm[hydra.go.syntax.BasicLit]

DSL injection for the string variant of hydra.go.syntax.BasicLit.

hydra.dsl.go.syntax.binary_expr(left: hydra.typed.TypedTerm[hydra.go.syntax.Expression], op: hydra.typed.TypedTerm[hydra.go.syntax.BinaryOp], right: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.BinaryExpr]

DSL constructor for hydra.go.syntax.BinaryExpr.

hydra.dsl.go.syntax.binary_expr_left(x: hydra.typed.TypedTerm[hydra.go.syntax.BinaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the left field of hydra.go.syntax.BinaryExpr.

hydra.dsl.go.syntax.binary_expr_op(x: hydra.typed.TypedTerm[hydra.go.syntax.BinaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.BinaryOp]

DSL accessor for the op field of hydra.go.syntax.BinaryExpr.

hydra.dsl.go.syntax.binary_expr_right(x: hydra.typed.TypedTerm[hydra.go.syntax.BinaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the right field of hydra.go.syntax.BinaryExpr.

hydra.dsl.go.syntax.binary_expr_with_left(original: hydra.typed.TypedTerm[hydra.go.syntax.BinaryExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.BinaryExpr]

DSL updater for the left field of hydra.go.syntax.BinaryExpr.

hydra.dsl.go.syntax.binary_expr_with_op(original: hydra.typed.TypedTerm[hydra.go.syntax.BinaryExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.BinaryOp]) → hydra.typed.TypedTerm[hydra.go.syntax.BinaryExpr]

DSL updater for the op field of hydra.go.syntax.BinaryExpr.

hydra.dsl.go.syntax.binary_expr_with_right(original: hydra.typed.TypedTerm[hydra.go.syntax.BinaryExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.BinaryExpr]

DSL updater for the right field of hydra.go.syntax.BinaryExpr.

hydra.dsl.go.syntax.block(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Statement]]) → hydra.typed.TypedTerm[hydra.go.syntax.Block]

DSL constructor for the hydra.go.syntax.Block wrapper.

hydra.dsl.go.syntax.break_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.Identifier | None]) → hydra.typed.TypedTerm[hydra.go.syntax.BreakStmt]

DSL constructor for the hydra.go.syntax.BreakStmt wrapper.

hydra.dsl.go.syntax.call_expr(function: hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr], arguments: hydra.typed.TypedTerm[hydra.go.syntax.Arguments]) → hydra.typed.TypedTerm[hydra.go.syntax.CallExpr]

DSL constructor for hydra.go.syntax.CallExpr.

hydra.dsl.go.syntax.call_expr_arguments(x: hydra.typed.TypedTerm[hydra.go.syntax.CallExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.Arguments]

DSL accessor for the arguments field of hydra.go.syntax.CallExpr.

hydra.dsl.go.syntax.call_expr_function(x: hydra.typed.TypedTerm[hydra.go.syntax.CallExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL accessor for the function field of hydra.go.syntax.CallExpr.

hydra.dsl.go.syntax.call_expr_with_arguments(original: hydra.typed.TypedTerm[hydra.go.syntax.CallExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Arguments]) → hydra.typed.TypedTerm[hydra.go.syntax.CallExpr]

DSL updater for the arguments field of hydra.go.syntax.CallExpr.

hydra.dsl.go.syntax.call_expr_with_function(original: hydra.typed.TypedTerm[hydra.go.syntax.CallExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.CallExpr]

DSL updater for the function field of hydra.go.syntax.CallExpr.

hydra.dsl.go.syntax.channel_type(direction: hydra.typed.TypedTerm[hydra.go.syntax.ChannelDirection], element: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.ChannelType]

DSL constructor for hydra.go.syntax.ChannelType.

hydra.dsl.go.syntax.channel_type_direction(x: hydra.typed.TypedTerm[hydra.go.syntax.ChannelType]) → hydra.typed.TypedTerm[hydra.go.syntax.ChannelDirection]

DSL accessor for the direction field of hydra.go.syntax.ChannelType.

hydra.dsl.go.syntax.channel_type_element(x: hydra.typed.TypedTerm[hydra.go.syntax.ChannelType]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the element field of hydra.go.syntax.ChannelType.

hydra.dsl.go.syntax.channel_type_with_direction(original: hydra.typed.TypedTerm[hydra.go.syntax.ChannelType], new_val: hydra.typed.TypedTerm[hydra.go.syntax.ChannelDirection]) → hydra.typed.TypedTerm[hydra.go.syntax.ChannelType]

DSL updater for the direction field of hydra.go.syntax.ChannelType.

hydra.dsl.go.syntax.channel_type_with_element(original: hydra.typed.TypedTerm[hydra.go.syntax.ChannelType], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.ChannelType]

DSL updater for the element field of hydra.go.syntax.ChannelType.

hydra.dsl.go.syntax.comm_case_receive(x: hydra.typed.TypedTerm[hydra.go.syntax.ReceiveCase]) → hydra.typed.TypedTerm[hydra.go.syntax.CommCase]

DSL injection for the receive variant of hydra.go.syntax.CommCase.

hydra.dsl.go.syntax.comm_case_send(x: hydra.typed.TypedTerm[hydra.go.syntax.SendStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.CommCase]

DSL injection for the send variant of hydra.go.syntax.CommCase.

hydra.dsl.go.syntax.comm_clause(case: hydra.typed.TypedTerm[hydra.go.syntax.CommCase], statements: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Statement]]) → hydra.typed.TypedTerm[hydra.go.syntax.CommClause]

DSL constructor for hydra.go.syntax.CommClause.

hydra.dsl.go.syntax.comm_clause_case(x: hydra.typed.TypedTerm[hydra.go.syntax.CommClause]) → hydra.typed.TypedTerm[hydra.go.syntax.CommCase]

DSL accessor for the case field of hydra.go.syntax.CommClause.

hydra.dsl.go.syntax.comm_clause_statements(x: hydra.typed.TypedTerm[hydra.go.syntax.CommClause]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Statement]]

DSL accessor for the statements field of hydra.go.syntax.CommClause.

hydra.dsl.go.syntax.comm_clause_with_case(original: hydra.typed.TypedTerm[hydra.go.syntax.CommClause], new_val: hydra.typed.TypedTerm[hydra.go.syntax.CommCase]) → hydra.typed.TypedTerm[hydra.go.syntax.CommClause]

DSL updater for the case field of hydra.go.syntax.CommClause.

hydra.dsl.go.syntax.comm_clause_with_statements(original: hydra.typed.TypedTerm[hydra.go.syntax.CommClause], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Statement]]) → hydra.typed.TypedTerm[hydra.go.syntax.CommClause]

DSL updater for the statements field of hydra.go.syntax.CommClause.

hydra.dsl.go.syntax.composite_lit(type: hydra.typed.TypedTerm[hydra.go.syntax.LiteralType], value: hydra.typed.TypedTerm[hydra.go.syntax.LiteralValue]) → hydra.typed.TypedTerm[hydra.go.syntax.CompositeLit]

DSL constructor for hydra.go.syntax.CompositeLit.

hydra.dsl.go.syntax.composite_lit_type(x: hydra.typed.TypedTerm[hydra.go.syntax.CompositeLit]) → hydra.typed.TypedTerm[hydra.go.syntax.LiteralType]

DSL accessor for the type field of hydra.go.syntax.CompositeLit.

hydra.dsl.go.syntax.composite_lit_value(x: hydra.typed.TypedTerm[hydra.go.syntax.CompositeLit]) → hydra.typed.TypedTerm[hydra.go.syntax.LiteralValue]

DSL accessor for the value field of hydra.go.syntax.CompositeLit.

hydra.dsl.go.syntax.composite_lit_with_type(original: hydra.typed.TypedTerm[hydra.go.syntax.CompositeLit], new_val: hydra.typed.TypedTerm[hydra.go.syntax.LiteralType]) → hydra.typed.TypedTerm[hydra.go.syntax.CompositeLit]

DSL updater for the type field of hydra.go.syntax.CompositeLit.

hydra.dsl.go.syntax.composite_lit_with_value(original: hydra.typed.TypedTerm[hydra.go.syntax.CompositeLit], new_val: hydra.typed.TypedTerm[hydra.go.syntax.LiteralValue]) → hydra.typed.TypedTerm[hydra.go.syntax.CompositeLit]

DSL updater for the value field of hydra.go.syntax.CompositeLit.

hydra.dsl.go.syntax.const_decl(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ConstSpec]]) → hydra.typed.TypedTerm[hydra.go.syntax.ConstDecl]

DSL constructor for the hydra.go.syntax.ConstDecl wrapper.

hydra.dsl.go.syntax.const_spec(names: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]], type: hydra.typed.TypedTerm[hydra.go.syntax.Type | None], values: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]) → hydra.typed.TypedTerm[hydra.go.syntax.ConstSpec]

DSL constructor for hydra.go.syntax.ConstSpec.

hydra.dsl.go.syntax.const_spec_names(x: hydra.typed.TypedTerm[hydra.go.syntax.ConstSpec]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]]

DSL accessor for the names field of hydra.go.syntax.ConstSpec.

hydra.dsl.go.syntax.const_spec_type(x: hydra.typed.TypedTerm[hydra.go.syntax.ConstSpec]) → hydra.typed.TypedTerm[hydra.go.syntax.Type | None]

DSL accessor for the type field of hydra.go.syntax.ConstSpec.

hydra.dsl.go.syntax.const_spec_values(x: hydra.typed.TypedTerm[hydra.go.syntax.ConstSpec]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]

DSL accessor for the values field of hydra.go.syntax.ConstSpec.

hydra.dsl.go.syntax.const_spec_with_names(original: hydra.typed.TypedTerm[hydra.go.syntax.ConstSpec], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]]) → hydra.typed.TypedTerm[hydra.go.syntax.ConstSpec]

DSL updater for the names field of hydra.go.syntax.ConstSpec.

hydra.dsl.go.syntax.const_spec_with_type(original: hydra.typed.TypedTerm[hydra.go.syntax.ConstSpec], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type | None]) → hydra.typed.TypedTerm[hydra.go.syntax.ConstSpec]

DSL updater for the type field of hydra.go.syntax.ConstSpec.

hydra.dsl.go.syntax.const_spec_with_values(original: hydra.typed.TypedTerm[hydra.go.syntax.ConstSpec], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]) → hydra.typed.TypedTerm[hydra.go.syntax.ConstSpec]

DSL updater for the values field of hydra.go.syntax.ConstSpec.

hydra.dsl.go.syntax.continue_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.Identifier | None]) → hydra.typed.TypedTerm[hydra.go.syntax.ContinueStmt]

DSL constructor for the hydra.go.syntax.ContinueStmt wrapper.

hydra.dsl.go.syntax.conversion(type: hydra.typed.TypedTerm[hydra.go.syntax.Type], expression: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.Conversion]

DSL constructor for hydra.go.syntax.Conversion.

hydra.dsl.go.syntax.conversion_expression(x: hydra.typed.TypedTerm[hydra.go.syntax.Conversion]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the expression field of hydra.go.syntax.Conversion.

hydra.dsl.go.syntax.conversion_type(x: hydra.typed.TypedTerm[hydra.go.syntax.Conversion]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the type field of hydra.go.syntax.Conversion.

hydra.dsl.go.syntax.conversion_with_expression(original: hydra.typed.TypedTerm[hydra.go.syntax.Conversion], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.Conversion]

DSL updater for the expression field of hydra.go.syntax.Conversion.

hydra.dsl.go.syntax.conversion_with_type(original: hydra.typed.TypedTerm[hydra.go.syntax.Conversion], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.Conversion]

DSL updater for the type field of hydra.go.syntax.Conversion.

hydra.dsl.go.syntax.declaration_const(x: hydra.typed.TypedTerm[hydra.go.syntax.ConstDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.Declaration]

DSL injection for the const variant of hydra.go.syntax.Declaration.

hydra.dsl.go.syntax.declaration_type(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.Declaration]

DSL injection for the type variant of hydra.go.syntax.Declaration.

hydra.dsl.go.syntax.declaration_var(x: hydra.typed.TypedTerm[hydra.go.syntax.VarDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.Declaration]

DSL injection for the var variant of hydra.go.syntax.Declaration.

hydra.dsl.go.syntax.defer_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.DeferStmt]

DSL constructor for the hydra.go.syntax.DeferStmt wrapper.

hydra.dsl.go.syntax.element_expression(x: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.Element]

DSL injection for the expression variant of hydra.go.syntax.Element.

hydra.dsl.go.syntax.element_list(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.KeyedElement]]) → hydra.typed.TypedTerm[hydra.go.syntax.ElementList]

DSL constructor for the hydra.go.syntax.ElementList wrapper.

hydra.dsl.go.syntax.element_literal(x: hydra.typed.TypedTerm[hydra.go.syntax.LiteralValue]) → hydra.typed.TypedTerm[hydra.go.syntax.Element]

DSL injection for the literal variant of hydra.go.syntax.Element.

hydra.dsl.go.syntax.else_clause_block(x: hydra.typed.TypedTerm[hydra.go.syntax.Block]) → hydra.typed.TypedTerm[hydra.go.syntax.ElseClause]

DSL injection for the block variant of hydra.go.syntax.ElseClause.

hydra.dsl.go.syntax.else_clause_if(x: hydra.typed.TypedTerm[hydra.go.syntax.IfStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.ElseClause]

DSL injection for the if variant of hydra.go.syntax.ElseClause.

hydra.dsl.go.syntax.embedded_field(pointer: hydra.typed.TypedTerm[bool], type: hydra.typed.TypedTerm[hydra.go.syntax.TypeName], tag: hydra.typed.TypedTerm[hydra.go.syntax.Tag | None]) → hydra.typed.TypedTerm[hydra.go.syntax.EmbeddedField]

DSL constructor for hydra.go.syntax.EmbeddedField.

hydra.dsl.go.syntax.embedded_field_pointer(x: hydra.typed.TypedTerm[hydra.go.syntax.EmbeddedField]) → hydra.typed.TypedTerm[bool]

DSL accessor for the pointer field of hydra.go.syntax.EmbeddedField.

hydra.dsl.go.syntax.embedded_field_tag(x: hydra.typed.TypedTerm[hydra.go.syntax.EmbeddedField]) → hydra.typed.TypedTerm[hydra.go.syntax.Tag | None]

DSL accessor for the tag field of hydra.go.syntax.EmbeddedField.

hydra.dsl.go.syntax.embedded_field_type(x: hydra.typed.TypedTerm[hydra.go.syntax.EmbeddedField]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeName]

DSL accessor for the type field of hydra.go.syntax.EmbeddedField.

hydra.dsl.go.syntax.embedded_field_with_pointer(original: hydra.typed.TypedTerm[hydra.go.syntax.EmbeddedField], new_val: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.go.syntax.EmbeddedField]

DSL updater for the pointer field of hydra.go.syntax.EmbeddedField.

hydra.dsl.go.syntax.embedded_field_with_tag(original: hydra.typed.TypedTerm[hydra.go.syntax.EmbeddedField], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Tag | None]) → hydra.typed.TypedTerm[hydra.go.syntax.EmbeddedField]

DSL updater for the tag field of hydra.go.syntax.EmbeddedField.

hydra.dsl.go.syntax.embedded_field_with_type(original: hydra.typed.TypedTerm[hydra.go.syntax.EmbeddedField], new_val: hydra.typed.TypedTerm[hydra.go.syntax.TypeName]) → hydra.typed.TypedTerm[hydra.go.syntax.EmbeddedField]

DSL updater for the type field of hydra.go.syntax.EmbeddedField.

hydra.dsl.go.syntax.empty_stmt(x: hydra.typed.TypedTerm[None]) → hydra.typed.TypedTerm[hydra.go.syntax.EmptyStmt]

DSL constructor for the hydra.go.syntax.EmptyStmt wrapper.

hydra.dsl.go.syntax.expr_case_clause(case: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression] | None], statements: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Statement]]) → hydra.typed.TypedTerm[hydra.go.syntax.ExprCaseClause]

DSL constructor for hydra.go.syntax.ExprCaseClause.

hydra.dsl.go.syntax.expr_case_clause_case(x: hydra.typed.TypedTerm[hydra.go.syntax.ExprCaseClause]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression] | None]

DSL accessor for the case field of hydra.go.syntax.ExprCaseClause.

hydra.dsl.go.syntax.expr_case_clause_statements(x: hydra.typed.TypedTerm[hydra.go.syntax.ExprCaseClause]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Statement]]

DSL accessor for the statements field of hydra.go.syntax.ExprCaseClause.

hydra.dsl.go.syntax.expr_case_clause_with_case(original: hydra.typed.TypedTerm[hydra.go.syntax.ExprCaseClause], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression] | None]) → hydra.typed.TypedTerm[hydra.go.syntax.ExprCaseClause]

DSL updater for the case field of hydra.go.syntax.ExprCaseClause.

hydra.dsl.go.syntax.expr_case_clause_with_statements(original: hydra.typed.TypedTerm[hydra.go.syntax.ExprCaseClause], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Statement]]) → hydra.typed.TypedTerm[hydra.go.syntax.ExprCaseClause]

DSL updater for the statements field of hydra.go.syntax.ExprCaseClause.

hydra.dsl.go.syntax.expr_switch_stmt(init: hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None], expression: hydra.typed.TypedTerm[hydra.go.syntax.Expression | None], cases: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ExprCaseClause]]) → hydra.typed.TypedTerm[hydra.go.syntax.ExprSwitchStmt]

DSL constructor for hydra.go.syntax.ExprSwitchStmt.

hydra.dsl.go.syntax.expr_switch_stmt_cases(x: hydra.typed.TypedTerm[hydra.go.syntax.ExprSwitchStmt]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ExprCaseClause]]

DSL accessor for the cases field of hydra.go.syntax.ExprSwitchStmt.

hydra.dsl.go.syntax.expr_switch_stmt_expression(x: hydra.typed.TypedTerm[hydra.go.syntax.ExprSwitchStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression | None]

DSL accessor for the expression field of hydra.go.syntax.ExprSwitchStmt.

hydra.dsl.go.syntax.expr_switch_stmt_init(x: hydra.typed.TypedTerm[hydra.go.syntax.ExprSwitchStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None]

DSL accessor for the init field of hydra.go.syntax.ExprSwitchStmt.

hydra.dsl.go.syntax.expr_switch_stmt_with_cases(original: hydra.typed.TypedTerm[hydra.go.syntax.ExprSwitchStmt], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ExprCaseClause]]) → hydra.typed.TypedTerm[hydra.go.syntax.ExprSwitchStmt]

DSL updater for the cases field of hydra.go.syntax.ExprSwitchStmt.

hydra.dsl.go.syntax.expr_switch_stmt_with_expression(original: hydra.typed.TypedTerm[hydra.go.syntax.ExprSwitchStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression | None]) → hydra.typed.TypedTerm[hydra.go.syntax.ExprSwitchStmt]

DSL updater for the expression field of hydra.go.syntax.ExprSwitchStmt.

hydra.dsl.go.syntax.expr_switch_stmt_with_init(original: hydra.typed.TypedTerm[hydra.go.syntax.ExprSwitchStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None]) → hydra.typed.TypedTerm[hydra.go.syntax.ExprSwitchStmt]

DSL updater for the init field of hydra.go.syntax.ExprSwitchStmt.

hydra.dsl.go.syntax.expression_binary(x: hydra.typed.TypedTerm[hydra.go.syntax.BinaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL injection for the binary variant of hydra.go.syntax.Expression.

hydra.dsl.go.syntax.expression_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.ExpressionStmt]

DSL constructor for the hydra.go.syntax.ExpressionStmt wrapper.

hydra.dsl.go.syntax.expression_unary(x: hydra.typed.TypedTerm[hydra.go.syntax.UnaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL injection for the unary variant of hydra.go.syntax.Expression.

hydra.dsl.go.syntax.fallthrough_stmt(x: hydra.typed.TypedTerm[None]) → hydra.typed.TypedTerm[hydra.go.syntax.FallthroughStmt]

DSL constructor for the hydra.go.syntax.FallthroughStmt wrapper.

hydra.dsl.go.syntax.field_decl_embedded(x: hydra.typed.TypedTerm[hydra.go.syntax.EmbeddedField]) → hydra.typed.TypedTerm[hydra.go.syntax.FieldDecl]

DSL injection for the embedded variant of hydra.go.syntax.FieldDecl.

hydra.dsl.go.syntax.field_decl_named(x: hydra.typed.TypedTerm[hydra.go.syntax.NamedField]) → hydra.typed.TypedTerm[hydra.go.syntax.FieldDecl]

DSL injection for the named variant of hydra.go.syntax.FieldDecl.

hydra.dsl.go.syntax.float_lit(x: hydra.typed.TypedTerm[float]) → hydra.typed.TypedTerm[hydra.go.syntax.FloatLit]

DSL constructor for the hydra.go.syntax.FloatLit wrapper.

hydra.dsl.go.syntax.for_clause(init: hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None], condition: hydra.typed.TypedTerm[hydra.go.syntax.Expression | None], post: hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None]) → hydra.typed.TypedTerm[hydra.go.syntax.ForClause]

DSL constructor for hydra.go.syntax.ForClause.

hydra.dsl.go.syntax.for_clause_condition(x: hydra.typed.TypedTerm[hydra.go.syntax.ForClause]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression | None]

DSL accessor for the condition field of hydra.go.syntax.ForClause.

hydra.dsl.go.syntax.for_clause_init(x: hydra.typed.TypedTerm[hydra.go.syntax.ForClause]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None]

DSL accessor for the init field of hydra.go.syntax.ForClause.

hydra.dsl.go.syntax.for_clause_or_range_clause(x: hydra.typed.TypedTerm[hydra.go.syntax.ForClause]) → hydra.typed.TypedTerm[hydra.go.syntax.ForClauseOrRange]

DSL injection for the clause variant of hydra.go.syntax.ForClauseOrRange.

hydra.dsl.go.syntax.for_clause_or_range_condition(x: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.ForClauseOrRange]

DSL injection for the condition variant of hydra.go.syntax.ForClauseOrRange.

hydra.dsl.go.syntax.for_clause_or_range_range(x: hydra.typed.TypedTerm[hydra.go.syntax.RangeClause]) → hydra.typed.TypedTerm[hydra.go.syntax.ForClauseOrRange]

DSL injection for the range variant of hydra.go.syntax.ForClauseOrRange.

hydra.dsl.go.syntax.for_clause_post(x: hydra.typed.TypedTerm[hydra.go.syntax.ForClause]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None]

DSL accessor for the post field of hydra.go.syntax.ForClause.

hydra.dsl.go.syntax.for_clause_with_condition(original: hydra.typed.TypedTerm[hydra.go.syntax.ForClause], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression | None]) → hydra.typed.TypedTerm[hydra.go.syntax.ForClause]

DSL updater for the condition field of hydra.go.syntax.ForClause.

hydra.dsl.go.syntax.for_clause_with_init(original: hydra.typed.TypedTerm[hydra.go.syntax.ForClause], new_val: hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None]) → hydra.typed.TypedTerm[hydra.go.syntax.ForClause]

DSL updater for the init field of hydra.go.syntax.ForClause.

hydra.dsl.go.syntax.for_clause_with_post(original: hydra.typed.TypedTerm[hydra.go.syntax.ForClause], new_val: hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None]) → hydra.typed.TypedTerm[hydra.go.syntax.ForClause]

DSL updater for the post field of hydra.go.syntax.ForClause.

hydra.dsl.go.syntax.for_stmt(clause: hydra.typed.TypedTerm[hydra.go.syntax.ForClauseOrRange | None], body: hydra.typed.TypedTerm[hydra.go.syntax.Block]) → hydra.typed.TypedTerm[hydra.go.syntax.ForStmt]

DSL constructor for hydra.go.syntax.ForStmt.

hydra.dsl.go.syntax.for_stmt_body(x: hydra.typed.TypedTerm[hydra.go.syntax.ForStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Block]

DSL accessor for the body field of hydra.go.syntax.ForStmt.

hydra.dsl.go.syntax.for_stmt_clause(x: hydra.typed.TypedTerm[hydra.go.syntax.ForStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.ForClauseOrRange | None]

DSL accessor for the clause field of hydra.go.syntax.ForStmt.

hydra.dsl.go.syntax.for_stmt_with_body(original: hydra.typed.TypedTerm[hydra.go.syntax.ForStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Block]) → hydra.typed.TypedTerm[hydra.go.syntax.ForStmt]

DSL updater for the body field of hydra.go.syntax.ForStmt.

hydra.dsl.go.syntax.for_stmt_with_clause(original: hydra.typed.TypedTerm[hydra.go.syntax.ForStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.ForClauseOrRange | None]) → hydra.typed.TypedTerm[hydra.go.syntax.ForStmt]

DSL updater for the clause field of hydra.go.syntax.ForStmt.

hydra.dsl.go.syntax.full_slice(low: hydra.typed.TypedTerm[hydra.go.syntax.Expression | None], high: hydra.typed.TypedTerm[hydra.go.syntax.Expression], max: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.FullSlice]

DSL constructor for hydra.go.syntax.FullSlice.

hydra.dsl.go.syntax.full_slice_high(x: hydra.typed.TypedTerm[hydra.go.syntax.FullSlice]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the high field of hydra.go.syntax.FullSlice.

hydra.dsl.go.syntax.full_slice_low(x: hydra.typed.TypedTerm[hydra.go.syntax.FullSlice]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression | None]

DSL accessor for the low field of hydra.go.syntax.FullSlice.

hydra.dsl.go.syntax.full_slice_max(x: hydra.typed.TypedTerm[hydra.go.syntax.FullSlice]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the max field of hydra.go.syntax.FullSlice.

hydra.dsl.go.syntax.full_slice_with_high(original: hydra.typed.TypedTerm[hydra.go.syntax.FullSlice], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.FullSlice]

DSL updater for the high field of hydra.go.syntax.FullSlice.

hydra.dsl.go.syntax.full_slice_with_low(original: hydra.typed.TypedTerm[hydra.go.syntax.FullSlice], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression | None]) → hydra.typed.TypedTerm[hydra.go.syntax.FullSlice]

DSL updater for the low field of hydra.go.syntax.FullSlice.

hydra.dsl.go.syntax.full_slice_with_max(original: hydra.typed.TypedTerm[hydra.go.syntax.FullSlice], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.FullSlice]

DSL updater for the max field of hydra.go.syntax.FullSlice.

hydra.dsl.go.syntax.function_body(x: hydra.typed.TypedTerm[hydra.go.syntax.Block]) → hydra.typed.TypedTerm[hydra.go.syntax.FunctionBody]

DSL constructor for the hydra.go.syntax.FunctionBody wrapper.

hydra.dsl.go.syntax.function_decl(name: hydra.typed.TypedTerm[hydra.go.syntax.Identifier], type_params: hydra.typed.TypedTerm[hydra.go.syntax.TypeParameters | None], signature: hydra.typed.TypedTerm[hydra.go.syntax.Signature], body: hydra.typed.TypedTerm[hydra.go.syntax.FunctionBody | None]) → hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl]

DSL constructor for hydra.go.syntax.FunctionDecl.

hydra.dsl.go.syntax.function_decl_body(x: hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.FunctionBody | None]

DSL accessor for the body field of hydra.go.syntax.FunctionDecl.

hydra.dsl.go.syntax.function_decl_name(x: hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier]

DSL accessor for the name field of hydra.go.syntax.FunctionDecl.

hydra.dsl.go.syntax.function_decl_signature(x: hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.Signature]

DSL accessor for the signature field of hydra.go.syntax.FunctionDecl.

hydra.dsl.go.syntax.function_decl_type_params(x: hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeParameters | None]

DSL accessor for the typeParams field of hydra.go.syntax.FunctionDecl.

hydra.dsl.go.syntax.function_decl_with_body(original: hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl], new_val: hydra.typed.TypedTerm[hydra.go.syntax.FunctionBody | None]) → hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl]

DSL updater for the body field of hydra.go.syntax.FunctionDecl.

hydra.dsl.go.syntax.function_decl_with_name(original: hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl]

DSL updater for the name field of hydra.go.syntax.FunctionDecl.

hydra.dsl.go.syntax.function_decl_with_signature(original: hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Signature]) → hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl]

DSL updater for the signature field of hydra.go.syntax.FunctionDecl.

hydra.dsl.go.syntax.function_decl_with_type_params(original: hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl], new_val: hydra.typed.TypedTerm[hydra.go.syntax.TypeParameters | None]) → hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl]

DSL updater for the typeParams field of hydra.go.syntax.FunctionDecl.

hydra.dsl.go.syntax.function_lit(signature: hydra.typed.TypedTerm[hydra.go.syntax.Signature], body: hydra.typed.TypedTerm[hydra.go.syntax.FunctionBody]) → hydra.typed.TypedTerm[hydra.go.syntax.FunctionLit]

DSL constructor for hydra.go.syntax.FunctionLit.

hydra.dsl.go.syntax.function_lit_body(x: hydra.typed.TypedTerm[hydra.go.syntax.FunctionLit]) → hydra.typed.TypedTerm[hydra.go.syntax.FunctionBody]

DSL accessor for the body field of hydra.go.syntax.FunctionLit.

hydra.dsl.go.syntax.function_lit_signature(x: hydra.typed.TypedTerm[hydra.go.syntax.FunctionLit]) → hydra.typed.TypedTerm[hydra.go.syntax.Signature]

DSL accessor for the signature field of hydra.go.syntax.FunctionLit.

hydra.dsl.go.syntax.function_lit_with_body(original: hydra.typed.TypedTerm[hydra.go.syntax.FunctionLit], new_val: hydra.typed.TypedTerm[hydra.go.syntax.FunctionBody]) → hydra.typed.TypedTerm[hydra.go.syntax.FunctionLit]

DSL updater for the body field of hydra.go.syntax.FunctionLit.

hydra.dsl.go.syntax.function_lit_with_signature(original: hydra.typed.TypedTerm[hydra.go.syntax.FunctionLit], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Signature]) → hydra.typed.TypedTerm[hydra.go.syntax.FunctionLit]

DSL updater for the signature field of hydra.go.syntax.FunctionLit.

hydra.dsl.go.syntax.function_type(x: hydra.typed.TypedTerm[hydra.go.syntax.Signature]) → hydra.typed.TypedTerm[hydra.go.syntax.FunctionType]

DSL constructor for the hydra.go.syntax.FunctionType wrapper.

hydra.dsl.go.syntax.go_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.GoStmt]

DSL constructor for the hydra.go.syntax.GoStmt wrapper.

hydra.dsl.go.syntax.goto_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.GotoStmt]

DSL constructor for the hydra.go.syntax.GotoStmt wrapper.

hydra.dsl.go.syntax.identifier(x: hydra.typed.TypedTerm[str]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier]

DSL constructor for the hydra.go.syntax.Identifier wrapper.

hydra.dsl.go.syntax.if_stmt(init: hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None], condition: hydra.typed.TypedTerm[hydra.go.syntax.Expression], then: hydra.typed.TypedTerm[hydra.go.syntax.Block], else_: hydra.typed.TypedTerm[hydra.go.syntax.ElseClause | None]) → hydra.typed.TypedTerm[hydra.go.syntax.IfStmt]

DSL constructor for hydra.go.syntax.IfStmt.

hydra.dsl.go.syntax.if_stmt_condition(x: hydra.typed.TypedTerm[hydra.go.syntax.IfStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the condition field of hydra.go.syntax.IfStmt.

hydra.dsl.go.syntax.if_stmt_else(x: hydra.typed.TypedTerm[hydra.go.syntax.IfStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.ElseClause | None]

DSL accessor for the else field of hydra.go.syntax.IfStmt.

hydra.dsl.go.syntax.if_stmt_init(x: hydra.typed.TypedTerm[hydra.go.syntax.IfStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None]

DSL accessor for the init field of hydra.go.syntax.IfStmt.

hydra.dsl.go.syntax.if_stmt_then(x: hydra.typed.TypedTerm[hydra.go.syntax.IfStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Block]

DSL accessor for the then field of hydra.go.syntax.IfStmt.

hydra.dsl.go.syntax.if_stmt_with_condition(original: hydra.typed.TypedTerm[hydra.go.syntax.IfStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.IfStmt]

DSL updater for the condition field of hydra.go.syntax.IfStmt.

hydra.dsl.go.syntax.if_stmt_with_else(original: hydra.typed.TypedTerm[hydra.go.syntax.IfStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.ElseClause | None]) → hydra.typed.TypedTerm[hydra.go.syntax.IfStmt]

DSL updater for the else field of hydra.go.syntax.IfStmt.

hydra.dsl.go.syntax.if_stmt_with_init(original: hydra.typed.TypedTerm[hydra.go.syntax.IfStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None]) → hydra.typed.TypedTerm[hydra.go.syntax.IfStmt]

DSL updater for the init field of hydra.go.syntax.IfStmt.

hydra.dsl.go.syntax.if_stmt_with_then(original: hydra.typed.TypedTerm[hydra.go.syntax.IfStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Block]) → hydra.typed.TypedTerm[hydra.go.syntax.IfStmt]

DSL updater for the then field of hydra.go.syntax.IfStmt.

hydra.dsl.go.syntax.imaginary_lit(x: hydra.typed.TypedTerm[float]) → hydra.typed.TypedTerm[hydra.go.syntax.ImaginaryLit]

DSL constructor for the hydra.go.syntax.ImaginaryLit wrapper.

hydra.dsl.go.syntax.import_alias_name(x: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.ImportAlias]

DSL injection for the name variant of hydra.go.syntax.ImportAlias.

hydra.dsl.go.syntax.import_decl(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ImportSpec]]) → hydra.typed.TypedTerm[hydra.go.syntax.ImportDecl]

DSL constructor for the hydra.go.syntax.ImportDecl wrapper.

hydra.dsl.go.syntax.import_path(x: hydra.typed.TypedTerm[hydra.go.syntax.StringLit]) → hydra.typed.TypedTerm[hydra.go.syntax.ImportPath]

DSL constructor for the hydra.go.syntax.ImportPath wrapper.

hydra.dsl.go.syntax.import_spec(alias: hydra.typed.TypedTerm[hydra.go.syntax.ImportAlias | None], path: hydra.typed.TypedTerm[hydra.go.syntax.ImportPath]) → hydra.typed.TypedTerm[hydra.go.syntax.ImportSpec]

DSL constructor for hydra.go.syntax.ImportSpec.

hydra.dsl.go.syntax.import_spec_alias(x: hydra.typed.TypedTerm[hydra.go.syntax.ImportSpec]) → hydra.typed.TypedTerm[hydra.go.syntax.ImportAlias | None]

DSL accessor for the alias field of hydra.go.syntax.ImportSpec.

hydra.dsl.go.syntax.import_spec_path(x: hydra.typed.TypedTerm[hydra.go.syntax.ImportSpec]) → hydra.typed.TypedTerm[hydra.go.syntax.ImportPath]

DSL accessor for the path field of hydra.go.syntax.ImportSpec.

hydra.dsl.go.syntax.import_spec_with_alias(original: hydra.typed.TypedTerm[hydra.go.syntax.ImportSpec], new_val: hydra.typed.TypedTerm[hydra.go.syntax.ImportAlias | None]) → hydra.typed.TypedTerm[hydra.go.syntax.ImportSpec]

DSL updater for the alias field of hydra.go.syntax.ImportSpec.

hydra.dsl.go.syntax.import_spec_with_path(original: hydra.typed.TypedTerm[hydra.go.syntax.ImportSpec], new_val: hydra.typed.TypedTerm[hydra.go.syntax.ImportPath]) → hydra.typed.TypedTerm[hydra.go.syntax.ImportSpec]

DSL updater for the path field of hydra.go.syntax.ImportSpec.

hydra.dsl.go.syntax.inc_dec_stmt(expression: hydra.typed.TypedTerm[hydra.go.syntax.Expression], increment: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.go.syntax.IncDecStmt]

DSL constructor for hydra.go.syntax.IncDecStmt.

hydra.dsl.go.syntax.inc_dec_stmt_expression(x: hydra.typed.TypedTerm[hydra.go.syntax.IncDecStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the expression field of hydra.go.syntax.IncDecStmt.

hydra.dsl.go.syntax.inc_dec_stmt_increment(x: hydra.typed.TypedTerm[hydra.go.syntax.IncDecStmt]) → hydra.typed.TypedTerm[bool]

DSL accessor for the increment field of hydra.go.syntax.IncDecStmt.

hydra.dsl.go.syntax.inc_dec_stmt_with_expression(original: hydra.typed.TypedTerm[hydra.go.syntax.IncDecStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.IncDecStmt]

DSL updater for the expression field of hydra.go.syntax.IncDecStmt.

hydra.dsl.go.syntax.inc_dec_stmt_with_increment(original: hydra.typed.TypedTerm[hydra.go.syntax.IncDecStmt], new_val: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.go.syntax.IncDecStmt]

DSL updater for the increment field of hydra.go.syntax.IncDecStmt.

hydra.dsl.go.syntax.index(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]) → hydra.typed.TypedTerm[hydra.go.syntax.Index]

DSL constructor for the hydra.go.syntax.Index wrapper.

hydra.dsl.go.syntax.index_expr(expr: hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr], index: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.IndexExpr]

DSL constructor for hydra.go.syntax.IndexExpr.

hydra.dsl.go.syntax.index_expr_expr(x: hydra.typed.TypedTerm[hydra.go.syntax.IndexExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL accessor for the expr field of hydra.go.syntax.IndexExpr.

hydra.dsl.go.syntax.index_expr_index(x: hydra.typed.TypedTerm[hydra.go.syntax.IndexExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the index field of hydra.go.syntax.IndexExpr.

hydra.dsl.go.syntax.index_expr_with_expr(original: hydra.typed.TypedTerm[hydra.go.syntax.IndexExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.IndexExpr]

DSL updater for the expr field of hydra.go.syntax.IndexExpr.

hydra.dsl.go.syntax.index_expr_with_index(original: hydra.typed.TypedTerm[hydra.go.syntax.IndexExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.IndexExpr]

DSL updater for the index field of hydra.go.syntax.IndexExpr.

hydra.dsl.go.syntax.int_lit(x: hydra.typed.TypedTerm[int]) → hydra.typed.TypedTerm[hydra.go.syntax.IntLit]

DSL constructor for the hydra.go.syntax.IntLit wrapper.

hydra.dsl.go.syntax.interface_elem_method(x: hydra.typed.TypedTerm[hydra.go.syntax.MethodElem]) → hydra.typed.TypedTerm[hydra.go.syntax.InterfaceElem]

DSL injection for the method variant of hydra.go.syntax.InterfaceElem.

hydra.dsl.go.syntax.interface_elem_type(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeElem]) → hydra.typed.TypedTerm[hydra.go.syntax.InterfaceElem]

DSL injection for the type variant of hydra.go.syntax.InterfaceElem.

hydra.dsl.go.syntax.interface_type(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.InterfaceElem]]) → hydra.typed.TypedTerm[hydra.go.syntax.InterfaceType]

DSL constructor for the hydra.go.syntax.InterfaceType wrapper.

hydra.dsl.go.syntax.interpreted_string_lit(x: hydra.typed.TypedTerm[str]) → hydra.typed.TypedTerm[hydra.go.syntax.InterpretedStringLit]

DSL constructor for the hydra.go.syntax.InterpretedStringLit wrapper.

hydra.dsl.go.syntax.key_expression(x: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.Key]

DSL injection for the expression variant of hydra.go.syntax.Key.

hydra.dsl.go.syntax.key_field(x: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.Key]

DSL injection for the field variant of hydra.go.syntax.Key.

hydra.dsl.go.syntax.key_literal(x: hydra.typed.TypedTerm[hydra.go.syntax.LiteralValue]) → hydra.typed.TypedTerm[hydra.go.syntax.Key]

DSL injection for the literal variant of hydra.go.syntax.Key.

hydra.dsl.go.syntax.keyed_element(key: hydra.typed.TypedTerm[hydra.go.syntax.Key | None], element: hydra.typed.TypedTerm[hydra.go.syntax.Element]) → hydra.typed.TypedTerm[hydra.go.syntax.KeyedElement]

DSL constructor for hydra.go.syntax.KeyedElement.

hydra.dsl.go.syntax.keyed_element_element(x: hydra.typed.TypedTerm[hydra.go.syntax.KeyedElement]) → hydra.typed.TypedTerm[hydra.go.syntax.Element]

DSL accessor for the element field of hydra.go.syntax.KeyedElement.

hydra.dsl.go.syntax.keyed_element_key(x: hydra.typed.TypedTerm[hydra.go.syntax.KeyedElement]) → hydra.typed.TypedTerm[hydra.go.syntax.Key | None]

DSL accessor for the key field of hydra.go.syntax.KeyedElement.

hydra.dsl.go.syntax.keyed_element_with_element(original: hydra.typed.TypedTerm[hydra.go.syntax.KeyedElement], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Element]) → hydra.typed.TypedTerm[hydra.go.syntax.KeyedElement]

DSL updater for the element field of hydra.go.syntax.KeyedElement.

hydra.dsl.go.syntax.keyed_element_with_key(original: hydra.typed.TypedTerm[hydra.go.syntax.KeyedElement], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Key | None]) → hydra.typed.TypedTerm[hydra.go.syntax.KeyedElement]

DSL updater for the key field of hydra.go.syntax.KeyedElement.

hydra.dsl.go.syntax.labeled_stmt(label: hydra.typed.TypedTerm[hydra.go.syntax.Identifier], statement: hydra.typed.TypedTerm[hydra.go.syntax.Statement]) → hydra.typed.TypedTerm[hydra.go.syntax.LabeledStmt]

DSL constructor for hydra.go.syntax.LabeledStmt.

hydra.dsl.go.syntax.labeled_stmt_label(x: hydra.typed.TypedTerm[hydra.go.syntax.LabeledStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier]

DSL accessor for the label field of hydra.go.syntax.LabeledStmt.

hydra.dsl.go.syntax.labeled_stmt_statement(x: hydra.typed.TypedTerm[hydra.go.syntax.LabeledStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL accessor for the statement field of hydra.go.syntax.LabeledStmt.

hydra.dsl.go.syntax.labeled_stmt_with_label(original: hydra.typed.TypedTerm[hydra.go.syntax.LabeledStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.LabeledStmt]

DSL updater for the label field of hydra.go.syntax.LabeledStmt.

hydra.dsl.go.syntax.labeled_stmt_with_statement(original: hydra.typed.TypedTerm[hydra.go.syntax.LabeledStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Statement]) → hydra.typed.TypedTerm[hydra.go.syntax.LabeledStmt]

DSL updater for the statement field of hydra.go.syntax.LabeledStmt.

hydra.dsl.go.syntax.literal_basic(x: hydra.typed.TypedTerm[hydra.go.syntax.BasicLit]) → hydra.typed.TypedTerm[hydra.go.syntax.Literal]

DSL injection for the basic variant of hydra.go.syntax.Literal.

hydra.dsl.go.syntax.literal_composite(x: hydra.typed.TypedTerm[hydra.go.syntax.CompositeLit]) → hydra.typed.TypedTerm[hydra.go.syntax.Literal]

DSL injection for the composite variant of hydra.go.syntax.Literal.

hydra.dsl.go.syntax.literal_function(x: hydra.typed.TypedTerm[hydra.go.syntax.FunctionLit]) → hydra.typed.TypedTerm[hydra.go.syntax.Literal]

DSL injection for the function variant of hydra.go.syntax.Literal.

hydra.dsl.go.syntax.literal_type_array(x: hydra.typed.TypedTerm[hydra.go.syntax.ArrayType]) → hydra.typed.TypedTerm[hydra.go.syntax.LiteralType]

DSL injection for the array variant of hydra.go.syntax.LiteralType.

hydra.dsl.go.syntax.literal_type_inferred_array(x: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.LiteralType]

DSL injection for the inferredArray variant of hydra.go.syntax.LiteralType.

hydra.dsl.go.syntax.literal_type_map(x: hydra.typed.TypedTerm[hydra.go.syntax.MapType]) → hydra.typed.TypedTerm[hydra.go.syntax.LiteralType]

DSL injection for the map variant of hydra.go.syntax.LiteralType.

hydra.dsl.go.syntax.literal_type_name(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeName]) → hydra.typed.TypedTerm[hydra.go.syntax.LiteralType]

DSL injection for the name variant of hydra.go.syntax.LiteralType.

hydra.dsl.go.syntax.literal_type_slice(x: hydra.typed.TypedTerm[hydra.go.syntax.SliceType]) → hydra.typed.TypedTerm[hydra.go.syntax.LiteralType]

DSL injection for the slice variant of hydra.go.syntax.LiteralType.

hydra.dsl.go.syntax.literal_type_struct(x: hydra.typed.TypedTerm[hydra.go.syntax.StructType]) → hydra.typed.TypedTerm[hydra.go.syntax.LiteralType]

DSL injection for the struct variant of hydra.go.syntax.LiteralType.

hydra.dsl.go.syntax.literal_value(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.KeyedElement]]) → hydra.typed.TypedTerm[hydra.go.syntax.LiteralValue]

DSL constructor for the hydra.go.syntax.LiteralValue wrapper.

hydra.dsl.go.syntax.map_type(key: hydra.typed.TypedTerm[hydra.go.syntax.Type], value: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.MapType]

DSL constructor for hydra.go.syntax.MapType.

hydra.dsl.go.syntax.map_type_key(x: hydra.typed.TypedTerm[hydra.go.syntax.MapType]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the key field of hydra.go.syntax.MapType.

hydra.dsl.go.syntax.map_type_value(x: hydra.typed.TypedTerm[hydra.go.syntax.MapType]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the value field of hydra.go.syntax.MapType.

hydra.dsl.go.syntax.map_type_with_key(original: hydra.typed.TypedTerm[hydra.go.syntax.MapType], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.MapType]

DSL updater for the key field of hydra.go.syntax.MapType.

hydra.dsl.go.syntax.map_type_with_value(original: hydra.typed.TypedTerm[hydra.go.syntax.MapType], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.MapType]

DSL updater for the value field of hydra.go.syntax.MapType.

hydra.dsl.go.syntax.method_decl(receiver: hydra.typed.TypedTerm[hydra.go.syntax.Receiver], name: hydra.typed.TypedTerm[hydra.go.syntax.Identifier], signature: hydra.typed.TypedTerm[hydra.go.syntax.Signature], body: hydra.typed.TypedTerm[hydra.go.syntax.FunctionBody | None]) → hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl]

DSL constructor for hydra.go.syntax.MethodDecl.

hydra.dsl.go.syntax.method_decl_body(x: hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.FunctionBody | None]

DSL accessor for the body field of hydra.go.syntax.MethodDecl.

hydra.dsl.go.syntax.method_decl_name(x: hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier]

DSL accessor for the name field of hydra.go.syntax.MethodDecl.

hydra.dsl.go.syntax.method_decl_receiver(x: hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.Receiver]

DSL accessor for the receiver field of hydra.go.syntax.MethodDecl.

hydra.dsl.go.syntax.method_decl_signature(x: hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.Signature]

DSL accessor for the signature field of hydra.go.syntax.MethodDecl.

hydra.dsl.go.syntax.method_decl_with_body(original: hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl], new_val: hydra.typed.TypedTerm[hydra.go.syntax.FunctionBody | None]) → hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl]

DSL updater for the body field of hydra.go.syntax.MethodDecl.

hydra.dsl.go.syntax.method_decl_with_name(original: hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl]

DSL updater for the name field of hydra.go.syntax.MethodDecl.

hydra.dsl.go.syntax.method_decl_with_receiver(original: hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Receiver]) → hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl]

DSL updater for the receiver field of hydra.go.syntax.MethodDecl.

hydra.dsl.go.syntax.method_decl_with_signature(original: hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Signature]) → hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl]

DSL updater for the signature field of hydra.go.syntax.MethodDecl.

hydra.dsl.go.syntax.method_elem(name: hydra.typed.TypedTerm[hydra.go.syntax.Identifier], signature: hydra.typed.TypedTerm[hydra.go.syntax.Signature]) → hydra.typed.TypedTerm[hydra.go.syntax.MethodElem]

DSL constructor for hydra.go.syntax.MethodElem.

hydra.dsl.go.syntax.method_elem_name(x: hydra.typed.TypedTerm[hydra.go.syntax.MethodElem]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier]

DSL accessor for the name field of hydra.go.syntax.MethodElem.

hydra.dsl.go.syntax.method_elem_signature(x: hydra.typed.TypedTerm[hydra.go.syntax.MethodElem]) → hydra.typed.TypedTerm[hydra.go.syntax.Signature]

DSL accessor for the signature field of hydra.go.syntax.MethodElem.

hydra.dsl.go.syntax.method_elem_with_name(original: hydra.typed.TypedTerm[hydra.go.syntax.MethodElem], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.MethodElem]

DSL updater for the name field of hydra.go.syntax.MethodElem.

hydra.dsl.go.syntax.method_elem_with_signature(original: hydra.typed.TypedTerm[hydra.go.syntax.MethodElem], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Signature]) → hydra.typed.TypedTerm[hydra.go.syntax.MethodElem]

DSL updater for the signature field of hydra.go.syntax.MethodElem.

hydra.dsl.go.syntax.method_expr(receiver: hydra.typed.TypedTerm[hydra.go.syntax.Type], method: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.MethodExpr]

DSL constructor for hydra.go.syntax.MethodExpr.

hydra.dsl.go.syntax.method_expr_method(x: hydra.typed.TypedTerm[hydra.go.syntax.MethodExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier]

DSL accessor for the method field of hydra.go.syntax.MethodExpr.

hydra.dsl.go.syntax.method_expr_receiver(x: hydra.typed.TypedTerm[hydra.go.syntax.MethodExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the receiver field of hydra.go.syntax.MethodExpr.

hydra.dsl.go.syntax.method_expr_with_method(original: hydra.typed.TypedTerm[hydra.go.syntax.MethodExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.MethodExpr]

DSL updater for the method field of hydra.go.syntax.MethodExpr.

hydra.dsl.go.syntax.method_expr_with_receiver(original: hydra.typed.TypedTerm[hydra.go.syntax.MethodExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.MethodExpr]

DSL updater for the receiver field of hydra.go.syntax.MethodExpr.

hydra.dsl.go.syntax.module(package: hydra.typed.TypedTerm[hydra.go.syntax.PackageClause], imports: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ImportDecl]], declarations: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TopLevelDecl]]) → hydra.typed.TypedTerm[hydra.go.syntax.Module]

DSL constructor for hydra.go.syntax.Module.

hydra.dsl.go.syntax.module_declarations(x: hydra.typed.TypedTerm[hydra.go.syntax.Module]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TopLevelDecl]]

DSL accessor for the declarations field of hydra.go.syntax.Module.

hydra.dsl.go.syntax.module_imports(x: hydra.typed.TypedTerm[hydra.go.syntax.Module]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ImportDecl]]

DSL accessor for the imports field of hydra.go.syntax.Module.

hydra.dsl.go.syntax.module_package(x: hydra.typed.TypedTerm[hydra.go.syntax.Module]) → hydra.typed.TypedTerm[hydra.go.syntax.PackageClause]

DSL accessor for the package field of hydra.go.syntax.Module.

hydra.dsl.go.syntax.module_with_declarations(original: hydra.typed.TypedTerm[hydra.go.syntax.Module], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TopLevelDecl]]) → hydra.typed.TypedTerm[hydra.go.syntax.Module]

DSL updater for the declarations field of hydra.go.syntax.Module.

hydra.dsl.go.syntax.module_with_imports(original: hydra.typed.TypedTerm[hydra.go.syntax.Module], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ImportDecl]]) → hydra.typed.TypedTerm[hydra.go.syntax.Module]

DSL updater for the imports field of hydra.go.syntax.Module.

hydra.dsl.go.syntax.module_with_package(original: hydra.typed.TypedTerm[hydra.go.syntax.Module], new_val: hydra.typed.TypedTerm[hydra.go.syntax.PackageClause]) → hydra.typed.TypedTerm[hydra.go.syntax.Module]

DSL updater for the package field of hydra.go.syntax.Module.

hydra.dsl.go.syntax.named_field(names: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]], type: hydra.typed.TypedTerm[hydra.go.syntax.Type], tag: hydra.typed.TypedTerm[hydra.go.syntax.Tag | None]) → hydra.typed.TypedTerm[hydra.go.syntax.NamedField]

DSL constructor for hydra.go.syntax.NamedField.

hydra.dsl.go.syntax.named_field_names(x: hydra.typed.TypedTerm[hydra.go.syntax.NamedField]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]]

DSL accessor for the names field of hydra.go.syntax.NamedField.

hydra.dsl.go.syntax.named_field_tag(x: hydra.typed.TypedTerm[hydra.go.syntax.NamedField]) → hydra.typed.TypedTerm[hydra.go.syntax.Tag | None]

DSL accessor for the tag field of hydra.go.syntax.NamedField.

hydra.dsl.go.syntax.named_field_type(x: hydra.typed.TypedTerm[hydra.go.syntax.NamedField]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the type field of hydra.go.syntax.NamedField.

hydra.dsl.go.syntax.named_field_with_names(original: hydra.typed.TypedTerm[hydra.go.syntax.NamedField], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]]) → hydra.typed.TypedTerm[hydra.go.syntax.NamedField]

DSL updater for the names field of hydra.go.syntax.NamedField.

hydra.dsl.go.syntax.named_field_with_tag(original: hydra.typed.TypedTerm[hydra.go.syntax.NamedField], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Tag | None]) → hydra.typed.TypedTerm[hydra.go.syntax.NamedField]

DSL updater for the tag field of hydra.go.syntax.NamedField.

hydra.dsl.go.syntax.named_field_with_type(original: hydra.typed.TypedTerm[hydra.go.syntax.NamedField], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.NamedField]

DSL updater for the type field of hydra.go.syntax.NamedField.

hydra.dsl.go.syntax.operand_literal(x: hydra.typed.TypedTerm[hydra.go.syntax.Literal]) → hydra.typed.TypedTerm[hydra.go.syntax.Operand]

DSL injection for the literal variant of hydra.go.syntax.Operand.

hydra.dsl.go.syntax.operand_name(name: hydra.typed.TypedTerm[hydra.go.syntax.QualifiedIdent], type_args: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Type]]) → hydra.typed.TypedTerm[hydra.go.syntax.OperandName]

DSL constructor for hydra.go.syntax.OperandName.

hydra.dsl.go.syntax.operand_name_name(x: hydra.typed.TypedTerm[hydra.go.syntax.OperandName]) → hydra.typed.TypedTerm[hydra.go.syntax.QualifiedIdent]

DSL accessor for the name field of hydra.go.syntax.OperandName.

hydra.dsl.go.syntax.operand_name_type_args(x: hydra.typed.TypedTerm[hydra.go.syntax.OperandName]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Type]]

DSL accessor for the typeArgs field of hydra.go.syntax.OperandName.

hydra.dsl.go.syntax.operand_name_with_name(original: hydra.typed.TypedTerm[hydra.go.syntax.OperandName], new_val: hydra.typed.TypedTerm[hydra.go.syntax.QualifiedIdent]) → hydra.typed.TypedTerm[hydra.go.syntax.OperandName]

DSL updater for the name field of hydra.go.syntax.OperandName.

hydra.dsl.go.syntax.operand_name_with_type_args(original: hydra.typed.TypedTerm[hydra.go.syntax.OperandName], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Type]]) → hydra.typed.TypedTerm[hydra.go.syntax.OperandName]

DSL updater for the typeArgs field of hydra.go.syntax.OperandName.

hydra.dsl.go.syntax.operand_named(x: hydra.typed.TypedTerm[hydra.go.syntax.OperandName]) → hydra.typed.TypedTerm[hydra.go.syntax.Operand]

DSL injection for the named variant of hydra.go.syntax.Operand.

hydra.dsl.go.syntax.operand_paren(x: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.Operand]

DSL injection for the paren variant of hydra.go.syntax.Operand.

hydra.dsl.go.syntax.package_clause(x: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.PackageClause]

DSL constructor for the hydra.go.syntax.PackageClause wrapper.

hydra.dsl.go.syntax.parameter_decl(names: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]], variadic: hydra.typed.TypedTerm[bool], type: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.ParameterDecl]

DSL constructor for hydra.go.syntax.ParameterDecl.

hydra.dsl.go.syntax.parameter_decl_names(x: hydra.typed.TypedTerm[hydra.go.syntax.ParameterDecl]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]]

DSL accessor for the names field of hydra.go.syntax.ParameterDecl.

hydra.dsl.go.syntax.parameter_decl_type(x: hydra.typed.TypedTerm[hydra.go.syntax.ParameterDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the type field of hydra.go.syntax.ParameterDecl.

hydra.dsl.go.syntax.parameter_decl_variadic(x: hydra.typed.TypedTerm[hydra.go.syntax.ParameterDecl]) → hydra.typed.TypedTerm[bool]

DSL accessor for the variadic field of hydra.go.syntax.ParameterDecl.

hydra.dsl.go.syntax.parameter_decl_with_names(original: hydra.typed.TypedTerm[hydra.go.syntax.ParameterDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]]) → hydra.typed.TypedTerm[hydra.go.syntax.ParameterDecl]

DSL updater for the names field of hydra.go.syntax.ParameterDecl.

hydra.dsl.go.syntax.parameter_decl_with_type(original: hydra.typed.TypedTerm[hydra.go.syntax.ParameterDecl], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.ParameterDecl]

DSL updater for the type field of hydra.go.syntax.ParameterDecl.

hydra.dsl.go.syntax.parameter_decl_with_variadic(original: hydra.typed.TypedTerm[hydra.go.syntax.ParameterDecl], new_val: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.go.syntax.ParameterDecl]

DSL updater for the variadic field of hydra.go.syntax.ParameterDecl.

hydra.dsl.go.syntax.parameters(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ParameterDecl]]) → hydra.typed.TypedTerm[hydra.go.syntax.Parameters]

DSL constructor for the hydra.go.syntax.Parameters wrapper.

hydra.dsl.go.syntax.pointer_type(x: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.PointerType]

DSL constructor for the hydra.go.syntax.PointerType wrapper.

hydra.dsl.go.syntax.primary_expr_call(x: hydra.typed.TypedTerm[hydra.go.syntax.CallExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL injection for the call variant of hydra.go.syntax.PrimaryExpr.

hydra.dsl.go.syntax.primary_expr_conversion(x: hydra.typed.TypedTerm[hydra.go.syntax.Conversion]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL injection for the conversion variant of hydra.go.syntax.PrimaryExpr.

hydra.dsl.go.syntax.primary_expr_index(x: hydra.typed.TypedTerm[hydra.go.syntax.IndexExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL injection for the index variant of hydra.go.syntax.PrimaryExpr.

hydra.dsl.go.syntax.primary_expr_method_expr(x: hydra.typed.TypedTerm[hydra.go.syntax.MethodExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL injection for the methodExpr variant of hydra.go.syntax.PrimaryExpr.

hydra.dsl.go.syntax.primary_expr_operand(x: hydra.typed.TypedTerm[hydra.go.syntax.Operand]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL injection for the operand variant of hydra.go.syntax.PrimaryExpr.

hydra.dsl.go.syntax.primary_expr_selector(x: hydra.typed.TypedTerm[hydra.go.syntax.SelectorExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL injection for the selector variant of hydra.go.syntax.PrimaryExpr.

hydra.dsl.go.syntax.primary_expr_slice(x: hydra.typed.TypedTerm[hydra.go.syntax.SliceExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL injection for the slice variant of hydra.go.syntax.PrimaryExpr.

hydra.dsl.go.syntax.primary_expr_type_assertion(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeAssertionExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL injection for the typeAssertion variant of hydra.go.syntax.PrimaryExpr.

hydra.dsl.go.syntax.qualified_ident(package: hydra.typed.TypedTerm[hydra.go.syntax.Identifier | None], name: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.QualifiedIdent]

DSL constructor for hydra.go.syntax.QualifiedIdent.

hydra.dsl.go.syntax.qualified_ident_name(x: hydra.typed.TypedTerm[hydra.go.syntax.QualifiedIdent]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier]

DSL accessor for the name field of hydra.go.syntax.QualifiedIdent.

hydra.dsl.go.syntax.qualified_ident_package(x: hydra.typed.TypedTerm[hydra.go.syntax.QualifiedIdent]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier | None]

DSL accessor for the package field of hydra.go.syntax.QualifiedIdent.

hydra.dsl.go.syntax.qualified_ident_with_name(original: hydra.typed.TypedTerm[hydra.go.syntax.QualifiedIdent], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.QualifiedIdent]

DSL updater for the name field of hydra.go.syntax.QualifiedIdent.

hydra.dsl.go.syntax.qualified_ident_with_package(original: hydra.typed.TypedTerm[hydra.go.syntax.QualifiedIdent], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Identifier | None]) → hydra.typed.TypedTerm[hydra.go.syntax.QualifiedIdent]

DSL updater for the package field of hydra.go.syntax.QualifiedIdent.

hydra.dsl.go.syntax.range_clause(vars: hydra.typed.TypedTerm[hydra.go.syntax.RangeVars | None], expression: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.RangeClause]

DSL constructor for hydra.go.syntax.RangeClause.

hydra.dsl.go.syntax.range_clause_expression(x: hydra.typed.TypedTerm[hydra.go.syntax.RangeClause]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the expression field of hydra.go.syntax.RangeClause.

hydra.dsl.go.syntax.range_clause_vars(x: hydra.typed.TypedTerm[hydra.go.syntax.RangeClause]) → hydra.typed.TypedTerm[hydra.go.syntax.RangeVars | None]

DSL accessor for the vars field of hydra.go.syntax.RangeClause.

hydra.dsl.go.syntax.range_clause_with_expression(original: hydra.typed.TypedTerm[hydra.go.syntax.RangeClause], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.RangeClause]

DSL updater for the expression field of hydra.go.syntax.RangeClause.

hydra.dsl.go.syntax.range_clause_with_vars(original: hydra.typed.TypedTerm[hydra.go.syntax.RangeClause], new_val: hydra.typed.TypedTerm[hydra.go.syntax.RangeVars | None]) → hydra.typed.TypedTerm[hydra.go.syntax.RangeClause]

DSL updater for the vars field of hydra.go.syntax.RangeClause.

hydra.dsl.go.syntax.range_vars_assign(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]) → hydra.typed.TypedTerm[hydra.go.syntax.RangeVars]

DSL injection for the assign variant of hydra.go.syntax.RangeVars.

hydra.dsl.go.syntax.range_vars_declare(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]]) → hydra.typed.TypedTerm[hydra.go.syntax.RangeVars]

DSL injection for the declare variant of hydra.go.syntax.RangeVars.

hydra.dsl.go.syntax.raw_string_lit(x: hydra.typed.TypedTerm[str]) → hydra.typed.TypedTerm[hydra.go.syntax.RawStringLit]

DSL constructor for the hydra.go.syntax.RawStringLit wrapper.

hydra.dsl.go.syntax.receive_case(vars: hydra.typed.TypedTerm[hydra.go.syntax.RangeVars | None], expression: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.ReceiveCase]

DSL constructor for hydra.go.syntax.ReceiveCase.

hydra.dsl.go.syntax.receive_case_expression(x: hydra.typed.TypedTerm[hydra.go.syntax.ReceiveCase]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the expression field of hydra.go.syntax.ReceiveCase.

hydra.dsl.go.syntax.receive_case_vars(x: hydra.typed.TypedTerm[hydra.go.syntax.ReceiveCase]) → hydra.typed.TypedTerm[hydra.go.syntax.RangeVars | None]

DSL accessor for the vars field of hydra.go.syntax.ReceiveCase.

hydra.dsl.go.syntax.receive_case_with_expression(original: hydra.typed.TypedTerm[hydra.go.syntax.ReceiveCase], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.ReceiveCase]

DSL updater for the expression field of hydra.go.syntax.ReceiveCase.

hydra.dsl.go.syntax.receive_case_with_vars(original: hydra.typed.TypedTerm[hydra.go.syntax.ReceiveCase], new_val: hydra.typed.TypedTerm[hydra.go.syntax.RangeVars | None]) → hydra.typed.TypedTerm[hydra.go.syntax.ReceiveCase]

DSL updater for the vars field of hydra.go.syntax.ReceiveCase.

hydra.dsl.go.syntax.receiver(name: hydra.typed.TypedTerm[hydra.go.syntax.Identifier | None], type: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.Receiver]

DSL constructor for hydra.go.syntax.Receiver.

hydra.dsl.go.syntax.receiver_name(x: hydra.typed.TypedTerm[hydra.go.syntax.Receiver]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier | None]

DSL accessor for the name field of hydra.go.syntax.Receiver.

hydra.dsl.go.syntax.receiver_type(x: hydra.typed.TypedTerm[hydra.go.syntax.Receiver]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the type field of hydra.go.syntax.Receiver.

hydra.dsl.go.syntax.receiver_with_name(original: hydra.typed.TypedTerm[hydra.go.syntax.Receiver], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Identifier | None]) → hydra.typed.TypedTerm[hydra.go.syntax.Receiver]

DSL updater for the name field of hydra.go.syntax.Receiver.

hydra.dsl.go.syntax.receiver_with_type(original: hydra.typed.TypedTerm[hydra.go.syntax.Receiver], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.Receiver]

DSL updater for the type field of hydra.go.syntax.Receiver.

hydra.dsl.go.syntax.result_parameters(x: hydra.typed.TypedTerm[hydra.go.syntax.Parameters]) → hydra.typed.TypedTerm[hydra.go.syntax.Result]

DSL injection for the parameters variant of hydra.go.syntax.Result.

hydra.dsl.go.syntax.result_type(x: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.Result]

DSL injection for the type variant of hydra.go.syntax.Result.

hydra.dsl.go.syntax.return_stmt(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]) → hydra.typed.TypedTerm[hydra.go.syntax.ReturnStmt]

DSL constructor for the hydra.go.syntax.ReturnStmt wrapper.

hydra.dsl.go.syntax.rune_lit(x: hydra.typed.TypedTerm[int]) → hydra.typed.TypedTerm[hydra.go.syntax.RuneLit]

DSL constructor for the hydra.go.syntax.RuneLit wrapper.

hydra.dsl.go.syntax.select_stmt(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.CommClause]]) → hydra.typed.TypedTerm[hydra.go.syntax.SelectStmt]

DSL constructor for the hydra.go.syntax.SelectStmt wrapper.

hydra.dsl.go.syntax.selector(x: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.Selector]

DSL constructor for the hydra.go.syntax.Selector wrapper.

hydra.dsl.go.syntax.selector_expr(expr: hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr], selector: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.SelectorExpr]

DSL constructor for hydra.go.syntax.SelectorExpr.

hydra.dsl.go.syntax.selector_expr_expr(x: hydra.typed.TypedTerm[hydra.go.syntax.SelectorExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL accessor for the expr field of hydra.go.syntax.SelectorExpr.

hydra.dsl.go.syntax.selector_expr_selector(x: hydra.typed.TypedTerm[hydra.go.syntax.SelectorExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier]

DSL accessor for the selector field of hydra.go.syntax.SelectorExpr.

hydra.dsl.go.syntax.selector_expr_with_expr(original: hydra.typed.TypedTerm[hydra.go.syntax.SelectorExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.SelectorExpr]

DSL updater for the expr field of hydra.go.syntax.SelectorExpr.

hydra.dsl.go.syntax.selector_expr_with_selector(original: hydra.typed.TypedTerm[hydra.go.syntax.SelectorExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.SelectorExpr]

DSL updater for the selector field of hydra.go.syntax.SelectorExpr.

hydra.dsl.go.syntax.send_stmt(channel: hydra.typed.TypedTerm[hydra.go.syntax.Expression], value: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.SendStmt]

DSL constructor for hydra.go.syntax.SendStmt.

hydra.dsl.go.syntax.send_stmt_channel(x: hydra.typed.TypedTerm[hydra.go.syntax.SendStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the channel field of hydra.go.syntax.SendStmt.

hydra.dsl.go.syntax.send_stmt_value(x: hydra.typed.TypedTerm[hydra.go.syntax.SendStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the value field of hydra.go.syntax.SendStmt.

hydra.dsl.go.syntax.send_stmt_with_channel(original: hydra.typed.TypedTerm[hydra.go.syntax.SendStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.SendStmt]

DSL updater for the channel field of hydra.go.syntax.SendStmt.

hydra.dsl.go.syntax.send_stmt_with_value(original: hydra.typed.TypedTerm[hydra.go.syntax.SendStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression]) → hydra.typed.TypedTerm[hydra.go.syntax.SendStmt]

DSL updater for the value field of hydra.go.syntax.SendStmt.

hydra.dsl.go.syntax.short_var_decl(names: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]], values: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]) → hydra.typed.TypedTerm[hydra.go.syntax.ShortVarDecl]

DSL constructor for hydra.go.syntax.ShortVarDecl.

hydra.dsl.go.syntax.short_var_decl_names(x: hydra.typed.TypedTerm[hydra.go.syntax.ShortVarDecl]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]]

DSL accessor for the names field of hydra.go.syntax.ShortVarDecl.

hydra.dsl.go.syntax.short_var_decl_values(x: hydra.typed.TypedTerm[hydra.go.syntax.ShortVarDecl]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]

DSL accessor for the values field of hydra.go.syntax.ShortVarDecl.

hydra.dsl.go.syntax.short_var_decl_with_names(original: hydra.typed.TypedTerm[hydra.go.syntax.ShortVarDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]]) → hydra.typed.TypedTerm[hydra.go.syntax.ShortVarDecl]

DSL updater for the names field of hydra.go.syntax.ShortVarDecl.

hydra.dsl.go.syntax.short_var_decl_with_values(original: hydra.typed.TypedTerm[hydra.go.syntax.ShortVarDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]) → hydra.typed.TypedTerm[hydra.go.syntax.ShortVarDecl]

DSL updater for the values field of hydra.go.syntax.ShortVarDecl.

hydra.dsl.go.syntax.signature(parameters: hydra.typed.TypedTerm[hydra.go.syntax.Parameters], result: hydra.typed.TypedTerm[hydra.go.syntax.Result | None]) → hydra.typed.TypedTerm[hydra.go.syntax.Signature]

DSL constructor for hydra.go.syntax.Signature.

hydra.dsl.go.syntax.signature_parameters(x: hydra.typed.TypedTerm[hydra.go.syntax.Signature]) → hydra.typed.TypedTerm[hydra.go.syntax.Parameters]

DSL accessor for the parameters field of hydra.go.syntax.Signature.

hydra.dsl.go.syntax.signature_result(x: hydra.typed.TypedTerm[hydra.go.syntax.Signature]) → hydra.typed.TypedTerm[hydra.go.syntax.Result | None]

DSL accessor for the result field of hydra.go.syntax.Signature.

hydra.dsl.go.syntax.signature_with_parameters(original: hydra.typed.TypedTerm[hydra.go.syntax.Signature], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Parameters]) → hydra.typed.TypedTerm[hydra.go.syntax.Signature]

DSL updater for the parameters field of hydra.go.syntax.Signature.

hydra.dsl.go.syntax.signature_with_result(original: hydra.typed.TypedTerm[hydra.go.syntax.Signature], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Result | None]) → hydra.typed.TypedTerm[hydra.go.syntax.Signature]

DSL updater for the result field of hydra.go.syntax.Signature.

hydra.dsl.go.syntax.simple_slice(low: hydra.typed.TypedTerm[hydra.go.syntax.Expression | None], high: hydra.typed.TypedTerm[hydra.go.syntax.Expression | None]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleSlice]

DSL constructor for hydra.go.syntax.SimpleSlice.

hydra.dsl.go.syntax.simple_slice_high(x: hydra.typed.TypedTerm[hydra.go.syntax.SimpleSlice]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression | None]

DSL accessor for the high field of hydra.go.syntax.SimpleSlice.

hydra.dsl.go.syntax.simple_slice_low(x: hydra.typed.TypedTerm[hydra.go.syntax.SimpleSlice]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression | None]

DSL accessor for the low field of hydra.go.syntax.SimpleSlice.

hydra.dsl.go.syntax.simple_slice_with_high(original: hydra.typed.TypedTerm[hydra.go.syntax.SimpleSlice], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression | None]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleSlice]

DSL updater for the high field of hydra.go.syntax.SimpleSlice.

hydra.dsl.go.syntax.simple_slice_with_low(original: hydra.typed.TypedTerm[hydra.go.syntax.SimpleSlice], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Expression | None]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleSlice]

DSL updater for the low field of hydra.go.syntax.SimpleSlice.

hydra.dsl.go.syntax.simple_stmt_assignment(x: hydra.typed.TypedTerm[hydra.go.syntax.Assignment]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt]

DSL injection for the assignment variant of hydra.go.syntax.SimpleStmt.

hydra.dsl.go.syntax.simple_stmt_empty(x: hydra.typed.TypedTerm[hydra.go.syntax.EmptyStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt]

DSL injection for the empty variant of hydra.go.syntax.SimpleStmt.

hydra.dsl.go.syntax.simple_stmt_expression(x: hydra.typed.TypedTerm[hydra.go.syntax.ExpressionStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt]

DSL injection for the expression variant of hydra.go.syntax.SimpleStmt.

hydra.dsl.go.syntax.simple_stmt_inc_dec(x: hydra.typed.TypedTerm[hydra.go.syntax.IncDecStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt]

DSL injection for the incDec variant of hydra.go.syntax.SimpleStmt.

hydra.dsl.go.syntax.simple_stmt_send(x: hydra.typed.TypedTerm[hydra.go.syntax.SendStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt]

DSL injection for the send variant of hydra.go.syntax.SimpleStmt.

hydra.dsl.go.syntax.simple_stmt_short_var_decl(x: hydra.typed.TypedTerm[hydra.go.syntax.ShortVarDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt]

DSL injection for the shortVarDecl variant of hydra.go.syntax.SimpleStmt.

hydra.dsl.go.syntax.slice_expr(expr: hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr], slice: hydra.typed.TypedTerm[hydra.go.syntax.Slice]) → hydra.typed.TypedTerm[hydra.go.syntax.SliceExpr]

DSL constructor for hydra.go.syntax.SliceExpr.

hydra.dsl.go.syntax.slice_expr_expr(x: hydra.typed.TypedTerm[hydra.go.syntax.SliceExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL accessor for the expr field of hydra.go.syntax.SliceExpr.

hydra.dsl.go.syntax.slice_expr_slice(x: hydra.typed.TypedTerm[hydra.go.syntax.SliceExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.Slice]

DSL accessor for the slice field of hydra.go.syntax.SliceExpr.

hydra.dsl.go.syntax.slice_expr_with_expr(original: hydra.typed.TypedTerm[hydra.go.syntax.SliceExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.SliceExpr]

DSL updater for the expr field of hydra.go.syntax.SliceExpr.

hydra.dsl.go.syntax.slice_expr_with_slice(original: hydra.typed.TypedTerm[hydra.go.syntax.SliceExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Slice]) → hydra.typed.TypedTerm[hydra.go.syntax.SliceExpr]

DSL updater for the slice field of hydra.go.syntax.SliceExpr.

hydra.dsl.go.syntax.slice_full(x: hydra.typed.TypedTerm[hydra.go.syntax.FullSlice]) → hydra.typed.TypedTerm[hydra.go.syntax.Slice]

DSL injection for the full variant of hydra.go.syntax.Slice.

hydra.dsl.go.syntax.slice_simple(x: hydra.typed.TypedTerm[hydra.go.syntax.SimpleSlice]) → hydra.typed.TypedTerm[hydra.go.syntax.Slice]

DSL injection for the simple variant of hydra.go.syntax.Slice.

hydra.dsl.go.syntax.slice_type(x: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.SliceType]

DSL constructor for the hydra.go.syntax.SliceType wrapper.

hydra.dsl.go.syntax.source_file(package: hydra.typed.TypedTerm[hydra.go.syntax.PackageClause], imports: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ImportDecl]], declarations: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TopLevelDecl]]) → hydra.typed.TypedTerm[hydra.go.syntax.SourceFile]

DSL constructor for hydra.go.syntax.SourceFile.

hydra.dsl.go.syntax.source_file_declarations(x: hydra.typed.TypedTerm[hydra.go.syntax.SourceFile]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TopLevelDecl]]

DSL accessor for the declarations field of hydra.go.syntax.SourceFile.

hydra.dsl.go.syntax.source_file_imports(x: hydra.typed.TypedTerm[hydra.go.syntax.SourceFile]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ImportDecl]]

DSL accessor for the imports field of hydra.go.syntax.SourceFile.

hydra.dsl.go.syntax.source_file_package(x: hydra.typed.TypedTerm[hydra.go.syntax.SourceFile]) → hydra.typed.TypedTerm[hydra.go.syntax.PackageClause]

DSL accessor for the package field of hydra.go.syntax.SourceFile.

hydra.dsl.go.syntax.source_file_with_declarations(original: hydra.typed.TypedTerm[hydra.go.syntax.SourceFile], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TopLevelDecl]]) → hydra.typed.TypedTerm[hydra.go.syntax.SourceFile]

DSL updater for the declarations field of hydra.go.syntax.SourceFile.

hydra.dsl.go.syntax.source_file_with_imports(original: hydra.typed.TypedTerm[hydra.go.syntax.SourceFile], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ImportDecl]]) → hydra.typed.TypedTerm[hydra.go.syntax.SourceFile]

DSL updater for the imports field of hydra.go.syntax.SourceFile.

hydra.dsl.go.syntax.source_file_with_package(original: hydra.typed.TypedTerm[hydra.go.syntax.SourceFile], new_val: hydra.typed.TypedTerm[hydra.go.syntax.PackageClause]) → hydra.typed.TypedTerm[hydra.go.syntax.SourceFile]

DSL updater for the package field of hydra.go.syntax.SourceFile.

hydra.dsl.go.syntax.statement_block(x: hydra.typed.TypedTerm[hydra.go.syntax.Block]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the block variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_break(x: hydra.typed.TypedTerm[hydra.go.syntax.BreakStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the break variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_continue(x: hydra.typed.TypedTerm[hydra.go.syntax.ContinueStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the continue variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_declaration(x: hydra.typed.TypedTerm[hydra.go.syntax.Declaration]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the declaration variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_defer(x: hydra.typed.TypedTerm[hydra.go.syntax.DeferStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the defer variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_fallthrough(x: hydra.typed.TypedTerm[hydra.go.syntax.FallthroughStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the fallthrough variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_for(x: hydra.typed.TypedTerm[hydra.go.syntax.ForStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the for variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_go(x: hydra.typed.TypedTerm[hydra.go.syntax.GoStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the go variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_goto(x: hydra.typed.TypedTerm[hydra.go.syntax.GotoStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the goto variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_if(x: hydra.typed.TypedTerm[hydra.go.syntax.IfStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the if variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_labeled(x: hydra.typed.TypedTerm[hydra.go.syntax.LabeledStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the labeled variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_return(x: hydra.typed.TypedTerm[hydra.go.syntax.ReturnStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the return variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_select(x: hydra.typed.TypedTerm[hydra.go.syntax.SelectStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the select variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_simple(x: hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the simple variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.statement_switch(x: hydra.typed.TypedTerm[hydra.go.syntax.SwitchStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Statement]

DSL injection for the switch variant of hydra.go.syntax.Statement.

hydra.dsl.go.syntax.string_lit_interpreted(x: hydra.typed.TypedTerm[hydra.go.syntax.InterpretedStringLit]) → hydra.typed.TypedTerm[hydra.go.syntax.StringLit]

DSL injection for the interpreted variant of hydra.go.syntax.StringLit.

hydra.dsl.go.syntax.string_lit_raw(x: hydra.typed.TypedTerm[hydra.go.syntax.RawStringLit]) → hydra.typed.TypedTerm[hydra.go.syntax.StringLit]

DSL injection for the raw variant of hydra.go.syntax.StringLit.

hydra.dsl.go.syntax.struct_type(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.FieldDecl]]) → hydra.typed.TypedTerm[hydra.go.syntax.StructType]

DSL constructor for the hydra.go.syntax.StructType wrapper.

hydra.dsl.go.syntax.switch_stmt_expression(x: hydra.typed.TypedTerm[hydra.go.syntax.ExprSwitchStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.SwitchStmt]

DSL injection for the expression variant of hydra.go.syntax.SwitchStmt.

hydra.dsl.go.syntax.switch_stmt_type(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.SwitchStmt]

DSL injection for the type variant of hydra.go.syntax.SwitchStmt.

hydra.dsl.go.syntax.tag(x: hydra.typed.TypedTerm[hydra.go.syntax.StringLit]) → hydra.typed.TypedTerm[hydra.go.syntax.Tag]

DSL constructor for the hydra.go.syntax.Tag wrapper.

hydra.dsl.go.syntax.top_level_decl_declaration(x: hydra.typed.TypedTerm[hydra.go.syntax.Declaration]) → hydra.typed.TypedTerm[hydra.go.syntax.TopLevelDecl]

DSL injection for the declaration variant of hydra.go.syntax.TopLevelDecl.

hydra.dsl.go.syntax.top_level_decl_function(x: hydra.typed.TypedTerm[hydra.go.syntax.FunctionDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.TopLevelDecl]

DSL injection for the function variant of hydra.go.syntax.TopLevelDecl.

hydra.dsl.go.syntax.top_level_decl_method(x: hydra.typed.TypedTerm[hydra.go.syntax.MethodDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.TopLevelDecl]

DSL injection for the method variant of hydra.go.syntax.TopLevelDecl.

hydra.dsl.go.syntax.type_assertion(x: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeAssertion]

DSL constructor for the hydra.go.syntax.TypeAssertion wrapper.

hydra.dsl.go.syntax.type_assertion_expr(expr: hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr], type: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeAssertionExpr]

DSL constructor for hydra.go.syntax.TypeAssertionExpr.

hydra.dsl.go.syntax.type_assertion_expr_expr(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeAssertionExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL accessor for the expr field of hydra.go.syntax.TypeAssertionExpr.

hydra.dsl.go.syntax.type_assertion_expr_type(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeAssertionExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the type field of hydra.go.syntax.TypeAssertionExpr.

hydra.dsl.go.syntax.type_assertion_expr_with_expr(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeAssertionExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeAssertionExpr]

DSL updater for the expr field of hydra.go.syntax.TypeAssertionExpr.

hydra.dsl.go.syntax.type_assertion_expr_with_type(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeAssertionExpr], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeAssertionExpr]

DSL updater for the type field of hydra.go.syntax.TypeAssertionExpr.

hydra.dsl.go.syntax.type_case_clause(case: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Type] | None], statements: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Statement]]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeCaseClause]

DSL constructor for hydra.go.syntax.TypeCaseClause.

hydra.dsl.go.syntax.type_case_clause_case(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeCaseClause]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Type] | None]

DSL accessor for the case field of hydra.go.syntax.TypeCaseClause.

hydra.dsl.go.syntax.type_case_clause_statements(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeCaseClause]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Statement]]

DSL accessor for the statements field of hydra.go.syntax.TypeCaseClause.

hydra.dsl.go.syntax.type_case_clause_with_case(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeCaseClause], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Type] | None]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeCaseClause]

DSL updater for the case field of hydra.go.syntax.TypeCaseClause.

hydra.dsl.go.syntax.type_case_clause_with_statements(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeCaseClause], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Statement]]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeCaseClause]

DSL updater for the statements field of hydra.go.syntax.TypeCaseClause.

hydra.dsl.go.syntax.type_constraint(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeElem]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeConstraint]

DSL constructor for the hydra.go.syntax.TypeConstraint wrapper.

hydra.dsl.go.syntax.type_decl(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TypeSpec]]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeDecl]

DSL constructor for the hydra.go.syntax.TypeDecl wrapper.

hydra.dsl.go.syntax.type_def(name: hydra.typed.TypedTerm[hydra.go.syntax.Identifier], type_params: hydra.typed.TypedTerm[hydra.go.syntax.TypeParameters | None], type: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeDef]

DSL constructor for hydra.go.syntax.TypeDef.

hydra.dsl.go.syntax.type_def_name(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeDef]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier]

DSL accessor for the name field of hydra.go.syntax.TypeDef.

hydra.dsl.go.syntax.type_def_type(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeDef]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the type field of hydra.go.syntax.TypeDef.

hydra.dsl.go.syntax.type_def_type_params(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeDef]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeParameters | None]

DSL accessor for the typeParams field of hydra.go.syntax.TypeDef.

hydra.dsl.go.syntax.type_def_with_name(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeDef], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeDef]

DSL updater for the name field of hydra.go.syntax.TypeDef.

hydra.dsl.go.syntax.type_def_with_type(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeDef], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeDef]

DSL updater for the type field of hydra.go.syntax.TypeDef.

hydra.dsl.go.syntax.type_def_with_type_params(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeDef], new_val: hydra.typed.TypedTerm[hydra.go.syntax.TypeParameters | None]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeDef]

DSL updater for the typeParams field of hydra.go.syntax.TypeDef.

hydra.dsl.go.syntax.type_elem(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TypeTerm]]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeElem]

DSL constructor for the hydra.go.syntax.TypeElem wrapper.

hydra.dsl.go.syntax.type_lit_array(x: hydra.typed.TypedTerm[hydra.go.syntax.ArrayType]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeLit]

DSL injection for the array variant of hydra.go.syntax.TypeLit.

hydra.dsl.go.syntax.type_lit_channel(x: hydra.typed.TypedTerm[hydra.go.syntax.ChannelType]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeLit]

DSL injection for the channel variant of hydra.go.syntax.TypeLit.

hydra.dsl.go.syntax.type_lit_function(x: hydra.typed.TypedTerm[hydra.go.syntax.FunctionType]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeLit]

DSL injection for the function variant of hydra.go.syntax.TypeLit.

hydra.dsl.go.syntax.type_lit_interface(x: hydra.typed.TypedTerm[hydra.go.syntax.InterfaceType]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeLit]

DSL injection for the interface variant of hydra.go.syntax.TypeLit.

hydra.dsl.go.syntax.type_lit_map(x: hydra.typed.TypedTerm[hydra.go.syntax.MapType]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeLit]

DSL injection for the map variant of hydra.go.syntax.TypeLit.

hydra.dsl.go.syntax.type_lit_pointer(x: hydra.typed.TypedTerm[hydra.go.syntax.PointerType]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeLit]

DSL injection for the pointer variant of hydra.go.syntax.TypeLit.

hydra.dsl.go.syntax.type_lit_slice(x: hydra.typed.TypedTerm[hydra.go.syntax.SliceType]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeLit]

DSL injection for the slice variant of hydra.go.syntax.TypeLit.

hydra.dsl.go.syntax.type_lit_struct(x: hydra.typed.TypedTerm[hydra.go.syntax.StructType]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeLit]

DSL injection for the struct variant of hydra.go.syntax.TypeLit.

hydra.dsl.go.syntax.type_literal(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeLit]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL injection for the literal variant of hydra.go.syntax.Type.

hydra.dsl.go.syntax.type_name(name: hydra.typed.TypedTerm[hydra.go.syntax.QualifiedIdent], type_args: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Type]]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeName]

DSL constructor for hydra.go.syntax.TypeName.

hydra.dsl.go.syntax.type_name_name(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeName]) → hydra.typed.TypedTerm[hydra.go.syntax.QualifiedIdent]

DSL accessor for the name field of hydra.go.syntax.TypeName.

hydra.dsl.go.syntax.type_name_type_args(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeName]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Type]]

DSL accessor for the typeArgs field of hydra.go.syntax.TypeName.

hydra.dsl.go.syntax.type_name_with_name(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeName], new_val: hydra.typed.TypedTerm[hydra.go.syntax.QualifiedIdent]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeName]

DSL updater for the name field of hydra.go.syntax.TypeName.

hydra.dsl.go.syntax.type_name_with_type_args(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeName], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Type]]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeName]

DSL updater for the typeArgs field of hydra.go.syntax.TypeName.

hydra.dsl.go.syntax.type_named(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeName]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL injection for the named variant of hydra.go.syntax.Type.

hydra.dsl.go.syntax.type_param_decl(names: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]], constraint: hydra.typed.TypedTerm[hydra.go.syntax.TypeConstraint]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeParamDecl]

DSL constructor for hydra.go.syntax.TypeParamDecl.

hydra.dsl.go.syntax.type_param_decl_constraint(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeParamDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeConstraint]

DSL accessor for the constraint field of hydra.go.syntax.TypeParamDecl.

hydra.dsl.go.syntax.type_param_decl_names(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeParamDecl]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]]

DSL accessor for the names field of hydra.go.syntax.TypeParamDecl.

hydra.dsl.go.syntax.type_param_decl_with_constraint(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeParamDecl], new_val: hydra.typed.TypedTerm[hydra.go.syntax.TypeConstraint]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeParamDecl]

DSL updater for the constraint field of hydra.go.syntax.TypeParamDecl.

hydra.dsl.go.syntax.type_param_decl_with_names(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeParamDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeParamDecl]

DSL updater for the names field of hydra.go.syntax.TypeParamDecl.

hydra.dsl.go.syntax.type_parameters(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TypeParamDecl]]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeParameters]

DSL constructor for the hydra.go.syntax.TypeParameters wrapper.

hydra.dsl.go.syntax.type_paren(x: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL injection for the paren variant of hydra.go.syntax.Type.

hydra.dsl.go.syntax.type_spec_alias(x: hydra.typed.TypedTerm[hydra.go.syntax.AliasDecl]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeSpec]

DSL injection for the alias variant of hydra.go.syntax.TypeSpec.

hydra.dsl.go.syntax.type_spec_definition(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeDef]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeSpec]

DSL injection for the definition variant of hydra.go.syntax.TypeSpec.

hydra.dsl.go.syntax.type_switch_guard(name: hydra.typed.TypedTerm[hydra.go.syntax.Identifier | None], expression: hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchGuard]

DSL constructor for hydra.go.syntax.TypeSwitchGuard.

hydra.dsl.go.syntax.type_switch_guard_expression(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchGuard]) → hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]

DSL accessor for the expression field of hydra.go.syntax.TypeSwitchGuard.

hydra.dsl.go.syntax.type_switch_guard_name(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchGuard]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier | None]

DSL accessor for the name field of hydra.go.syntax.TypeSwitchGuard.

hydra.dsl.go.syntax.type_switch_guard_with_expression(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchGuard], new_val: hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchGuard]

DSL updater for the expression field of hydra.go.syntax.TypeSwitchGuard.

hydra.dsl.go.syntax.type_switch_guard_with_name(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchGuard], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Identifier | None]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchGuard]

DSL updater for the name field of hydra.go.syntax.TypeSwitchGuard.

hydra.dsl.go.syntax.type_switch_stmt(init: hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None], guard: hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchGuard], cases: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TypeCaseClause]]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchStmt]

DSL constructor for hydra.go.syntax.TypeSwitchStmt.

hydra.dsl.go.syntax.type_switch_stmt_cases(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchStmt]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TypeCaseClause]]

DSL accessor for the cases field of hydra.go.syntax.TypeSwitchStmt.

hydra.dsl.go.syntax.type_switch_stmt_guard(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchGuard]

DSL accessor for the guard field of hydra.go.syntax.TypeSwitchStmt.

hydra.dsl.go.syntax.type_switch_stmt_init(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None]

DSL accessor for the init field of hydra.go.syntax.TypeSwitchStmt.

hydra.dsl.go.syntax.type_switch_stmt_with_cases(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchStmt], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TypeCaseClause]]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchStmt]

DSL updater for the cases field of hydra.go.syntax.TypeSwitchStmt.

hydra.dsl.go.syntax.type_switch_stmt_with_guard(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchGuard]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchStmt]

DSL updater for the guard field of hydra.go.syntax.TypeSwitchStmt.

hydra.dsl.go.syntax.type_switch_stmt_with_init(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchStmt], new_val: hydra.typed.TypedTerm[hydra.go.syntax.SimpleStmt | None]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeSwitchStmt]

DSL updater for the init field of hydra.go.syntax.TypeSwitchStmt.

hydra.dsl.go.syntax.type_term(underlying: hydra.typed.TypedTerm[bool], type: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeTerm]

DSL constructor for hydra.go.syntax.TypeTerm.

hydra.dsl.go.syntax.type_term_type(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeTerm]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the type field of hydra.go.syntax.TypeTerm.

hydra.dsl.go.syntax.type_term_underlying(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeTerm]) → hydra.typed.TypedTerm[bool]

DSL accessor for the underlying field of hydra.go.syntax.TypeTerm.

hydra.dsl.go.syntax.type_term_with_type(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeTerm], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeTerm]

DSL updater for the type field of hydra.go.syntax.TypeTerm.

hydra.dsl.go.syntax.type_term_with_underlying(original: hydra.typed.TypedTerm[hydra.go.syntax.TypeTerm], new_val: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeTerm]

DSL updater for the underlying field of hydra.go.syntax.TypeTerm.

hydra.dsl.go.syntax.un_block(x: hydra.typed.TypedTerm[hydra.go.syntax.Block]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Statement]]

DSL accessor for the body of hydra.go.syntax.Block.

hydra.dsl.go.syntax.un_break_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.BreakStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier | None]

DSL accessor for the body of hydra.go.syntax.BreakStmt.

hydra.dsl.go.syntax.un_const_decl(x: hydra.typed.TypedTerm[hydra.go.syntax.ConstDecl]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ConstSpec]]

DSL accessor for the body of hydra.go.syntax.ConstDecl.

hydra.dsl.go.syntax.un_continue_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.ContinueStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier | None]

DSL accessor for the body of hydra.go.syntax.ContinueStmt.

hydra.dsl.go.syntax.un_defer_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.DeferStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the body of hydra.go.syntax.DeferStmt.

hydra.dsl.go.syntax.un_element_list(x: hydra.typed.TypedTerm[hydra.go.syntax.ElementList]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.KeyedElement]]

DSL accessor for the body of hydra.go.syntax.ElementList.

hydra.dsl.go.syntax.un_empty_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.EmptyStmt]) → hydra.typed.TypedTerm[None]

DSL accessor for the body of hydra.go.syntax.EmptyStmt.

hydra.dsl.go.syntax.un_expression_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.ExpressionStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the body of hydra.go.syntax.ExpressionStmt.

hydra.dsl.go.syntax.un_fallthrough_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.FallthroughStmt]) → hydra.typed.TypedTerm[None]

DSL accessor for the body of hydra.go.syntax.FallthroughStmt.

hydra.dsl.go.syntax.un_float_lit(x: hydra.typed.TypedTerm[hydra.go.syntax.FloatLit]) → hydra.typed.TypedTerm[float]

DSL accessor for the body of hydra.go.syntax.FloatLit.

hydra.dsl.go.syntax.un_function_body(x: hydra.typed.TypedTerm[hydra.go.syntax.FunctionBody]) → hydra.typed.TypedTerm[hydra.go.syntax.Block]

DSL accessor for the body of hydra.go.syntax.FunctionBody.

hydra.dsl.go.syntax.un_function_type(x: hydra.typed.TypedTerm[hydra.go.syntax.FunctionType]) → hydra.typed.TypedTerm[hydra.go.syntax.Signature]

DSL accessor for the body of hydra.go.syntax.FunctionType.

hydra.dsl.go.syntax.un_go_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.GoStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Expression]

DSL accessor for the body of hydra.go.syntax.GoStmt.

hydra.dsl.go.syntax.un_goto_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.GotoStmt]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier]

DSL accessor for the body of hydra.go.syntax.GotoStmt.

hydra.dsl.go.syntax.un_identifier(x: hydra.typed.TypedTerm[hydra.go.syntax.Identifier]) → hydra.typed.TypedTerm[str]

DSL accessor for the body of hydra.go.syntax.Identifier.

hydra.dsl.go.syntax.un_imaginary_lit(x: hydra.typed.TypedTerm[hydra.go.syntax.ImaginaryLit]) → hydra.typed.TypedTerm[float]

DSL accessor for the body of hydra.go.syntax.ImaginaryLit.

hydra.dsl.go.syntax.un_import_decl(x: hydra.typed.TypedTerm[hydra.go.syntax.ImportDecl]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ImportSpec]]

DSL accessor for the body of hydra.go.syntax.ImportDecl.

hydra.dsl.go.syntax.un_import_path(x: hydra.typed.TypedTerm[hydra.go.syntax.ImportPath]) → hydra.typed.TypedTerm[hydra.go.syntax.StringLit]

DSL accessor for the body of hydra.go.syntax.ImportPath.

hydra.dsl.go.syntax.un_index(x: hydra.typed.TypedTerm[hydra.go.syntax.Index]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]

DSL accessor for the body of hydra.go.syntax.Index.

hydra.dsl.go.syntax.un_int_lit(x: hydra.typed.TypedTerm[hydra.go.syntax.IntLit]) → hydra.typed.TypedTerm[int]

DSL accessor for the body of hydra.go.syntax.IntLit.

hydra.dsl.go.syntax.un_interface_type(x: hydra.typed.TypedTerm[hydra.go.syntax.InterfaceType]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.InterfaceElem]]

DSL accessor for the body of hydra.go.syntax.InterfaceType.

hydra.dsl.go.syntax.un_interpreted_string_lit(x: hydra.typed.TypedTerm[hydra.go.syntax.InterpretedStringLit]) → hydra.typed.TypedTerm[str]

DSL accessor for the body of hydra.go.syntax.InterpretedStringLit.

hydra.dsl.go.syntax.un_literal_value(x: hydra.typed.TypedTerm[hydra.go.syntax.LiteralValue]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.KeyedElement]]

DSL accessor for the body of hydra.go.syntax.LiteralValue.

hydra.dsl.go.syntax.un_package_clause(x: hydra.typed.TypedTerm[hydra.go.syntax.PackageClause]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier]

DSL accessor for the body of hydra.go.syntax.PackageClause.

hydra.dsl.go.syntax.un_parameters(x: hydra.typed.TypedTerm[hydra.go.syntax.Parameters]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.ParameterDecl]]

DSL accessor for the body of hydra.go.syntax.Parameters.

hydra.dsl.go.syntax.un_pointer_type(x: hydra.typed.TypedTerm[hydra.go.syntax.PointerType]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the body of hydra.go.syntax.PointerType.

hydra.dsl.go.syntax.un_raw_string_lit(x: hydra.typed.TypedTerm[hydra.go.syntax.RawStringLit]) → hydra.typed.TypedTerm[str]

DSL accessor for the body of hydra.go.syntax.RawStringLit.

hydra.dsl.go.syntax.un_return_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.ReturnStmt]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]

DSL accessor for the body of hydra.go.syntax.ReturnStmt.

hydra.dsl.go.syntax.un_rune_lit(x: hydra.typed.TypedTerm[hydra.go.syntax.RuneLit]) → hydra.typed.TypedTerm[int]

DSL accessor for the body of hydra.go.syntax.RuneLit.

hydra.dsl.go.syntax.un_select_stmt(x: hydra.typed.TypedTerm[hydra.go.syntax.SelectStmt]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.CommClause]]

DSL accessor for the body of hydra.go.syntax.SelectStmt.

hydra.dsl.go.syntax.un_selector(x: hydra.typed.TypedTerm[hydra.go.syntax.Selector]) → hydra.typed.TypedTerm[hydra.go.syntax.Identifier]

DSL accessor for the body of hydra.go.syntax.Selector.

hydra.dsl.go.syntax.un_slice_type(x: hydra.typed.TypedTerm[hydra.go.syntax.SliceType]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the body of hydra.go.syntax.SliceType.

hydra.dsl.go.syntax.un_struct_type(x: hydra.typed.TypedTerm[hydra.go.syntax.StructType]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.FieldDecl]]

DSL accessor for the body of hydra.go.syntax.StructType.

hydra.dsl.go.syntax.un_tag(x: hydra.typed.TypedTerm[hydra.go.syntax.Tag]) → hydra.typed.TypedTerm[hydra.go.syntax.StringLit]

DSL accessor for the body of hydra.go.syntax.Tag.

hydra.dsl.go.syntax.un_type_assertion(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeAssertion]) → hydra.typed.TypedTerm[hydra.go.syntax.Type]

DSL accessor for the body of hydra.go.syntax.TypeAssertion.

hydra.dsl.go.syntax.un_type_constraint(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeConstraint]) → hydra.typed.TypedTerm[hydra.go.syntax.TypeElem]

DSL accessor for the body of hydra.go.syntax.TypeConstraint.

hydra.dsl.go.syntax.un_type_decl(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeDecl]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TypeSpec]]

DSL accessor for the body of hydra.go.syntax.TypeDecl.

hydra.dsl.go.syntax.un_type_elem(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeElem]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TypeTerm]]

DSL accessor for the body of hydra.go.syntax.TypeElem.

hydra.dsl.go.syntax.un_type_parameters(x: hydra.typed.TypedTerm[hydra.go.syntax.TypeParameters]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.TypeParamDecl]]

DSL accessor for the body of hydra.go.syntax.TypeParameters.

hydra.dsl.go.syntax.un_var_decl(x: hydra.typed.TypedTerm[hydra.go.syntax.VarDecl]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.VarSpec]]

DSL accessor for the body of hydra.go.syntax.VarDecl.

hydra.dsl.go.syntax.unary_expr_op(x: hydra.typed.TypedTerm[hydra.go.syntax.UnaryOperation]) → hydra.typed.TypedTerm[hydra.go.syntax.UnaryExpr]

DSL injection for the op variant of hydra.go.syntax.UnaryExpr.

hydra.dsl.go.syntax.unary_expr_primary(x: hydra.typed.TypedTerm[hydra.go.syntax.PrimaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.UnaryExpr]

DSL injection for the primary variant of hydra.go.syntax.UnaryExpr.

hydra.dsl.go.syntax.unary_operation(op: hydra.typed.TypedTerm[hydra.go.syntax.UnaryOp], operand: hydra.typed.TypedTerm[hydra.go.syntax.UnaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.UnaryOperation]

DSL constructor for hydra.go.syntax.UnaryOperation.

hydra.dsl.go.syntax.unary_operation_op(x: hydra.typed.TypedTerm[hydra.go.syntax.UnaryOperation]) → hydra.typed.TypedTerm[hydra.go.syntax.UnaryOp]

DSL accessor for the op field of hydra.go.syntax.UnaryOperation.

hydra.dsl.go.syntax.unary_operation_operand(x: hydra.typed.TypedTerm[hydra.go.syntax.UnaryOperation]) → hydra.typed.TypedTerm[hydra.go.syntax.UnaryExpr]

DSL accessor for the operand field of hydra.go.syntax.UnaryOperation.

hydra.dsl.go.syntax.unary_operation_with_op(original: hydra.typed.TypedTerm[hydra.go.syntax.UnaryOperation], new_val: hydra.typed.TypedTerm[hydra.go.syntax.UnaryOp]) → hydra.typed.TypedTerm[hydra.go.syntax.UnaryOperation]

DSL updater for the op field of hydra.go.syntax.UnaryOperation.

hydra.dsl.go.syntax.unary_operation_with_operand(original: hydra.typed.TypedTerm[hydra.go.syntax.UnaryOperation], new_val: hydra.typed.TypedTerm[hydra.go.syntax.UnaryExpr]) → hydra.typed.TypedTerm[hydra.go.syntax.UnaryOperation]

DSL updater for the operand field of hydra.go.syntax.UnaryOperation.

hydra.dsl.go.syntax.var_decl(x: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.VarSpec]]) → hydra.typed.TypedTerm[hydra.go.syntax.VarDecl]

DSL constructor for the hydra.go.syntax.VarDecl wrapper.

hydra.dsl.go.syntax.var_spec(names: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]], type: hydra.typed.TypedTerm[hydra.go.syntax.Type | None], values: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]) → hydra.typed.TypedTerm[hydra.go.syntax.VarSpec]

DSL constructor for hydra.go.syntax.VarSpec.

hydra.dsl.go.syntax.var_spec_names(x: hydra.typed.TypedTerm[hydra.go.syntax.VarSpec]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]]

DSL accessor for the names field of hydra.go.syntax.VarSpec.

hydra.dsl.go.syntax.var_spec_type(x: hydra.typed.TypedTerm[hydra.go.syntax.VarSpec]) → hydra.typed.TypedTerm[hydra.go.syntax.Type | None]

DSL accessor for the type field of hydra.go.syntax.VarSpec.

hydra.dsl.go.syntax.var_spec_values(x: hydra.typed.TypedTerm[hydra.go.syntax.VarSpec]) → hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]

DSL accessor for the values field of hydra.go.syntax.VarSpec.

hydra.dsl.go.syntax.var_spec_with_names(original: hydra.typed.TypedTerm[hydra.go.syntax.VarSpec], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Identifier]]) → hydra.typed.TypedTerm[hydra.go.syntax.VarSpec]

DSL updater for the names field of hydra.go.syntax.VarSpec.

hydra.dsl.go.syntax.var_spec_with_type(original: hydra.typed.TypedTerm[hydra.go.syntax.VarSpec], new_val: hydra.typed.TypedTerm[hydra.go.syntax.Type | None]) → hydra.typed.TypedTerm[hydra.go.syntax.VarSpec]

DSL updater for the type field of hydra.go.syntax.VarSpec.

hydra.dsl.go.syntax.var_spec_with_values(original: hydra.typed.TypedTerm[hydra.go.syntax.VarSpec], new_val: hydra.typed.TypedTerm[Sequence[hydra.go.syntax.Expression]]) → hydra.typed.TypedTerm[hydra.go.syntax.VarSpec]

DSL updater for the values field of hydra.go.syntax.VarSpec.