hydra.dsl.typing module

DSL functions for hydra.typing.

hydra.dsl.typing.decode_function_structure(env: TypedTerm[Callable[[Graph, Term], object]]) → TypedTerm[Callable[[Graph, Term], object]]

DSL composition builder for the decoder of hydra.typing.FunctionStructure.

hydra.dsl.typing.encode_function_structure(env: TypedTerm[Callable[[Env], Term]]) → TypedTerm[Callable[[FunctionStructure[Env]], Term]]

DSL composition builder for the encoder of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure(type_params: TypedTerm[Sequence[Name]], params: TypedTerm[Sequence[Name]], bindings: TypedTerm[Sequence[Binding]], body: TypedTerm[Term], domains: TypedTerm[Sequence[Type]], codomain: TypedTerm[object], environment: TypedTerm[Env]) → TypedTerm[FunctionStructure[Env]]

DSL constructor for hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_bindings(x: TypedTerm[FunctionStructure[Env]]) → TypedTerm[Sequence[Binding]]

DSL accessor for the bindings field of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_body(x: TypedTerm[FunctionStructure[Env]]) → TypedTerm[Term]

DSL accessor for the body field of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_codomain(x: TypedTerm[FunctionStructure[Env]]) → TypedTerm[object]

DSL accessor for the codomain field of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_domains(x: TypedTerm[FunctionStructure[Env]]) → TypedTerm[Sequence[Type]]

DSL accessor for the domains field of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_environment(x: TypedTerm[FunctionStructure[Env]]) → TypedTerm[Env]

DSL accessor for the environment field of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_params(x: TypedTerm[FunctionStructure[Env]]) → TypedTerm[Sequence[Name]]

DSL accessor for the params field of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_type_params(x: TypedTerm[FunctionStructure[Env]]) → TypedTerm[Sequence[Name]]

DSL accessor for the typeParams field of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_with_bindings(original: TypedTerm[FunctionStructure[Env]], new_val: TypedTerm[Sequence[Binding]]) → TypedTerm[FunctionStructure[Env]]

DSL updater for the bindings field of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_with_body(original: TypedTerm[FunctionStructure[Env]], new_val: TypedTerm[Term]) → TypedTerm[FunctionStructure[Env]]

DSL updater for the body field of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_with_codomain(original: TypedTerm[FunctionStructure[Env]], new_val: TypedTerm[object]) → TypedTerm[FunctionStructure[Env]]

DSL updater for the codomain field of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_with_domains(original: TypedTerm[FunctionStructure[Env]], new_val: TypedTerm[Sequence[Type]]) → TypedTerm[FunctionStructure[Env]]

DSL updater for the domains field of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_with_environment(original: TypedTerm[FunctionStructure[Env]], new_val: TypedTerm[Env]) → TypedTerm[FunctionStructure[Env]]

DSL updater for the environment field of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_with_params(original: TypedTerm[FunctionStructure[Env]], new_val: TypedTerm[Sequence[Name]]) → TypedTerm[FunctionStructure[Env]]

DSL updater for the params field of hydra.typing.FunctionStructure.

hydra.dsl.typing.function_structure_with_type_params(original: TypedTerm[FunctionStructure[Env]], new_val: TypedTerm[Sequence[Name]]) → TypedTerm[FunctionStructure[Env]]

DSL updater for the typeParams field of hydra.typing.FunctionStructure.

hydra.dsl.typing.inference_context(fresh_type_variable_count: TypedTerm[int], trace: TypedTerm[Sequence[SubtermStep]]) → TypedTerm[InferenceContext]

DSL constructor for hydra.typing.InferenceContext.

hydra.dsl.typing.inference_context_fresh_type_variable_count(x: TypedTerm[InferenceContext]) → TypedTerm[int]

DSL accessor for the freshTypeVariableCount field of hydra.typing.InferenceContext.

