hydra.refs module

Typed references to derived encode/decode/show functions, and structural coder builders.

hydra.refs.decode_ref(tn: TypedName[T0]) → Term

Look up the decoder function for a type given its TypedName token.

hydra.refs.encode_list(elem_encoder: Callable[[T0], Term], xs: Sequence[T0]) → Term

Build an encoder for a list, given an encoder for its element type.

hydra.refs.encode_map(key_encoder: Callable[[T0], Term], val_encoder: Callable[[T1], Term], m: Mapping[T0, T1]) → Term

Build an encoder for a map, given encoders for its key and value types.

hydra.refs.encode_optional(elem_encoder: Callable[[T0], Term], x: object) → Term

Build an encoder for an optional value, given an encoder for its element type.

hydra.refs.encode_pair(first_encoder: Callable[[T0], Term], second_encoder: Callable[[T1], Term], p: tuple[T0, T1]) → Term

Build an encoder for a pair, given encoders for its first and second components.

hydra.refs.encode_ref(tn: TypedName[T0]) → Term

Look up the encoder function for a type given its TypedName token.

hydra.refs.encode_set(elem_encoder: Callable[[T0], Term], xs: Set[T0]) → Term

Build an encoder for a set, given an encoder for its element type.

hydra.refs.show_ref(tn: TypedName[T0]) → Term

Look up the string-shower function for a type given its TypedName token.