| Methods | ||
|---|---|---|
public
static
|
createInvariant(): self
|
# |
public
static
|
createCovariant(): self
|
# |
public
static
|
createContravariant(): self
|
# |
public
static
|
createStatic(): self
|
# |
public
|
invariant(): bool
|
# |
public
|
covariant(): bool
|
# |
public
|
contravariant(): bool
|
# |
public
|
static(): bool
|
# |
public
|
compose(self $other): self
|
# |
public
|
isValidVariance(Type $a, Type $b): TrinaryLogic
|
# |
public
|
isValidVarianceWithReason(?TemplateType $templateType, Type $a, Type $b): AcceptsResult
|
# |
public
|
equals(self $other): bool
|
# |
public
|
validPosition(self $other): bool
|
# |
public
|
describe(): string
|
# |
public
static
|
__set_state(array{value:int} $properties): self
|
# |
public
static
|
setInvarianceCompositionEnabled(bool $enabled): void
|
# |