hydra.dsl.error.checking module

DSL functions for hydra.error.checking.

hydra.dsl.error.checking.checking_error_incorrect_unification(x: TypedTerm[IncorrectUnificationError]) → TypedTerm[CheckingError]

DSL injection for the incorrectUnification variant of hydra.error.checking.CheckingError.

hydra.dsl.error.checking.checking_error_not_a_forall_type(x: TypedTerm[NotAForallTypeError]) → TypedTerm[CheckingError]

DSL injection for the notAForallType variant of hydra.error.checking.CheckingError.

hydra.dsl.error.checking.checking_error_not_a_function_type(x: TypedTerm[NotAFunctionTypeError]) → TypedTerm[CheckingError]

DSL injection for the notAFunctionType variant of hydra.error.checking.CheckingError.

hydra.dsl.error.checking.checking_error_other(x: TypedTerm[OtherCheckingError]) → TypedTerm[CheckingError]

DSL injection for the other variant of hydra.error.checking.CheckingError.

hydra.dsl.error.checking.checking_error_type_arity_mismatch(x: TypedTerm[TypeArityMismatchError]) → TypedTerm[CheckingError]

DSL injection for the typeArityMismatch variant of hydra.error.checking.CheckingError.

hydra.dsl.error.checking.checking_error_type_mismatch(x: TypedTerm[TypeMismatchError]) → TypedTerm[CheckingError]

DSL injection for the typeMismatch variant of hydra.error.checking.CheckingError.

hydra.dsl.error.checking.checking_error_unbound_type_variables(x: TypedTerm[UnboundTypeVariablesError]) → TypedTerm[CheckingError]

DSL injection for the unboundTypeVariables variant of hydra.error.checking.CheckingError.

hydra.dsl.error.checking.checking_error_undefined_term_variable(x: TypedTerm[UndefinedTermVariableCheckingError]) → TypedTerm[CheckingError]

DSL injection for the undefinedTermVariable variant of hydra.error.checking.CheckingError.

hydra.dsl.error.checking.checking_error_unequal_types(x: TypedTerm[UnequalTypesError]) → TypedTerm[CheckingError]

DSL injection for the unequalTypes variant of hydra.error.checking.CheckingError.

hydra.dsl.error.checking.checking_error_unsupported_term_variant(x: TypedTerm[UnsupportedTermVariantError]) → TypedTerm[CheckingError]

DSL injection for the unsupportedTermVariant variant of hydra.error.checking.CheckingError.

hydra.dsl.error.checking.checking_error_untyped_lambda(x: TypedTerm[UntypedLambdaError]) → TypedTerm[CheckingError]

DSL injection for the untypedLambda variant of hydra.error.checking.CheckingError.

hydra.dsl.error.checking.checking_error_untyped_let_binding(x: TypedTerm[UntypedLetBindingError]) → TypedTerm[CheckingError]

DSL injection for the untypedLetBinding variant of hydra.error.checking.CheckingError.

hydra.dsl.error.checking.checking_error_untyped_term_variable(x: TypedTerm[UntypedTermVariableCheckingError]) → TypedTerm[CheckingError]

DSL injection for the untypedTermVariable variant of hydra.error.checking.CheckingError.

hydra.dsl.error.checking.incorrect_unification_error(substitution: TypedTerm[TypeSubst]) → TypedTerm[IncorrectUnificationError]

DSL constructor for hydra.error.checking.IncorrectUnificationError.

hydra.dsl.error.checking.incorrect_unification_error_substitution(x: TypedTerm[IncorrectUnificationError]) → TypedTerm[TypeSubst]

DSL accessor for the substitution field of hydra.error.checking.IncorrectUnificationError.

hydra.dsl.error.checking.incorrect_unification_error_with_substitution(original: TypedTerm[IncorrectUnificationError], new_val: TypedTerm[TypeSubst]) → TypedTerm[IncorrectUnificationError]

DSL updater for the substitution field of hydra.error.checking.IncorrectUnificationError.

hydra.dsl.error.checking.not_a_forall_type_error(type: TypedTerm[Type], type_arguments: TypedTerm[Sequence[Type]]) → TypedTerm[NotAForallTypeError]

DSL constructor for hydra.error.checking.NotAForallTypeError.

hydra.dsl.error.checking.not_a_forall_type_error_type(x: TypedTerm[NotAForallTypeError]) → TypedTerm[Type]

DSL accessor for the type field of hydra.error.checking.NotAForallTypeError.

hydra.dsl.error.checking.not_a_forall_type_error_type_arguments(x: TypedTerm[NotAForallTypeError]) → TypedTerm[Sequence[Type]]

DSL accessor for the typeArguments field of hydra.error.checking.NotAForallTypeError.

hydra.dsl.error.checking.not_a_forall_type_error_with_type(original: TypedTerm[NotAForallTypeError], new_val: TypedTerm[Type]) → TypedTerm[NotAForallTypeError]

DSL updater for the type field of hydra.error.checking.NotAForallTypeError.

hydra.dsl.error.checking.not_a_forall_type_error_with_type_arguments(original: TypedTerm[NotAForallTypeError], new_val: TypedTerm[Sequence[Type]]) → TypedTerm[NotAForallTypeError]

DSL updater for the typeArguments field of hydra.error.checking.NotAForallTypeError.

hydra.dsl.error.checking.not_a_function_type_error(type: TypedTerm[Type]) → TypedTerm[NotAFunctionTypeError]

DSL constructor for hydra.error.checking.NotAFunctionTypeError.

hydra.dsl.error.checking.not_a_function_type_error_type(x: TypedTerm[NotAFunctionTypeError]) → TypedTerm[Type]

DSL accessor for the type field of hydra.error.checking.NotAFunctionTypeError.

hydra.dsl.error.checking.not_a_function_type_error_with_type(original: TypedTerm[NotAFunctionTypeError], new_val: TypedTerm[Type]) → TypedTerm[NotAFunctionTypeError]

DSL updater for the type field of hydra.error.checking.NotAFunctionTypeError.

hydra.dsl.error.checking.other_checking_error(path: TypedTerm[SubtermPath], message: TypedTerm[str]) → TypedTerm[OtherCheckingError]

DSL constructor for hydra.error.checking.OtherCheckingError.

hydra.dsl.error.checking.other_checking_error_message(x: TypedTerm[OtherCheckingError]) → TypedTerm[str]

DSL accessor for the message field of hydra.error.checking.OtherCheckingError.

hydra.dsl.error.checking.other_checking_error_path(x: TypedTerm[OtherCheckingError]) → TypedTerm[SubtermPath]

DSL accessor for the path field of hydra.error.checking.OtherCheckingError.

hydra.dsl.error.checking.other_checking_error_with_message(original: TypedTerm[OtherCheckingError], new_val: TypedTerm[str]) → TypedTerm[OtherCheckingError]

DSL updater for the message field of hydra.error.checking.OtherCheckingError.

hydra.dsl.error.checking.other_checking_error_with_path(original: TypedTerm[OtherCheckingError], new_val: TypedTerm[SubtermPath]) → TypedTerm[OtherCheckingError]

DSL updater for the path field of hydra.error.checking.OtherCheckingError.

hydra.dsl.error.checking.type_arity_mismatch_error(type: TypedTerm[Type], expected_arity: TypedTerm[int], actual_arity: TypedTerm[int], type_arguments: TypedTerm[Sequence[Type]]) → TypedTerm[TypeArityMismatchError]

DSL constructor for hydra.error.checking.TypeArityMismatchError.

hydra.dsl.error.checking.type_arity_mismatch_error_actual_arity(x: TypedTerm[TypeArityMismatchError]) → TypedTerm[int]

DSL accessor for the actualArity field of hydra.error.checking.TypeArityMismatchError.

hydra.dsl.error.checking.type_arity_mismatch_error_expected_arity(x: TypedTerm[TypeArityMismatchError]) → TypedTerm[int]

DSL accessor for the expectedArity field of hydra.error.checking.TypeArityMismatchError.

hydra.dsl.error.checking.type_arity_mismatch_error_type(x: TypedTerm[TypeArityMismatchError]) → TypedTerm[Type]

DSL accessor for the type field of hydra.error.checking.TypeArityMismatchError.

hydra.dsl.error.checking.type_arity_mismatch_error_type_arguments(x: TypedTerm[TypeArityMismatchError]) → TypedTerm[Sequence[Type]]

DSL accessor for the typeArguments field of hydra.error.checking.TypeArityMismatchError.

hydra.dsl.error.checking.type_arity_mismatch_error_with_actual_arity(original: TypedTerm[TypeArityMismatchError], new_val: TypedTerm[int]) → TypedTerm[TypeArityMismatchError]

DSL updater for the actualArity field of hydra.error.checking.TypeArityMismatchError.

