2016-09-05 19:05:19 +03:00
|
|
|
<?php
|
2022-07-01 16:10:30 +03:00
|
|
|
|
|
|
|
interface CacheInterface
|
|
|
|
{
|
2023-09-10 22:50:15 +03:00
|
|
|
public function get(string $key, $default = null);
|
2019-04-29 21:12:43 +03:00
|
|
|
|
2023-09-10 22:50:15 +03:00
|
|
|
public function set(string $key, $value, int $ttl = null): void;
|
2019-04-29 21:12:43 +03:00
|
|
|
|
2023-09-10 22:50:15 +03:00
|
|
|
public function delete(string $key): void;
|
2018-11-16 23:48:59 +03:00
|
|
|
|
2023-09-10 22:50:15 +03:00
|
|
|
public function clear(): void;
|
2018-11-16 23:48:59 +03:00
|
|
|
|
2023-09-10 22:50:15 +03:00
|
|
|
public function prune(): void;
|
2016-09-05 19:05:19 +03:00
|
|
|
}
|