hydra.dsl.scala.syntax module

DSL functions for hydra.scala.syntax.

hydra.dsl.scala.syntax.alternative_pat(lhs: hydra.typed.TypedTerm[hydra.scala.syntax.Pat], rhs: hydra.typed.TypedTerm[hydra.scala.syntax.Pat]) → hydra.typed.TypedTerm[hydra.scala.syntax.AlternativePat]

DSL constructor for hydra.scala.syntax.AlternativePat.

hydra.dsl.scala.syntax.alternative_pat_lhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.AlternativePat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL accessor for the lhs field of hydra.scala.syntax.AlternativePat.

hydra.dsl.scala.syntax.alternative_pat_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.AlternativePat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL accessor for the rhs field of hydra.scala.syntax.AlternativePat.

hydra.dsl.scala.syntax.alternative_pat_with_lhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.AlternativePat], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Pat]) → hydra.typed.TypedTerm[hydra.scala.syntax.AlternativePat]

DSL updater for the lhs field of hydra.scala.syntax.AlternativePat.

hydra.dsl.scala.syntax.alternative_pat_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.AlternativePat], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Pat]) → hydra.typed.TypedTerm[hydra.scala.syntax.AlternativePat]

DSL updater for the rhs field of hydra.scala.syntax.AlternativePat.

hydra.dsl.scala.syntax.and_type(lhs: hydra.typed.TypedTerm[hydra.scala.syntax.Type], rhs: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.AndType]

DSL constructor for hydra.scala.syntax.AndType.

hydra.dsl.scala.syntax.and_type_lhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.AndType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the lhs field of hydra.scala.syntax.AndType.

hydra.dsl.scala.syntax.and_type_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.AndType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the rhs field of hydra.scala.syntax.AndType.

hydra.dsl.scala.syntax.and_type_with_lhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.AndType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.AndType]

DSL updater for the lhs field of hydra.scala.syntax.AndType.

hydra.dsl.scala.syntax.and_type_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.AndType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.AndType]

DSL updater for the rhs field of hydra.scala.syntax.AndType.

hydra.dsl.scala.syntax.annot_mod(init: hydra.typed.TypedTerm[hydra.scala.syntax.Init]) → hydra.typed.TypedTerm[hydra.scala.syntax.AnnotMod]

DSL constructor for hydra.scala.syntax.AnnotMod.

hydra.dsl.scala.syntax.annot_mod_init(x: hydra.typed.TypedTerm[hydra.scala.syntax.AnnotMod]) → hydra.typed.TypedTerm[hydra.scala.syntax.Init]

DSL accessor for the init field of hydra.scala.syntax.AnnotMod.

hydra.dsl.scala.syntax.annot_mod_with_init(original: hydra.typed.TypedTerm[hydra.scala.syntax.AnnotMod], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Init]) → hydra.typed.TypedTerm[hydra.scala.syntax.AnnotMod]

DSL updater for the init field of hydra.scala.syntax.AnnotMod.

hydra.dsl.scala.syntax.annotate_data(expr: hydra.typed.TypedTerm[hydra.scala.syntax.Data], annots: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.AnnotMod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateData]

DSL constructor for hydra.scala.syntax.AnnotateData.

hydra.dsl.scala.syntax.annotate_data_annots(x: hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.AnnotMod]]

DSL accessor for the annots field of hydra.scala.syntax.AnnotateData.

hydra.dsl.scala.syntax.annotate_data_expr(x: hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the expr field of hydra.scala.syntax.AnnotateData.

hydra.dsl.scala.syntax.annotate_data_with_annots(original: hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.AnnotMod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateData]

DSL updater for the annots field of hydra.scala.syntax.AnnotateData.

hydra.dsl.scala.syntax.annotate_data_with_expr(original: hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateData]

DSL updater for the expr field of hydra.scala.syntax.AnnotateData.

hydra.dsl.scala.syntax.annotate_type(tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type], annots: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.AnnotMod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateType]

DSL constructor for hydra.scala.syntax.AnnotateType.

hydra.dsl.scala.syntax.annotate_type_annots(x: hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.AnnotMod]]

DSL accessor for the annots field of hydra.scala.syntax.AnnotateType.

hydra.dsl.scala.syntax.annotate_type_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the tpe field of hydra.scala.syntax.AnnotateType.

hydra.dsl.scala.syntax.annotate_type_with_annots(original: hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.AnnotMod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateType]

DSL updater for the annots field of hydra.scala.syntax.AnnotateType.

hydra.dsl.scala.syntax.annotate_type_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateType]

DSL updater for the tpe field of hydra.scala.syntax.AnnotateType.

hydra.dsl.scala.syntax.anonymous_data(x: hydra.typed.TypedTerm[None]) → hydra.typed.TypedTerm[hydra.scala.syntax.AnonymousData]

DSL constructor for the hydra.scala.syntax.AnonymousData wrapper.

hydra.dsl.scala.syntax.anonymous_name_type(x: hydra.typed.TypedTerm[None]) → hydra.typed.TypedTerm[hydra.scala.syntax.AnonymousNameType]

DSL constructor for the hydra.scala.syntax.AnonymousNameType wrapper.

hydra.dsl.scala.syntax.apply_data(fun: hydra.typed.TypedTerm[hydra.scala.syntax.Data], args: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyData]

DSL constructor for hydra.scala.syntax.ApplyData.

hydra.dsl.scala.syntax.apply_data_args(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]

DSL accessor for the args field of hydra.scala.syntax.ApplyData.

hydra.dsl.scala.syntax.apply_data_fun(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the fun field of hydra.scala.syntax.ApplyData.

hydra.dsl.scala.syntax.apply_data_with_args(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyData]

DSL updater for the args field of hydra.scala.syntax.ApplyData.

hydra.dsl.scala.syntax.apply_data_with_fun(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyData]

DSL updater for the fun field of hydra.scala.syntax.ApplyData.

hydra.dsl.scala.syntax.apply_infix_data(lhs: hydra.typed.TypedTerm[hydra.scala.syntax.Data], op: hydra.typed.TypedTerm[hydra.scala.syntax.NameData], targs: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]], args: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixData]

DSL constructor for hydra.scala.syntax.ApplyInfixData.

hydra.dsl.scala.syntax.apply_infix_data_args(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]

DSL accessor for the args field of hydra.scala.syntax.ApplyInfixData.

hydra.dsl.scala.syntax.apply_infix_data_lhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the lhs field of hydra.scala.syntax.ApplyInfixData.

hydra.dsl.scala.syntax.apply_infix_data_op(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixData]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the op field of hydra.scala.syntax.ApplyInfixData.

hydra.dsl.scala.syntax.apply_infix_data_targs(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]

DSL accessor for the targs field of hydra.scala.syntax.ApplyInfixData.

hydra.dsl.scala.syntax.apply_infix_data_with_args(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixData]

DSL updater for the args field of hydra.scala.syntax.ApplyInfixData.

hydra.dsl.scala.syntax.apply_infix_data_with_lhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixData]

DSL updater for the lhs field of hydra.scala.syntax.ApplyInfixData.

hydra.dsl.scala.syntax.apply_infix_data_with_op(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixData]

DSL updater for the op field of hydra.scala.syntax.ApplyInfixData.

hydra.dsl.scala.syntax.apply_infix_data_with_targs(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixData]

DSL updater for the targs field of hydra.scala.syntax.ApplyInfixData.

hydra.dsl.scala.syntax.apply_infix_type(lhs: hydra.typed.TypedTerm[hydra.scala.syntax.Type], op: hydra.typed.TypedTerm[hydra.scala.syntax.NameType], rhs: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixType]

DSL constructor for hydra.scala.syntax.ApplyInfixType.

hydra.dsl.scala.syntax.apply_infix_type_lhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the lhs field of hydra.scala.syntax.ApplyInfixType.

hydra.dsl.scala.syntax.apply_infix_type_op(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixType]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameType]

DSL accessor for the op field of hydra.scala.syntax.ApplyInfixType.

hydra.dsl.scala.syntax.apply_infix_type_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the rhs field of hydra.scala.syntax.ApplyInfixType.

hydra.dsl.scala.syntax.apply_infix_type_with_lhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixType]

DSL updater for the lhs field of hydra.scala.syntax.ApplyInfixType.

hydra.dsl.scala.syntax.apply_infix_type_with_op(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixType]

DSL updater for the op field of hydra.scala.syntax.ApplyInfixType.

hydra.dsl.scala.syntax.apply_infix_type_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixType]

DSL updater for the rhs field of hydra.scala.syntax.ApplyInfixType.

hydra.dsl.scala.syntax.apply_type(tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type], args: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyType]

DSL constructor for hydra.scala.syntax.ApplyType.

hydra.dsl.scala.syntax.apply_type_args(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]

DSL accessor for the args field of hydra.scala.syntax.ApplyType.

hydra.dsl.scala.syntax.apply_type_data(lhs: hydra.typed.TypedTerm[hydra.scala.syntax.Data], op: hydra.typed.TypedTerm[hydra.scala.syntax.NameData], targs: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]], args: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData]

DSL constructor for hydra.scala.syntax.ApplyTypeData.

hydra.dsl.scala.syntax.apply_type_data_args(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]

DSL accessor for the args field of hydra.scala.syntax.ApplyTypeData.

hydra.dsl.scala.syntax.apply_type_data_lhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the lhs field of hydra.scala.syntax.ApplyTypeData.

hydra.dsl.scala.syntax.apply_type_data_op(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the op field of hydra.scala.syntax.ApplyTypeData.

hydra.dsl.scala.syntax.apply_type_data_targs(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]

DSL accessor for the targs field of hydra.scala.syntax.ApplyTypeData.

hydra.dsl.scala.syntax.apply_type_data_with_args(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData]

DSL updater for the args field of hydra.scala.syntax.ApplyTypeData.

hydra.dsl.scala.syntax.apply_type_data_with_lhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData]

DSL updater for the lhs field of hydra.scala.syntax.ApplyTypeData.

hydra.dsl.scala.syntax.apply_type_data_with_op(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData]

DSL updater for the op field of hydra.scala.syntax.ApplyTypeData.

hydra.dsl.scala.syntax.apply_type_data_with_targs(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData]

DSL updater for the targs field of hydra.scala.syntax.ApplyTypeData.

hydra.dsl.scala.syntax.apply_type_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the tpe field of hydra.scala.syntax.ApplyType.

hydra.dsl.scala.syntax.apply_type_with_args(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyType]

DSL updater for the args field of hydra.scala.syntax.ApplyType.

hydra.dsl.scala.syntax.apply_type_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyType]

DSL updater for the tpe field of hydra.scala.syntax.ApplyType.

hydra.dsl.scala.syntax.apply_unary_data(op: hydra.typed.TypedTerm[hydra.scala.syntax.NameData], arg: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUnaryData]

DSL constructor for hydra.scala.syntax.ApplyUnaryData.

hydra.dsl.scala.syntax.apply_unary_data_arg(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUnaryData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the arg field of hydra.scala.syntax.ApplyUnaryData.

hydra.dsl.scala.syntax.apply_unary_data_op(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUnaryData]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the op field of hydra.scala.syntax.ApplyUnaryData.

hydra.dsl.scala.syntax.apply_unary_data_with_arg(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUnaryData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUnaryData]

DSL updater for the arg field of hydra.scala.syntax.ApplyUnaryData.

hydra.dsl.scala.syntax.apply_unary_data_with_op(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUnaryData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUnaryData]

DSL updater for the op field of hydra.scala.syntax.ApplyUnaryData.

hydra.dsl.scala.syntax.apply_using_data(fun: hydra.typed.TypedTerm[hydra.scala.syntax.Data], targs: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUsingData]

DSL constructor for hydra.scala.syntax.ApplyUsingData.

hydra.dsl.scala.syntax.apply_using_data_fun(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUsingData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the fun field of hydra.scala.syntax.ApplyUsingData.

hydra.dsl.scala.syntax.apply_using_data_targs(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUsingData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]

DSL accessor for the targs field of hydra.scala.syntax.ApplyUsingData.

hydra.dsl.scala.syntax.apply_using_data_with_fun(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUsingData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUsingData]

DSL updater for the fun field of hydra.scala.syntax.ApplyUsingData.

hydra.dsl.scala.syntax.apply_using_data_with_targs(original: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUsingData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUsingData]

DSL updater for the targs field of hydra.scala.syntax.ApplyUsingData.

hydra.dsl.scala.syntax.ascribe_data(expr: hydra.typed.TypedTerm[hydra.scala.syntax.Data], tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.AscribeData]

DSL constructor for hydra.scala.syntax.AscribeData.

hydra.dsl.scala.syntax.ascribe_data_expr(x: hydra.typed.TypedTerm[hydra.scala.syntax.AscribeData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the expr field of hydra.scala.syntax.AscribeData.

hydra.dsl.scala.syntax.ascribe_data_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.AscribeData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the tpe field of hydra.scala.syntax.AscribeData.

hydra.dsl.scala.syntax.ascribe_data_with_expr(original: hydra.typed.TypedTerm[hydra.scala.syntax.AscribeData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.AscribeData]

DSL updater for the expr field of hydra.scala.syntax.AscribeData.

hydra.dsl.scala.syntax.ascribe_data_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.AscribeData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.AscribeData]

DSL updater for the tpe field of hydra.scala.syntax.AscribeData.

hydra.dsl.scala.syntax.assign_data(lhs: hydra.typed.TypedTerm[hydra.scala.syntax.Data], rhs: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.AssignData]

DSL constructor for hydra.scala.syntax.AssignData.

hydra.dsl.scala.syntax.assign_data_lhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.AssignData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the lhs field of hydra.scala.syntax.AssignData.

hydra.dsl.scala.syntax.assign_data_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.AssignData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the rhs field of hydra.scala.syntax.AssignData.

hydra.dsl.scala.syntax.assign_data_with_lhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.AssignData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.AssignData]

DSL updater for the lhs field of hydra.scala.syntax.AssignData.

hydra.dsl.scala.syntax.assign_data_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.AssignData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.AssignData]

DSL updater for the rhs field of hydra.scala.syntax.AssignData.

hydra.dsl.scala.syntax.bind_pat(lhs: hydra.typed.TypedTerm[hydra.scala.syntax.Pat], rhs: hydra.typed.TypedTerm[hydra.scala.syntax.Pat]) → hydra.typed.TypedTerm[hydra.scala.syntax.BindPat]

DSL constructor for hydra.scala.syntax.BindPat.

hydra.dsl.scala.syntax.bind_pat_lhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.BindPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL accessor for the lhs field of hydra.scala.syntax.BindPat.

hydra.dsl.scala.syntax.bind_pat_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.BindPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL accessor for the rhs field of hydra.scala.syntax.BindPat.

hydra.dsl.scala.syntax.bind_pat_with_lhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.BindPat], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Pat]) → hydra.typed.TypedTerm[hydra.scala.syntax.BindPat]

DSL updater for the lhs field of hydra.scala.syntax.BindPat.

hydra.dsl.scala.syntax.bind_pat_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.BindPat], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Pat]) → hydra.typed.TypedTerm[hydra.scala.syntax.BindPat]

DSL updater for the rhs field of hydra.scala.syntax.BindPat.

hydra.dsl.scala.syntax.block_data(stats: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.BlockData]

DSL constructor for hydra.scala.syntax.BlockData.

hydra.dsl.scala.syntax.block_data_stats(x: hydra.typed.TypedTerm[hydra.scala.syntax.BlockData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]

DSL accessor for the stats field of hydra.scala.syntax.BlockData.

hydra.dsl.scala.syntax.block_data_with_stats(original: hydra.typed.TypedTerm[hydra.scala.syntax.BlockData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.BlockData]

DSL updater for the stats field of hydra.scala.syntax.BlockData.

hydra.dsl.scala.syntax.by_name_type(tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ByNameType]

DSL constructor for hydra.scala.syntax.ByNameType.

hydra.dsl.scala.syntax.by_name_type_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.ByNameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the tpe field of hydra.scala.syntax.ByNameType.

hydra.dsl.scala.syntax.by_name_type_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.ByNameType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ByNameType]

DSL updater for the tpe field of hydra.scala.syntax.ByNameType.

hydra.dsl.scala.syntax.case(pat: hydra.typed.TypedTerm[hydra.scala.syntax.Pat], cond: hydra.typed.TypedTerm[hydra.scala.syntax.Data | None], body: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.Case]

DSL constructor for hydra.scala.syntax.Case.

hydra.dsl.scala.syntax.case_body(x: hydra.typed.TypedTerm[hydra.scala.syntax.Case]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the body field of hydra.scala.syntax.Case.

hydra.dsl.scala.syntax.case_cond(x: hydra.typed.TypedTerm[hydra.scala.syntax.Case]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]

DSL accessor for the cond field of hydra.scala.syntax.Case.

hydra.dsl.scala.syntax.case_generator_enumerator(pat: hydra.typed.TypedTerm[hydra.scala.syntax.Pat], rhs: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.CaseGeneratorEnumerator]

DSL constructor for hydra.scala.syntax.CaseGeneratorEnumerator.

hydra.dsl.scala.syntax.case_generator_enumerator_pat(x: hydra.typed.TypedTerm[hydra.scala.syntax.CaseGeneratorEnumerator]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL accessor for the pat field of hydra.scala.syntax.CaseGeneratorEnumerator.

hydra.dsl.scala.syntax.case_generator_enumerator_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.CaseGeneratorEnumerator]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the rhs field of hydra.scala.syntax.CaseGeneratorEnumerator.

hydra.dsl.scala.syntax.case_generator_enumerator_with_pat(original: hydra.typed.TypedTerm[hydra.scala.syntax.CaseGeneratorEnumerator], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Pat]) → hydra.typed.TypedTerm[hydra.scala.syntax.CaseGeneratorEnumerator]

DSL updater for the pat field of hydra.scala.syntax.CaseGeneratorEnumerator.

hydra.dsl.scala.syntax.case_generator_enumerator_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.CaseGeneratorEnumerator], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.CaseGeneratorEnumerator]