hydra.dsl.error.checking.type_arity_mismatch_error_with_expected_arity(original: TypedTerm[TypeArityMismatchError], new_val: TypedTerm[int]) → TypedTerm[TypeArityMismatchError]

DSL updater for the expectedArity field of hydra.error.checking.TypeArityMismatchError.

hydra.dsl.error.checking.type_arity_mismatch_error_with_type(original: TypedTerm[TypeArityMismatchError], new_val: TypedTerm[Type]) → TypedTerm[TypeArityMismatchError]

DSL updater for the type field of hydra.error.checking.TypeArityMismatchError.

hydra.dsl.error.checking.type_arity_mismatch_error_with_type_arguments(original: TypedTerm[TypeArityMismatchError], new_val: TypedTerm[Sequence[Type]]) → TypedTerm[TypeArityMismatchError]

DSL updater for the typeArguments field of hydra.error.checking.TypeArityMismatchError.

hydra.dsl.error.checking.type_mismatch_error(expected_type: TypedTerm[Type], actual_type: TypedTerm[Type]) → TypedTerm[TypeMismatchError]

DSL constructor for hydra.error.checking.TypeMismatchError.

hydra.dsl.error.checking.type_mismatch_error_actual_type(x: TypedTerm[TypeMismatchError]) → TypedTerm[Type]

DSL accessor for the actualType field of hydra.error.checking.TypeMismatchError.

hydra.dsl.error.checking.type_mismatch_error_expected_type(x: TypedTerm[TypeMismatchError]) → TypedTerm[Type]

DSL accessor for the expectedType field of hydra.error.checking.TypeMismatchError.

hydra.dsl.error.checking.type_mismatch_error_with_actual_type(original: TypedTerm[TypeMismatchError], new_val: TypedTerm[Type]) → TypedTerm[TypeMismatchError]

DSL updater for the actualType field of hydra.error.checking.TypeMismatchError.

hydra.dsl.error.checking.type_mismatch_error_with_expected_type(original: TypedTerm[TypeMismatchError], new_val: TypedTerm[Type]) → TypedTerm[TypeMismatchError]

DSL updater for the expectedType field of hydra.error.checking.TypeMismatchError.

hydra.dsl.error.checking.unbound_type_variables_error(variables: TypedTerm[Set[Name]], type: TypedTerm[Type]) → TypedTerm[UnboundTypeVariablesError]

DSL constructor for hydra.error.checking.UnboundTypeVariablesError.

hydra.dsl.error.checking.unbound_type_variables_error_type(x: TypedTerm[UnboundTypeVariablesError]) → TypedTerm[Type]

DSL accessor for the type field of hydra.error.checking.UnboundTypeVariablesError.

hydra.dsl.error.checking.unbound_type_variables_error_variables(x: TypedTerm[UnboundTypeVariablesError]) → TypedTerm[Set[Name]]

DSL accessor for the variables field of hydra.error.checking.UnboundTypeVariablesError.

hydra.dsl.error.checking.unbound_type_variables_error_with_type(original: TypedTerm[UnboundTypeVariablesError], new_val: TypedTerm[Type]) → TypedTerm[UnboundTypeVariablesError]

DSL updater for the type field of hydra.error.checking.UnboundTypeVariablesError.

hydra.dsl.error.checking.unbound_type_variables_error_with_variables(original: TypedTerm[UnboundTypeVariablesError], new_val: TypedTerm[Set[Name]]) → TypedTerm[UnboundTypeVariablesError]

DSL updater for the variables field of hydra.error.checking.UnboundTypeVariablesError.

