use data object(s) for opening times for all days in a week?

[wivaku]

Let's say I want to create a data object for default opening hours for a week for a store (e.g. on Monday open 11:00 close 19:00).

What is the recommended / best practice way to do that?

I can create a data object for a day:

class OpeninghoursDayData extends Data
{
    public function __construct(
        public int $dayOfWeek,
        public string $open,
        public string $close,
        // other properties for that day
    ) {}
}

and a week:

class OpeninghoursWeekData extends Data
{
    public function __construct(
        #[DataCollectionOf(OpeninghoursDayData::class)]
        public DataCollection $days
    ) {}
}

But how do I ensure I get all 7 days and no duplicate days?
I.e. this should fail because a) one day is repeated, b) not all days are provided.

OpeninghoursWeekData::from([
  'days' => [
    [ 'dayOfWeek' => 1, 'open' => '10:00', 'close' => '18:00', ...],
    [ 'dayOfWeek' => 1, 'open' => '11:00', 'close' => '19:00', ...],
  ]
]);

Or is there another approach that makes more sense?