DSL updater for the rhs field of hydra.scala.syntax.CaseGeneratorEnumerator.

hydra.dsl.scala.syntax.case_pat(x: hydra.typed.TypedTerm[hydra.scala.syntax.Case]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL accessor for the pat field of hydra.scala.syntax.Case.

hydra.dsl.scala.syntax.case_tree_case(x: hydra.typed.TypedTerm[hydra.scala.syntax.Case]) → hydra.typed.TypedTerm[hydra.scala.syntax.CaseTree]

DSL injection for the case variant of hydra.scala.syntax.CaseTree.

hydra.dsl.scala.syntax.case_tree_type_case(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeCase]) → hydra.typed.TypedTerm[hydra.scala.syntax.CaseTree]

DSL injection for the typeCase variant of hydra.scala.syntax.CaseTree.

hydra.dsl.scala.syntax.case_with_body(original: hydra.typed.TypedTerm[hydra.scala.syntax.Case], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.Case]

DSL updater for the body field of hydra.scala.syntax.Case.

hydra.dsl.scala.syntax.case_with_cond(original: hydra.typed.TypedTerm[hydra.scala.syntax.Case], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.Case]

DSL updater for the cond field of hydra.scala.syntax.Case.

hydra.dsl.scala.syntax.case_with_pat(original: hydra.typed.TypedTerm[hydra.scala.syntax.Case], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Pat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Case]

DSL updater for the pat field of hydra.scala.syntax.Case.

hydra.dsl.scala.syntax.class_defn(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.NameType], tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], ctor: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor], template: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn]

DSL constructor for hydra.scala.syntax.ClassDefn.

hydra.dsl.scala.syntax.class_defn_ctor(x: hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]

DSL accessor for the ctor field of hydra.scala.syntax.ClassDefn.

hydra.dsl.scala.syntax.class_defn_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.ClassDefn.

hydra.dsl.scala.syntax.class_defn_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameType]

DSL accessor for the name field of hydra.scala.syntax.ClassDefn.

hydra.dsl.scala.syntax.class_defn_template(x: hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Template]

DSL accessor for the template field of hydra.scala.syntax.ClassDefn.

hydra.dsl.scala.syntax.class_defn_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.ClassDefn.

hydra.dsl.scala.syntax.class_defn_with_ctor(original: hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]) → hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn]

DSL updater for the ctor field of hydra.scala.syntax.ClassDefn.

hydra.dsl.scala.syntax.class_defn_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn]

DSL updater for the mods field of hydra.scala.syntax.ClassDefn.

hydra.dsl.scala.syntax.class_defn_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn]

DSL updater for the name field of hydra.scala.syntax.ClassDefn.

hydra.dsl.scala.syntax.class_defn_with_template(original: hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn]

DSL updater for the template field of hydra.scala.syntax.ClassDefn.

hydra.dsl.scala.syntax.class_defn_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn]

DSL updater for the tparams field of hydra.scala.syntax.ClassDefn.

hydra.dsl.scala.syntax.context_function_data(params: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamData]], body: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionData]

DSL constructor for hydra.scala.syntax.ContextFunctionData.

hydra.dsl.scala.syntax.context_function_data_body(x: hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the body field of hydra.scala.syntax.ContextFunctionData.

hydra.dsl.scala.syntax.context_function_data_params(x: hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamData]]

DSL accessor for the params field of hydra.scala.syntax.ContextFunctionData.

hydra.dsl.scala.syntax.context_function_data_with_body(original: hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionData]

DSL updater for the body field of hydra.scala.syntax.ContextFunctionData.

hydra.dsl.scala.syntax.context_function_data_with_params(original: hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamData]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionData]

DSL updater for the params field of hydra.scala.syntax.ContextFunctionData.

hydra.dsl.scala.syntax.context_function_type(params: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]], res: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionType]

DSL constructor for hydra.scala.syntax.ContextFunctionType.

hydra.dsl.scala.syntax.context_function_type_params(x: hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]

DSL accessor for the params field of hydra.scala.syntax.ContextFunctionType.

hydra.dsl.scala.syntax.context_function_type_res(x: hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the res field of hydra.scala.syntax.ContextFunctionType.

hydra.dsl.scala.syntax.context_function_type_with_params(original: hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionType]

DSL updater for the params field of hydra.scala.syntax.ContextFunctionType.

hydra.dsl.scala.syntax.context_function_type_with_res(original: hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionType]

DSL updater for the res field of hydra.scala.syntax.ContextFunctionType.

hydra.dsl.scala.syntax.ctor_primary(x: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]) → hydra.typed.TypedTerm[hydra.scala.syntax.Ctor]

DSL injection for the primary variant of hydra.scala.syntax.Ctor.

hydra.dsl.scala.syntax.ctor_secondary(x: hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor]) → hydra.typed.TypedTerm[hydra.scala.syntax.Ctor]

DSL injection for the secondary variant of hydra.scala.syntax.Ctor.

hydra.dsl.scala.syntax.data_annotate(x: hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the annotate variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_apply(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the apply variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_apply_type(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyTypeData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the applyType variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_apply_using(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUsingData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the applyUsing variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_ascribe(x: hydra.typed.TypedTerm[hydra.scala.syntax.AscribeData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the ascribe variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_assign(x: hydra.typed.TypedTerm[hydra.scala.syntax.AssignData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the assign variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_block(x: hydra.typed.TypedTerm[hydra.scala.syntax.BlockData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the block variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_context_function(x: hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the contextFunction variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_do(x: hydra.typed.TypedTerm[hydra.scala.syntax.DoData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the do variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_end_marker(x: hydra.typed.TypedTerm[hydra.scala.syntax.EndMarkerData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the endMarker variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_eta(x: hydra.typed.TypedTerm[hydra.scala.syntax.EtaData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the eta variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_for(x: hydra.typed.TypedTerm[hydra.scala.syntax.ForData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the for variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_for_yield(x: hydra.typed.TypedTerm[hydra.scala.syntax.ForYieldData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the forYield variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_function(x: hydra.typed.TypedTerm[hydra.scala.syntax.FunctionData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the function variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_if(x: hydra.typed.TypedTerm[hydra.scala.syntax.IfData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the if variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_interpolate(x: hydra.typed.TypedTerm[hydra.scala.syntax.InterpolateData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the interpolate variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_lit(x: hydra.typed.TypedTerm[hydra.scala.syntax.Lit]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the lit variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_match(x: hydra.typed.TypedTerm[hydra.scala.syntax.MatchData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the match variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_member_object(x: hydra.typed.TypedTerm[hydra.scala.syntax.ObjectPkg]) → hydra.typed.TypedTerm[hydra.scala.syntax.DataMember]

DSL injection for the object variant of hydra.scala.syntax.DataMember.

hydra.dsl.scala.syntax.data_member_pkg(x: hydra.typed.TypedTerm[hydra.scala.syntax.Pkg]) → hydra.typed.TypedTerm[hydra.scala.syntax.DataMember]

DSL injection for the pkg variant of hydra.scala.syntax.DataMember.

hydra.dsl.scala.syntax.data_new(x: hydra.typed.TypedTerm[hydra.scala.syntax.NewData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the new variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_new_anonymous(x: hydra.typed.TypedTerm[hydra.scala.syntax.NewAnonymousData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the newAnonymous variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_param(x: hydra.typed.TypedTerm[hydra.scala.syntax.ParamData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the param variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_partial_function(x: hydra.typed.TypedTerm[hydra.scala.syntax.PartialFunctionData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the partialFunction variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_poly_function(x: hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the polyFunction variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_ref(x: hydra.typed.TypedTerm[hydra.scala.syntax.RefData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the ref variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_repeated(x: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the repeated variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_return(x: hydra.typed.TypedTerm[hydra.scala.syntax.ReturnData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the return variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_throw(x: hydra.typed.TypedTerm[hydra.scala.syntax.ThrowData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the throw variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_try(x: hydra.typed.TypedTerm[hydra.scala.syntax.TryData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the try variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_try_with_handler(x: hydra.typed.TypedTerm[hydra.scala.syntax.TryWithHandlerData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the tryWithHandler variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_tuple(x: hydra.typed.TypedTerm[hydra.scala.syntax.TupleData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the tuple variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.data_while(x: hydra.typed.TypedTerm[hydra.scala.syntax.WhileData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL injection for the while variant of hydra.scala.syntax.Data.

hydra.dsl.scala.syntax.decl_def(x: hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl]) → hydra.typed.TypedTerm[hydra.scala.syntax.Decl]

DSL injection for the def variant of hydra.scala.syntax.Decl.

hydra.dsl.scala.syntax.decl_given(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl]) → hydra.typed.TypedTerm[hydra.scala.syntax.Decl]

DSL injection for the given variant of hydra.scala.syntax.Decl.

hydra.dsl.scala.syntax.decl_type(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl]) → hydra.typed.TypedTerm[hydra.scala.syntax.Decl]

DSL injection for the type variant of hydra.scala.syntax.Decl.

hydra.dsl.scala.syntax.decl_val(x: hydra.typed.TypedTerm[hydra.scala.syntax.ValDecl]) → hydra.typed.TypedTerm[hydra.scala.syntax.Decl]

DSL injection for the val variant of hydra.scala.syntax.Decl.

hydra.dsl.scala.syntax.decl_var(x: hydra.typed.TypedTerm[hydra.scala.syntax.VarDecl]) → hydra.typed.TypedTerm[hydra.scala.syntax.Decl]

DSL injection for the var variant of hydra.scala.syntax.Decl.

hydra.dsl.scala.syntax.def_decl(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.NameData], tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], paramss: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]], decltpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl]

DSL constructor for hydra.scala.syntax.DefDecl.

hydra.dsl.scala.syntax.def_decl_decltpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the decltpe field of hydra.scala.syntax.DefDecl.

hydra.dsl.scala.syntax.def_decl_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.DefDecl.

hydra.dsl.scala.syntax.def_decl_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the name field of hydra.scala.syntax.DefDecl.

hydra.dsl.scala.syntax.def_decl_paramss(x: hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl]) → hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]

DSL accessor for the paramss field of hydra.scala.syntax.DefDecl.

hydra.dsl.scala.syntax.def_decl_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.DefDecl.

hydra.dsl.scala.syntax.def_decl_with_decltpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl]

DSL updater for the decltpe field of hydra.scala.syntax.DefDecl.

hydra.dsl.scala.syntax.def_decl_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl]

DSL updater for the mods field of hydra.scala.syntax.DefDecl.

hydra.dsl.scala.syntax.def_decl_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl]

DSL updater for the name field of hydra.scala.syntax.DefDecl.

hydra.dsl.scala.syntax.def_decl_with_paramss(original: hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl], new_val: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl]

DSL updater for the paramss field of hydra.scala.syntax.DefDecl.

hydra.dsl.scala.syntax.def_decl_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.DefDecl]

DSL updater for the tparams field of hydra.scala.syntax.DefDecl.

hydra.dsl.scala.syntax.def_defn(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.NameData], tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], paramss: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]], decltpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type | None], body: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]

DSL constructor for hydra.scala.syntax.DefDefn.

hydra.dsl.scala.syntax.def_defn_body(x: hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the body field of hydra.scala.syntax.DefDefn.

hydra.dsl.scala.syntax.def_defn_decltpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type | None]

DSL accessor for the decltpe field of hydra.scala.syntax.DefDefn.

hydra.dsl.scala.syntax.def_defn_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.DefDefn.

hydra.dsl.scala.syntax.def_defn_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the name field of hydra.scala.syntax.DefDefn.

hydra.dsl.scala.syntax.def_defn_paramss(x: hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]) → hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]

DSL accessor for the paramss field of hydra.scala.syntax.DefDefn.

hydra.dsl.scala.syntax.def_defn_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.DefDefn.

hydra.dsl.scala.syntax.def_defn_with_body(original: hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]

DSL updater for the body field of hydra.scala.syntax.DefDefn.

hydra.dsl.scala.syntax.def_defn_with_decltpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]

DSL updater for the decltpe field of hydra.scala.syntax.DefDefn.

hydra.dsl.scala.syntax.def_defn_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]

DSL updater for the mods field of hydra.scala.syntax.DefDefn.

hydra.dsl.scala.syntax.def_defn_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]

DSL updater for the name field of hydra.scala.syntax.DefDefn.

hydra.dsl.scala.syntax.def_defn_with_paramss(original: hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn], new_val: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]

DSL updater for the paramss field of hydra.scala.syntax.DefDefn.

hydra.dsl.scala.syntax.def_defn_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]

DSL updater for the tparams field of hydra.scala.syntax.DefDefn.

hydra.dsl.scala.syntax.defn_class(x: hydra.typed.TypedTerm[hydra.scala.syntax.ClassDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Defn]

DSL injection for the class variant of hydra.scala.syntax.Defn.

hydra.dsl.scala.syntax.defn_def(x: hydra.typed.TypedTerm[hydra.scala.syntax.DefDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Defn]

DSL injection for the def variant of hydra.scala.syntax.Defn.

hydra.dsl.scala.syntax.defn_enum(x: hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Defn]

DSL injection for the enum variant of hydra.scala.syntax.Defn.

hydra.dsl.scala.syntax.defn_enum_case(x: hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Defn]

DSL injection for the enumCase variant of hydra.scala.syntax.Defn.

hydra.dsl.scala.syntax.defn_extension_group(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExtensionGroupDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Defn]

DSL injection for the extensionGroup variant of hydra.scala.syntax.Defn.

hydra.dsl.scala.syntax.defn_given(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Defn]

DSL injection for the given variant of hydra.scala.syntax.Defn.

hydra.dsl.scala.syntax.defn_given_alias(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Defn]

DSL injection for the givenAlias variant of hydra.scala.syntax.Defn.

hydra.dsl.scala.syntax.defn_object(x: hydra.typed.TypedTerm[hydra.scala.syntax.ObjectDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Defn]

DSL injection for the object variant of hydra.scala.syntax.Defn.

hydra.dsl.scala.syntax.defn_repeated_enum_case(x: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedEnumCaseDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Defn]

DSL injection for the repeatedEnumCase variant of hydra.scala.syntax.Defn.

hydra.dsl.scala.syntax.defn_trait(x: hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Defn]

DSL injection for the trait variant of hydra.scala.syntax.Defn.

hydra.dsl.scala.syntax.defn_type(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Defn]

DSL injection for the type variant of hydra.scala.syntax.Defn.

hydra.dsl.scala.syntax.defn_val(x: hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Defn]

DSL injection for the val variant of hydra.scala.syntax.Defn.

hydra.dsl.scala.syntax.defn_var(x: hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Defn]

DSL injection for the var variant of hydra.scala.syntax.Defn.

hydra.dsl.scala.syntax.do_data(body: hydra.typed.TypedTerm[hydra.scala.syntax.Data], expr: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.DoData]

DSL constructor for hydra.scala.syntax.DoData.

hydra.dsl.scala.syntax.do_data_body(x: hydra.typed.TypedTerm[hydra.scala.syntax.DoData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the body field of hydra.scala.syntax.DoData.

hydra.dsl.scala.syntax.do_data_expr(x: hydra.typed.TypedTerm[hydra.scala.syntax.DoData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the expr field of hydra.scala.syntax.DoData.

hydra.dsl.scala.syntax.do_data_with_body(original: hydra.typed.TypedTerm[hydra.scala.syntax.DoData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.DoData]

DSL updater for the body field of hydra.scala.syntax.DoData.

hydra.dsl.scala.syntax.do_data_with_expr(original: hydra.typed.TypedTerm[hydra.scala.syntax.DoData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.DoData]

DSL updater for the expr field of hydra.scala.syntax.DoData.

hydra.dsl.scala.syntax.end_marker_data(name: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.EndMarkerData]

DSL constructor for hydra.scala.syntax.EndMarkerData.

hydra.dsl.scala.syntax.end_marker_data_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.EndMarkerData]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the name field of hydra.scala.syntax.EndMarkerData.

hydra.dsl.scala.syntax.end_marker_data_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.EndMarkerData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.EndMarkerData]

DSL updater for the name field of hydra.scala.syntax.EndMarkerData.

hydra.dsl.scala.syntax.enum_case_defn(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.NameData], tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], ctor: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor], inits: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Init]]) → hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn]

DSL constructor for hydra.scala.syntax.EnumCaseDefn.

hydra.dsl.scala.syntax.enum_case_defn_ctor(x: hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]

DSL accessor for the ctor field of hydra.scala.syntax.EnumCaseDefn.

hydra.dsl.scala.syntax.enum_case_defn_inits(x: hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Init]]

DSL accessor for the inits field of hydra.scala.syntax.EnumCaseDefn.

hydra.dsl.scala.syntax.enum_case_defn_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.EnumCaseDefn.

hydra.dsl.scala.syntax.enum_case_defn_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the name field of hydra.scala.syntax.EnumCaseDefn.

hydra.dsl.scala.syntax.enum_case_defn_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.EnumCaseDefn.

hydra.dsl.scala.syntax.enum_case_defn_with_ctor(original: hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]) → hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn]

DSL updater for the ctor field of hydra.scala.syntax.EnumCaseDefn.

hydra.dsl.scala.syntax.enum_case_defn_with_inits(original: hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Init]]) → hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn]

DSL updater for the inits field of hydra.scala.syntax.EnumCaseDefn.

hydra.dsl.scala.syntax.enum_case_defn_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn]

DSL updater for the mods field of hydra.scala.syntax.EnumCaseDefn.

hydra.dsl.scala.syntax.enum_case_defn_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn]

DSL updater for the name field of hydra.scala.syntax.EnumCaseDefn.

hydra.dsl.scala.syntax.enum_case_defn_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.EnumCaseDefn]

DSL updater for the tparams field of hydra.scala.syntax.EnumCaseDefn.

hydra.dsl.scala.syntax.enum_defn(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.NameType], tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], ctor: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor], template: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn]

DSL constructor for hydra.scala.syntax.EnumDefn.

hydra.dsl.scala.syntax.enum_defn_ctor(x: hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]

DSL accessor for the ctor field of hydra.scala.syntax.EnumDefn.

hydra.dsl.scala.syntax.enum_defn_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.EnumDefn.

hydra.dsl.scala.syntax.enum_defn_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameType]

DSL accessor for the name field of hydra.scala.syntax.EnumDefn.

hydra.dsl.scala.syntax.enum_defn_template(x: hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Template]

DSL accessor for the template field of hydra.scala.syntax.EnumDefn.

hydra.dsl.scala.syntax.enum_defn_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.EnumDefn.

hydra.dsl.scala.syntax.enum_defn_with_ctor(original: hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]) → hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn]

DSL updater for the ctor field of hydra.scala.syntax.EnumDefn.

hydra.dsl.scala.syntax.enum_defn_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn]

DSL updater for the mods field of hydra.scala.syntax.EnumDefn.

hydra.dsl.scala.syntax.enum_defn_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn]

DSL updater for the name field of hydra.scala.syntax.EnumDefn.

hydra.dsl.scala.syntax.enum_defn_with_template(original: hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn]

DSL updater for the template field of hydra.scala.syntax.EnumDefn.

hydra.dsl.scala.syntax.enum_defn_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.EnumDefn]

DSL updater for the tparams field of hydra.scala.syntax.EnumDefn.

hydra.dsl.scala.syntax.enumerator_case_generator(x: hydra.typed.TypedTerm[hydra.scala.syntax.CaseGeneratorEnumerator]) → hydra.typed.TypedTerm[hydra.scala.syntax.Enumerator]

DSL injection for the caseGenerator variant of hydra.scala.syntax.Enumerator.

hydra.dsl.scala.syntax.enumerator_generator(x: hydra.typed.TypedTerm[hydra.scala.syntax.GeneratorEnumerator]) → hydra.typed.TypedTerm[hydra.scala.syntax.Enumerator]

DSL injection for the generator variant of hydra.scala.syntax.Enumerator.

hydra.dsl.scala.syntax.enumerator_guard(x: hydra.typed.TypedTerm[hydra.scala.syntax.GuardEnumerator]) → hydra.typed.TypedTerm[hydra.scala.syntax.Enumerator]

DSL injection for the guard variant of hydra.scala.syntax.Enumerator.

hydra.dsl.scala.syntax.enumerator_val(x: hydra.typed.TypedTerm[hydra.scala.syntax.ValEnumerator]) → hydra.typed.TypedTerm[hydra.scala.syntax.Enumerator]

DSL injection for the val variant of hydra.scala.syntax.Enumerator.

hydra.dsl.scala.syntax.eta_data(expr: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.EtaData]

DSL constructor for hydra.scala.syntax.EtaData.

hydra.dsl.scala.syntax.eta_data_expr(x: hydra.typed.TypedTerm[hydra.scala.syntax.EtaData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the expr field of hydra.scala.syntax.EtaData.

hydra.dsl.scala.syntax.eta_data_with_expr(original: hydra.typed.TypedTerm[hydra.scala.syntax.EtaData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.EtaData]

DSL updater for the expr field of hydra.scala.syntax.EtaData.

hydra.dsl.scala.syntax.existential_type(tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type], stats: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExistentialType]

DSL constructor for hydra.scala.syntax.ExistentialType.

hydra.dsl.scala.syntax.existential_type_stats(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExistentialType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]

DSL accessor for the stats field of hydra.scala.syntax.ExistentialType.

hydra.dsl.scala.syntax.existential_type_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExistentialType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the tpe field of hydra.scala.syntax.ExistentialType.

hydra.dsl.scala.syntax.existential_type_with_stats(original: hydra.typed.TypedTerm[hydra.scala.syntax.ExistentialType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExistentialType]

DSL updater for the stats field of hydra.scala.syntax.ExistentialType.

hydra.dsl.scala.syntax.existential_type_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.ExistentialType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExistentialType]

DSL updater for the tpe field of hydra.scala.syntax.ExistentialType.

hydra.dsl.scala.syntax.export(importers: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Importer]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Export]

DSL constructor for hydra.scala.syntax.Export.

hydra.dsl.scala.syntax.export_importers(x: hydra.typed.TypedTerm[hydra.scala.syntax.Export]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Importer]]

DSL accessor for the importers field of hydra.scala.syntax.Export.

hydra.dsl.scala.syntax.export_with_importers(original: hydra.typed.TypedTerm[hydra.scala.syntax.Export], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Importer]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Export]

DSL updater for the importers field of hydra.scala.syntax.Export.

hydra.dsl.scala.syntax.extension_group_defn(tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], parmss: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]], body: hydra.typed.TypedTerm[hydra.scala.syntax.Stat]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExtensionGroupDefn]

DSL constructor for hydra.scala.syntax.ExtensionGroupDefn.

hydra.dsl.scala.syntax.extension_group_defn_body(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExtensionGroupDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Stat]

DSL accessor for the body field of hydra.scala.syntax.ExtensionGroupDefn.

hydra.dsl.scala.syntax.extension_group_defn_parmss(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExtensionGroupDefn]) → hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]

DSL accessor for the parmss field of hydra.scala.syntax.ExtensionGroupDefn.

hydra.dsl.scala.syntax.extension_group_defn_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExtensionGroupDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.ExtensionGroupDefn.

hydra.dsl.scala.syntax.extension_group_defn_with_body(original: hydra.typed.TypedTerm[hydra.scala.syntax.ExtensionGroupDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Stat]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExtensionGroupDefn]

DSL updater for the body field of hydra.scala.syntax.ExtensionGroupDefn.

hydra.dsl.scala.syntax.extension_group_defn_with_parmss(original: hydra.typed.TypedTerm[hydra.scala.syntax.ExtensionGroupDefn], new_val: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExtensionGroupDefn]

DSL updater for the parmss field of hydra.scala.syntax.ExtensionGroupDefn.

hydra.dsl.scala.syntax.extension_group_defn_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.ExtensionGroupDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExtensionGroupDefn]

DSL updater for the tparams field of hydra.scala.syntax.ExtensionGroupDefn.

hydra.dsl.scala.syntax.extract_infix_pat(lhs: hydra.typed.TypedTerm[hydra.scala.syntax.Pat], op: hydra.typed.TypedTerm[hydra.scala.syntax.NameData], rhs: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExtractInfixPat]

DSL constructor for hydra.scala.syntax.ExtractInfixPat.

hydra.dsl.scala.syntax.extract_infix_pat_lhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExtractInfixPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL accessor for the lhs field of hydra.scala.syntax.ExtractInfixPat.

hydra.dsl.scala.syntax.extract_infix_pat_op(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExtractInfixPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the op field of hydra.scala.syntax.ExtractInfixPat.

hydra.dsl.scala.syntax.extract_infix_pat_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExtractInfixPat]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]

DSL accessor for the rhs field of hydra.scala.syntax.ExtractInfixPat.

hydra.dsl.scala.syntax.extract_infix_pat_with_lhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.ExtractInfixPat], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Pat]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExtractInfixPat]

