str-split.php

<?php

namespace StrSplit;

use function PHPStan\Testing\assertType;

class Foo {
	/**
	 * @param non-empty-string $nonEmptyString
	 * @param non-falsy-string $nonFalsyString
	 * @param lowercase-string $lowercaseString
	 * @param uppercase-string $uppercaseString
	 */
	function doFoo(
		string $string,
		string $nonEmptyString,
		string $nonFalsyString,
		string $lowercaseString,
		string $uppercaseString,
		int $integer,
	):void {
		assertType('non-empty-list<string>', str_split($string));
		assertType('non-empty-list<non-empty-string>', str_split($nonEmptyString));
		assertType('non-empty-list<non-empty-string>', str_split($nonFalsyString));
		assertType('non-empty-list<lowercase-string>', str_split($lowercaseString));
		assertType('non-empty-list<uppercase-string>', str_split($uppercaseString));

		assertType('non-empty-list<string>', str_split($string, $integer));
		assertType('non-empty-list<non-empty-string>', str_split($nonEmptyString, $integer));
		assertType('non-empty-list<non-empty-string>', str_split($nonFalsyString, $integer));
		assertType('non-empty-list<lowercase-string>', str_split($lowercaseString, $integer));
		assertType('non-empty-list<uppercase-string>', str_split($uppercaseString, $integer));

		assertType('list<string>', mb_str_split($string));
		assertType('non-empty-list<non-empty-string>', mb_str_split($nonEmptyString));
		assertType('non-empty-list<non-empty-string>', mb_str_split($nonFalsyString));
		assertType('list<lowercase-string>', mb_str_split($lowercaseString));
		assertType('list<uppercase-string>', mb_str_split($uppercaseString));

		assertType('list<string>', mb_str_split($string, $integer));
		assertType('non-empty-list<non-empty-string>', mb_str_split($nonEmptyString, $integer));
		assertType('non-empty-list<non-empty-string>', mb_str_split($nonFalsyString, $integer));
		assertType('list<lowercase-string>', mb_str_split($lowercaseString, $integer));
		assertType('list<uppercase-string>', mb_str_split($uppercaseString, $integer));
	}
}