hydra.decode.typed module

Term decoders for hydra.typed.

hydra.decode.typed.typed_binding(a: Callable[[Graph, Term], object], cx: Graph, raw: Term) → object

Decoder for hydra.typed.TypedBinding.

hydra.decode.typed.typed_name(a: Callable[[Graph, Term], object], cx: Graph, raw: Term) → object

Decoder for hydra.typed.TypedName.

hydra.decode.typed.typed_term(a: Callable[[Graph, Term], object], cx: Graph, raw: Term) → object

Decoder for hydra.typed.TypedTerm.

hydra.decode.typed.typed_term_definition(a: Callable[[Graph, Term], object], cx: Graph, raw: Term) → object

Decoder for hydra.typed.TypedTermDefinition.