DSL updater for the lhs field of hydra.scala.syntax.ExtractInfixPat.

hydra.dsl.scala.syntax.extract_infix_pat_with_op(original: hydra.typed.TypedTerm[hydra.scala.syntax.ExtractInfixPat], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExtractInfixPat]

DSL updater for the op field of hydra.scala.syntax.ExtractInfixPat.

hydra.dsl.scala.syntax.extract_infix_pat_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.ExtractInfixPat], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExtractInfixPat]

DSL updater for the rhs field of hydra.scala.syntax.ExtractInfixPat.

hydra.dsl.scala.syntax.extract_pat(fun: hydra.typed.TypedTerm[hydra.scala.syntax.Data], args: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExtractPat]

DSL constructor for hydra.scala.syntax.ExtractPat.

hydra.dsl.scala.syntax.extract_pat_args(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExtractPat]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]

DSL accessor for the args field of hydra.scala.syntax.ExtractPat.

hydra.dsl.scala.syntax.extract_pat_fun(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExtractPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the fun field of hydra.scala.syntax.ExtractPat.

hydra.dsl.scala.syntax.extract_pat_with_args(original: hydra.typed.TypedTerm[hydra.scala.syntax.ExtractPat], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExtractPat]

DSL updater for the args field of hydra.scala.syntax.ExtractPat.

hydra.dsl.scala.syntax.extract_pat_with_fun(original: hydra.typed.TypedTerm[hydra.scala.syntax.ExtractPat], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ExtractPat]

DSL updater for the fun field of hydra.scala.syntax.ExtractPat.

hydra.dsl.scala.syntax.for_data(enums: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Enumerator]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ForData]

DSL constructor for hydra.scala.syntax.ForData.

hydra.dsl.scala.syntax.for_data_enums(x: hydra.typed.TypedTerm[hydra.scala.syntax.ForData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Enumerator]]

DSL accessor for the enums field of hydra.scala.syntax.ForData.

hydra.dsl.scala.syntax.for_data_with_enums(original: hydra.typed.TypedTerm[hydra.scala.syntax.ForData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Enumerator]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ForData]

DSL updater for the enums field of hydra.scala.syntax.ForData.

hydra.dsl.scala.syntax.for_yield_data(enums: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Enumerator]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ForYieldData]

DSL constructor for hydra.scala.syntax.ForYieldData.

hydra.dsl.scala.syntax.for_yield_data_enums(x: hydra.typed.TypedTerm[hydra.scala.syntax.ForYieldData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Enumerator]]

DSL accessor for the enums field of hydra.scala.syntax.ForYieldData.

hydra.dsl.scala.syntax.for_yield_data_with_enums(original: hydra.typed.TypedTerm[hydra.scala.syntax.ForYieldData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Enumerator]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ForYieldData]

DSL updater for the enums field of hydra.scala.syntax.ForYieldData.

hydra.dsl.scala.syntax.function_data(params: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamData]], body: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.FunctionData]

DSL constructor for hydra.scala.syntax.FunctionData.

hydra.dsl.scala.syntax.function_data_body(x: hydra.typed.TypedTerm[hydra.scala.syntax.FunctionData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the body field of hydra.scala.syntax.FunctionData.

hydra.dsl.scala.syntax.function_data_params(x: hydra.typed.TypedTerm[hydra.scala.syntax.FunctionData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamData]]

DSL accessor for the params field of hydra.scala.syntax.FunctionData.

hydra.dsl.scala.syntax.function_data_with_body(original: hydra.typed.TypedTerm[hydra.scala.syntax.FunctionData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.FunctionData]

DSL updater for the body field of hydra.scala.syntax.FunctionData.

hydra.dsl.scala.syntax.function_data_with_params(original: hydra.typed.TypedTerm[hydra.scala.syntax.FunctionData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamData]]) → hydra.typed.TypedTerm[hydra.scala.syntax.FunctionData]

DSL updater for the params field of hydra.scala.syntax.FunctionData.

hydra.dsl.scala.syntax.function_type(params: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]], res: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.FunctionType]

DSL constructor for hydra.scala.syntax.FunctionType.

hydra.dsl.scala.syntax.function_type_params(x: hydra.typed.TypedTerm[hydra.scala.syntax.FunctionType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]

DSL accessor for the params field of hydra.scala.syntax.FunctionType.

hydra.dsl.scala.syntax.function_type_res(x: hydra.typed.TypedTerm[hydra.scala.syntax.FunctionType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the res field of hydra.scala.syntax.FunctionType.

hydra.dsl.scala.syntax.function_type_with_params(original: hydra.typed.TypedTerm[hydra.scala.syntax.FunctionType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]) → hydra.typed.TypedTerm[hydra.scala.syntax.FunctionType]

DSL updater for the params field of hydra.scala.syntax.FunctionType.

hydra.dsl.scala.syntax.function_type_with_res(original: hydra.typed.TypedTerm[hydra.scala.syntax.FunctionType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.FunctionType]

DSL updater for the res field of hydra.scala.syntax.FunctionType.

hydra.dsl.scala.syntax.generator_enumerator(pat: hydra.typed.TypedTerm[hydra.scala.syntax.Pat], rhs: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.GeneratorEnumerator]

DSL constructor for hydra.scala.syntax.GeneratorEnumerator.

hydra.dsl.scala.syntax.generator_enumerator_pat(x: hydra.typed.TypedTerm[hydra.scala.syntax.GeneratorEnumerator]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL accessor for the pat field of hydra.scala.syntax.GeneratorEnumerator.

hydra.dsl.scala.syntax.generator_enumerator_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.GeneratorEnumerator]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the rhs field of hydra.scala.syntax.GeneratorEnumerator.

hydra.dsl.scala.syntax.generator_enumerator_with_pat(original: hydra.typed.TypedTerm[hydra.scala.syntax.GeneratorEnumerator], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Pat]) → hydra.typed.TypedTerm[hydra.scala.syntax.GeneratorEnumerator]

DSL updater for the pat field of hydra.scala.syntax.GeneratorEnumerator.

hydra.dsl.scala.syntax.generator_enumerator_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.GeneratorEnumerator], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.GeneratorEnumerator]

DSL updater for the rhs field of hydra.scala.syntax.GeneratorEnumerator.

hydra.dsl.scala.syntax.given_alias_defn(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.Name], tparams: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamType]]], sparams: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]], decltpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type], body: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]

DSL constructor for hydra.scala.syntax.GivenAliasDefn.

hydra.dsl.scala.syntax.given_alias_defn_body(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the body field of hydra.scala.syntax.GivenAliasDefn.

hydra.dsl.scala.syntax.given_alias_defn_decltpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the decltpe field of hydra.scala.syntax.GivenAliasDefn.

hydra.dsl.scala.syntax.given_alias_defn_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.GivenAliasDefn.

hydra.dsl.scala.syntax.given_alias_defn_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the name field of hydra.scala.syntax.GivenAliasDefn.

hydra.dsl.scala.syntax.given_alias_defn_sparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]) → hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]

DSL accessor for the sparams field of hydra.scala.syntax.GivenAliasDefn.

hydra.dsl.scala.syntax.given_alias_defn_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]) → hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamType]]]

DSL accessor for the tparams field of hydra.scala.syntax.GivenAliasDefn.

hydra.dsl.scala.syntax.given_alias_defn_with_body(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]

DSL updater for the body field of hydra.scala.syntax.GivenAliasDefn.

hydra.dsl.scala.syntax.given_alias_defn_with_decltpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]

DSL updater for the decltpe field of hydra.scala.syntax.GivenAliasDefn.

hydra.dsl.scala.syntax.given_alias_defn_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]

DSL updater for the mods field of hydra.scala.syntax.GivenAliasDefn.

hydra.dsl.scala.syntax.given_alias_defn_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]

DSL updater for the name field of hydra.scala.syntax.GivenAliasDefn.

hydra.dsl.scala.syntax.given_alias_defn_with_sparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn], new_val: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]

DSL updater for the sparams field of hydra.scala.syntax.GivenAliasDefn.

hydra.dsl.scala.syntax.given_alias_defn_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn], new_val: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamType]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenAliasDefn]

DSL updater for the tparams field of hydra.scala.syntax.GivenAliasDefn.

hydra.dsl.scala.syntax.given_decl(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.NameData], tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], sparams: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]], decltpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl]

DSL constructor for hydra.scala.syntax.GivenDecl.

hydra.dsl.scala.syntax.given_decl_decltpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the decltpe field of hydra.scala.syntax.GivenDecl.

hydra.dsl.scala.syntax.given_decl_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.GivenDecl.

hydra.dsl.scala.syntax.given_decl_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the name field of hydra.scala.syntax.GivenDecl.

hydra.dsl.scala.syntax.given_decl_sparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl]) → hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]

DSL accessor for the sparams field of hydra.scala.syntax.GivenDecl.

hydra.dsl.scala.syntax.given_decl_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.GivenDecl.

hydra.dsl.scala.syntax.given_decl_with_decltpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl]

DSL updater for the decltpe field of hydra.scala.syntax.GivenDecl.

hydra.dsl.scala.syntax.given_decl_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl]

DSL updater for the mods field of hydra.scala.syntax.GivenDecl.

hydra.dsl.scala.syntax.given_decl_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl]

DSL updater for the name field of hydra.scala.syntax.GivenDecl.