hydra.dsl.typing.inference_context_trace(x: TypedTerm[InferenceContext]) → TypedTerm[Sequence[SubtermStep]]

DSL accessor for the trace field of hydra.typing.InferenceContext.

hydra.dsl.typing.inference_context_with_fresh_type_variable_count(original: TypedTerm[InferenceContext], new_val: TypedTerm[int]) → TypedTerm[InferenceContext]

DSL updater for the freshTypeVariableCount field of hydra.typing.InferenceContext.

hydra.dsl.typing.inference_context_with_trace(original: TypedTerm[InferenceContext], new_val: TypedTerm[Sequence[SubtermStep]]) → TypedTerm[InferenceContext]

DSL updater for the trace field of hydra.typing.InferenceContext.

hydra.dsl.typing.inference_result(term: TypedTerm[Term], type: TypedTerm[Type], subst: TypedTerm[TypeSubst], class_constraints: TypedTerm[Mapping[Name, TypeVariableConstraints]], context: TypedTerm[InferenceContext]) → TypedTerm[InferenceResult]

DSL constructor for hydra.typing.InferenceResult.

hydra.dsl.typing.inference_result_class_constraints(x: TypedTerm[InferenceResult]) → TypedTerm[Mapping[Name, TypeVariableConstraints]]

DSL accessor for the classConstraints field of hydra.typing.InferenceResult.

hydra.dsl.typing.inference_result_context(x: TypedTerm[InferenceResult]) → TypedTerm[InferenceContext]

DSL accessor for the context field of hydra.typing.InferenceResult.

hydra.dsl.typing.inference_result_subst(x: TypedTerm[InferenceResult]) → TypedTerm[TypeSubst]

DSL accessor for the subst field of hydra.typing.InferenceResult.

hydra.dsl.typing.inference_result_term(x: TypedTerm[InferenceResult]) → TypedTerm[Term]

DSL accessor for the term field of hydra.typing.InferenceResult.

hydra.dsl.typing.inference_result_type(x: TypedTerm[InferenceResult]) → TypedTerm[Type]

DSL accessor for the type field of hydra.typing.InferenceResult.

hydra.dsl.typing.inference_result_with_class_constraints(original: TypedTerm[InferenceResult], new_val: TypedTerm[Mapping[Name, TypeVariableConstraints]]) → TypedTerm[InferenceResult]

DSL updater for the classConstraints field of hydra.typing.InferenceResult.

hydra.dsl.typing.inference_result_with_context(original: TypedTerm[InferenceResult], new_val: TypedTerm[InferenceContext]) → TypedTerm[InferenceResult]

DSL updater for the context field of hydra.typing.InferenceResult.

hydra.dsl.typing.inference_result_with_subst(original: TypedTerm[InferenceResult], new_val: TypedTerm[TypeSubst]) → TypedTerm[InferenceResult]

DSL updater for the subst field of hydra.typing.InferenceResult.

hydra.dsl.typing.inference_result_with_term(original: TypedTerm[InferenceResult], new_val: TypedTerm[Term]) → TypedTerm[InferenceResult]

DSL updater for the term field of hydra.typing.InferenceResult.

hydra.dsl.typing.inference_result_with_type(original: TypedTerm[InferenceResult], new_val: TypedTerm[Type]) → TypedTerm[InferenceResult]

DSL updater for the type field of hydra.typing.InferenceResult.

hydra.dsl.typing.parameter(name: TypedTerm[Name], description: TypedTerm[object], type: TypedTerm[Type], is_lazy: TypedTerm[bool]) → TypedTerm[Parameter]

DSL constructor for hydra.typing.Parameter.

hydra.dsl.typing.parameter_description(x: TypedTerm[Parameter]) → TypedTerm[object]

DSL accessor for the description field of hydra.typing.Parameter.

hydra.dsl.typing.parameter_is_lazy(x: TypedTerm[Parameter]) → TypedTerm[bool]

DSL accessor for the isLazy field of hydra.typing.Parameter.

