<?php

declare(strict_types=1);

namespace App\Administration\Application\Port;

use App\Administration\Application\Dto\PaginatedResult;
use App\Administration\Application\Query\GetClasses\ClassDto;

/**
 * Read-model port for paginated class queries (CQRS read side).
 *
 * @phpstan-type Result = PaginatedResult<ClassDto>
 */
interface PaginatedClassesReader
{
    /**
     * @return PaginatedResult<ClassDto>
     */
    public function findPaginated(
        string $tenantId,
        string $academicYearId,
        ?string $search,
        int $page,
        int $limit,
    ): PaginatedResult;
}