hydra.dsl.scala.syntax.given_decl_with_sparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl], new_val: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl]

DSL updater for the sparams field of hydra.scala.syntax.GivenDecl.

hydra.dsl.scala.syntax.given_decl_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenDecl]

DSL updater for the tparams field of hydra.scala.syntax.GivenDecl.

hydra.dsl.scala.syntax.given_defn(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.Name], tparams: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamType]]], sparams: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]], templ: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn]

DSL constructor for hydra.scala.syntax.GivenDefn.

hydra.dsl.scala.syntax.given_defn_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.GivenDefn.

hydra.dsl.scala.syntax.given_defn_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the name field of hydra.scala.syntax.GivenDefn.

hydra.dsl.scala.syntax.given_defn_sparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn]) → hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]

DSL accessor for the sparams field of hydra.scala.syntax.GivenDefn.

hydra.dsl.scala.syntax.given_defn_templ(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Template]

DSL accessor for the templ field of hydra.scala.syntax.GivenDefn.

hydra.dsl.scala.syntax.given_defn_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn]) → hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamType]]]

DSL accessor for the tparams field of hydra.scala.syntax.GivenDefn.

hydra.dsl.scala.syntax.given_defn_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn]

DSL updater for the mods field of hydra.scala.syntax.GivenDefn.

hydra.dsl.scala.syntax.given_defn_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn]

DSL updater for the name field of hydra.scala.syntax.GivenDefn.

hydra.dsl.scala.syntax.given_defn_with_sparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn], new_val: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn]

DSL updater for the sparams field of hydra.scala.syntax.GivenDefn.

hydra.dsl.scala.syntax.given_defn_with_templ(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn]

DSL updater for the templ field of hydra.scala.syntax.GivenDefn.

hydra.dsl.scala.syntax.given_defn_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn], new_val: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamType]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenDefn]

DSL updater for the tparams field of hydra.scala.syntax.GivenDefn.

hydra.dsl.scala.syntax.given_importee(tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenImportee]

DSL constructor for hydra.scala.syntax.GivenImportee.

hydra.dsl.scala.syntax.given_importee_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenImportee]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the tpe field of hydra.scala.syntax.GivenImportee.

hydra.dsl.scala.syntax.given_importee_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenImportee], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenImportee]

DSL updater for the tpe field of hydra.scala.syntax.GivenImportee.

hydra.dsl.scala.syntax.given_pat(tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenPat]

DSL constructor for hydra.scala.syntax.GivenPat.

hydra.dsl.scala.syntax.given_pat_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the tpe field of hydra.scala.syntax.GivenPat.

hydra.dsl.scala.syntax.given_pat_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.GivenPat], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.GivenPat]

DSL updater for the tpe field of hydra.scala.syntax.GivenPat.

hydra.dsl.scala.syntax.guard_enumerator(cond: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.GuardEnumerator]

DSL constructor for hydra.scala.syntax.GuardEnumerator.

hydra.dsl.scala.syntax.guard_enumerator_cond(x: hydra.typed.TypedTerm[hydra.scala.syntax.GuardEnumerator]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the cond field of hydra.scala.syntax.GuardEnumerator.

hydra.dsl.scala.syntax.guard_enumerator_with_cond(original: hydra.typed.TypedTerm[hydra.scala.syntax.GuardEnumerator], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.GuardEnumerator]

DSL updater for the cond field of hydra.scala.syntax.GuardEnumerator.

hydra.dsl.scala.syntax.if_data(cond: hydra.typed.TypedTerm[hydra.scala.syntax.Data], thenp: hydra.typed.TypedTerm[hydra.scala.syntax.Data], elsep: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.IfData]

DSL constructor for hydra.scala.syntax.IfData.

hydra.dsl.scala.syntax.if_data_cond(x: hydra.typed.TypedTerm[hydra.scala.syntax.IfData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the cond field of hydra.scala.syntax.IfData.

hydra.dsl.scala.syntax.if_data_elsep(x: hydra.typed.TypedTerm[hydra.scala.syntax.IfData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the elsep field of hydra.scala.syntax.IfData.

hydra.dsl.scala.syntax.if_data_thenp(x: hydra.typed.TypedTerm[hydra.scala.syntax.IfData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the thenp field of hydra.scala.syntax.IfData.

hydra.dsl.scala.syntax.if_data_with_cond(original: hydra.typed.TypedTerm[hydra.scala.syntax.IfData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.IfData]

DSL updater for the cond field of hydra.scala.syntax.IfData.

hydra.dsl.scala.syntax.if_data_with_elsep(original: hydra.typed.TypedTerm[hydra.scala.syntax.IfData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.IfData]

DSL updater for the elsep field of hydra.scala.syntax.IfData.

hydra.dsl.scala.syntax.if_data_with_thenp(original: hydra.typed.TypedTerm[hydra.scala.syntax.IfData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.IfData]

DSL updater for the thenp field of hydra.scala.syntax.IfData.

hydra.dsl.scala.syntax.implicit_function_type(params: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]], res: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ImplicitFunctionType]

DSL constructor for hydra.scala.syntax.ImplicitFunctionType.

hydra.dsl.scala.syntax.implicit_function_type_params(x: hydra.typed.TypedTerm[hydra.scala.syntax.ImplicitFunctionType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]

DSL accessor for the params field of hydra.scala.syntax.ImplicitFunctionType.

hydra.dsl.scala.syntax.implicit_function_type_res(x: hydra.typed.TypedTerm[hydra.scala.syntax.ImplicitFunctionType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the res field of hydra.scala.syntax.ImplicitFunctionType.

hydra.dsl.scala.syntax.implicit_function_type_with_params(original: hydra.typed.TypedTerm[hydra.scala.syntax.ImplicitFunctionType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ImplicitFunctionType]

DSL updater for the params field of hydra.scala.syntax.ImplicitFunctionType.

hydra.dsl.scala.syntax.implicit_function_type_with_res(original: hydra.typed.TypedTerm[hydra.scala.syntax.ImplicitFunctionType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ImplicitFunctionType]

DSL updater for the res field of hydra.scala.syntax.ImplicitFunctionType.

hydra.dsl.scala.syntax.import_(importers: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Importer]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Import]

DSL constructor for hydra.scala.syntax.Import.

hydra.dsl.scala.syntax.import_export_stat_export(x: hydra.typed.TypedTerm[hydra.scala.syntax.Export]) → hydra.typed.TypedTerm[hydra.scala.syntax.ImportExportStat]

DSL injection for the export variant of hydra.scala.syntax.ImportExportStat.

hydra.dsl.scala.syntax.import_export_stat_import(x: hydra.typed.TypedTerm[hydra.scala.syntax.Import]) → hydra.typed.TypedTerm[hydra.scala.syntax.ImportExportStat]

DSL injection for the import variant of hydra.scala.syntax.ImportExportStat.

hydra.dsl.scala.syntax.import_importers(x: hydra.typed.TypedTerm[hydra.scala.syntax.Import]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Importer]]

DSL accessor for the importers field of hydra.scala.syntax.Import.

hydra.dsl.scala.syntax.import_with_importers(original: hydra.typed.TypedTerm[hydra.scala.syntax.Import], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Importer]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Import]

DSL updater for the importers field of hydra.scala.syntax.Import.

hydra.dsl.scala.syntax.importee_given(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenImportee]) → hydra.typed.TypedTerm[hydra.scala.syntax.Importee]

DSL injection for the given variant of hydra.scala.syntax.Importee.

hydra.dsl.scala.syntax.importee_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.NameImportee]) → hydra.typed.TypedTerm[hydra.scala.syntax.Importee]

DSL injection for the name variant of hydra.scala.syntax.Importee.

hydra.dsl.scala.syntax.importee_rename(x: hydra.typed.TypedTerm[hydra.scala.syntax.RenameImportee]) → hydra.typed.TypedTerm[hydra.scala.syntax.Importee]

DSL injection for the rename variant of hydra.scala.syntax.Importee.

hydra.dsl.scala.syntax.importee_unimport(x: hydra.typed.TypedTerm[hydra.scala.syntax.UnimportImportee]) → hydra.typed.TypedTerm[hydra.scala.syntax.Importee]

DSL injection for the unimport variant of hydra.scala.syntax.Importee.

hydra.dsl.scala.syntax.importer(ref: hydra.typed.TypedTerm[hydra.scala.syntax.RefData], importees: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Importee]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Importer]

DSL constructor for hydra.scala.syntax.Importer.

hydra.dsl.scala.syntax.importer_importees(x: hydra.typed.TypedTerm[hydra.scala.syntax.Importer]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Importee]]

DSL accessor for the importees field of hydra.scala.syntax.Importer.

hydra.dsl.scala.syntax.importer_ref(x: hydra.typed.TypedTerm[hydra.scala.syntax.Importer]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefData]

DSL accessor for the ref field of hydra.scala.syntax.Importer.

hydra.dsl.scala.syntax.importer_with_importees(original: hydra.typed.TypedTerm[hydra.scala.syntax.Importer], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Importee]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Importer]

DSL updater for the importees field of hydra.scala.syntax.Importer.

hydra.dsl.scala.syntax.importer_with_ref(original: hydra.typed.TypedTerm[hydra.scala.syntax.Importer], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.RefData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Importer]

DSL updater for the ref field of hydra.scala.syntax.Importer.

hydra.dsl.scala.syntax.init(tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type], name: hydra.typed.TypedTerm[hydra.scala.syntax.Name], argss: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.Data]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Init]

DSL constructor for hydra.scala.syntax.Init.

hydra.dsl.scala.syntax.init_argss(x: hydra.typed.TypedTerm[hydra.scala.syntax.Init]) → hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.Data]]]

DSL accessor for the argss field of hydra.scala.syntax.Init.

hydra.dsl.scala.syntax.init_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.Init]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the name field of hydra.scala.syntax.Init.

hydra.dsl.scala.syntax.init_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.Init]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the tpe field of hydra.scala.syntax.Init.

hydra.dsl.scala.syntax.init_with_argss(original: hydra.typed.TypedTerm[hydra.scala.syntax.Init], new_val: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.Data]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Init]

DSL updater for the argss field of hydra.scala.syntax.Init.

hydra.dsl.scala.syntax.init_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.Init], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.Init]

DSL updater for the name field of hydra.scala.syntax.Init.

hydra.dsl.scala.syntax.init_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.Init], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.Init]

DSL updater for the tpe field of hydra.scala.syntax.Init.

hydra.dsl.scala.syntax.interpolate_data(prefix: hydra.typed.TypedTerm[hydra.scala.syntax.NameData], parts: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Lit]], args: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]) → hydra.typed.TypedTerm[hydra.scala.syntax.InterpolateData]

DSL constructor for hydra.scala.syntax.InterpolateData.

hydra.dsl.scala.syntax.interpolate_data_args(x: hydra.typed.TypedTerm[hydra.scala.syntax.InterpolateData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]

DSL accessor for the args field of hydra.scala.syntax.InterpolateData.

hydra.dsl.scala.syntax.interpolate_data_parts(x: hydra.typed.TypedTerm[hydra.scala.syntax.InterpolateData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Lit]]

DSL accessor for the parts field of hydra.scala.syntax.InterpolateData.

hydra.dsl.scala.syntax.interpolate_data_prefix(x: hydra.typed.TypedTerm[hydra.scala.syntax.InterpolateData]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the prefix field of hydra.scala.syntax.InterpolateData.

hydra.dsl.scala.syntax.interpolate_data_with_args(original: hydra.typed.TypedTerm[hydra.scala.syntax.InterpolateData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]) → hydra.typed.TypedTerm[hydra.scala.syntax.InterpolateData]

DSL updater for the args field of hydra.scala.syntax.InterpolateData.

hydra.dsl.scala.syntax.interpolate_data_with_parts(original: hydra.typed.TypedTerm[hydra.scala.syntax.InterpolateData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Lit]]) → hydra.typed.TypedTerm[hydra.scala.syntax.InterpolateData]

DSL updater for the parts field of hydra.scala.syntax.InterpolateData.

hydra.dsl.scala.syntax.interpolate_data_with_prefix(original: hydra.typed.TypedTerm[hydra.scala.syntax.InterpolateData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.InterpolateData]

DSL updater for the prefix field of hydra.scala.syntax.InterpolateData.

hydra.dsl.scala.syntax.interpolate_pat(prefix: hydra.typed.TypedTerm[hydra.scala.syntax.NameData], parts: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Lit]]) → hydra.typed.TypedTerm[hydra.scala.syntax.InterpolatePat]

DSL constructor for hydra.scala.syntax.InterpolatePat.

hydra.dsl.scala.syntax.interpolate_pat_parts(x: hydra.typed.TypedTerm[hydra.scala.syntax.InterpolatePat]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Lit]]

DSL accessor for the parts field of hydra.scala.syntax.InterpolatePat.

hydra.dsl.scala.syntax.interpolate_pat_prefix(x: hydra.typed.TypedTerm[hydra.scala.syntax.InterpolatePat]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the prefix field of hydra.scala.syntax.InterpolatePat.

hydra.dsl.scala.syntax.interpolate_pat_with_parts(original: hydra.typed.TypedTerm[hydra.scala.syntax.InterpolatePat], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Lit]]) → hydra.typed.TypedTerm[hydra.scala.syntax.InterpolatePat]

DSL updater for the parts field of hydra.scala.syntax.InterpolatePat.

hydra.dsl.scala.syntax.interpolate_pat_with_prefix(original: hydra.typed.TypedTerm[hydra.scala.syntax.InterpolatePat], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.InterpolatePat]

DSL updater for the prefix field of hydra.scala.syntax.InterpolatePat.

hydra.dsl.scala.syntax.lambda_type(tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.LambdaType]

DSL constructor for hydra.scala.syntax.LambdaType.

hydra.dsl.scala.syntax.lambda_type_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.LambdaType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.LambdaType.

hydra.dsl.scala.syntax.lambda_type_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.LambdaType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the tpe field of hydra.scala.syntax.LambdaType.

hydra.dsl.scala.syntax.lambda_type_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.LambdaType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.LambdaType]

DSL updater for the tparams field of hydra.scala.syntax.LambdaType.

hydra.dsl.scala.syntax.lambda_type_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.LambdaType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.LambdaType]

DSL updater for the tpe field of hydra.scala.syntax.LambdaType.

hydra.dsl.scala.syntax.lit_boolean(x: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.scala.syntax.Lit]

DSL injection for the boolean variant of hydra.scala.syntax.Lit.

hydra.dsl.scala.syntax.lit_byte(x: hydra.typed.TypedTerm[int]) → hydra.typed.TypedTerm[hydra.scala.syntax.Lit]

DSL injection for the byte variant of hydra.scala.syntax.Lit.

hydra.dsl.scala.syntax.lit_bytes(x: hydra.typed.TypedTerm[Sequence[int]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Lit]

DSL injection for the bytes variant of hydra.scala.syntax.Lit.

hydra.dsl.scala.syntax.lit_char(x: hydra.typed.TypedTerm[int]) → hydra.typed.TypedTerm[hydra.scala.syntax.Lit]

DSL injection for the char variant of hydra.scala.syntax.Lit.

hydra.dsl.scala.syntax.lit_double(x: hydra.typed.TypedTerm[float]) → hydra.typed.TypedTerm[hydra.scala.syntax.Lit]

DSL injection for the double variant of hydra.scala.syntax.Lit.

hydra.dsl.scala.syntax.lit_float(x: hydra.typed.TypedTerm[float]) → hydra.typed.TypedTerm[hydra.scala.syntax.Lit]

DSL injection for the float variant of hydra.scala.syntax.Lit.

hydra.dsl.scala.syntax.lit_int(x: hydra.typed.TypedTerm[int]) → hydra.typed.TypedTerm[hydra.scala.syntax.Lit]

DSL injection for the int variant of hydra.scala.syntax.Lit.

hydra.dsl.scala.syntax.lit_long(x: hydra.typed.TypedTerm[int]) → hydra.typed.TypedTerm[hydra.scala.syntax.Lit]

DSL injection for the long variant of hydra.scala.syntax.Lit.

hydra.dsl.scala.syntax.lit_short(x: hydra.typed.TypedTerm[int]) → hydra.typed.TypedTerm[hydra.scala.syntax.Lit]

DSL injection for the short variant of hydra.scala.syntax.Lit.

hydra.dsl.scala.syntax.lit_string(x: hydra.typed.TypedTerm[str]) → hydra.typed.TypedTerm[hydra.scala.syntax.Lit]

DSL injection for the string variant of hydra.scala.syntax.Lit.

hydra.dsl.scala.syntax.lit_symbol(x: hydra.typed.TypedTerm[hydra.scala.syntax.ScalaSymbol]) → hydra.typed.TypedTerm[hydra.scala.syntax.Lit]

DSL injection for the symbol variant of hydra.scala.syntax.Lit.

hydra.dsl.scala.syntax.match_data(expr: hydra.typed.TypedTerm[hydra.scala.syntax.Data], cases: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Case]]) → hydra.typed.TypedTerm[hydra.scala.syntax.MatchData]

DSL constructor for hydra.scala.syntax.MatchData.

hydra.dsl.scala.syntax.match_data_cases(x: hydra.typed.TypedTerm[hydra.scala.syntax.MatchData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Case]]

DSL accessor for the cases field of hydra.scala.syntax.MatchData.

