Данные типы поддерживаются анализаторами типа phpstan
positive-int - Число int положительное, аналог int<1,max>
non-empty-string - Не пустая строка
int<0,1> - Аналог bit при получении данных с базы mysql используя драйвер mysqli
list - Последовательный массив
non-empty-list - Не пустой последовательный массив
array{id:positive-int} - Массив, который содержит ключ id который положительное число