hydra.dsl.error.checking.undefined_term_variable_checking_error(path: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[UndefinedTermVariableCheckingError]

DSL constructor for hydra.error.checking.UndefinedTermVariableCheckingError.

hydra.dsl.error.checking.undefined_term_variable_checking_error_name(x: TypedTerm[UndefinedTermVariableCheckingError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.checking.UndefinedTermVariableCheckingError.

hydra.dsl.error.checking.undefined_term_variable_checking_error_path(x: TypedTerm[UndefinedTermVariableCheckingError]) → TypedTerm[SubtermPath]

DSL accessor for the path field of hydra.error.checking.UndefinedTermVariableCheckingError.

hydra.dsl.error.checking.undefined_term_variable_checking_error_with_name(original: TypedTerm[UndefinedTermVariableCheckingError], new_val: TypedTerm[Name]) → TypedTerm[UndefinedTermVariableCheckingError]

DSL updater for the name field of hydra.error.checking.UndefinedTermVariableCheckingError.

hydra.dsl.error.checking.undefined_term_variable_checking_error_with_path(original: TypedTerm[UndefinedTermVariableCheckingError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UndefinedTermVariableCheckingError]

DSL updater for the path field of hydra.error.checking.UndefinedTermVariableCheckingError.

hydra.dsl.error.checking.unequal_types_error(types: TypedTerm[Sequence[Type]], description: TypedTerm[str]) → TypedTerm[UnequalTypesError]

DSL constructor for hydra.error.checking.UnequalTypesError.

hydra.dsl.error.checking.unequal_types_error_description(x: TypedTerm[UnequalTypesError]) → TypedTerm[str]

DSL accessor for the description field of hydra.error.checking.UnequalTypesError.

hydra.dsl.error.checking.unequal_types_error_types(x: TypedTerm[UnequalTypesError]) → TypedTerm[Sequence[Type]]

DSL accessor for the types field of hydra.error.checking.UnequalTypesError.

hydra.dsl.error.checking.unequal_types_error_with_description(original: TypedTerm[UnequalTypesError], new_val: TypedTerm[str]) → TypedTerm[UnequalTypesError]

DSL updater for the description field of hydra.error.checking.UnequalTypesError.

hydra.dsl.error.checking.unequal_types_error_with_types(original: TypedTerm[UnequalTypesError], new_val: TypedTerm[Sequence[Type]]) → TypedTerm[UnequalTypesError]

DSL updater for the types field of hydra.error.checking.UnequalTypesError.

hydra.dsl.error.checking.unsupported_term_variant_error(term_variant: TypedTerm[TermVariant]) → TypedTerm[UnsupportedTermVariantError]

DSL constructor for hydra.error.checking.UnsupportedTermVariantError.

hydra.dsl.error.checking.unsupported_term_variant_error_term_variant(x: TypedTerm[UnsupportedTermVariantError]) → TypedTerm[TermVariant]

DSL accessor for the termVariant field of hydra.error.checking.UnsupportedTermVariantError.

hydra.dsl.error.checking.unsupported_term_variant_error_with_term_variant(original: TypedTerm[UnsupportedTermVariantError], new_val: TypedTerm[TermVariant]) → TypedTerm[UnsupportedTermVariantError]

DSL updater for the termVariant field of hydra.error.checking.UnsupportedTermVariantError.

hydra.dsl.error.checking.untyped_let_binding_error(binding: TypedTerm[Binding]) → TypedTerm[UntypedLetBindingError]

DSL constructor for hydra.error.checking.UntypedLetBindingError.

hydra.dsl.error.checking.untyped_let_binding_error_binding(x: TypedTerm[UntypedLetBindingError]) → TypedTerm[Binding]

DSL accessor for the binding field of hydra.error.checking.UntypedLetBindingError.

hydra.dsl.error.checking.untyped_let_binding_error_with_binding(original: TypedTerm[UntypedLetBindingError], new_val: TypedTerm[Binding]) → TypedTerm[UntypedLetBindingError]

DSL updater for the binding field of hydra.error.checking.UntypedLetBindingError.

hydra.dsl.error.checking.untyped_term_variable_checking_error(path: TypedTerm[SubtermPath], name: TypedTerm[Name]) → TypedTerm[UntypedTermVariableCheckingError]

DSL constructor for hydra.error.checking.UntypedTermVariableCheckingError.

hydra.dsl.error.checking.untyped_term_variable_checking_error_name(x: TypedTerm[UntypedTermVariableCheckingError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.error.checking.UntypedTermVariableCheckingError.

hydra.dsl.error.checking.untyped_term_variable_checking_error_path(x: TypedTerm[UntypedTermVariableCheckingError]) → TypedTerm[SubtermPath]

DSL accessor for the path field of hydra.error.checking.UntypedTermVariableCheckingError.

hydra.dsl.error.checking.untyped_term_variable_checking_error_with_name(original: TypedTerm[UntypedTermVariableCheckingError], new_val: TypedTerm[Name]) → TypedTerm[UntypedTermVariableCheckingError]

DSL updater for the name field of hydra.error.checking.UntypedTermVariableCheckingError.

hydra.dsl.error.checking.untyped_term_variable_checking_error_with_path(original: TypedTerm[UntypedTermVariableCheckingError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UntypedTermVariableCheckingError]

DSL updater for the path field of hydra.error.checking.UntypedTermVariableCheckingError.