hydra.dsl.scala.syntax.match_data_expr(x: hydra.typed.TypedTerm[hydra.scala.syntax.MatchData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the expr field of hydra.scala.syntax.MatchData.

hydra.dsl.scala.syntax.match_data_with_cases(original: hydra.typed.TypedTerm[hydra.scala.syntax.MatchData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Case]]) → hydra.typed.TypedTerm[hydra.scala.syntax.MatchData]

DSL updater for the cases field of hydra.scala.syntax.MatchData.

hydra.dsl.scala.syntax.match_data_with_expr(original: hydra.typed.TypedTerm[hydra.scala.syntax.MatchData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.MatchData]

DSL updater for the expr field of hydra.scala.syntax.MatchData.

hydra.dsl.scala.syntax.match_type(tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type], cases: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.TypeCase]]) → hydra.typed.TypedTerm[hydra.scala.syntax.MatchType]

DSL constructor for hydra.scala.syntax.MatchType.

hydra.dsl.scala.syntax.match_type_cases(x: hydra.typed.TypedTerm[hydra.scala.syntax.MatchType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.TypeCase]]

DSL accessor for the cases field of hydra.scala.syntax.MatchType.

hydra.dsl.scala.syntax.match_type_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.MatchType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the tpe field of hydra.scala.syntax.MatchType.

hydra.dsl.scala.syntax.match_type_with_cases(original: hydra.typed.TypedTerm[hydra.scala.syntax.MatchType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.TypeCase]]) → hydra.typed.TypedTerm[hydra.scala.syntax.MatchType]

DSL updater for the cases field of hydra.scala.syntax.MatchType.

hydra.dsl.scala.syntax.match_type_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.MatchType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.MatchType]

DSL updater for the tpe field of hydra.scala.syntax.MatchType.

hydra.dsl.scala.syntax.member_self(x: hydra.typed.TypedTerm[hydra.scala.syntax.Self]) → hydra.typed.TypedTerm[hydra.scala.syntax.Member]

DSL injection for the self variant of hydra.scala.syntax.Member.

hydra.dsl.scala.syntax.member_term(x: hydra.typed.TypedTerm[hydra.scala.syntax.DataMember]) → hydra.typed.TypedTerm[hydra.scala.syntax.Member]

DSL injection for the term variant of hydra.scala.syntax.Member.

hydra.dsl.scala.syntax.member_term_param(x: hydra.typed.TypedTerm[hydra.scala.syntax.ParamData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Member]

DSL injection for the termParam variant of hydra.scala.syntax.Member.

hydra.dsl.scala.syntax.member_type(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeMember]) → hydra.typed.TypedTerm[hydra.scala.syntax.Member]

DSL injection for the type variant of hydra.scala.syntax.Member.

hydra.dsl.scala.syntax.member_type_param(x: hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Member]

DSL injection for the typeParam variant of hydra.scala.syntax.Member.

hydra.dsl.scala.syntax.method_type(paramss: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]], tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.MethodType]

DSL constructor for hydra.scala.syntax.MethodType.

hydra.dsl.scala.syntax.method_type_paramss(x: hydra.typed.TypedTerm[hydra.scala.syntax.MethodType]) → hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]

DSL accessor for the paramss field of hydra.scala.syntax.MethodType.

hydra.dsl.scala.syntax.method_type_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.MethodType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the tpe field of hydra.scala.syntax.MethodType.

hydra.dsl.scala.syntax.method_type_with_paramss(original: hydra.typed.TypedTerm[hydra.scala.syntax.MethodType], new_val: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.MethodType]

DSL updater for the paramss field of hydra.scala.syntax.MethodType.

hydra.dsl.scala.syntax.method_type_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.MethodType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.MethodType]

DSL updater for the tpe field of hydra.scala.syntax.MethodType.

hydra.dsl.scala.syntax.mod_annot(x: hydra.typed.TypedTerm[hydra.scala.syntax.AnnotMod]) → hydra.typed.TypedTerm[hydra.scala.syntax.Mod]

DSL injection for the annot variant of hydra.scala.syntax.Mod.

hydra.dsl.scala.syntax.mod_private(x: hydra.typed.TypedTerm[hydra.scala.syntax.PrivateMod]) → hydra.typed.TypedTerm[hydra.scala.syntax.Mod]

DSL injection for the private variant of hydra.scala.syntax.Mod.

hydra.dsl.scala.syntax.mod_protected(x: hydra.typed.TypedTerm[hydra.scala.syntax.ProtectedMod]) → hydra.typed.TypedTerm[hydra.scala.syntax.Mod]

DSL injection for the protected variant of hydra.scala.syntax.Mod.

hydra.dsl.scala.syntax.name_data(value: hydra.typed.TypedTerm[hydra.scala.syntax.PredefString]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL constructor for hydra.scala.syntax.NameData.

hydra.dsl.scala.syntax.name_data_value(x: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.PredefString]

DSL accessor for the value field of hydra.scala.syntax.NameData.

hydra.dsl.scala.syntax.name_data_with_value(original: hydra.typed.TypedTerm[hydra.scala.syntax.NameData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.PredefString]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL updater for the value field of hydra.scala.syntax.NameData.

hydra.dsl.scala.syntax.name_importee(name: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameImportee]

DSL constructor for hydra.scala.syntax.NameImportee.

hydra.dsl.scala.syntax.name_importee_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.NameImportee]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the name field of hydra.scala.syntax.NameImportee.

hydra.dsl.scala.syntax.name_importee_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.NameImportee], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameImportee]

DSL updater for the name field of hydra.scala.syntax.NameImportee.

hydra.dsl.scala.syntax.name_indeterminate(x: hydra.typed.TypedTerm[hydra.scala.syntax.PredefString]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL injection for the indeterminate variant of hydra.scala.syntax.Name.

hydra.dsl.scala.syntax.name_type(value: hydra.typed.TypedTerm[str]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameType]

DSL constructor for hydra.scala.syntax.NameType.

hydra.dsl.scala.syntax.name_type_value(x: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[str]

DSL accessor for the value field of hydra.scala.syntax.NameType.

hydra.dsl.scala.syntax.name_type_with_value(original: hydra.typed.TypedTerm[hydra.scala.syntax.NameType], new_val: hydra.typed.TypedTerm[str]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameType]

DSL updater for the value field of hydra.scala.syntax.NameType.

hydra.dsl.scala.syntax.name_value(x: hydra.typed.TypedTerm[str]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL injection for the value variant of hydra.scala.syntax.Name.

hydra.dsl.scala.syntax.new_anonymous_data(templ: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.NewAnonymousData]

DSL constructor for hydra.scala.syntax.NewAnonymousData.

hydra.dsl.scala.syntax.new_anonymous_data_templ(x: hydra.typed.TypedTerm[hydra.scala.syntax.NewAnonymousData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Template]

DSL accessor for the templ field of hydra.scala.syntax.NewAnonymousData.

hydra.dsl.scala.syntax.new_anonymous_data_with_templ(original: hydra.typed.TypedTerm[hydra.scala.syntax.NewAnonymousData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.NewAnonymousData]

DSL updater for the templ field of hydra.scala.syntax.NewAnonymousData.

hydra.dsl.scala.syntax.new_data(init: hydra.typed.TypedTerm[hydra.scala.syntax.Init]) → hydra.typed.TypedTerm[hydra.scala.syntax.NewData]

DSL constructor for hydra.scala.syntax.NewData.

hydra.dsl.scala.syntax.new_data_init(x: hydra.typed.TypedTerm[hydra.scala.syntax.NewData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Init]

DSL accessor for the init field of hydra.scala.syntax.NewData.

hydra.dsl.scala.syntax.new_data_with_init(original: hydra.typed.TypedTerm[hydra.scala.syntax.NewData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Init]) → hydra.typed.TypedTerm[hydra.scala.syntax.NewData]

DSL updater for the init field of hydra.scala.syntax.NewData.

hydra.dsl.scala.syntax.object_defn(name: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.ObjectDefn]

DSL constructor for hydra.scala.syntax.ObjectDefn.

hydra.dsl.scala.syntax.object_defn_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.ObjectDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the name field of hydra.scala.syntax.ObjectDefn.

hydra.dsl.scala.syntax.object_defn_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.ObjectDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.ObjectDefn]

DSL updater for the name field of hydra.scala.syntax.ObjectDefn.

hydra.dsl.scala.syntax.object_pkg(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.NameData], template: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.ObjectPkg]

DSL constructor for hydra.scala.syntax.ObjectPkg.

hydra.dsl.scala.syntax.object_pkg_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.ObjectPkg]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.ObjectPkg.

hydra.dsl.scala.syntax.object_pkg_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.ObjectPkg]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the name field of hydra.scala.syntax.ObjectPkg.

hydra.dsl.scala.syntax.object_pkg_template(x: hydra.typed.TypedTerm[hydra.scala.syntax.ObjectPkg]) → hydra.typed.TypedTerm[hydra.scala.syntax.Template]

DSL accessor for the template field of hydra.scala.syntax.ObjectPkg.

hydra.dsl.scala.syntax.object_pkg_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.ObjectPkg], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ObjectPkg]

DSL updater for the mods field of hydra.scala.syntax.ObjectPkg.

hydra.dsl.scala.syntax.object_pkg_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.ObjectPkg], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.ObjectPkg]

DSL updater for the name field of hydra.scala.syntax.ObjectPkg.

hydra.dsl.scala.syntax.object_pkg_with_template(original: hydra.typed.TypedTerm[hydra.scala.syntax.ObjectPkg], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.ObjectPkg]

DSL updater for the template field of hydra.scala.syntax.ObjectPkg.

hydra.dsl.scala.syntax.or_type(lhs: hydra.typed.TypedTerm[hydra.scala.syntax.Type], rhs: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.OrType]

DSL constructor for hydra.scala.syntax.OrType.

hydra.dsl.scala.syntax.or_type_lhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.OrType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the lhs field of hydra.scala.syntax.OrType.

hydra.dsl.scala.syntax.or_type_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.OrType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the rhs field of hydra.scala.syntax.OrType.

hydra.dsl.scala.syntax.or_type_with_lhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.OrType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.OrType]

DSL updater for the lhs field of hydra.scala.syntax.OrType.

hydra.dsl.scala.syntax.or_type_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.OrType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.OrType]

DSL updater for the rhs field of hydra.scala.syntax.OrType.

hydra.dsl.scala.syntax.param_data(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.Name], decltpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type | None], default: hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.ParamData]

DSL constructor for hydra.scala.syntax.ParamData.

hydra.dsl.scala.syntax.param_data_decltpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.ParamData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type | None]

DSL accessor for the decltpe field of hydra.scala.syntax.ParamData.

hydra.dsl.scala.syntax.param_data_default(x: hydra.typed.TypedTerm[hydra.scala.syntax.ParamData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]

DSL accessor for the default field of hydra.scala.syntax.ParamData.

hydra.dsl.scala.syntax.param_data_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.ParamData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.ParamData.

hydra.dsl.scala.syntax.param_data_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.ParamData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the name field of hydra.scala.syntax.ParamData.

hydra.dsl.scala.syntax.param_data_with_decltpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.ParamData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.ParamData]

DSL updater for the decltpe field of hydra.scala.syntax.ParamData.

hydra.dsl.scala.syntax.param_data_with_default(original: hydra.typed.TypedTerm[hydra.scala.syntax.ParamData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.ParamData]

DSL updater for the default field of hydra.scala.syntax.ParamData.

hydra.dsl.scala.syntax.param_data_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.ParamData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ParamData]

DSL updater for the mods field of hydra.scala.syntax.ParamData.

hydra.dsl.scala.syntax.param_data_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.ParamData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.ParamData]

DSL updater for the name field of hydra.scala.syntax.ParamData.

hydra.dsl.scala.syntax.param_type(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.Name], tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], tbounds: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.TypeBounds]], vbounds: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]], cbounds: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]

DSL constructor for hydra.scala.syntax.ParamType.

hydra.dsl.scala.syntax.param_type_cbounds(x: hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]

DSL accessor for the cbounds field of hydra.scala.syntax.ParamType.

hydra.dsl.scala.syntax.param_type_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.ParamType.

hydra.dsl.scala.syntax.param_type_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the name field of hydra.scala.syntax.ParamType.

hydra.dsl.scala.syntax.param_type_tbounds(x: hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.TypeBounds]]

DSL accessor for the tbounds field of hydra.scala.syntax.ParamType.

hydra.dsl.scala.syntax.param_type_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.ParamType.

hydra.dsl.scala.syntax.param_type_vbounds(x: hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]

DSL accessor for the vbounds field of hydra.scala.syntax.ParamType.

hydra.dsl.scala.syntax.param_type_with_cbounds(original: hydra.typed.TypedTerm[hydra.scala.syntax.ParamType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]

DSL updater for the cbounds field of hydra.scala.syntax.ParamType.

hydra.dsl.scala.syntax.param_type_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.ParamType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]

DSL updater for the mods field of hydra.scala.syntax.ParamType.

hydra.dsl.scala.syntax.param_type_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.ParamType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]

DSL updater for the name field of hydra.scala.syntax.ParamType.

hydra.dsl.scala.syntax.param_type_with_tbounds(original: hydra.typed.TypedTerm[hydra.scala.syntax.ParamType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.TypeBounds]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]

DSL updater for the tbounds field of hydra.scala.syntax.ParamType.

hydra.dsl.scala.syntax.param_type_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.ParamType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]

DSL updater for the tparams field of hydra.scala.syntax.ParamType.

hydra.dsl.scala.syntax.param_type_with_vbounds(original: hydra.typed.TypedTerm[hydra.scala.syntax.ParamType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ParamType]

DSL updater for the vbounds field of hydra.scala.syntax.ParamType.

hydra.dsl.scala.syntax.partial_function_data(cases: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Case]]) → hydra.typed.TypedTerm[hydra.scala.syntax.PartialFunctionData]

DSL constructor for hydra.scala.syntax.PartialFunctionData.

hydra.dsl.scala.syntax.partial_function_data_cases(x: hydra.typed.TypedTerm[hydra.scala.syntax.PartialFunctionData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Case]]

DSL accessor for the cases field of hydra.scala.syntax.PartialFunctionData.

hydra.dsl.scala.syntax.partial_function_data_with_cases(original: hydra.typed.TypedTerm[hydra.scala.syntax.PartialFunctionData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Case]]) → hydra.typed.TypedTerm[hydra.scala.syntax.PartialFunctionData]

DSL updater for the cases field of hydra.scala.syntax.PartialFunctionData.

