hydra.dsl.error.core module

DSL functions for hydra.error.core.

hydra.dsl.error.core.constant_condition_error(location: TypedTerm[SubtermPath], value: TypedTerm[bool]) → TypedTerm[ConstantConditionError]

DSL constructor for hydra.error.core.ConstantConditionError.

hydra.dsl.error.core.constant_condition_error_location(x: TypedTerm[ConstantConditionError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.ConstantConditionError.

hydra.dsl.error.core.constant_condition_error_value(x: TypedTerm[ConstantConditionError]) → TypedTerm[bool]

DSL accessor for the value field of hydra.error.core.ConstantConditionError.

hydra.dsl.error.core.constant_condition_error_with_location(original: TypedTerm[ConstantConditionError], new_val: TypedTerm[SubtermPath]) → TypedTerm[ConstantConditionError]

DSL updater for the location field of hydra.error.core.ConstantConditionError.

hydra.dsl.error.core.constant_condition_error_with_value(original: TypedTerm[ConstantConditionError], new_val: TypedTerm[bool]) → TypedTerm[ConstantConditionError]

DSL updater for the value field of hydra.error.core.ConstantConditionError.

hydra.dsl.error.core.duplicate_binding_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[DuplicateBindingError]

DSL constructor for hydra.error.core.DuplicateBindingError.

hydra.dsl.error.core.duplicate_binding_error_location(x: TypedTerm[DuplicateBindingError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.DuplicateBindingError.

hydra.dsl.error.core.duplicate_binding_error_name(x: TypedTerm[DuplicateBindingError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.DuplicateBindingError.

hydra.dsl.error.core.duplicate_binding_error_with_location(original: TypedTerm[DuplicateBindingError], new_val: TypedTerm[SubtermPath]) → TypedTerm[DuplicateBindingError]

DSL updater for the location field of hydra.error.core.DuplicateBindingError.

hydra.dsl.error.core.duplicate_binding_error_with_name(original: TypedTerm[DuplicateBindingError], new_val: TypedTerm[Name]) → TypedTerm[DuplicateBindingError]

DSL updater for the name field of hydra.error.core.DuplicateBindingError.

hydra.dsl.error.core.duplicate_field_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[DuplicateFieldError]

DSL constructor for hydra.error.core.DuplicateFieldError.

hydra.dsl.error.core.duplicate_field_error_location(x: TypedTerm[DuplicateFieldError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.DuplicateFieldError.

hydra.dsl.error.core.duplicate_field_error_name(x: TypedTerm[DuplicateFieldError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.DuplicateFieldError.

hydra.dsl.error.core.duplicate_field_error_with_location(original: TypedTerm[DuplicateFieldError], new_val: TypedTerm[SubtermPath]) → TypedTerm[DuplicateFieldError]

DSL updater for the location field of hydra.error.core.DuplicateFieldError.

hydra.dsl.error.core.duplicate_field_error_with_name(original: TypedTerm[DuplicateFieldError], new_val: TypedTerm[Name]) → TypedTerm[DuplicateFieldError]

DSL updater for the name field of hydra.error.core.DuplicateFieldError.

hydra.dsl.error.core.duplicate_record_type_field_names_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[DuplicateRecordTypeFieldNamesError]

DSL constructor for hydra.error.core.DuplicateRecordTypeFieldNamesError.

hydra.dsl.error.core.duplicate_record_type_field_names_error_location(x: TypedTerm[DuplicateRecordTypeFieldNamesError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.DuplicateRecordTypeFieldNamesError.

hydra.dsl.error.core.duplicate_record_type_field_names_error_name(x: TypedTerm[DuplicateRecordTypeFieldNamesError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.DuplicateRecordTypeFieldNamesError.

hydra.dsl.error.core.duplicate_record_type_field_names_error_with_location(original: TypedTerm[DuplicateRecordTypeFieldNamesError], new_val: TypedTerm[SubtermPath]) → TypedTerm[DuplicateRecordTypeFieldNamesError]

DSL updater for the location field of hydra.error.core.DuplicateRecordTypeFieldNamesError.

hydra.dsl.error.core.duplicate_record_type_field_names_error_with_name(original: TypedTerm[DuplicateRecordTypeFieldNamesError], new_val: TypedTerm[Name]) → TypedTerm[DuplicateRecordTypeFieldNamesError]

DSL updater for the name field of hydra.error.core.DuplicateRecordTypeFieldNamesError.

hydra.dsl.error.core.duplicate_union_type_field_names_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[DuplicateUnionTypeFieldNamesError]

DSL constructor for hydra.error.core.DuplicateUnionTypeFieldNamesError.

hydra.dsl.error.core.duplicate_union_type_field_names_error_location(x: TypedTerm[DuplicateUnionTypeFieldNamesError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.DuplicateUnionTypeFieldNamesError.

hydra.dsl.error.core.duplicate_union_type_field_names_error_name(x: TypedTerm[DuplicateUnionTypeFieldNamesError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.DuplicateUnionTypeFieldNamesError.

hydra.dsl.error.core.duplicate_union_type_field_names_error_with_location(original: TypedTerm[DuplicateUnionTypeFieldNamesError], new_val: TypedTerm[SubtermPath]) → TypedTerm[DuplicateUnionTypeFieldNamesError]

DSL updater for the location field of hydra.error.core.DuplicateUnionTypeFieldNamesError.

hydra.dsl.error.core.duplicate_union_type_field_names_error_with_name(original: TypedTerm[DuplicateUnionTypeFieldNamesError], new_val: TypedTerm[Name]) → TypedTerm[DuplicateUnionTypeFieldNamesError]

DSL updater for the name field of hydra.error.core.DuplicateUnionTypeFieldNamesError.

hydra.dsl.error.core.empty_case_statement_error(location: TypedTerm[SubtermPath], type_name: TypedTerm[Name]) → TypedTerm[EmptyCaseStatementError]

DSL constructor for hydra.error.core.EmptyCaseStatementError.

hydra.dsl.error.core.empty_case_statement_error_location(x: TypedTerm[EmptyCaseStatementError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.EmptyCaseStatementError.

hydra.dsl.error.core.empty_case_statement_error_type_name(x: TypedTerm[EmptyCaseStatementError]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.error.core.EmptyCaseStatementError.

hydra.dsl.error.core.empty_case_statement_error_with_location(original: TypedTerm[EmptyCaseStatementError], new_val: TypedTerm[SubtermPath]) → TypedTerm[EmptyCaseStatementError]

DSL updater for the location field of hydra.error.core.EmptyCaseStatementError.

hydra.dsl.error.core.empty_case_statement_error_with_type_name(original: TypedTerm[EmptyCaseStatementError], new_val: TypedTerm[Name]) → TypedTerm[EmptyCaseStatementError]

DSL updater for the typeName field of hydra.error.core.EmptyCaseStatementError.

hydra.dsl.error.core.empty_let_bindings_error(location: TypedTerm[SubtermPath]) → TypedTerm[EmptyLetBindingsError]

DSL constructor for hydra.error.core.EmptyLetBindingsError.

hydra.dsl.error.core.empty_let_bindings_error_location(x: TypedTerm[EmptyLetBindingsError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.EmptyLetBindingsError.

hydra.dsl.error.core.empty_let_bindings_error_with_location(original: TypedTerm[EmptyLetBindingsError], new_val: TypedTerm[SubtermPath]) → TypedTerm[EmptyLetBindingsError]

DSL updater for the location field of hydra.error.core.EmptyLetBindingsError.

hydra.dsl.error.core.empty_record_type_error(location: TypedTerm[SubtermPath]) → TypedTerm[EmptyRecordTypeError]

DSL constructor for hydra.error.core.EmptyRecordTypeError.

hydra.dsl.error.core.empty_record_type_error_location(x: TypedTerm[EmptyRecordTypeError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.EmptyRecordTypeError.

hydra.dsl.error.core.empty_record_type_error_with_location(original: TypedTerm[EmptyRecordTypeError], new_val: TypedTerm[SubtermPath]) → TypedTerm[EmptyRecordTypeError]

DSL updater for the location field of hydra.error.core.EmptyRecordTypeError.

hydra.dsl.error.core.empty_term_annotation_error(location: TypedTerm[SubtermPath]) → TypedTerm[EmptyTermAnnotationError]

DSL constructor for hydra.error.core.EmptyTermAnnotationError.

hydra.dsl.error.core.empty_term_annotation_error_location(x: TypedTerm[EmptyTermAnnotationError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.EmptyTermAnnotationError.

hydra.dsl.error.core.empty_term_annotation_error_with_location(original: TypedTerm[EmptyTermAnnotationError], new_val: TypedTerm[SubtermPath]) → TypedTerm[EmptyTermAnnotationError]

DSL updater for the location field of hydra.error.core.EmptyTermAnnotationError.

hydra.dsl.error.core.empty_type_annotation_error(location: TypedTerm[SubtermPath]) → TypedTerm[EmptyTypeAnnotationError]

DSL constructor for hydra.error.core.EmptyTypeAnnotationError.

hydra.dsl.error.core.empty_type_annotation_error_location(x: TypedTerm[EmptyTypeAnnotationError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.EmptyTypeAnnotationError.

hydra.dsl.error.core.empty_type_annotation_error_with_location(original: TypedTerm[EmptyTypeAnnotationError], new_val: TypedTerm[SubtermPath]) → TypedTerm[EmptyTypeAnnotationError]

DSL updater for the location field of hydra.error.core.EmptyTypeAnnotationError.

hydra.dsl.error.core.empty_type_name_in_term_error(location: TypedTerm[SubtermPath]) → TypedTerm[EmptyTypeNameInTermError]

DSL constructor for hydra.error.core.EmptyTypeNameInTermError.

hydra.dsl.error.core.empty_type_name_in_term_error_location(x: TypedTerm[EmptyTypeNameInTermError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.EmptyTypeNameInTermError.

hydra.dsl.error.core.empty_type_name_in_term_error_with_location(original: TypedTerm[EmptyTypeNameInTermError], new_val: TypedTerm[SubtermPath]) → TypedTerm[EmptyTypeNameInTermError]

DSL updater for the location field of hydra.error.core.EmptyTypeNameInTermError.

hydra.dsl.error.core.empty_union_type_error(location: TypedTerm[SubtermPath]) → TypedTerm[EmptyUnionTypeError]

DSL constructor for hydra.error.core.EmptyUnionTypeError.

hydra.dsl.error.core.empty_union_type_error_location(x: TypedTerm[EmptyUnionTypeError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.EmptyUnionTypeError.

hydra.dsl.error.core.empty_union_type_error_with_location(original: TypedTerm[EmptyUnionTypeError], new_val: TypedTerm[SubtermPath]) → TypedTerm[EmptyUnionTypeError]

DSL updater for the location field of hydra.error.core.EmptyUnionTypeError.

hydra.dsl.error.core.extra_record_fields_error(location: TypedTerm[SubtermPath], type_name: TypedTerm[Name], field_names: TypedTerm[Sequence[Name]]) → TypedTerm[ExtraRecordFieldsError]

DSL constructor for hydra.error.core.ExtraRecordFieldsError.

hydra.dsl.error.core.extra_record_fields_error_field_names(x: TypedTerm[ExtraRecordFieldsError]) → TypedTerm[Sequence[Name]]

DSL accessor for the fieldNames field of hydra.error.core.ExtraRecordFieldsError.

hydra.dsl.error.core.extra_record_fields_error_location(x: TypedTerm[ExtraRecordFieldsError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.ExtraRecordFieldsError.

hydra.dsl.error.core.extra_record_fields_error_type_name(x: TypedTerm[ExtraRecordFieldsError]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.error.core.ExtraRecordFieldsError.

hydra.dsl.error.core.extra_record_fields_error_with_field_names(original: TypedTerm[ExtraRecordFieldsError], new_val: TypedTerm[Sequence[Name]]) → TypedTerm[ExtraRecordFieldsError]

DSL updater for the fieldNames field of hydra.error.core.ExtraRecordFieldsError.

hydra.dsl.error.core.extra_record_fields_error_with_location(original: TypedTerm[ExtraRecordFieldsError], new_val: TypedTerm[SubtermPath]) → TypedTerm[ExtraRecordFieldsError]

DSL updater for the location field of hydra.error.core.ExtraRecordFieldsError.

hydra.dsl.error.core.extra_record_fields_error_with_type_name(original: TypedTerm[ExtraRecordFieldsError], new_val: TypedTerm[Name]) → TypedTerm[ExtraRecordFieldsError]

DSL updater for the typeName field of hydra.error.core.ExtraRecordFieldsError.

hydra.dsl.error.core.invalid_forall_parameter_name_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[InvalidForallParameterNameError]

DSL constructor for hydra.error.core.InvalidForallParameterNameError.

hydra.dsl.error.core.invalid_forall_parameter_name_error_location(x: TypedTerm[InvalidForallParameterNameError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.InvalidForallParameterNameError.

hydra.dsl.error.core.invalid_forall_parameter_name_error_name(x: TypedTerm[InvalidForallParameterNameError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.InvalidForallParameterNameError.

hydra.dsl.error.core.invalid_forall_parameter_name_error_with_location(original: TypedTerm[InvalidForallParameterNameError], new_val: TypedTerm[SubtermPath]) → TypedTerm[InvalidForallParameterNameError]

DSL updater for the location field of hydra.error.core.InvalidForallParameterNameError.

hydra.dsl.error.core.invalid_forall_parameter_name_error_with_name(original: TypedTerm[InvalidForallParameterNameError], new_val: TypedTerm[Name]) → TypedTerm[InvalidForallParameterNameError]

DSL updater for the name field of hydra.error.core.InvalidForallParameterNameError.

hydra.dsl.error.core.invalid_lambda_parameter_name_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[InvalidLambdaParameterNameError]

DSL constructor for hydra.error.core.InvalidLambdaParameterNameError.

hydra.dsl.error.core.invalid_lambda_parameter_name_error_location(x: TypedTerm[InvalidLambdaParameterNameError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.InvalidLambdaParameterNameError.

hydra.dsl.error.core.invalid_lambda_parameter_name_error_name(x: TypedTerm[InvalidLambdaParameterNameError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.InvalidLambdaParameterNameError.

hydra.dsl.error.core.invalid_lambda_parameter_name_error_with_location(original: TypedTerm[InvalidLambdaParameterNameError], new_val: TypedTerm[SubtermPath]) → TypedTerm[InvalidLambdaParameterNameError]

DSL updater for the location field of hydra.error.core.InvalidLambdaParameterNameError.

hydra.dsl.error.core.invalid_lambda_parameter_name_error_with_name(original: TypedTerm[InvalidLambdaParameterNameError], new_val: TypedTerm[Name]) → TypedTerm[InvalidLambdaParameterNameError]

DSL updater for the name field of hydra.error.core.InvalidLambdaParameterNameError.

hydra.dsl.error.core.invalid_let_binding_name_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[InvalidLetBindingNameError]

DSL constructor for hydra.error.core.InvalidLetBindingNameError.

hydra.dsl.error.core.invalid_let_binding_name_error_location(x: TypedTerm[InvalidLetBindingNameError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.InvalidLetBindingNameError.

hydra.dsl.error.core.invalid_let_binding_name_error_name(x: TypedTerm[InvalidLetBindingNameError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.InvalidLetBindingNameError.

hydra.dsl.error.core.invalid_let_binding_name_error_with_location(original: TypedTerm[InvalidLetBindingNameError], new_val: TypedTerm[SubtermPath]) → TypedTerm[InvalidLetBindingNameError]

DSL updater for the location field of hydra.error.core.InvalidLetBindingNameError.

hydra.dsl.error.core.invalid_let_binding_name_error_with_name(original: TypedTerm[InvalidLetBindingNameError], new_val: TypedTerm[Name]) → TypedTerm[InvalidLetBindingNameError]

DSL updater for the name field of hydra.error.core.InvalidLetBindingNameError.

hydra.dsl.error.core.invalid_literal_error_type_mismatch(x: TypedTerm[LiteralTypeMismatchError]) → TypedTerm[InvalidLiteralError]

DSL injection for the typeMismatch variant of hydra.error.core.InvalidLiteralError.

hydra.dsl.error.core.invalid_term_error_constant_condition(x: TypedTerm[ConstantConditionError]) → TypedTerm[InvalidTermError]

DSL injection for the constantCondition variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_duplicate_binding(x: TypedTerm[DuplicateBindingError]) → TypedTerm[InvalidTermError]

DSL injection for the duplicateBinding variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_duplicate_field(x: TypedTerm[DuplicateFieldError]) → TypedTerm[InvalidTermError]

DSL injection for the duplicateField variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_empty_case_statement(x: TypedTerm[EmptyCaseStatementError]) → TypedTerm[InvalidTermError]

DSL injection for the emptyCaseStatement variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_empty_let_bindings(x: TypedTerm[EmptyLetBindingsError]) → TypedTerm[InvalidTermError]

DSL injection for the emptyLetBindings variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_empty_term_annotation(x: TypedTerm[EmptyTermAnnotationError]) → TypedTerm[InvalidTermError]

DSL injection for the emptyTermAnnotation variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_empty_type_name_in_term(x: TypedTerm[EmptyTypeNameInTermError]) → TypedTerm[InvalidTermError]

DSL injection for the emptyTypeNameInTerm variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_extra_record_fields(x: TypedTerm[ExtraRecordFieldsError]) → TypedTerm[InvalidTermError]

DSL injection for the extraRecordFields variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_invalid_lambda_parameter_name(x: TypedTerm[InvalidLambdaParameterNameError]) → TypedTerm[InvalidTermError]

DSL injection for the invalidLambdaParameterName variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_invalid_let_binding_name(x: TypedTerm[InvalidLetBindingNameError]) → TypedTerm[InvalidTermError]

DSL injection for the invalidLetBindingName variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_invalid_type_lambda_parameter_name(x: TypedTerm[InvalidTypeLambdaParameterNameError]) → TypedTerm[InvalidTermError]

DSL injection for the invalidTypeLambdaParameterName variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_missing_case_branches(x: TypedTerm[MissingCaseBranchesError]) → TypedTerm[InvalidTermError]

DSL injection for the missingCaseBranches variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_missing_record_fields(x: TypedTerm[MissingRecordFieldsError]) → TypedTerm[InvalidTermError]

DSL injection for the missingRecordFields variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_nested_term_annotation(x: TypedTerm[NestedTermAnnotationError]) → TypedTerm[InvalidTermError]

DSL injection for the nestedTermAnnotation variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_nominal_type_kind_mismatch(x: TypedTerm[NominalTypeKindMismatchError]) → TypedTerm[InvalidTermError]

DSL injection for the nominalTypeKindMismatch variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_redundant_wrap_unwrap(x: TypedTerm[RedundantWrapUnwrapError]) → TypedTerm[InvalidTermError]

DSL injection for the redundantWrapUnwrap variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_self_application(x: TypedTerm[SelfApplicationError]) → TypedTerm[InvalidTermError]

DSL injection for the selfApplication variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_term_variable_shadowing(x: TypedTerm[TermVariableShadowingError]) → TypedTerm[InvalidTermError]

DSL injection for the termVariableShadowing variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_type_variable_shadowing_in_type_lambda(x: TypedTerm[TypeVariableShadowingInTypeLambdaError]) → TypedTerm[InvalidTermError]

DSL injection for the typeVariableShadowingInTypeLambda variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_undeclared_variant(x: TypedTerm[UndeclaredVariantError]) → TypedTerm[InvalidTermError]

DSL injection for the undeclaredVariant variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_undefined_term_variable(x: TypedTerm[UndefinedTermVariableError]) → TypedTerm[InvalidTermError]

DSL injection for the undefinedTermVariable variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_undefined_type_variable_in_binding_type(x: TypedTerm[UndefinedTypeVariableInBindingTypeError]) → TypedTerm[InvalidTermError]

DSL injection for the undefinedTypeVariableInBindingType variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_undefined_type_variable_in_lambda_domain(x: TypedTerm[UndefinedTypeVariableInLambdaDomainError]) → TypedTerm[InvalidTermError]

DSL injection for the undefinedTypeVariableInLambdaDomain variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_undefined_type_variable_in_type_application(x: TypedTerm[UndefinedTypeVariableInTypeApplicationError]) → TypedTerm[InvalidTermError]

DSL injection for the undefinedTypeVariableInTypeApplication variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_unknown_case_alternative(x: TypedTerm[UnknownCaseAlternativeError]) → TypedTerm[InvalidTermError]

DSL injection for the unknownCaseAlternative variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_unknown_primitive_name(x: TypedTerm[UnknownPrimitiveNameError]) → TypedTerm[InvalidTermError]

DSL injection for the unknownPrimitiveName variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_unknown_projected_field(x: TypedTerm[UnknownProjectedFieldError]) → TypedTerm[InvalidTermError]

DSL injection for the unknownProjectedField variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_unnecessary_identity_application(x: TypedTerm[UnnecessaryIdentityApplicationError]) → TypedTerm[InvalidTermError]

DSL injection for the unnecessaryIdentityApplication variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_unresolved_nominal_type(x: TypedTerm[UnresolvedNominalTypeError]) → TypedTerm[InvalidTermError]

DSL injection for the unresolvedNominalType variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_term_error_untyped_term_variable(x: TypedTerm[UntypedTermVariableError]) → TypedTerm[InvalidTermError]

DSL injection for the untypedTermVariable variant of hydra.error.core.InvalidTermError.

hydra.dsl.error.core.invalid_type_error_duplicate_record_type_field_names(x: TypedTerm[DuplicateRecordTypeFieldNamesError]) → TypedTerm[InvalidTypeError]

DSL injection for the duplicateRecordTypeFieldNames variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_error_duplicate_union_type_field_names(x: TypedTerm[DuplicateUnionTypeFieldNamesError]) → TypedTerm[InvalidTypeError]

DSL injection for the duplicateUnionTypeFieldNames variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_error_empty_record_type(x: TypedTerm[EmptyRecordTypeError]) → TypedTerm[InvalidTypeError]

DSL injection for the emptyRecordType variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_error_empty_type_annotation(x: TypedTerm[EmptyTypeAnnotationError]) → TypedTerm[InvalidTypeError]

DSL injection for the emptyTypeAnnotation variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_error_empty_union_type(x: TypedTerm[EmptyUnionTypeError]) → TypedTerm[InvalidTypeError]

DSL injection for the emptyUnionType variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_error_invalid_forall_parameter_name(x: TypedTerm[InvalidForallParameterNameError]) → TypedTerm[InvalidTypeError]

DSL injection for the invalidForallParameterName variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_error_invalid_type_scheme_variable_name(x: TypedTerm[InvalidTypeSchemeVariableNameError]) → TypedTerm[InvalidTypeError]

DSL injection for the invalidTypeSchemeVariableName variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_error_nested_type_annotation(x: TypedTerm[NestedTypeAnnotationError]) → TypedTerm[InvalidTypeError]

DSL injection for the nestedTypeAnnotation variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_error_non_comparable_map_key_type(x: TypedTerm[NonComparableMapKeyTypeError]) → TypedTerm[InvalidTypeError]

DSL injection for the nonComparableMapKeyType variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_error_non_comparable_set_element_type(x: TypedTerm[NonComparableSetElementTypeError]) → TypedTerm[InvalidTypeError]

DSL injection for the nonComparableSetElementType variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_error_single_variant_union(x: TypedTerm[SingleVariantUnionError]) → TypedTerm[InvalidTypeError]

DSL injection for the singleVariantUnion variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_error_type_variable_shadowing_in_forall(x: TypedTerm[TypeVariableShadowingInForallError]) → TypedTerm[InvalidTypeError]

DSL injection for the typeVariableShadowingInForall variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_error_undefined_type_variable(x: TypedTerm[UndefinedTypeVariableError]) → TypedTerm[InvalidTypeError]

DSL injection for the undefinedTypeVariable variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_error_void_in_non_bottom_position(x: TypedTerm[VoidInNonBottomPositionError]) → TypedTerm[InvalidTypeError]

DSL injection for the voidInNonBottomPosition variant of hydra.error.core.InvalidTypeError.

hydra.dsl.error.core.invalid_type_lambda_parameter_name_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[InvalidTypeLambdaParameterNameError]

DSL constructor for hydra.error.core.InvalidTypeLambdaParameterNameError.

hydra.dsl.error.core.invalid_type_lambda_parameter_name_error_location(x: TypedTerm[InvalidTypeLambdaParameterNameError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.InvalidTypeLambdaParameterNameError.

hydra.dsl.error.core.invalid_type_lambda_parameter_name_error_name(x: TypedTerm[InvalidTypeLambdaParameterNameError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.InvalidTypeLambdaParameterNameError.

hydra.dsl.error.core.invalid_type_lambda_parameter_name_error_with_location(original: TypedTerm[InvalidTypeLambdaParameterNameError], new_val: TypedTerm[SubtermPath]) → TypedTerm[InvalidTypeLambdaParameterNameError]

DSL updater for the location field of hydra.error.core.InvalidTypeLambdaParameterNameError.

hydra.dsl.error.core.invalid_type_lambda_parameter_name_error_with_name(original: TypedTerm[InvalidTypeLambdaParameterNameError], new_val: TypedTerm[Name]) → TypedTerm[InvalidTypeLambdaParameterNameError]

DSL updater for the name field of hydra.error.core.InvalidTypeLambdaParameterNameError.

hydra.dsl.error.core.invalid_type_scheme_variable_name_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[InvalidTypeSchemeVariableNameError]

DSL constructor for hydra.error.core.InvalidTypeSchemeVariableNameError.

hydra.dsl.error.core.invalid_type_scheme_variable_name_error_location(x: TypedTerm[InvalidTypeSchemeVariableNameError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.InvalidTypeSchemeVariableNameError.

hydra.dsl.error.core.invalid_type_scheme_variable_name_error_name(x: TypedTerm[InvalidTypeSchemeVariableNameError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.InvalidTypeSchemeVariableNameError.

hydra.dsl.error.core.invalid_type_scheme_variable_name_error_with_location(original: TypedTerm[InvalidTypeSchemeVariableNameError], new_val: TypedTerm[SubtermPath]) → TypedTerm[InvalidTypeSchemeVariableNameError]

DSL updater for the location field of hydra.error.core.InvalidTypeSchemeVariableNameError.

hydra.dsl.error.core.invalid_type_scheme_variable_name_error_with_name(original: TypedTerm[InvalidTypeSchemeVariableNameError], new_val: TypedTerm[Name]) → TypedTerm[InvalidTypeSchemeVariableNameError]

DSL updater for the name field of hydra.error.core.InvalidTypeSchemeVariableNameError.

hydra.dsl.error.core.literal_type_mismatch_error(expected_type: TypedTerm[LiteralType], actual_type: TypedTerm[LiteralType]) → TypedTerm[LiteralTypeMismatchError]

DSL constructor for hydra.error.core.LiteralTypeMismatchError.

hydra.dsl.error.core.literal_type_mismatch_error_actual_type(x: TypedTerm[LiteralTypeMismatchError]) → TypedTerm[LiteralType]

DSL accessor for the actualType field of hydra.error.core.LiteralTypeMismatchError.

hydra.dsl.error.core.literal_type_mismatch_error_expected_type(x: TypedTerm[LiteralTypeMismatchError]) → TypedTerm[LiteralType]

DSL accessor for the expectedType field of hydra.error.core.LiteralTypeMismatchError.

hydra.dsl.error.core.literal_type_mismatch_error_with_actual_type(original: TypedTerm[LiteralTypeMismatchError], new_val: TypedTerm[LiteralType]) → TypedTerm[LiteralTypeMismatchError]

DSL updater for the actualType field of hydra.error.core.LiteralTypeMismatchError.

hydra.dsl.error.core.literal_type_mismatch_error_with_expected_type(original: TypedTerm[LiteralTypeMismatchError], new_val: TypedTerm[LiteralType]) → TypedTerm[LiteralTypeMismatchError]

DSL updater for the expectedType field of hydra.error.core.LiteralTypeMismatchError.

hydra.dsl.error.core.missing_case_branches_error(location: TypedTerm[SubtermPath], type_name: TypedTerm[Name], variant_names: TypedTerm[Sequence[Name]]) → TypedTerm[MissingCaseBranchesError]

DSL constructor for hydra.error.core.MissingCaseBranchesError.

hydra.dsl.error.core.missing_case_branches_error_location(x: TypedTerm[MissingCaseBranchesError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.MissingCaseBranchesError.

hydra.dsl.error.core.missing_case_branches_error_type_name(x: TypedTerm[MissingCaseBranchesError]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.error.core.MissingCaseBranchesError.

hydra.dsl.error.core.missing_case_branches_error_variant_names(x: TypedTerm[MissingCaseBranchesError]) → TypedTerm[Sequence[Name]]

DSL accessor for the variantNames field of hydra.error.core.MissingCaseBranchesError.

hydra.dsl.error.core.missing_case_branches_error_with_location(original: TypedTerm[MissingCaseBranchesError], new_val: TypedTerm[SubtermPath]) → TypedTerm[MissingCaseBranchesError]

DSL updater for the location field of hydra.error.core.MissingCaseBranchesError.

hydra.dsl.error.core.missing_case_branches_error_with_type_name(original: TypedTerm[MissingCaseBranchesError], new_val: TypedTerm[Name]) → TypedTerm[MissingCaseBranchesError]

DSL updater for the typeName field of hydra.error.core.MissingCaseBranchesError.

hydra.dsl.error.core.missing_case_branches_error_with_variant_names(original: TypedTerm[MissingCaseBranchesError], new_val: TypedTerm[Sequence[Name]]) → TypedTerm[MissingCaseBranchesError]

DSL updater for the variantNames field of hydra.error.core.MissingCaseBranchesError.

hydra.dsl.error.core.missing_record_fields_error(location: TypedTerm[SubtermPath], type_name: TypedTerm[Name], field_names: TypedTerm[Sequence[Name]]) → TypedTerm[MissingRecordFieldsError]

DSL constructor for hydra.error.core.MissingRecordFieldsError.

hydra.dsl.error.core.missing_record_fields_error_field_names(x: TypedTerm[MissingRecordFieldsError]) → TypedTerm[Sequence[Name]]

DSL accessor for the fieldNames field of hydra.error.core.MissingRecordFieldsError.

hydra.dsl.error.core.missing_record_fields_error_location(x: TypedTerm[MissingRecordFieldsError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.MissingRecordFieldsError.

hydra.dsl.error.core.missing_record_fields_error_type_name(x: TypedTerm[MissingRecordFieldsError]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.error.core.MissingRecordFieldsError.

hydra.dsl.error.core.missing_record_fields_error_with_field_names(original: TypedTerm[MissingRecordFieldsError], new_val: TypedTerm[Sequence[Name]]) → TypedTerm[MissingRecordFieldsError]

DSL updater for the fieldNames field of hydra.error.core.MissingRecordFieldsError.

hydra.dsl.error.core.missing_record_fields_error_with_location(original: TypedTerm[MissingRecordFieldsError], new_val: TypedTerm[SubtermPath]) → TypedTerm[MissingRecordFieldsError]

DSL updater for the location field of hydra.error.core.MissingRecordFieldsError.

hydra.dsl.error.core.missing_record_fields_error_with_type_name(original: TypedTerm[MissingRecordFieldsError], new_val: TypedTerm[Name]) → TypedTerm[MissingRecordFieldsError]

DSL updater for the typeName field of hydra.error.core.MissingRecordFieldsError.

hydra.dsl.error.core.nested_term_annotation_error(location: TypedTerm[SubtermPath]) → TypedTerm[NestedTermAnnotationError]

DSL constructor for hydra.error.core.NestedTermAnnotationError.

hydra.dsl.error.core.nested_term_annotation_error_location(x: TypedTerm[NestedTermAnnotationError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.NestedTermAnnotationError.

hydra.dsl.error.core.nested_term_annotation_error_with_location(original: TypedTerm[NestedTermAnnotationError], new_val: TypedTerm[SubtermPath]) → TypedTerm[NestedTermAnnotationError]

DSL updater for the location field of hydra.error.core.NestedTermAnnotationError.

hydra.dsl.error.core.nested_type_annotation_error(location: TypedTerm[SubtermPath]) → TypedTerm[NestedTypeAnnotationError]

DSL constructor for hydra.error.core.NestedTypeAnnotationError.

hydra.dsl.error.core.nested_type_annotation_error_location(x: TypedTerm[NestedTypeAnnotationError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.NestedTypeAnnotationError.

hydra.dsl.error.core.nested_type_annotation_error_with_location(original: TypedTerm[NestedTypeAnnotationError], new_val: TypedTerm[SubtermPath]) → TypedTerm[NestedTypeAnnotationError]

DSL updater for the location field of hydra.error.core.NestedTypeAnnotationError.

hydra.dsl.error.core.nominal_type_kind_mismatch_error(location: TypedTerm[SubtermPath], type_name: TypedTerm[Name], expected_variant: TypedTerm[TypeVariant], actual_variant: TypedTerm[TypeVariant]) → TypedTerm[NominalTypeKindMismatchError]

DSL constructor for hydra.error.core.NominalTypeKindMismatchError.

hydra.dsl.error.core.nominal_type_kind_mismatch_error_actual_variant(x: TypedTerm[NominalTypeKindMismatchError]) → TypedTerm[TypeVariant]

DSL accessor for the actualVariant field of hydra.error.core.NominalTypeKindMismatchError.

hydra.dsl.error.core.nominal_type_kind_mismatch_error_expected_variant(x: TypedTerm[NominalTypeKindMismatchError]) → TypedTerm[TypeVariant]

DSL accessor for the expectedVariant field of hydra.error.core.NominalTypeKindMismatchError.

hydra.dsl.error.core.nominal_type_kind_mismatch_error_location(x: TypedTerm[NominalTypeKindMismatchError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.NominalTypeKindMismatchError.

hydra.dsl.error.core.nominal_type_kind_mismatch_error_type_name(x: TypedTerm[NominalTypeKindMismatchError]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.error.core.NominalTypeKindMismatchError.

hydra.dsl.error.core.nominal_type_kind_mismatch_error_with_actual_variant(original: TypedTerm[NominalTypeKindMismatchError], new_val: TypedTerm[TypeVariant]) → TypedTerm[NominalTypeKindMismatchError]

DSL updater for the actualVariant field of hydra.error.core.NominalTypeKindMismatchError.

hydra.dsl.error.core.nominal_type_kind_mismatch_error_with_expected_variant(original: TypedTerm[NominalTypeKindMismatchError], new_val: TypedTerm[TypeVariant]) → TypedTerm[NominalTypeKindMismatchError]

DSL updater for the expectedVariant field of hydra.error.core.NominalTypeKindMismatchError.

hydra.dsl.error.core.nominal_type_kind_mismatch_error_with_location(original: TypedTerm[NominalTypeKindMismatchError], new_val: TypedTerm[SubtermPath]) → TypedTerm[NominalTypeKindMismatchError]

DSL updater for the location field of hydra.error.core.NominalTypeKindMismatchError.

hydra.dsl.error.core.nominal_type_kind_mismatch_error_with_type_name(original: TypedTerm[NominalTypeKindMismatchError], new_val: TypedTerm[Name]) → TypedTerm[NominalTypeKindMismatchError]

DSL updater for the typeName field of hydra.error.core.NominalTypeKindMismatchError.

hydra.dsl.error.core.non_comparable_map_key_type_error(location: TypedTerm[SubtermPath], key_type: TypedTerm[Type]) → TypedTerm[NonComparableMapKeyTypeError]

DSL constructor for hydra.error.core.NonComparableMapKeyTypeError.

hydra.dsl.error.core.non_comparable_map_key_type_error_key_type(x: TypedTerm[NonComparableMapKeyTypeError]) → TypedTerm[Type]

DSL accessor for the keyType field of hydra.error.core.NonComparableMapKeyTypeError.

hydra.dsl.error.core.non_comparable_map_key_type_error_location(x: TypedTerm[NonComparableMapKeyTypeError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.NonComparableMapKeyTypeError.

hydra.dsl.error.core.non_comparable_map_key_type_error_with_key_type(original: TypedTerm[NonComparableMapKeyTypeError], new_val: TypedTerm[Type]) → TypedTerm[NonComparableMapKeyTypeError]

DSL updater for the keyType field of hydra.error.core.NonComparableMapKeyTypeError.

hydra.dsl.error.core.non_comparable_map_key_type_error_with_location(original: TypedTerm[NonComparableMapKeyTypeError], new_val: TypedTerm[SubtermPath]) → TypedTerm[NonComparableMapKeyTypeError]

DSL updater for the location field of hydra.error.core.NonComparableMapKeyTypeError.

hydra.dsl.error.core.non_comparable_set_element_type_error(location: TypedTerm[SubtermPath], element_type: TypedTerm[Type]) → TypedTerm[NonComparableSetElementTypeError]

DSL constructor for hydra.error.core.NonComparableSetElementTypeError.

hydra.dsl.error.core.non_comparable_set_element_type_error_element_type(x: TypedTerm[NonComparableSetElementTypeError]) → TypedTerm[Type]

DSL accessor for the elementType field of hydra.error.core.NonComparableSetElementTypeError.

hydra.dsl.error.core.non_comparable_set_element_type_error_location(x: TypedTerm[NonComparableSetElementTypeError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.NonComparableSetElementTypeError.

hydra.dsl.error.core.non_comparable_set_element_type_error_with_element_type(original: TypedTerm[NonComparableSetElementTypeError], new_val: TypedTerm[Type]) → TypedTerm[NonComparableSetElementTypeError]

DSL updater for the elementType field of hydra.error.core.NonComparableSetElementTypeError.

hydra.dsl.error.core.non_comparable_set_element_type_error_with_location(original: TypedTerm[NonComparableSetElementTypeError], new_val: TypedTerm[SubtermPath]) → TypedTerm[NonComparableSetElementTypeError]

DSL updater for the location field of hydra.error.core.NonComparableSetElementTypeError.

hydra.dsl.error.core.redundant_wrap_unwrap_error(location: TypedTerm[SubtermPath], type_name: TypedTerm[Name]) → TypedTerm[RedundantWrapUnwrapError]

DSL constructor for hydra.error.core.RedundantWrapUnwrapError.

hydra.dsl.error.core.redundant_wrap_unwrap_error_location(x: TypedTerm[RedundantWrapUnwrapError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.RedundantWrapUnwrapError.

hydra.dsl.error.core.redundant_wrap_unwrap_error_type_name(x: TypedTerm[RedundantWrapUnwrapError]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.error.core.RedundantWrapUnwrapError.

hydra.dsl.error.core.redundant_wrap_unwrap_error_with_location(original: TypedTerm[RedundantWrapUnwrapError], new_val: TypedTerm[SubtermPath]) → TypedTerm[RedundantWrapUnwrapError]

DSL updater for the location field of hydra.error.core.RedundantWrapUnwrapError.

hydra.dsl.error.core.redundant_wrap_unwrap_error_with_type_name(original: TypedTerm[RedundantWrapUnwrapError], new_val: TypedTerm[Name]) → TypedTerm[RedundantWrapUnwrapError]

DSL updater for the typeName field of hydra.error.core.RedundantWrapUnwrapError.

hydra.dsl.error.core.self_application_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[SelfApplicationError]

DSL constructor for hydra.error.core.SelfApplicationError.

hydra.dsl.error.core.self_application_error_location(x: TypedTerm[SelfApplicationError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.SelfApplicationError.

hydra.dsl.error.core.self_application_error_name(x: TypedTerm[SelfApplicationError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.SelfApplicationError.

hydra.dsl.error.core.self_application_error_with_location(original: TypedTerm[SelfApplicationError], new_val: TypedTerm[SubtermPath]) → TypedTerm[SelfApplicationError]

DSL updater for the location field of hydra.error.core.SelfApplicationError.

hydra.dsl.error.core.self_application_error_with_name(original: TypedTerm[SelfApplicationError], new_val: TypedTerm[Name]) → TypedTerm[SelfApplicationError]

DSL updater for the name field of hydra.error.core.SelfApplicationError.

hydra.dsl.error.core.single_variant_union_error(location: TypedTerm[SubtermPath], field_name: TypedTerm[Name]) → TypedTerm[SingleVariantUnionError]

DSL constructor for hydra.error.core.SingleVariantUnionError.

hydra.dsl.error.core.single_variant_union_error_field_name(x: TypedTerm[SingleVariantUnionError]) → TypedTerm[Name]

DSL accessor for the fieldName field of hydra.error.core.SingleVariantUnionError.

hydra.dsl.error.core.single_variant_union_error_location(x: TypedTerm[SingleVariantUnionError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.SingleVariantUnionError.

hydra.dsl.error.core.single_variant_union_error_with_field_name(original: TypedTerm[SingleVariantUnionError], new_val: TypedTerm[Name]) → TypedTerm[SingleVariantUnionError]

DSL updater for the fieldName field of hydra.error.core.SingleVariantUnionError.

hydra.dsl.error.core.single_variant_union_error_with_location(original: TypedTerm[SingleVariantUnionError], new_val: TypedTerm[SubtermPath]) → TypedTerm[SingleVariantUnionError]

DSL updater for the location field of hydra.error.core.SingleVariantUnionError.

hydra.dsl.error.core.term_variable_shadowing_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[TermVariableShadowingError]

DSL constructor for hydra.error.core.TermVariableShadowingError.

hydra.dsl.error.core.term_variable_shadowing_error_location(x: TypedTerm[TermVariableShadowingError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.TermVariableShadowingError.

hydra.dsl.error.core.term_variable_shadowing_error_name(x: TypedTerm[TermVariableShadowingError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.TermVariableShadowingError.

hydra.dsl.error.core.term_variable_shadowing_error_with_location(original: TypedTerm[TermVariableShadowingError], new_val: TypedTerm[SubtermPath]) → TypedTerm[TermVariableShadowingError]

DSL updater for the location field of hydra.error.core.TermVariableShadowingError.

hydra.dsl.error.core.term_variable_shadowing_error_with_name(original: TypedTerm[TermVariableShadowingError], new_val: TypedTerm[Name]) → TypedTerm[TermVariableShadowingError]

DSL updater for the name field of hydra.error.core.TermVariableShadowingError.

hydra.dsl.error.core.type_variable_shadowing_in_forall_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[TypeVariableShadowingInForallError]

DSL constructor for hydra.error.core.TypeVariableShadowingInForallError.

hydra.dsl.error.core.type_variable_shadowing_in_forall_error_location(x: TypedTerm[TypeVariableShadowingInForallError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.TypeVariableShadowingInForallError.

hydra.dsl.error.core.type_variable_shadowing_in_forall_error_name(x: TypedTerm[TypeVariableShadowingInForallError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.TypeVariableShadowingInForallError.

hydra.dsl.error.core.type_variable_shadowing_in_forall_error_with_location(original: TypedTerm[TypeVariableShadowingInForallError], new_val: TypedTerm[SubtermPath]) → TypedTerm[TypeVariableShadowingInForallError]

DSL updater for the location field of hydra.error.core.TypeVariableShadowingInForallError.

hydra.dsl.error.core.type_variable_shadowing_in_forall_error_with_name(original: TypedTerm[TypeVariableShadowingInForallError], new_val: TypedTerm[Name]) → TypedTerm[TypeVariableShadowingInForallError]

DSL updater for the name field of hydra.error.core.TypeVariableShadowingInForallError.

hydra.dsl.error.core.type_variable_shadowing_in_type_lambda_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[TypeVariableShadowingInTypeLambdaError]

DSL constructor for hydra.error.core.TypeVariableShadowingInTypeLambdaError.

hydra.dsl.error.core.type_variable_shadowing_in_type_lambda_error_location(x: TypedTerm[TypeVariableShadowingInTypeLambdaError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.TypeVariableShadowingInTypeLambdaError.

hydra.dsl.error.core.type_variable_shadowing_in_type_lambda_error_name(x: TypedTerm[TypeVariableShadowingInTypeLambdaError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.TypeVariableShadowingInTypeLambdaError.

hydra.dsl.error.core.type_variable_shadowing_in_type_lambda_error_with_location(original: TypedTerm[TypeVariableShadowingInTypeLambdaError], new_val: TypedTerm[SubtermPath]) → TypedTerm[TypeVariableShadowingInTypeLambdaError]

DSL updater for the location field of hydra.error.core.TypeVariableShadowingInTypeLambdaError.

hydra.dsl.error.core.type_variable_shadowing_in_type_lambda_error_with_name(original: TypedTerm[TypeVariableShadowingInTypeLambdaError], new_val: TypedTerm[Name]) → TypedTerm[TypeVariableShadowingInTypeLambdaError]

DSL updater for the name field of hydra.error.core.TypeVariableShadowingInTypeLambdaError.

hydra.dsl.error.core.undeclared_variant_error(location: TypedTerm[SubtermPath], type_name: TypedTerm[Name], variant_name: TypedTerm[Name]) → TypedTerm[UndeclaredVariantError]

DSL constructor for hydra.error.core.UndeclaredVariantError.

hydra.dsl.error.core.undeclared_variant_error_location(x: TypedTerm[UndeclaredVariantError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.UndeclaredVariantError.

hydra.dsl.error.core.undeclared_variant_error_type_name(x: TypedTerm[UndeclaredVariantError]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.error.core.UndeclaredVariantError.

hydra.dsl.error.core.undeclared_variant_error_variant_name(x: TypedTerm[UndeclaredVariantError]) → TypedTerm[Name]

DSL accessor for the variantName field of hydra.error.core.UndeclaredVariantError.

hydra.dsl.error.core.undeclared_variant_error_with_location(original: TypedTerm[UndeclaredVariantError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UndeclaredVariantError]

DSL updater for the location field of hydra.error.core.UndeclaredVariantError.

hydra.dsl.error.core.undeclared_variant_error_with_type_name(original: TypedTerm[UndeclaredVariantError], new_val: TypedTerm[Name]) → TypedTerm[UndeclaredVariantError]

DSL updater for the typeName field of hydra.error.core.UndeclaredVariantError.

hydra.dsl.error.core.undeclared_variant_error_with_variant_name(original: TypedTerm[UndeclaredVariantError], new_val: TypedTerm[Name]) → TypedTerm[UndeclaredVariantError]

DSL updater for the variantName field of hydra.error.core.UndeclaredVariantError.

hydra.dsl.error.core.undefined_field_error(field_name: TypedTerm[Name], type_name: TypedTerm[Name]) → TypedTerm[UndefinedFieldError]

DSL constructor for hydra.error.core.UndefinedFieldError.

hydra.dsl.error.core.undefined_field_error_field_name(x: TypedTerm[UndefinedFieldError]) → TypedTerm[Name]

DSL accessor for the fieldName field of hydra.error.core.UndefinedFieldError.

hydra.dsl.error.core.undefined_field_error_type_name(x: TypedTerm[UndefinedFieldError]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.error.core.UndefinedFieldError.

hydra.dsl.error.core.undefined_field_error_with_field_name(original: TypedTerm[UndefinedFieldError], new_val: TypedTerm[Name]) → TypedTerm[UndefinedFieldError]

DSL updater for the fieldName field of hydra.error.core.UndefinedFieldError.

hydra.dsl.error.core.undefined_field_error_with_type_name(original: TypedTerm[UndefinedFieldError], new_val: TypedTerm[Name]) → TypedTerm[UndefinedFieldError]

DSL updater for the typeName field of hydra.error.core.UndefinedFieldError.

hydra.dsl.error.core.undefined_term_variable_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[UndefinedTermVariableError]

DSL constructor for hydra.error.core.UndefinedTermVariableError.

hydra.dsl.error.core.undefined_term_variable_error_location(x: TypedTerm[UndefinedTermVariableError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.UndefinedTermVariableError.

hydra.dsl.error.core.undefined_term_variable_error_name(x: TypedTerm[UndefinedTermVariableError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.UndefinedTermVariableError.

hydra.dsl.error.core.undefined_term_variable_error_with_location(original: TypedTerm[UndefinedTermVariableError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UndefinedTermVariableError]

DSL updater for the location field of hydra.error.core.UndefinedTermVariableError.

hydra.dsl.error.core.undefined_term_variable_error_with_name(original: TypedTerm[UndefinedTermVariableError], new_val: TypedTerm[Name]) → TypedTerm[UndefinedTermVariableError]

DSL updater for the name field of hydra.error.core.UndefinedTermVariableError.

hydra.dsl.error.core.undefined_type_variable_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[UndefinedTypeVariableError]

DSL constructor for hydra.error.core.UndefinedTypeVariableError.

hydra.dsl.error.core.undefined_type_variable_error_location(x: TypedTerm[UndefinedTypeVariableError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.UndefinedTypeVariableError.

hydra.dsl.error.core.undefined_type_variable_error_name(x: TypedTerm[UndefinedTypeVariableError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.UndefinedTypeVariableError.

hydra.dsl.error.core.undefined_type_variable_error_with_location(original: TypedTerm[UndefinedTypeVariableError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UndefinedTypeVariableError]

DSL updater for the location field of hydra.error.core.UndefinedTypeVariableError.

hydra.dsl.error.core.undefined_type_variable_error_with_name(original: TypedTerm[UndefinedTypeVariableError], new_val: TypedTerm[Name]) → TypedTerm[UndefinedTypeVariableError]

DSL updater for the name field of hydra.error.core.UndefinedTypeVariableError.

hydra.dsl.error.core.undefined_type_variable_in_binding_type_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[UndefinedTypeVariableInBindingTypeError]

DSL constructor for hydra.error.core.UndefinedTypeVariableInBindingTypeError.

hydra.dsl.error.core.undefined_type_variable_in_binding_type_error_location(x: TypedTerm[UndefinedTypeVariableInBindingTypeError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.UndefinedTypeVariableInBindingTypeError.

hydra.dsl.error.core.undefined_type_variable_in_binding_type_error_name(x: TypedTerm[UndefinedTypeVariableInBindingTypeError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.UndefinedTypeVariableInBindingTypeError.

hydra.dsl.error.core.undefined_type_variable_in_binding_type_error_with_location(original: TypedTerm[UndefinedTypeVariableInBindingTypeError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UndefinedTypeVariableInBindingTypeError]

DSL updater for the location field of hydra.error.core.UndefinedTypeVariableInBindingTypeError.

hydra.dsl.error.core.undefined_type_variable_in_binding_type_error_with_name(original: TypedTerm[UndefinedTypeVariableInBindingTypeError], new_val: TypedTerm[Name]) → TypedTerm[UndefinedTypeVariableInBindingTypeError]

DSL updater for the name field of hydra.error.core.UndefinedTypeVariableInBindingTypeError.

hydra.dsl.error.core.undefined_type_variable_in_lambda_domain_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[UndefinedTypeVariableInLambdaDomainError]

DSL constructor for hydra.error.core.UndefinedTypeVariableInLambdaDomainError.

hydra.dsl.error.core.undefined_type_variable_in_lambda_domain_error_location(x: TypedTerm[UndefinedTypeVariableInLambdaDomainError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.UndefinedTypeVariableInLambdaDomainError.

hydra.dsl.error.core.undefined_type_variable_in_lambda_domain_error_name(x: TypedTerm[UndefinedTypeVariableInLambdaDomainError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.UndefinedTypeVariableInLambdaDomainError.

hydra.dsl.error.core.undefined_type_variable_in_lambda_domain_error_with_location(original: TypedTerm[UndefinedTypeVariableInLambdaDomainError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UndefinedTypeVariableInLambdaDomainError]

DSL updater for the location field of hydra.error.core.UndefinedTypeVariableInLambdaDomainError.

hydra.dsl.error.core.undefined_type_variable_in_lambda_domain_error_with_name(original: TypedTerm[UndefinedTypeVariableInLambdaDomainError], new_val: TypedTerm[Name]) → TypedTerm[UndefinedTypeVariableInLambdaDomainError]

DSL updater for the name field of hydra.error.core.UndefinedTypeVariableInLambdaDomainError.

hydra.dsl.error.core.undefined_type_variable_in_type_application_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[UndefinedTypeVariableInTypeApplicationError]

DSL constructor for hydra.error.core.UndefinedTypeVariableInTypeApplicationError.

hydra.dsl.error.core.undefined_type_variable_in_type_application_error_location(x: TypedTerm[UndefinedTypeVariableInTypeApplicationError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.UndefinedTypeVariableInTypeApplicationError.

hydra.dsl.error.core.undefined_type_variable_in_type_application_error_name(x: TypedTerm[UndefinedTypeVariableInTypeApplicationError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.UndefinedTypeVariableInTypeApplicationError.

hydra.dsl.error.core.undefined_type_variable_in_type_application_error_with_location(original: TypedTerm[UndefinedTypeVariableInTypeApplicationError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UndefinedTypeVariableInTypeApplicationError]

DSL updater for the location field of hydra.error.core.UndefinedTypeVariableInTypeApplicationError.

hydra.dsl.error.core.undefined_type_variable_in_type_application_error_with_name(original: TypedTerm[UndefinedTypeVariableInTypeApplicationError], new_val: TypedTerm[Name]) → TypedTerm[UndefinedTypeVariableInTypeApplicationError]

DSL updater for the name field of hydra.error.core.UndefinedTypeVariableInTypeApplicationError.

hydra.dsl.error.core.unexpected_term_variant_error(expected_variant: TypedTerm[TermVariant], actual_term: TypedTerm[Term]) → TypedTerm[UnexpectedTermVariantError]

DSL constructor for hydra.error.core.UnexpectedTermVariantError.

hydra.dsl.error.core.unexpected_term_variant_error_actual_term(x: TypedTerm[UnexpectedTermVariantError]) → TypedTerm[Term]

DSL accessor for the actualTerm field of hydra.error.core.UnexpectedTermVariantError.

hydra.dsl.error.core.unexpected_term_variant_error_expected_variant(x: TypedTerm[UnexpectedTermVariantError]) → TypedTerm[TermVariant]

DSL accessor for the expectedVariant field of hydra.error.core.UnexpectedTermVariantError.

hydra.dsl.error.core.unexpected_term_variant_error_with_actual_term(original: TypedTerm[UnexpectedTermVariantError], new_val: TypedTerm[Term]) → TypedTerm[UnexpectedTermVariantError]

DSL updater for the actualTerm field of hydra.error.core.UnexpectedTermVariantError.

hydra.dsl.error.core.unexpected_term_variant_error_with_expected_variant(original: TypedTerm[UnexpectedTermVariantError], new_val: TypedTerm[TermVariant]) → TypedTerm[UnexpectedTermVariantError]

DSL updater for the expectedVariant field of hydra.error.core.UnexpectedTermVariantError.

hydra.dsl.error.core.unexpected_type_variant_error(expected_variant: TypedTerm[TypeVariant], actual_type: TypedTerm[Type]) → TypedTerm[UnexpectedTypeVariantError]

DSL constructor for hydra.error.core.UnexpectedTypeVariantError.

hydra.dsl.error.core.unexpected_type_variant_error_actual_type(x: TypedTerm[UnexpectedTypeVariantError]) → TypedTerm[Type]

DSL accessor for the actualType field of hydra.error.core.UnexpectedTypeVariantError.

hydra.dsl.error.core.unexpected_type_variant_error_expected_variant(x: TypedTerm[UnexpectedTypeVariantError]) → TypedTerm[TypeVariant]

DSL accessor for the expectedVariant field of hydra.error.core.UnexpectedTypeVariantError.

hydra.dsl.error.core.unexpected_type_variant_error_with_actual_type(original: TypedTerm[UnexpectedTypeVariantError], new_val: TypedTerm[Type]) → TypedTerm[UnexpectedTypeVariantError]

DSL updater for the actualType field of hydra.error.core.UnexpectedTypeVariantError.

hydra.dsl.error.core.unexpected_type_variant_error_with_expected_variant(original: TypedTerm[UnexpectedTypeVariantError], new_val: TypedTerm[TypeVariant]) → TypedTerm[UnexpectedTypeVariantError]

DSL updater for the expectedVariant field of hydra.error.core.UnexpectedTypeVariantError.

hydra.dsl.error.core.unknown_case_alternative_error(location: TypedTerm[SubtermPath], type_name: TypedTerm[Name], name: TypedTerm[Name]) → TypedTerm[UnknownCaseAlternativeError]

DSL constructor for hydra.error.core.UnknownCaseAlternativeError.

hydra.dsl.error.core.unknown_case_alternative_error_location(x: TypedTerm[UnknownCaseAlternativeError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.UnknownCaseAlternativeError.

hydra.dsl.error.core.unknown_case_alternative_error_name(x: TypedTerm[UnknownCaseAlternativeError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.UnknownCaseAlternativeError.

hydra.dsl.error.core.unknown_case_alternative_error_type_name(x: TypedTerm[UnknownCaseAlternativeError]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.error.core.UnknownCaseAlternativeError.

hydra.dsl.error.core.unknown_case_alternative_error_with_location(original: TypedTerm[UnknownCaseAlternativeError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UnknownCaseAlternativeError]

DSL updater for the location field of hydra.error.core.UnknownCaseAlternativeError.

hydra.dsl.error.core.unknown_case_alternative_error_with_name(original: TypedTerm[UnknownCaseAlternativeError], new_val: TypedTerm[Name]) → TypedTerm[UnknownCaseAlternativeError]

DSL updater for the name field of hydra.error.core.UnknownCaseAlternativeError.

hydra.dsl.error.core.unknown_case_alternative_error_with_type_name(original: TypedTerm[UnknownCaseAlternativeError], new_val: TypedTerm[Name]) → TypedTerm[UnknownCaseAlternativeError]

DSL updater for the typeName field of hydra.error.core.UnknownCaseAlternativeError.

hydra.dsl.error.core.unknown_primitive_name_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[UnknownPrimitiveNameError]

DSL constructor for hydra.error.core.UnknownPrimitiveNameError.

hydra.dsl.error.core.unknown_primitive_name_error_location(x: TypedTerm[UnknownPrimitiveNameError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.UnknownPrimitiveNameError.

hydra.dsl.error.core.unknown_primitive_name_error_name(x: TypedTerm[UnknownPrimitiveNameError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.UnknownPrimitiveNameError.

hydra.dsl.error.core.unknown_primitive_name_error_with_location(original: TypedTerm[UnknownPrimitiveNameError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UnknownPrimitiveNameError]

DSL updater for the location field of hydra.error.core.UnknownPrimitiveNameError.

hydra.dsl.error.core.unknown_primitive_name_error_with_name(original: TypedTerm[UnknownPrimitiveNameError], new_val: TypedTerm[Name]) → TypedTerm[UnknownPrimitiveNameError]

DSL updater for the name field of hydra.error.core.UnknownPrimitiveNameError.

hydra.dsl.error.core.unknown_projected_field_error(location: TypedTerm[SubtermPath], type_name: TypedTerm[Name], field_name: TypedTerm[Name]) → TypedTerm[UnknownProjectedFieldError]

DSL constructor for hydra.error.core.UnknownProjectedFieldError.

hydra.dsl.error.core.unknown_projected_field_error_field_name(x: TypedTerm[UnknownProjectedFieldError]) → TypedTerm[Name]

DSL accessor for the fieldName field of hydra.error.core.UnknownProjectedFieldError.

hydra.dsl.error.core.unknown_projected_field_error_location(x: TypedTerm[UnknownProjectedFieldError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.UnknownProjectedFieldError.

hydra.dsl.error.core.unknown_projected_field_error_type_name(x: TypedTerm[UnknownProjectedFieldError]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.error.core.UnknownProjectedFieldError.

hydra.dsl.error.core.unknown_projected_field_error_with_field_name(original: TypedTerm[UnknownProjectedFieldError], new_val: TypedTerm[Name]) → TypedTerm[UnknownProjectedFieldError]

DSL updater for the fieldName field of hydra.error.core.UnknownProjectedFieldError.

hydra.dsl.error.core.unknown_projected_field_error_with_location(original: TypedTerm[UnknownProjectedFieldError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UnknownProjectedFieldError]

DSL updater for the location field of hydra.error.core.UnknownProjectedFieldError.

hydra.dsl.error.core.unknown_projected_field_error_with_type_name(original: TypedTerm[UnknownProjectedFieldError], new_val: TypedTerm[Name]) → TypedTerm[UnknownProjectedFieldError]

DSL updater for the typeName field of hydra.error.core.UnknownProjectedFieldError.

hydra.dsl.error.core.unnecessary_identity_application_error(location: TypedTerm[SubtermPath]) → TypedTerm[UnnecessaryIdentityApplicationError]

DSL constructor for hydra.error.core.UnnecessaryIdentityApplicationError.

hydra.dsl.error.core.unnecessary_identity_application_error_location(x: TypedTerm[UnnecessaryIdentityApplicationError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.UnnecessaryIdentityApplicationError.

hydra.dsl.error.core.unnecessary_identity_application_error_with_location(original: TypedTerm[UnnecessaryIdentityApplicationError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UnnecessaryIdentityApplicationError]

DSL updater for the location field of hydra.error.core.UnnecessaryIdentityApplicationError.

hydra.dsl.error.core.unresolved_nominal_type_error(location: TypedTerm[SubtermPath], type_name: TypedTerm[Name]) → TypedTerm[UnresolvedNominalTypeError]

DSL constructor for hydra.error.core.UnresolvedNominalTypeError.

hydra.dsl.error.core.unresolved_nominal_type_error_location(x: TypedTerm[UnresolvedNominalTypeError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.UnresolvedNominalTypeError.

hydra.dsl.error.core.unresolved_nominal_type_error_type_name(x: TypedTerm[UnresolvedNominalTypeError]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.error.core.UnresolvedNominalTypeError.

hydra.dsl.error.core.unresolved_nominal_type_error_with_location(original: TypedTerm[UnresolvedNominalTypeError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UnresolvedNominalTypeError]

DSL updater for the location field of hydra.error.core.UnresolvedNominalTypeError.

hydra.dsl.error.core.unresolved_nominal_type_error_with_type_name(original: TypedTerm[UnresolvedNominalTypeError], new_val: TypedTerm[Name]) → TypedTerm[UnresolvedNominalTypeError]

DSL updater for the typeName field of hydra.error.core.UnresolvedNominalTypeError.

hydra.dsl.error.core.untyped_term_variable_error(location: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[UntypedTermVariableError]

DSL constructor for hydra.error.core.UntypedTermVariableError.

hydra.dsl.error.core.untyped_term_variable_error_location(x: TypedTerm[UntypedTermVariableError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.UntypedTermVariableError.

hydra.dsl.error.core.untyped_term_variable_error_name(x: TypedTerm[UntypedTermVariableError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.core.UntypedTermVariableError.

hydra.dsl.error.core.untyped_term_variable_error_with_location(original: TypedTerm[UntypedTermVariableError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UntypedTermVariableError]

DSL updater for the location field of hydra.error.core.UntypedTermVariableError.

hydra.dsl.error.core.untyped_term_variable_error_with_name(original: TypedTerm[UntypedTermVariableError], new_val: TypedTerm[Name]) → TypedTerm[UntypedTermVariableError]

DSL updater for the name field of hydra.error.core.UntypedTermVariableError.

hydra.dsl.error.core.void_in_non_bottom_position_error(location: TypedTerm[SubtermPath]) → TypedTerm[VoidInNonBottomPositionError]

DSL constructor for hydra.error.core.VoidInNonBottomPositionError.

hydra.dsl.error.core.void_in_non_bottom_position_error_location(x: TypedTerm[VoidInNonBottomPositionError]) → TypedTerm[SubtermPath]

DSL accessor for the location field of hydra.error.core.VoidInNonBottomPositionError.

hydra.dsl.error.core.void_in_non_bottom_position_error_with_location(original: TypedTerm[VoidInNonBottomPositionError], new_val: TypedTerm[SubtermPath]) → TypedTerm[VoidInNonBottomPositionError]

DSL updater for the location field of hydra.error.core.VoidInNonBottomPositionError.