hydra.dsl.typing.parameter_name(x: TypedTerm[Parameter]) → TypedTerm[Name]

DSL accessor for the name field of hydra.typing.Parameter.

hydra.dsl.typing.parameter_type(x: TypedTerm[Parameter]) → TypedTerm[Type]

DSL accessor for the type field of hydra.typing.Parameter.

hydra.dsl.typing.parameter_with_description(original: TypedTerm[Parameter], new_val: TypedTerm[object]) → TypedTerm[Parameter]

DSL updater for the description field of hydra.typing.Parameter.

hydra.dsl.typing.parameter_with_is_lazy(original: TypedTerm[Parameter], new_val: TypedTerm[bool]) → TypedTerm[Parameter]

DSL updater for the isLazy field of hydra.typing.Parameter.

hydra.dsl.typing.parameter_with_name(original: TypedTerm[Parameter], new_val: TypedTerm[Name]) → TypedTerm[Parameter]

DSL updater for the name field of hydra.typing.Parameter.

hydra.dsl.typing.parameter_with_type(original: TypedTerm[Parameter], new_val: TypedTerm[Type]) → TypedTerm[Parameter]

DSL updater for the type field of hydra.typing.Parameter.

hydra.dsl.typing.result(description: TypedTerm[object], type: TypedTerm[Type]) → TypedTerm[Result]

DSL constructor for hydra.typing.Result.

hydra.dsl.typing.result_description(x: TypedTerm[Result]) → TypedTerm[object]

DSL accessor for the description field of hydra.typing.Result.

hydra.dsl.typing.result_type(x: TypedTerm[Result]) → TypedTerm[Type]

DSL accessor for the type field of hydra.typing.Result.

hydra.dsl.typing.result_with_description(original: TypedTerm[Result], new_val: TypedTerm[object]) → TypedTerm[Result]

DSL updater for the description field of hydra.typing.Result.

hydra.dsl.typing.result_with_type(original: TypedTerm[Result], new_val: TypedTerm[Type]) → TypedTerm[Result]

DSL updater for the type field of hydra.typing.Result.

hydra.dsl.typing.term_signature(type_parameters: TypedTerm[Sequence[TypeParameter]], parameters: TypedTerm[Sequence[Parameter]], result: TypedTerm[Result]) → TypedTerm[TermSignature]

DSL constructor for hydra.typing.TermSignature.

hydra.dsl.typing.term_signature_parameters(x: TypedTerm[TermSignature]) → TypedTerm[Sequence[Parameter]]

DSL accessor for the parameters field of hydra.typing.TermSignature.

hydra.dsl.typing.term_signature_result(x: TypedTerm[TermSignature]) → TypedTerm[Result]

DSL accessor for the result field of hydra.typing.TermSignature.

hydra.dsl.typing.term_signature_type_parameters(x: TypedTerm[TermSignature]) → TypedTerm[Sequence[TypeParameter]]

DSL accessor for the typeParameters field of hydra.typing.TermSignature.

hydra.dsl.typing.term_signature_with_parameters(original: TypedTerm[TermSignature], new_val: TypedTerm[Sequence[Parameter]]) → TypedTerm[TermSignature]

DSL updater for the parameters field of hydra.typing.TermSignature.

hydra.dsl.typing.term_signature_with_result(original: TypedTerm[TermSignature], new_val: TypedTerm[Result]) → TypedTerm[TermSignature]

DSL updater for the result field of hydra.typing.TermSignature.

hydra.dsl.typing.term_signature_with_type_parameters(original: TypedTerm[TermSignature], new_val: TypedTerm[Sequence[TypeParameter]]) → TypedTerm[TermSignature]

DSL updater for the typeParameters field of hydra.typing.TermSignature.

hydra.dsl.typing.term_subst(x: TypedTerm[Mapping[Name, Term]]) → TypedTerm[TermSubst]

