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:	public function getName(): string;
15:
16:	public function getScope(): TemplateTypeScope;
17:
18:	public function getBound(): Type;
19:
20:	public function toArgument(): TemplateType;
21:
22:	public function isArgument(): bool;
23:
24:	public function isValidVariance(Type $a, Type $b): TrinaryLogic;
25:
26:	public function isValidVarianceWithReason(Type $a, Type $b): AcceptsResult;
27:
28:	public function getVariance(): TemplateTypeVariance;
29:
30:	public function getStrategy(): TemplateTypeStrategy;
31:
32:	}
33: