Type Definition kul::common::stream::DatumAllocator

type DatumAllocator<Extra = ()> = BoxDatumAllocator<Text, Extra>;

Chosen so that the Datums in the AST values returned from parsing are simply allocated in heap Boxes without limit.

This DatumAllocator type is a BoxDatumAllocator of our Text type and of the given Extra type.

The Extra type parameter determines the type used in the Datum::Extra variant of our Datum type, and it defaults to ().