File src/Type/Generic/TemplateType.php

1:	<?php declare(strict_types = 1);
2:
3:	namespace PHPStan\Type\Generic;
4:
5:	use PHPStan\TrinaryLogic;
6:	use PHPStan\Type\AcceptsResult;
7:	use PHPStan\Type\CompoundType;
8:	use PHPStan\Type\Type;
9:
10:	/** @api */
11:	interface TemplateType extends CompoundType
12:	{
13:
14:	/** @return non-empty-string */
15:	public function getName(): string;
16:
17:	public function getScope(): TemplateTypeScope;
18:
19:	public function getBound(): Type;
20:
21:	public function toArgument(): TemplateType;
22:
23:	public function isArgument(): bool;
24:
25:	public function isValidVariance(Type $a, Type $b): TrinaryLogic;
26:
27:	public function isValidVarianceWithReason(Type $a, Type $b): AcceptsResult;
28:
29:	public function getVariance(): TemplateTypeVariance;
30:
31:	public function getStrategy(): TemplateTypeStrategy;
32:
33:	}
34: