Add `AnyList<L>`: one logical type for any list encoding#8

Merged

emilk merged 8 commits into

mainfrom

Jun 9, 2026

Commits on Jun 8, 2026

Add `AnyList<L>`: a logical type accepting any list encoding

emilk
and
claude
committed
Split `LogicalType`/`ConcreteType`; rename `Datatype` → `LogicalType`

emilk
and
claude
committed

Commits on Jun 9, 2026

Make the expected-datatype hint strongly typed: `supported_datatypes()`

emilk
and
claude
committed
Comment why `try_new` calls both `matches` and `downcast`

emilk
and
claude
committed
Fold datatype validation into `downcast`; remove `matches`/`supported_datatypes`

emilk
and
claude
committed
Restore a strongly-described `expected` in `WrongDatatype` errors

emilk
and
claude
committed
Report `WrongDatatype` before `UnexpectedNulls` in `try_new`

emilk
and
claude
committed
Document `AnyList` in the README

emilk
and
claude
committed