hydra.decode.typing module

Term decoders for hydra.typing.

hydra.decode.typing.function_structure(env: Callable[[Graph, Term], object], cx: Graph, raw: Term) → object

Decoder for hydra.typing.FunctionStructure.

hydra.decode.typing.inference_context(cx: Graph, raw: Term) → object

Decoder for hydra.typing.InferenceContext.

hydra.decode.typing.inference_result(cx: Graph, raw: Term) → object

Decoder for hydra.typing.InferenceResult.

hydra.decode.typing.parameter(cx: Graph, raw: Term) → object

Decoder for hydra.typing.Parameter.

hydra.decode.typing.result(cx: Graph, raw: Term) → object

Decoder for hydra.typing.Result.

hydra.decode.typing.term_signature(cx: Graph, raw: Term) → object

Decoder for hydra.typing.TermSignature.

hydra.decode.typing.term_subst(cx: Graph, raw: Term) → object

Decoder for hydra.typing.TermSubst.

hydra.decode.typing.type_class(cx: Graph, raw: Term) → object

Decoder for hydra.typing.TypeClass.

hydra.decode.typing.type_constraint(cx: Graph, raw: Term) → object

Decoder for hydra.typing.TypeConstraint.

hydra.decode.typing.type_parameter(cx: Graph, raw: Term) → object

Decoder for hydra.typing.TypeParameter.

hydra.decode.typing.type_subst(cx: Graph, raw: Term) → object

Decoder for hydra.typing.TypeSubst.