modeled

type Col[M Model] interface {
	ModelNewer[M]
	builder.Col

	// ComputedBy returns a copy with a computed expression.
	ComputedBy(frag.Fragment) Col[M]
}

type ColIter[M Model] interface {
	builder.ColIter
	MCols() iter.Seq[Col[M]]
}

type Key[M Model] interface {
	ModelNewer[M]
	builder.Key
	ColIter[M]
}

type KeyIter[M Model] interface {
	MKeys() iter.Seq[Key[M]]
}

type Model = internal.Model

type ModelNewer[M Model] internal.ModelNewer[M]

type Newer[M internal.Model] struct{}

type OrderAddition[M Model] interface {
	builder.OrderAddition
}

type TCol[M Model, T any] interface {
	ModelNewer[M]
	builder.TCol[T]

	// ComputedBy returns an untyped model-scoped column with a computed expression.
	ComputedBy(frag.Fragment) Col[M]
	// TypedComputedBy returns a typed model-scoped column with a computed expression.
	TypedComputedBy(frag.Fragment) TCol[M, T]
}

type Table[M Model] interface {
	builder.Table
	ModelNewer[M]

	// MK picks a model-scoped key by name.
	MK(string) Key[M]

	ColIter[M]
	KeyIter[M]
}