hydra.dsl.scala.syntax.pat_alternative(x: hydra.typed.TypedTerm[hydra.scala.syntax.AlternativePat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL injection for the alternative variant of hydra.scala.syntax.Pat.

hydra.dsl.scala.syntax.pat_bind(x: hydra.typed.TypedTerm[hydra.scala.syntax.BindPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL injection for the bind variant of hydra.scala.syntax.Pat.

hydra.dsl.scala.syntax.pat_extract(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExtractPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL injection for the extract variant of hydra.scala.syntax.Pat.

hydra.dsl.scala.syntax.pat_extract_infix(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExtractInfixPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL injection for the extractInfix variant of hydra.scala.syntax.Pat.

hydra.dsl.scala.syntax.pat_given(x: hydra.typed.TypedTerm[hydra.scala.syntax.GivenPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL injection for the given variant of hydra.scala.syntax.Pat.

hydra.dsl.scala.syntax.pat_interpolate(x: hydra.typed.TypedTerm[hydra.scala.syntax.InterpolatePat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL injection for the interpolate variant of hydra.scala.syntax.Pat.

hydra.dsl.scala.syntax.pat_repeated(x: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL injection for the repeated variant of hydra.scala.syntax.Pat.

hydra.dsl.scala.syntax.pat_tuple(x: hydra.typed.TypedTerm[hydra.scala.syntax.TuplePat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL injection for the tuple variant of hydra.scala.syntax.Pat.

hydra.dsl.scala.syntax.pat_typed(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypedPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL injection for the typed variant of hydra.scala.syntax.Pat.

hydra.dsl.scala.syntax.pat_var(x: hydra.typed.TypedTerm[hydra.scala.syntax.VarPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL injection for the var variant of hydra.scala.syntax.Pat.

hydra.dsl.scala.syntax.pkg(name: hydra.typed.TypedTerm[hydra.scala.syntax.NameData], ref: hydra.typed.TypedTerm[hydra.scala.syntax.RefData], stats: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pkg]

DSL constructor for hydra.scala.syntax.Pkg.

hydra.dsl.scala.syntax.pkg_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.Pkg]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the name field of hydra.scala.syntax.Pkg.

hydra.dsl.scala.syntax.pkg_ref(x: hydra.typed.TypedTerm[hydra.scala.syntax.Pkg]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefData]

DSL accessor for the ref field of hydra.scala.syntax.Pkg.

hydra.dsl.scala.syntax.pkg_stats(x: hydra.typed.TypedTerm[hydra.scala.syntax.Pkg]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]

DSL accessor for the stats field of hydra.scala.syntax.Pkg.

hydra.dsl.scala.syntax.pkg_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.Pkg], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pkg]

DSL updater for the name field of hydra.scala.syntax.Pkg.

hydra.dsl.scala.syntax.pkg_with_ref(original: hydra.typed.TypedTerm[hydra.scala.syntax.Pkg], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.RefData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pkg]

DSL updater for the ref field of hydra.scala.syntax.Pkg.

hydra.dsl.scala.syntax.pkg_with_stats(original: hydra.typed.TypedTerm[hydra.scala.syntax.Pkg], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pkg]

DSL updater for the stats field of hydra.scala.syntax.Pkg.

hydra.dsl.scala.syntax.placeholder_type(bounds: hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds]) → hydra.typed.TypedTerm[hydra.scala.syntax.PlaceholderType]

DSL constructor for hydra.scala.syntax.PlaceholderType.

hydra.dsl.scala.syntax.placeholder_type_bounds(x: hydra.typed.TypedTerm[hydra.scala.syntax.PlaceholderType]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds]

DSL accessor for the bounds field of hydra.scala.syntax.PlaceholderType.

hydra.dsl.scala.syntax.placeholder_type_with_bounds(original: hydra.typed.TypedTerm[hydra.scala.syntax.PlaceholderType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds]) → hydra.typed.TypedTerm[hydra.scala.syntax.PlaceholderType]

DSL updater for the bounds field of hydra.scala.syntax.PlaceholderType.

hydra.dsl.scala.syntax.poly_function_data(tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], body: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionData]

DSL constructor for hydra.scala.syntax.PolyFunctionData.

hydra.dsl.scala.syntax.poly_function_data_body(x: hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the body field of hydra.scala.syntax.PolyFunctionData.

hydra.dsl.scala.syntax.poly_function_data_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.PolyFunctionData.

hydra.dsl.scala.syntax.poly_function_data_with_body(original: hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionData]

DSL updater for the body field of hydra.scala.syntax.PolyFunctionData.

hydra.dsl.scala.syntax.poly_function_data_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionData]

DSL updater for the tparams field of hydra.scala.syntax.PolyFunctionData.

hydra.dsl.scala.syntax.poly_function_type(tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionType]

DSL constructor for hydra.scala.syntax.PolyFunctionType.

hydra.dsl.scala.syntax.poly_function_type_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.PolyFunctionType.

hydra.dsl.scala.syntax.poly_function_type_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the tpe field of hydra.scala.syntax.PolyFunctionType.

hydra.dsl.scala.syntax.poly_function_type_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionType]

DSL updater for the tparams field of hydra.scala.syntax.PolyFunctionType.

hydra.dsl.scala.syntax.poly_function_type_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionType]

DSL updater for the tpe field of hydra.scala.syntax.PolyFunctionType.

hydra.dsl.scala.syntax.predef_string(x: hydra.typed.TypedTerm[str]) → hydra.typed.TypedTerm[hydra.scala.syntax.PredefString]

DSL constructor for the hydra.scala.syntax.PredefString wrapper.

hydra.dsl.scala.syntax.primary_ctor(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.Name], paramss: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]

DSL constructor for hydra.scala.syntax.PrimaryCtor.

hydra.dsl.scala.syntax.primary_ctor_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.PrimaryCtor.

hydra.dsl.scala.syntax.primary_ctor_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the name field of hydra.scala.syntax.PrimaryCtor.

hydra.dsl.scala.syntax.primary_ctor_paramss(x: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]) → hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]

DSL accessor for the paramss field of hydra.scala.syntax.PrimaryCtor.

hydra.dsl.scala.syntax.primary_ctor_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]

DSL updater for the mods field of hydra.scala.syntax.PrimaryCtor.

hydra.dsl.scala.syntax.primary_ctor_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]

DSL updater for the name field of hydra.scala.syntax.PrimaryCtor.

hydra.dsl.scala.syntax.primary_ctor_with_paramss(original: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor], new_val: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]

DSL updater for the paramss field of hydra.scala.syntax.PrimaryCtor.

hydra.dsl.scala.syntax.private_mod(within: hydra.typed.TypedTerm[hydra.scala.syntax.Ref]) → hydra.typed.TypedTerm[hydra.scala.syntax.PrivateMod]

DSL constructor for hydra.scala.syntax.PrivateMod.

hydra.dsl.scala.syntax.private_mod_with_within(original: hydra.typed.TypedTerm[hydra.scala.syntax.PrivateMod], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Ref]) → hydra.typed.TypedTerm[hydra.scala.syntax.PrivateMod]

DSL updater for the within field of hydra.scala.syntax.PrivateMod.

hydra.dsl.scala.syntax.private_mod_within(x: hydra.typed.TypedTerm[hydra.scala.syntax.PrivateMod]) → hydra.typed.TypedTerm[hydra.scala.syntax.Ref]

DSL accessor for the within field of hydra.scala.syntax.PrivateMod.

hydra.dsl.scala.syntax.project_type(qual: hydra.typed.TypedTerm[hydra.scala.syntax.Type], name: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.ProjectType]

DSL constructor for hydra.scala.syntax.ProjectType.

hydra.dsl.scala.syntax.project_type_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.ProjectType]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameType]

DSL accessor for the name field of hydra.scala.syntax.ProjectType.

hydra.dsl.scala.syntax.project_type_qual(x: hydra.typed.TypedTerm[hydra.scala.syntax.ProjectType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the qual field of hydra.scala.syntax.ProjectType.

hydra.dsl.scala.syntax.project_type_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.ProjectType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.ProjectType]

DSL updater for the name field of hydra.scala.syntax.ProjectType.

hydra.dsl.scala.syntax.project_type_with_qual(original: hydra.typed.TypedTerm[hydra.scala.syntax.ProjectType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ProjectType]

DSL updater for the qual field of hydra.scala.syntax.ProjectType.

hydra.dsl.scala.syntax.protected_mod(within: hydra.typed.TypedTerm[hydra.scala.syntax.Ref]) → hydra.typed.TypedTerm[hydra.scala.syntax.ProtectedMod]

DSL constructor for hydra.scala.syntax.ProtectedMod.

hydra.dsl.scala.syntax.protected_mod_with_within(original: hydra.typed.TypedTerm[hydra.scala.syntax.ProtectedMod], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Ref]) → hydra.typed.TypedTerm[hydra.scala.syntax.ProtectedMod]

DSL updater for the within field of hydra.scala.syntax.ProtectedMod.

hydra.dsl.scala.syntax.protected_mod_within(x: hydra.typed.TypedTerm[hydra.scala.syntax.ProtectedMod]) → hydra.typed.TypedTerm[hydra.scala.syntax.Ref]

DSL accessor for the within field of hydra.scala.syntax.ProtectedMod.

hydra.dsl.scala.syntax.ref_data_anonymous(x: hydra.typed.TypedTerm[hydra.scala.syntax.AnonymousData]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefData]

DSL injection for the anonymous variant of hydra.scala.syntax.RefData.

hydra.dsl.scala.syntax.ref_data_apply_unary(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyUnaryData]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefData]

DSL injection for the applyUnary variant of hydra.scala.syntax.RefData.

hydra.dsl.scala.syntax.ref_data_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefData]

DSL injection for the name variant of hydra.scala.syntax.RefData.

hydra.dsl.scala.syntax.ref_data_select(x: hydra.typed.TypedTerm[hydra.scala.syntax.SelectData]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefData]

DSL injection for the select variant of hydra.scala.syntax.RefData.

hydra.dsl.scala.syntax.ref_data_super(x: hydra.typed.TypedTerm[hydra.scala.syntax.SuperData]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefData]

DSL injection for the super variant of hydra.scala.syntax.RefData.

hydra.dsl.scala.syntax.ref_data_this(x: hydra.typed.TypedTerm[hydra.scala.syntax.ThisData]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefData]

DSL injection for the this variant of hydra.scala.syntax.RefData.

hydra.dsl.scala.syntax.ref_init(x: hydra.typed.TypedTerm[hydra.scala.syntax.Init]) → hydra.typed.TypedTerm[hydra.scala.syntax.Ref]

DSL injection for the init variant of hydra.scala.syntax.Ref.

hydra.dsl.scala.syntax.ref_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.Ref]

DSL injection for the name variant of hydra.scala.syntax.Ref.

hydra.dsl.scala.syntax.ref_type_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefType]

DSL injection for the name variant of hydra.scala.syntax.RefType.

hydra.dsl.scala.syntax.ref_type_project(x: hydra.typed.TypedTerm[hydra.scala.syntax.ProjectType]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefType]

DSL injection for the project variant of hydra.scala.syntax.RefType.

hydra.dsl.scala.syntax.ref_type_select(x: hydra.typed.TypedTerm[hydra.scala.syntax.SelectType]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefType]

DSL injection for the select variant of hydra.scala.syntax.RefType.

hydra.dsl.scala.syntax.ref_type_singleton(x: hydra.typed.TypedTerm[hydra.scala.syntax.SingletonType]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefType]

DSL injection for the singleton variant of hydra.scala.syntax.RefType.

hydra.dsl.scala.syntax.refine_type(tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type | None], stats: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefineType]

DSL constructor for hydra.scala.syntax.RefineType.

hydra.dsl.scala.syntax.refine_type_stats(x: hydra.typed.TypedTerm[hydra.scala.syntax.RefineType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]

DSL accessor for the stats field of hydra.scala.syntax.RefineType.

hydra.dsl.scala.syntax.refine_type_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.RefineType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type | None]

DSL accessor for the tpe field of hydra.scala.syntax.RefineType.

hydra.dsl.scala.syntax.refine_type_with_stats(original: hydra.typed.TypedTerm[hydra.scala.syntax.RefineType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefineType]

DSL updater for the stats field of hydra.scala.syntax.RefineType.

hydra.dsl.scala.syntax.refine_type_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.RefineType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefineType]

DSL updater for the tpe field of hydra.scala.syntax.RefineType.

hydra.dsl.scala.syntax.rename_importee(name: hydra.typed.TypedTerm[hydra.scala.syntax.Name], rename: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.RenameImportee]

DSL constructor for hydra.scala.syntax.RenameImportee.

hydra.dsl.scala.syntax.rename_importee_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.RenameImportee]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the name field of hydra.scala.syntax.RenameImportee.

hydra.dsl.scala.syntax.rename_importee_rename(x: hydra.typed.TypedTerm[hydra.scala.syntax.RenameImportee]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the rename field of hydra.scala.syntax.RenameImportee.

hydra.dsl.scala.syntax.rename_importee_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.RenameImportee], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.RenameImportee]

DSL updater for the name field of hydra.scala.syntax.RenameImportee.

hydra.dsl.scala.syntax.rename_importee_with_rename(original: hydra.typed.TypedTerm[hydra.scala.syntax.RenameImportee], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.RenameImportee]

DSL updater for the rename field of hydra.scala.syntax.RenameImportee.

hydra.dsl.scala.syntax.repeated_data(expr: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedData]

DSL constructor for hydra.scala.syntax.RepeatedData.

hydra.dsl.scala.syntax.repeated_data_expr(x: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the expr field of hydra.scala.syntax.RepeatedData.

hydra.dsl.scala.syntax.repeated_data_with_expr(original: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedData]

DSL updater for the expr field of hydra.scala.syntax.RepeatedData.

hydra.dsl.scala.syntax.repeated_enum_case_defn(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], cases: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.NameData]]) → hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedEnumCaseDefn]

DSL constructor for hydra.scala.syntax.RepeatedEnumCaseDefn.

hydra.dsl.scala.syntax.repeated_enum_case_defn_cases(x: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedEnumCaseDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.NameData]]

DSL accessor for the cases field of hydra.scala.syntax.RepeatedEnumCaseDefn.

hydra.dsl.scala.syntax.repeated_enum_case_defn_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedEnumCaseDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.RepeatedEnumCaseDefn.

hydra.dsl.scala.syntax.repeated_enum_case_defn_with_cases(original: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedEnumCaseDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.NameData]]) → hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedEnumCaseDefn]

DSL updater for the cases field of hydra.scala.syntax.RepeatedEnumCaseDefn.

hydra.dsl.scala.syntax.repeated_enum_case_defn_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedEnumCaseDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedEnumCaseDefn]

DSL updater for the mods field of hydra.scala.syntax.RepeatedEnumCaseDefn.

hydra.dsl.scala.syntax.repeated_pat(name: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedPat]

DSL constructor for hydra.scala.syntax.RepeatedPat.

hydra.dsl.scala.syntax.repeated_pat_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the name field of hydra.scala.syntax.RepeatedPat.

hydra.dsl.scala.syntax.repeated_pat_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedPat], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedPat]

DSL updater for the name field of hydra.scala.syntax.RepeatedPat.

hydra.dsl.scala.syntax.repeated_type(tpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedType]

DSL constructor for hydra.scala.syntax.RepeatedType.

hydra.dsl.scala.syntax.repeated_type_tpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the tpe field of hydra.scala.syntax.RepeatedType.

hydra.dsl.scala.syntax.repeated_type_with_tpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedType]

DSL updater for the tpe field of hydra.scala.syntax.RepeatedType.

hydra.dsl.scala.syntax.return_data(expr: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ReturnData]

DSL constructor for hydra.scala.syntax.ReturnData.

hydra.dsl.scala.syntax.return_data_expr(x: hydra.typed.TypedTerm[hydra.scala.syntax.ReturnData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the expr field of hydra.scala.syntax.ReturnData.

hydra.dsl.scala.syntax.return_data_with_expr(original: hydra.typed.TypedTerm[hydra.scala.syntax.ReturnData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ReturnData]

DSL updater for the expr field of hydra.scala.syntax.ReturnData.

hydra.dsl.scala.syntax.scala_symbol(name: hydra.typed.TypedTerm[str]) → hydra.typed.TypedTerm[hydra.scala.syntax.ScalaSymbol]

DSL constructor for hydra.scala.syntax.ScalaSymbol.

hydra.dsl.scala.syntax.scala_symbol_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.ScalaSymbol]) → hydra.typed.TypedTerm[str]

DSL accessor for the name field of hydra.scala.syntax.ScalaSymbol.

hydra.dsl.scala.syntax.scala_symbol_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.ScalaSymbol], new_val: hydra.typed.TypedTerm[str]) → hydra.typed.TypedTerm[hydra.scala.syntax.ScalaSymbol]

DSL updater for the name field of hydra.scala.syntax.ScalaSymbol.

hydra.dsl.scala.syntax.secondary_ctor(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.Name], paramss: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]], init: hydra.typed.TypedTerm[hydra.scala.syntax.Init], stats: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor]

DSL constructor for hydra.scala.syntax.SecondaryCtor.

hydra.dsl.scala.syntax.secondary_ctor_init(x: hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor]) → hydra.typed.TypedTerm[hydra.scala.syntax.Init]

DSL accessor for the init field of hydra.scala.syntax.SecondaryCtor.

hydra.dsl.scala.syntax.secondary_ctor_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.SecondaryCtor.

hydra.dsl.scala.syntax.secondary_ctor_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the name field of hydra.scala.syntax.SecondaryCtor.

hydra.dsl.scala.syntax.secondary_ctor_paramss(x: hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor]) → hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]

DSL accessor for the paramss field of hydra.scala.syntax.SecondaryCtor.

hydra.dsl.scala.syntax.secondary_ctor_stats(x: hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]

DSL accessor for the stats field of hydra.scala.syntax.SecondaryCtor.

hydra.dsl.scala.syntax.secondary_ctor_with_init(original: hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Init]) → hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor]

DSL updater for the init field of hydra.scala.syntax.SecondaryCtor.

hydra.dsl.scala.syntax.secondary_ctor_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor]

DSL updater for the mods field of hydra.scala.syntax.SecondaryCtor.

hydra.dsl.scala.syntax.secondary_ctor_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor]

DSL updater for the name field of hydra.scala.syntax.SecondaryCtor.

hydra.dsl.scala.syntax.secondary_ctor_with_paramss(original: hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor], new_val: hydra.typed.TypedTerm[Sequence[Sequence[hydra.scala.syntax.ParamData]]]) → hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor]

DSL updater for the paramss field of hydra.scala.syntax.SecondaryCtor.

hydra.dsl.scala.syntax.secondary_ctor_with_stats(original: hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.SecondaryCtor]

DSL updater for the stats field of hydra.scala.syntax.SecondaryCtor.

hydra.dsl.scala.syntax.select_data(qual: hydra.typed.TypedTerm[hydra.scala.syntax.Data], name: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.SelectData]

DSL constructor for hydra.scala.syntax.SelectData.

hydra.dsl.scala.syntax.select_data_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.SelectData]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the name field of hydra.scala.syntax.SelectData.

hydra.dsl.scala.syntax.select_data_qual(x: hydra.typed.TypedTerm[hydra.scala.syntax.SelectData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the qual field of hydra.scala.syntax.SelectData.

hydra.dsl.scala.syntax.select_data_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.SelectData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.SelectData]

DSL updater for the name field of hydra.scala.syntax.SelectData.

hydra.dsl.scala.syntax.select_data_with_qual(original: hydra.typed.TypedTerm[hydra.scala.syntax.SelectData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.SelectData]

DSL updater for the qual field of hydra.scala.syntax.SelectData.

hydra.dsl.scala.syntax.select_type(qual: hydra.typed.TypedTerm[hydra.scala.syntax.RefData], name: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.SelectType]

DSL constructor for hydra.scala.syntax.SelectType.

hydra.dsl.scala.syntax.select_type_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.SelectType]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameType]

DSL accessor for the name field of hydra.scala.syntax.SelectType.

hydra.dsl.scala.syntax.select_type_qual(x: hydra.typed.TypedTerm[hydra.scala.syntax.SelectType]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefData]

DSL accessor for the qual field of hydra.scala.syntax.SelectType.

hydra.dsl.scala.syntax.select_type_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.SelectType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.SelectType]

DSL updater for the name field of hydra.scala.syntax.SelectType.

