forked from muglug/psl
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Type.php
58 lines (48 loc) · 1.01 KB
/
Type.php
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
<?php
declare(strict_types=1);
namespace Psl\Type;
use Psl\Type\Exception\AssertException;
use Psl\Type\Exception\TypeTrace;
/**
* @template T
*
* @implements TypeInterface<T>
*/
abstract class Type implements TypeInterface
{
private ?TypeTrace $trace = null;
/**
* @param mixed $value
*
* @psalm-assert-if-true T $value
*/
public function matches($value): bool
{
try {
$this->assert($value);
return true;
} catch (AssertException $_e) {
return false;
}
}
protected function getTrace(): TypeTrace
{
if (null === $this->trace) {
$this->trace = new TypeTrace();
}
return $this->trace;
}
/**
* @return TypeInterface<T>
*/
public function withTrace(TypeTrace $trace): TypeInterface
{
$new = clone $this;
$new->trace = $trace;
return $new;
}
public function isOptional(): bool
{
return false;
}
}