How to create an `NonEmpty` type with Pydantic by Adrian

main.py

from typing import Any, Collection, List, TypeVar, Annotated

from annotated_types import MinLen
from pydantic import BaseModel

_CollectionT = TypeVar("_CollectionT", bound=Collection[Any])

NonEmpty = Annotated[_CollectionT, MinLen(1)]


class Book(BaseModel):
    title: str
    source_records: NonEmpty[List[NonEmpty[str]]]