hydra.dsl.scala.syntax.select_type_with_qual(original: hydra.typed.TypedTerm[hydra.scala.syntax.SelectType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.RefData]) → hydra.typed.TypedTerm[hydra.scala.syntax.SelectType]

DSL updater for the qual field of hydra.scala.syntax.SelectType.

hydra.dsl.scala.syntax.self(x: hydra.typed.TypedTerm[None]) → hydra.typed.TypedTerm[hydra.scala.syntax.Self]

DSL constructor for the hydra.scala.syntax.Self wrapper.

hydra.dsl.scala.syntax.singleton_type(ref: hydra.typed.TypedTerm[hydra.scala.syntax.RefData]) → hydra.typed.TypedTerm[hydra.scala.syntax.SingletonType]

DSL constructor for hydra.scala.syntax.SingletonType.

hydra.dsl.scala.syntax.singleton_type_ref(x: hydra.typed.TypedTerm[hydra.scala.syntax.SingletonType]) → hydra.typed.TypedTerm[hydra.scala.syntax.RefData]

DSL accessor for the ref field of hydra.scala.syntax.SingletonType.

hydra.dsl.scala.syntax.singleton_type_with_ref(original: hydra.typed.TypedTerm[hydra.scala.syntax.SingletonType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.RefData]) → hydra.typed.TypedTerm[hydra.scala.syntax.SingletonType]

DSL updater for the ref field of hydra.scala.syntax.SingletonType.

hydra.dsl.scala.syntax.source(stats: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Source]

DSL constructor for hydra.scala.syntax.Source.

hydra.dsl.scala.syntax.source_stats(x: hydra.typed.TypedTerm[hydra.scala.syntax.Source]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]

DSL accessor for the stats field of hydra.scala.syntax.Source.

hydra.dsl.scala.syntax.source_with_stats(original: hydra.typed.TypedTerm[hydra.scala.syntax.Source], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Source]

DSL updater for the stats field of hydra.scala.syntax.Source.

hydra.dsl.scala.syntax.stat_decl(x: hydra.typed.TypedTerm[hydra.scala.syntax.Decl]) → hydra.typed.TypedTerm[hydra.scala.syntax.Stat]

DSL injection for the decl variant of hydra.scala.syntax.Stat.

hydra.dsl.scala.syntax.stat_defn(x: hydra.typed.TypedTerm[hydra.scala.syntax.Defn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Stat]

DSL injection for the defn variant of hydra.scala.syntax.Stat.

hydra.dsl.scala.syntax.stat_import_export(x: hydra.typed.TypedTerm[hydra.scala.syntax.ImportExportStat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Stat]

DSL injection for the importExport variant of hydra.scala.syntax.Stat.

hydra.dsl.scala.syntax.stat_term(x: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.Stat]

DSL injection for the term variant of hydra.scala.syntax.Stat.

hydra.dsl.scala.syntax.super_data(thisp: hydra.typed.TypedTerm[hydra.scala.syntax.Name], superp: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.SuperData]

DSL constructor for hydra.scala.syntax.SuperData.

hydra.dsl.scala.syntax.super_data_superp(x: hydra.typed.TypedTerm[hydra.scala.syntax.SuperData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the superp field of hydra.scala.syntax.SuperData.

hydra.dsl.scala.syntax.super_data_thisp(x: hydra.typed.TypedTerm[hydra.scala.syntax.SuperData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the thisp field of hydra.scala.syntax.SuperData.

hydra.dsl.scala.syntax.super_data_with_superp(original: hydra.typed.TypedTerm[hydra.scala.syntax.SuperData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.SuperData]

DSL updater for the superp field of hydra.scala.syntax.SuperData.

hydra.dsl.scala.syntax.super_data_with_thisp(original: hydra.typed.TypedTerm[hydra.scala.syntax.SuperData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.SuperData]

DSL updater for the thisp field of hydra.scala.syntax.SuperData.

hydra.dsl.scala.syntax.template(early: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]], inits: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Init]], self: hydra.typed.TypedTerm[hydra.scala.syntax.Self], stats: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Template]

DSL constructor for hydra.scala.syntax.Template.

hydra.dsl.scala.syntax.template_early(x: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]

DSL accessor for the early field of hydra.scala.syntax.Template.

hydra.dsl.scala.syntax.template_inits(x: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Init]]

DSL accessor for the inits field of hydra.scala.syntax.Template.

hydra.dsl.scala.syntax.template_self(x: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.Self]

DSL accessor for the self field of hydra.scala.syntax.Template.

hydra.dsl.scala.syntax.template_stats(x: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]

DSL accessor for the stats field of hydra.scala.syntax.Template.

hydra.dsl.scala.syntax.template_with_early(original: hydra.typed.TypedTerm[hydra.scala.syntax.Template], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Template]

DSL updater for the early field of hydra.scala.syntax.Template.

hydra.dsl.scala.syntax.template_with_inits(original: hydra.typed.TypedTerm[hydra.scala.syntax.Template], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Init]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Template]

DSL updater for the inits field of hydra.scala.syntax.Template.

hydra.dsl.scala.syntax.template_with_self(original: hydra.typed.TypedTerm[hydra.scala.syntax.Template], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Self]) → hydra.typed.TypedTerm[hydra.scala.syntax.Template]

DSL updater for the self field of hydra.scala.syntax.Template.

hydra.dsl.scala.syntax.template_with_stats(original: hydra.typed.TypedTerm[hydra.scala.syntax.Template], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Stat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.Template]

DSL updater for the stats field of hydra.scala.syntax.Template.

hydra.dsl.scala.syntax.this_data(x: hydra.typed.TypedTerm[None]) → hydra.typed.TypedTerm[hydra.scala.syntax.ThisData]

DSL constructor for the hydra.scala.syntax.ThisData wrapper.

hydra.dsl.scala.syntax.throw_data(expr: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ThrowData]

DSL constructor for hydra.scala.syntax.ThrowData.

hydra.dsl.scala.syntax.throw_data_expr(x: hydra.typed.TypedTerm[hydra.scala.syntax.ThrowData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the expr field of hydra.scala.syntax.ThrowData.

hydra.dsl.scala.syntax.throw_data_with_expr(original: hydra.typed.TypedTerm[hydra.scala.syntax.ThrowData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ThrowData]

DSL updater for the expr field of hydra.scala.syntax.ThrowData.

hydra.dsl.scala.syntax.trait_defn(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.NameType], tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], ctor: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor], template: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn]

DSL constructor for hydra.scala.syntax.TraitDefn.

hydra.dsl.scala.syntax.trait_defn_ctor(x: hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]

DSL accessor for the ctor field of hydra.scala.syntax.TraitDefn.

hydra.dsl.scala.syntax.trait_defn_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.TraitDefn.

hydra.dsl.scala.syntax.trait_defn_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameType]

DSL accessor for the name field of hydra.scala.syntax.TraitDefn.

hydra.dsl.scala.syntax.trait_defn_template(x: hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Template]

DSL accessor for the template field of hydra.scala.syntax.TraitDefn.

hydra.dsl.scala.syntax.trait_defn_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.TraitDefn.

hydra.dsl.scala.syntax.trait_defn_with_ctor(original: hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.PrimaryCtor]) → hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn]

DSL updater for the ctor field of hydra.scala.syntax.TraitDefn.

hydra.dsl.scala.syntax.trait_defn_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn]

DSL updater for the mods field of hydra.scala.syntax.TraitDefn.

hydra.dsl.scala.syntax.trait_defn_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn]

DSL updater for the name field of hydra.scala.syntax.TraitDefn.

hydra.dsl.scala.syntax.trait_defn_with_template(original: hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn]

DSL updater for the template field of hydra.scala.syntax.TraitDefn.

hydra.dsl.scala.syntax.trait_defn_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.TraitDefn]

DSL updater for the tparams field of hydra.scala.syntax.TraitDefn.

