hydra.encode.typed module

Term encoders for hydra.typed.

hydra.encode.typed.typed_binding(a: Callable[[A], Term], x: TypedBinding[A]) → Term

Encoder for hydra.typed.TypedBinding.

hydra.encode.typed.typed_name(a: Callable[[A], Term], x: TypedName[A]) → Term

Encoder for hydra.typed.TypedName.

hydra.encode.typed.typed_term(a: Callable[[A], Term], x: TypedTerm[A]) → Term

Encoder for hydra.typed.TypedTerm.

hydra.encode.typed.typed_term_definition(a: Callable[[A], Term], x: TypedTermDefinition[A]) → Term

Encoder for hydra.typed.TypedTermDefinition.