DSL constructor for the hydra.typing.TermSubst wrapper.

hydra.dsl.typing.type_class(description: TypedTerm[str]) → TypedTerm[TypeClass]

DSL constructor for hydra.typing.TypeClass.

hydra.dsl.typing.type_class_description(x: TypedTerm[TypeClass]) → TypedTerm[str]

DSL accessor for the description field of hydra.typing.TypeClass.

hydra.dsl.typing.type_class_with_description(original: TypedTerm[TypeClass], new_val: TypedTerm[str]) → TypedTerm[TypeClass]

DSL updater for the description field of hydra.typing.TypeClass.

hydra.dsl.typing.type_constraint(left: TypedTerm[Type], right: TypedTerm[Type], comment: TypedTerm[str]) → TypedTerm[TypeConstraint]

DSL constructor for hydra.typing.TypeConstraint.

hydra.dsl.typing.type_constraint_comment(x: TypedTerm[TypeConstraint]) → TypedTerm[str]

DSL accessor for the comment field of hydra.typing.TypeConstraint.

hydra.dsl.typing.type_constraint_left(x: TypedTerm[TypeConstraint]) → TypedTerm[Type]

DSL accessor for the left field of hydra.typing.TypeConstraint.

hydra.dsl.typing.type_constraint_right(x: TypedTerm[TypeConstraint]) → TypedTerm[Type]

DSL accessor for the right field of hydra.typing.TypeConstraint.

hydra.dsl.typing.type_constraint_with_comment(original: TypedTerm[TypeConstraint], new_val: TypedTerm[str]) → TypedTerm[TypeConstraint]

DSL updater for the comment field of hydra.typing.TypeConstraint.

hydra.dsl.typing.type_constraint_with_left(original: TypedTerm[TypeConstraint], new_val: TypedTerm[Type]) → TypedTerm[TypeConstraint]

DSL updater for the left field of hydra.typing.TypeConstraint.

hydra.dsl.typing.type_constraint_with_right(original: TypedTerm[TypeConstraint], new_val: TypedTerm[Type]) → TypedTerm[TypeConstraint]

DSL updater for the right field of hydra.typing.TypeConstraint.

hydra.dsl.typing.type_parameter(name: TypedTerm[Name], constraints: TypedTerm[Sequence[TypeClassConstraint]]) → TypedTerm[TypeParameter]

DSL constructor for hydra.typing.TypeParameter.

hydra.dsl.typing.type_parameter_constraints(x: TypedTerm[TypeParameter]) → TypedTerm[Sequence[TypeClassConstraint]]

DSL accessor for the constraints field of hydra.typing.TypeParameter.

hydra.dsl.typing.type_parameter_name(x: TypedTerm[TypeParameter]) → TypedTerm[Name]

DSL accessor for the name field of hydra.typing.TypeParameter.

hydra.dsl.typing.type_parameter_with_constraints(original: TypedTerm[TypeParameter], new_val: TypedTerm[Sequence[TypeClassConstraint]]) → TypedTerm[TypeParameter]

DSL updater for the constraints field of hydra.typing.TypeParameter.

hydra.dsl.typing.type_parameter_with_name(original: TypedTerm[TypeParameter], new_val: TypedTerm[Name]) → TypedTerm[TypeParameter]

DSL updater for the name field of hydra.typing.TypeParameter.

hydra.dsl.typing.type_subst(x: TypedTerm[Mapping[Name, Type]]) → TypedTerm[TypeSubst]

DSL constructor for the hydra.typing.TypeSubst wrapper.

hydra.dsl.typing.un_term_subst(x: TypedTerm[TermSubst]) → TypedTerm[Mapping[Name, Term]]

DSL accessor for the body of hydra.typing.TermSubst.

hydra.dsl.typing.un_type_subst(x: TypedTerm[TypeSubst]) → TypedTerm[Mapping[Name, Type]]

DSL accessor for the body of hydra.typing.TypeSubst.