hydra.encode.typing module

Term encoders for hydra.typing.

hydra.encode.typing.function_structure(env: Callable[[Env], Term], x: FunctionStructure[Env]) → Term

Encoder for hydra.typing.FunctionStructure.

hydra.encode.typing.inference_context(x: InferenceContext) → Term

Encoder for hydra.typing.InferenceContext.

hydra.encode.typing.inference_result(x: InferenceResult) → Term

Encoder for hydra.typing.InferenceResult.

hydra.encode.typing.parameter(x: Parameter) → Term

Encoder for hydra.typing.Parameter.

hydra.encode.typing.result(x: Result) → Term

Encoder for hydra.typing.Result.

hydra.encode.typing.term_signature(x: TermSignature) → Term

Encoder for hydra.typing.TermSignature.

hydra.encode.typing.term_subst(x: TermSubst) → Term

Encoder for hydra.typing.TermSubst.

hydra.encode.typing.type_class(x: TypeClass) → Term

Encoder for hydra.typing.TypeClass.

hydra.encode.typing.type_constraint(x: TypeConstraint) → Term

Encoder for hydra.typing.TypeConstraint.

hydra.encode.typing.type_parameter(x: TypeParameter) → Term

Encoder for hydra.typing.TypeParameter.

hydra.encode.typing.type_subst(x: TypeSubst) → Term

Encoder for hydra.typing.TypeSubst.