hydra.encode.tabular module

Term encoders for hydra.tabular.

hydra.encode.tabular.column_type(x: ColumnType) → Term

Encoder for hydra.tabular.ColumnType.

hydra.encode.tabular.data_row(v: Callable[[V], Term], x: DataRow[V]) → Term

Encoder for hydra.tabular.DataRow.

hydra.encode.tabular.header_row(x: HeaderRow) → Term

Encoder for hydra.tabular.HeaderRow.

hydra.encode.tabular.table(v: Callable[[V], Term], x: Table[V]) → Term

Encoder for hydra.tabular.Table.

hydra.encode.tabular.table_type(x: TableType) → Term

Encoder for hydra.tabular.TableType.