hydra.dsl.scala.syntax.tree_bounds(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the bounds variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.tree_case_tree(x: hydra.typed.TypedTerm[hydra.scala.syntax.CaseTree]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the caseTree variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.tree_ctor(x: hydra.typed.TypedTerm[hydra.scala.syntax.Ctor]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the ctor variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.tree_enumerator(x: hydra.typed.TypedTerm[hydra.scala.syntax.Enumerator]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the enumerator variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.tree_importee(x: hydra.typed.TypedTerm[hydra.scala.syntax.Importee]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the importee variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.tree_importer(x: hydra.typed.TypedTerm[hydra.scala.syntax.Importer]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the importer variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.tree_member(x: hydra.typed.TypedTerm[hydra.scala.syntax.Member]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the member variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.tree_mod(x: hydra.typed.TypedTerm[hydra.scala.syntax.Mod]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the mod variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.tree_pat(x: hydra.typed.TypedTerm[hydra.scala.syntax.Pat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the pat variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.tree_ref(x: hydra.typed.TypedTerm[hydra.scala.syntax.Ref]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the ref variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.tree_source(x: hydra.typed.TypedTerm[hydra.scala.syntax.Source]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the source variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.tree_stat(x: hydra.typed.TypedTerm[hydra.scala.syntax.Stat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the stat variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.tree_template(x: hydra.typed.TypedTerm[hydra.scala.syntax.Template]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the template variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.tree_type(x: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.Tree]

DSL injection for the type variant of hydra.scala.syntax.Tree.

hydra.dsl.scala.syntax.try_data(expr: hydra.typed.TypedTerm[hydra.scala.syntax.Data], catchp: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Case]], finallyp: hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.TryData]

DSL constructor for hydra.scala.syntax.TryData.

hydra.dsl.scala.syntax.try_data_catchp(x: hydra.typed.TypedTerm[hydra.scala.syntax.TryData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Case]]

DSL accessor for the catchp field of hydra.scala.syntax.TryData.

hydra.dsl.scala.syntax.try_data_expr(x: hydra.typed.TypedTerm[hydra.scala.syntax.TryData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the expr field of hydra.scala.syntax.TryData.

hydra.dsl.scala.syntax.try_data_finallyp(x: hydra.typed.TypedTerm[hydra.scala.syntax.TryData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]

DSL accessor for the finallyp field of hydra.scala.syntax.TryData.

hydra.dsl.scala.syntax.try_data_with_catchp(original: hydra.typed.TypedTerm[hydra.scala.syntax.TryData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Case]]) → hydra.typed.TypedTerm[hydra.scala.syntax.TryData]

DSL updater for the catchp field of hydra.scala.syntax.TryData.

hydra.dsl.scala.syntax.try_data_with_expr(original: hydra.typed.TypedTerm[hydra.scala.syntax.TryData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.TryData]

DSL updater for the expr field of hydra.scala.syntax.TryData.

hydra.dsl.scala.syntax.try_data_with_finallyp(original: hydra.typed.TypedTerm[hydra.scala.syntax.TryData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.TryData]

DSL updater for the finallyp field of hydra.scala.syntax.TryData.

hydra.dsl.scala.syntax.try_with_handler_data(expr: hydra.typed.TypedTerm[hydra.scala.syntax.Data], catchp: hydra.typed.TypedTerm[hydra.scala.syntax.Data], finallyp: hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.TryWithHandlerData]

DSL constructor for hydra.scala.syntax.TryWithHandlerData.

hydra.dsl.scala.syntax.try_with_handler_data_catchp(x: hydra.typed.TypedTerm[hydra.scala.syntax.TryWithHandlerData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the catchp field of hydra.scala.syntax.TryWithHandlerData.

hydra.dsl.scala.syntax.try_with_handler_data_expr(x: hydra.typed.TypedTerm[hydra.scala.syntax.TryWithHandlerData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the expr field of hydra.scala.syntax.TryWithHandlerData.

hydra.dsl.scala.syntax.try_with_handler_data_finallyp(x: hydra.typed.TypedTerm[hydra.scala.syntax.TryWithHandlerData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]

DSL accessor for the finallyp field of hydra.scala.syntax.TryWithHandlerData.

hydra.dsl.scala.syntax.try_with_handler_data_with_catchp(original: hydra.typed.TypedTerm[hydra.scala.syntax.TryWithHandlerData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.TryWithHandlerData]

DSL updater for the catchp field of hydra.scala.syntax.TryWithHandlerData.

hydra.dsl.scala.syntax.try_with_handler_data_with_expr(original: hydra.typed.TypedTerm[hydra.scala.syntax.TryWithHandlerData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.TryWithHandlerData]

DSL updater for the expr field of hydra.scala.syntax.TryWithHandlerData.

hydra.dsl.scala.syntax.try_with_handler_data_with_finallyp(original: hydra.typed.TypedTerm[hydra.scala.syntax.TryWithHandlerData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.TryWithHandlerData]

DSL updater for the finallyp field of hydra.scala.syntax.TryWithHandlerData.

hydra.dsl.scala.syntax.tuple_data(args: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]) → hydra.typed.TypedTerm[hydra.scala.syntax.TupleData]

DSL constructor for hydra.scala.syntax.TupleData.

hydra.dsl.scala.syntax.tuple_data_args(x: hydra.typed.TypedTerm[hydra.scala.syntax.TupleData]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]

DSL accessor for the args field of hydra.scala.syntax.TupleData.

hydra.dsl.scala.syntax.tuple_data_with_args(original: hydra.typed.TypedTerm[hydra.scala.syntax.TupleData], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Data]]) → hydra.typed.TypedTerm[hydra.scala.syntax.TupleData]

DSL updater for the args field of hydra.scala.syntax.TupleData.

hydra.dsl.scala.syntax.tuple_pat(args: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.TuplePat]

DSL constructor for hydra.scala.syntax.TuplePat.

hydra.dsl.scala.syntax.tuple_pat_args(x: hydra.typed.TypedTerm[hydra.scala.syntax.TuplePat]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]

DSL accessor for the args field of hydra.scala.syntax.TuplePat.

hydra.dsl.scala.syntax.tuple_pat_with_args(original: hydra.typed.TypedTerm[hydra.scala.syntax.TuplePat], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.TuplePat]

DSL updater for the args field of hydra.scala.syntax.TuplePat.

hydra.dsl.scala.syntax.tuple_type(args: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]) → hydra.typed.TypedTerm[hydra.scala.syntax.TupleType]

DSL constructor for hydra.scala.syntax.TupleType.

hydra.dsl.scala.syntax.tuple_type_args(x: hydra.typed.TypedTerm[hydra.scala.syntax.TupleType]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]

DSL accessor for the args field of hydra.scala.syntax.TupleType.

hydra.dsl.scala.syntax.tuple_type_with_args(original: hydra.typed.TypedTerm[hydra.scala.syntax.TupleType], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Type]]) → hydra.typed.TypedTerm[hydra.scala.syntax.TupleType]

DSL updater for the args field of hydra.scala.syntax.TupleType.

hydra.dsl.scala.syntax.type_and(x: hydra.typed.TypedTerm[hydra.scala.syntax.AndType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the and variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_annotate(x: hydra.typed.TypedTerm[hydra.scala.syntax.AnnotateType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the annotate variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_anonymous_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.AnonymousNameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the anonymousName variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_apply(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the apply variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_apply_infix(x: hydra.typed.TypedTerm[hydra.scala.syntax.ApplyInfixType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the applyInfix variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_bounds(lo: hydra.typed.TypedTerm[hydra.scala.syntax.Type | None], hi: hydra.typed.TypedTerm[hydra.scala.syntax.Type | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds]

DSL constructor for hydra.scala.syntax.TypeBounds.

hydra.dsl.scala.syntax.type_bounds_hi(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type | None]

DSL accessor for the hi field of hydra.scala.syntax.TypeBounds.

hydra.dsl.scala.syntax.type_bounds_lo(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type | None]

DSL accessor for the lo field of hydra.scala.syntax.TypeBounds.

hydra.dsl.scala.syntax.type_bounds_with_hi(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds]

DSL updater for the hi field of hydra.scala.syntax.TypeBounds.

hydra.dsl.scala.syntax.type_bounds_with_lo(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds]

DSL updater for the lo field of hydra.scala.syntax.TypeBounds.

hydra.dsl.scala.syntax.type_by_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.ByNameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the byName variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_case(pat: hydra.typed.TypedTerm[hydra.scala.syntax.Type], body: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeCase]

DSL constructor for hydra.scala.syntax.TypeCase.

hydra.dsl.scala.syntax.type_case_body(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeCase]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the body field of hydra.scala.syntax.TypeCase.

hydra.dsl.scala.syntax.type_case_pat(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeCase]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the pat field of hydra.scala.syntax.TypeCase.

hydra.dsl.scala.syntax.type_case_with_body(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypeCase], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeCase]

DSL updater for the body field of hydra.scala.syntax.TypeCase.

hydra.dsl.scala.syntax.type_case_with_pat(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypeCase], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeCase]

DSL updater for the pat field of hydra.scala.syntax.TypeCase.

hydra.dsl.scala.syntax.type_context_function(x: hydra.typed.TypedTerm[hydra.scala.syntax.ContextFunctionType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the contextFunction variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_decl(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.NameType], tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], bounds: hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl]

DSL constructor for hydra.scala.syntax.TypeDecl.

hydra.dsl.scala.syntax.type_decl_bounds(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds]

DSL accessor for the bounds field of hydra.scala.syntax.TypeDecl.

hydra.dsl.scala.syntax.type_decl_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.TypeDecl.

hydra.dsl.scala.syntax.type_decl_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameType]

DSL accessor for the name field of hydra.scala.syntax.TypeDecl.

hydra.dsl.scala.syntax.type_decl_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.TypeDecl.

hydra.dsl.scala.syntax.type_decl_with_bounds(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.TypeBounds]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl]

DSL updater for the bounds field of hydra.scala.syntax.TypeDecl.

hydra.dsl.scala.syntax.type_decl_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl]

DSL updater for the mods field of hydra.scala.syntax.TypeDecl.

hydra.dsl.scala.syntax.type_decl_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl]

DSL updater for the name field of hydra.scala.syntax.TypeDecl.

hydra.dsl.scala.syntax.type_decl_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeDecl]

DSL updater for the tparams field of hydra.scala.syntax.TypeDecl.

hydra.dsl.scala.syntax.type_defn(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], name: hydra.typed.TypedTerm[hydra.scala.syntax.NameType], tparams: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]], body: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn]

DSL constructor for hydra.scala.syntax.TypeDefn.

hydra.dsl.scala.syntax.type_defn_body(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the body field of hydra.scala.syntax.TypeDefn.

hydra.dsl.scala.syntax.type_defn_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.TypeDefn.

hydra.dsl.scala.syntax.type_defn_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameType]

DSL accessor for the name field of hydra.scala.syntax.TypeDefn.

hydra.dsl.scala.syntax.type_defn_tparams(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]

DSL accessor for the tparams field of hydra.scala.syntax.TypeDefn.

hydra.dsl.scala.syntax.type_defn_with_body(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn]

DSL updater for the body field of hydra.scala.syntax.TypeDefn.

hydra.dsl.scala.syntax.type_defn_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn]

DSL updater for the mods field of hydra.scala.syntax.TypeDefn.

hydra.dsl.scala.syntax.type_defn_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn]

DSL updater for the name field of hydra.scala.syntax.TypeDefn.

hydra.dsl.scala.syntax.type_defn_with_tparams(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.ParamType]]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeDefn]

DSL updater for the tparams field of hydra.scala.syntax.TypeDefn.

hydra.dsl.scala.syntax.type_existential(x: hydra.typed.TypedTerm[hydra.scala.syntax.ExistentialType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the existential variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_function(x: hydra.typed.TypedTerm[hydra.scala.syntax.FunctionType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the function variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_implicit_function(x: hydra.typed.TypedTerm[hydra.scala.syntax.ImplicitFunctionType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the implicitFunction variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_lambda(x: hydra.typed.TypedTerm[hydra.scala.syntax.LambdaType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the lambda variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_match(x: hydra.typed.TypedTerm[hydra.scala.syntax.MatchType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the match variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_member(name: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeMember]

DSL constructor for hydra.scala.syntax.TypeMember.

hydra.dsl.scala.syntax.type_member_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypeMember]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameType]

DSL accessor for the name field of hydra.scala.syntax.TypeMember.

hydra.dsl.scala.syntax.type_member_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypeMember], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypeMember]

DSL updater for the name field of hydra.scala.syntax.TypeMember.

hydra.dsl.scala.syntax.type_method(x: hydra.typed.TypedTerm[hydra.scala.syntax.MethodType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the method variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_or(x: hydra.typed.TypedTerm[hydra.scala.syntax.OrType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the or variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_placeholder(x: hydra.typed.TypedTerm[hydra.scala.syntax.PlaceholderType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the placeholder variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_poly_function(x: hydra.typed.TypedTerm[hydra.scala.syntax.PolyFunctionType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the polyFunction variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_ref(x: hydra.typed.TypedTerm[hydra.scala.syntax.RefType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the ref variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_refine(x: hydra.typed.TypedTerm[hydra.scala.syntax.RefineType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the refine variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_repeated(x: hydra.typed.TypedTerm[hydra.scala.syntax.RepeatedType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the repeated variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_tuple(x: hydra.typed.TypedTerm[hydra.scala.syntax.TupleType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the tuple variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_typed_param(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypedParamType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the typedParam variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_var(x: hydra.typed.TypedTerm[hydra.scala.syntax.VarType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the var variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.type_with(x: hydra.typed.TypedTerm[hydra.scala.syntax.WithType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL injection for the with variant of hydra.scala.syntax.Type.

hydra.dsl.scala.syntax.typed_param_type(name: hydra.typed.TypedTerm[hydra.scala.syntax.Name], typ: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypedParamType]

DSL constructor for hydra.scala.syntax.TypedParamType.

hydra.dsl.scala.syntax.typed_param_type_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypedParamType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the name field of hydra.scala.syntax.TypedParamType.

hydra.dsl.scala.syntax.typed_param_type_typ(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypedParamType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the typ field of hydra.scala.syntax.TypedParamType.

hydra.dsl.scala.syntax.typed_param_type_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypedParamType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypedParamType]

DSL updater for the name field of hydra.scala.syntax.TypedParamType.

hydra.dsl.scala.syntax.typed_param_type_with_typ(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypedParamType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypedParamType]

DSL updater for the typ field of hydra.scala.syntax.TypedParamType.

hydra.dsl.scala.syntax.typed_pat(lhs: hydra.typed.TypedTerm[hydra.scala.syntax.Pat], rhs: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypedPat]

DSL constructor for hydra.scala.syntax.TypedPat.

hydra.dsl.scala.syntax.typed_pat_lhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypedPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL accessor for the lhs field of hydra.scala.syntax.TypedPat.

hydra.dsl.scala.syntax.typed_pat_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.TypedPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the rhs field of hydra.scala.syntax.TypedPat.

hydra.dsl.scala.syntax.typed_pat_with_lhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypedPat], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Pat]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypedPat]

DSL updater for the lhs field of hydra.scala.syntax.TypedPat.

hydra.dsl.scala.syntax.typed_pat_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.TypedPat], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.TypedPat]

DSL updater for the rhs field of hydra.scala.syntax.TypedPat.

hydra.dsl.scala.syntax.un_anonymous_data(x: hydra.typed.TypedTerm[hydra.scala.syntax.AnonymousData]) → hydra.typed.TypedTerm[None]

DSL accessor for the body of hydra.scala.syntax.AnonymousData.

hydra.dsl.scala.syntax.un_anonymous_name_type(x: hydra.typed.TypedTerm[hydra.scala.syntax.AnonymousNameType]) → hydra.typed.TypedTerm[None]

DSL accessor for the body of hydra.scala.syntax.AnonymousNameType.

hydra.dsl.scala.syntax.un_predef_string(x: hydra.typed.TypedTerm[hydra.scala.syntax.PredefString]) → hydra.typed.TypedTerm[str]

DSL accessor for the body of hydra.scala.syntax.PredefString.

hydra.dsl.scala.syntax.un_self(x: hydra.typed.TypedTerm[hydra.scala.syntax.Self]) → hydra.typed.TypedTerm[None]

DSL accessor for the body of hydra.scala.syntax.Self.

hydra.dsl.scala.syntax.un_this_data(x: hydra.typed.TypedTerm[hydra.scala.syntax.ThisData]) → hydra.typed.TypedTerm[None]

DSL accessor for the body of hydra.scala.syntax.ThisData.

hydra.dsl.scala.syntax.unimport_importee(name: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.UnimportImportee]

DSL constructor for hydra.scala.syntax.UnimportImportee.

hydra.dsl.scala.syntax.unimport_importee_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.UnimportImportee]) → hydra.typed.TypedTerm[hydra.scala.syntax.Name]

DSL accessor for the name field of hydra.scala.syntax.UnimportImportee.

hydra.dsl.scala.syntax.unimport_importee_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.UnimportImportee], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Name]) → hydra.typed.TypedTerm[hydra.scala.syntax.UnimportImportee]

DSL updater for the name field of hydra.scala.syntax.UnimportImportee.

hydra.dsl.scala.syntax.val_decl(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], pats: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]], decltpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ValDecl]

DSL constructor for hydra.scala.syntax.ValDecl.

hydra.dsl.scala.syntax.val_decl_decltpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.ValDecl]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the decltpe field of hydra.scala.syntax.ValDecl.

hydra.dsl.scala.syntax.val_decl_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.ValDecl]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.ValDecl.

hydra.dsl.scala.syntax.val_decl_pats(x: hydra.typed.TypedTerm[hydra.scala.syntax.ValDecl]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]

DSL accessor for the pats field of hydra.scala.syntax.ValDecl.

hydra.dsl.scala.syntax.val_decl_with_decltpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.ValDecl], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.ValDecl]

DSL updater for the decltpe field of hydra.scala.syntax.ValDecl.

hydra.dsl.scala.syntax.val_decl_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.ValDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ValDecl]

DSL updater for the mods field of hydra.scala.syntax.ValDecl.

hydra.dsl.scala.syntax.val_decl_with_pats(original: hydra.typed.TypedTerm[hydra.scala.syntax.ValDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ValDecl]

DSL updater for the pats field of hydra.scala.syntax.ValDecl.

hydra.dsl.scala.syntax.val_defn(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], pats: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]], decltpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type | None], rhs: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn]

DSL constructor for hydra.scala.syntax.ValDefn.

hydra.dsl.scala.syntax.val_defn_decltpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type | None]

DSL accessor for the decltpe field of hydra.scala.syntax.ValDefn.

hydra.dsl.scala.syntax.val_defn_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.ValDefn.

hydra.dsl.scala.syntax.val_defn_pats(x: hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]

DSL accessor for the pats field of hydra.scala.syntax.ValDefn.

hydra.dsl.scala.syntax.val_defn_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the rhs field of hydra.scala.syntax.ValDefn.

hydra.dsl.scala.syntax.val_defn_with_decltpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn]

DSL updater for the decltpe field of hydra.scala.syntax.ValDefn.

hydra.dsl.scala.syntax.val_defn_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn]

DSL updater for the mods field of hydra.scala.syntax.ValDefn.

hydra.dsl.scala.syntax.val_defn_with_pats(original: hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn]

DSL updater for the pats field of hydra.scala.syntax.ValDefn.

hydra.dsl.scala.syntax.val_defn_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ValDefn]

DSL updater for the rhs field of hydra.scala.syntax.ValDefn.

hydra.dsl.scala.syntax.val_enumerator(pat: hydra.typed.TypedTerm[hydra.scala.syntax.Pat], rhs: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ValEnumerator]

DSL constructor for hydra.scala.syntax.ValEnumerator.

hydra.dsl.scala.syntax.val_enumerator_pat(x: hydra.typed.TypedTerm[hydra.scala.syntax.ValEnumerator]) → hydra.typed.TypedTerm[hydra.scala.syntax.Pat]

DSL accessor for the pat field of hydra.scala.syntax.ValEnumerator.

hydra.dsl.scala.syntax.val_enumerator_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.ValEnumerator]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the rhs field of hydra.scala.syntax.ValEnumerator.

hydra.dsl.scala.syntax.val_enumerator_with_pat(original: hydra.typed.TypedTerm[hydra.scala.syntax.ValEnumerator], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Pat]) → hydra.typed.TypedTerm[hydra.scala.syntax.ValEnumerator]

DSL updater for the pat field of hydra.scala.syntax.ValEnumerator.

hydra.dsl.scala.syntax.val_enumerator_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.ValEnumerator], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.ValEnumerator]

DSL updater for the rhs field of hydra.scala.syntax.ValEnumerator.

hydra.dsl.scala.syntax.var_decl(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], pats: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]], decltpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.VarDecl]

DSL constructor for hydra.scala.syntax.VarDecl.

hydra.dsl.scala.syntax.var_decl_decltpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.VarDecl]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the decltpe field of hydra.scala.syntax.VarDecl.

hydra.dsl.scala.syntax.var_decl_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.VarDecl]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.VarDecl.

hydra.dsl.scala.syntax.var_decl_pats(x: hydra.typed.TypedTerm[hydra.scala.syntax.VarDecl]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]

DSL accessor for the pats field of hydra.scala.syntax.VarDecl.

hydra.dsl.scala.syntax.var_decl_with_decltpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.VarDecl], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.VarDecl]

DSL updater for the decltpe field of hydra.scala.syntax.VarDecl.

hydra.dsl.scala.syntax.var_decl_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.VarDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.VarDecl]

DSL updater for the mods field of hydra.scala.syntax.VarDecl.

hydra.dsl.scala.syntax.var_decl_with_pats(original: hydra.typed.TypedTerm[hydra.scala.syntax.VarDecl], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.VarDecl]

DSL updater for the pats field of hydra.scala.syntax.VarDecl.

hydra.dsl.scala.syntax.var_defn(mods: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]], pats: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]], decltpe: hydra.typed.TypedTerm[hydra.scala.syntax.Type], rhs: hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn]

DSL constructor for hydra.scala.syntax.VarDefn.

hydra.dsl.scala.syntax.var_defn_decltpe(x: hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the decltpe field of hydra.scala.syntax.VarDefn.

hydra.dsl.scala.syntax.var_defn_mods(x: hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]

DSL accessor for the mods field of hydra.scala.syntax.VarDefn.

hydra.dsl.scala.syntax.var_defn_pats(x: hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn]) → hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]

DSL accessor for the pats field of hydra.scala.syntax.VarDefn.

hydra.dsl.scala.syntax.var_defn_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]

DSL accessor for the rhs field of hydra.scala.syntax.VarDefn.

hydra.dsl.scala.syntax.var_defn_with_decltpe(original: hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn]

DSL updater for the decltpe field of hydra.scala.syntax.VarDefn.

hydra.dsl.scala.syntax.var_defn_with_mods(original: hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Mod]]) → hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn]

DSL updater for the mods field of hydra.scala.syntax.VarDefn.

hydra.dsl.scala.syntax.var_defn_with_pats(original: hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn], new_val: hydra.typed.TypedTerm[Sequence[hydra.scala.syntax.Pat]]) → hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn]

DSL updater for the pats field of hydra.scala.syntax.VarDefn.

hydra.dsl.scala.syntax.var_defn_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data | None]) → hydra.typed.TypedTerm[hydra.scala.syntax.VarDefn]

DSL updater for the rhs field of hydra.scala.syntax.VarDefn.

hydra.dsl.scala.syntax.var_pat(name: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.VarPat]

DSL constructor for hydra.scala.syntax.VarPat.

hydra.dsl.scala.syntax.var_pat_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.VarPat]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameData]

DSL accessor for the name field of hydra.scala.syntax.VarPat.

hydra.dsl.scala.syntax.var_pat_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.VarPat], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameData]) → hydra.typed.TypedTerm[hydra.scala.syntax.VarPat]

DSL updater for the name field of hydra.scala.syntax.VarPat.

hydra.dsl.scala.syntax.var_type(name: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.VarType]

DSL constructor for hydra.scala.syntax.VarType.

hydra.dsl.scala.syntax.var_type_name(x: hydra.typed.TypedTerm[hydra.scala.syntax.VarType]) → hydra.typed.TypedTerm[hydra.scala.syntax.NameType]

DSL accessor for the name field of hydra.scala.syntax.VarType.

hydra.dsl.scala.syntax.var_type_with_name(original: hydra.typed.TypedTerm[hydra.scala.syntax.VarType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.NameType]) → hydra.typed.TypedTerm[hydra.scala.syntax.VarType]

DSL updater for the name field of hydra.scala.syntax.VarType.

hydra.dsl.scala.syntax.while_data(expr: hydra.typed.TypedTerm[hydra.scala.syntax.Data], body: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.WhileData]

DSL constructor for hydra.scala.syntax.WhileData.

hydra.dsl.scala.syntax.while_data_body(x: hydra.typed.TypedTerm[hydra.scala.syntax.WhileData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the body field of hydra.scala.syntax.WhileData.

hydra.dsl.scala.syntax.while_data_expr(x: hydra.typed.TypedTerm[hydra.scala.syntax.WhileData]) → hydra.typed.TypedTerm[hydra.scala.syntax.Data]

DSL accessor for the expr field of hydra.scala.syntax.WhileData.

hydra.dsl.scala.syntax.while_data_with_body(original: hydra.typed.TypedTerm[hydra.scala.syntax.WhileData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.WhileData]

DSL updater for the body field of hydra.scala.syntax.WhileData.

hydra.dsl.scala.syntax.while_data_with_expr(original: hydra.typed.TypedTerm[hydra.scala.syntax.WhileData], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Data]) → hydra.typed.TypedTerm[hydra.scala.syntax.WhileData]

DSL updater for the expr field of hydra.scala.syntax.WhileData.

hydra.dsl.scala.syntax.with_type(lhs: hydra.typed.TypedTerm[hydra.scala.syntax.Type], rhs: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.WithType]

DSL constructor for hydra.scala.syntax.WithType.

hydra.dsl.scala.syntax.with_type_lhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.WithType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the lhs field of hydra.scala.syntax.WithType.

hydra.dsl.scala.syntax.with_type_rhs(x: hydra.typed.TypedTerm[hydra.scala.syntax.WithType]) → hydra.typed.TypedTerm[hydra.scala.syntax.Type]

DSL accessor for the rhs field of hydra.scala.syntax.WithType.

hydra.dsl.scala.syntax.with_type_with_lhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.WithType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.WithType]

DSL updater for the lhs field of hydra.scala.syntax.WithType.

hydra.dsl.scala.syntax.with_type_with_rhs(original: hydra.typed.TypedTerm[hydra.scala.syntax.WithType], new_val: hydra.typed.TypedTerm[hydra.scala.syntax.Type]) → hydra.typed.TypedTerm[hydra.scala.syntax.WithType]

DSL updater for the rhs field of hydra.scala.syntax.WithType.