nonebot2/nonebot/typing.py

134 lines
3.8 KiB
Python
Raw Normal View History

2020-08-19 20:29:37 +08:00
"""
类型
====
下面的文档中类型部分使用 Python Type Hint 语法 `PEP 484`_`PEP 526`_ `typing`_
除了 Python 内置的类型下面还出现了如下 NoneBot 自定类型实际上它们是 Python 内置类型的别名
以下类型均可从 nonebot.typing 模块导入
.. _PEP 484:
https://www.python.org/dev/peps/pep-0484/
.. _PEP 526:
https://www.python.org/dev/peps/pep-0526/
.. _typing:
https://docs.python.org/3/library/typing.html
"""
2018-10-16 01:03:50 +08:00
2020-12-17 21:09:30 +08:00
from typing import Any, Dict, Union, TypeVar, Protocol, overload, Optional, Callable, NoReturn, Awaitable, TYPE_CHECKING
2020-08-07 17:05:08 +08:00
if TYPE_CHECKING:
2020-12-07 00:31:14 +08:00
from nonebot.adapters import Bot, Event
from nonebot.matcher import Matcher
2020-06-30 10:13:58 +08:00
2020-08-07 17:51:57 +08:00
2020-08-08 23:08:01 +08:00
def overrides(InterfaceClass: object):
2020-08-07 17:51:57 +08:00
2020-08-08 23:08:01 +08:00
def overrider(func: Callable) -> Callable:
2020-08-07 17:51:57 +08:00
assert func.__name__ in dir(
InterfaceClass), f"Error method: {func.__name__}"
return func
return overrider
2020-12-17 21:09:30 +08:00
T_State = Dict[Any, Any]
2020-08-19 20:29:37 +08:00
"""
2020-12-06 02:30:19 +08:00
:类型: ``Dict[Any, Any]``
:说明:
事件处理状态 State 类型
"""
T_StateFactory = Callable[["Bot", "Event"], Awaitable[T_State]]
"""
:类型: ``Callable[[Bot, Event], Awaitable[T_State]]``
:说明:
事件处理状态 State 类工厂函数
"""
2020-12-17 21:09:30 +08:00
T_EventPreProcessor = Callable[["Bot", "Event", T_State], Awaitable[None]]
2020-12-06 02:30:19 +08:00
"""
2020-12-17 21:09:30 +08:00
:类型: ``Callable[[Bot, Event, T_State], Awaitable[None]]``
2020-08-19 20:29:37 +08:00
:说明:
事件预处理函数 EventPreProcessor 类型
"""
2020-12-17 21:09:30 +08:00
T_EventPostProcessor = Callable[["Bot", "Event", T_State], Awaitable[None]]
"""
2020-12-17 21:09:30 +08:00
:类型: ``Callable[[Bot, Event, T_State], Awaitable[None]]``
:说明:
事件预处理函数 EventPostProcessor 类型
"""
2020-12-17 21:09:30 +08:00
T_RunPreProcessor = Callable[["Matcher", "Bot", "Event", T_State],
Awaitable[None]]
"""
2020-12-17 21:09:30 +08:00
:类型: ``Callable[[Matcher, Bot, Event, T_State], Awaitable[None]]``
:说明:
事件响应器运行前预处理函数 RunPreProcessor 类型
"""
2020-12-17 21:09:30 +08:00
T_RunPostProcessor = Callable[
["Matcher", Optional[Exception], "Bot", "Event", T_State], Awaitable[None]]
"""
2020-12-17 21:09:30 +08:00
:类型: ``Callable[[Matcher, Optional[Exception], Bot, Event, T_State], Awaitable[None]]``
:说明:
2020-11-16 11:25:42 +08:00
事件响应器运行前预处理函数 RunPostProcessor 类型第二个参数为运行时产生的错误如果存在
2020-08-19 20:29:37 +08:00
"""
2020-08-10 13:06:02 +08:00
2020-12-17 21:09:30 +08:00
T_RuleChecker = Callable[["Bot", "Event", T_State], Union[bool,
Awaitable[bool]]]
2020-08-19 23:00:31 +08:00
"""
2020-12-17 21:09:30 +08:00
:类型: ``Callable[[Bot, Event, T_State], Union[bool, Awaitable[bool]]]``
2020-08-19 23:00:31 +08:00
:说明:
RuleChecker 即判断是否响应事件的处理函数
"""
2020-12-17 21:09:30 +08:00
T_PermissionChecker = Callable[["Bot", "Event"], Union[bool, Awaitable[bool]]]
2020-08-19 23:00:31 +08:00
"""
2020-09-13 13:01:23 +08:00
:类型: ``Callable[[Bot, Event], Union[bool, Awaitable[bool]]]``
2020-08-19 23:00:31 +08:00
:说明:
RuleChecker 即判断是否响应消息的处理函数
"""
2020-12-17 01:52:16 +08:00
2020-12-17 21:09:30 +08:00
T_Handler = Union[Callable[[Any, Any, Any], Union[Awaitable[None],
Awaitable[NoReturn]]],
Callable[[Any, Any], Union[Awaitable[None],
Awaitable[NoReturn]]],
Callable[[Any], Union[Awaitable[None], Awaitable[NoReturn]]]]
2020-08-19 23:00:31 +08:00
"""
2020-12-17 21:09:30 +08:00
:类型:
* ``Callable[[Bot, Event, T_State], Union[Awaitable[None], Awaitable[NoReturn]]]``
* ``Callable[[Bot, Event], Union[Awaitable[None], Awaitable[NoReturn]]]``
* ``Callable[[Bot, T_State], Union[Awaitable[None], Awaitable[NoReturn]]]``
* ``Callable[[Bot], Union[Awaitable[None], Awaitable[NoReturn]]]``
2020-08-19 23:00:31 +08:00
:说明:
Handler 即事件的处理函数
"""
2020-12-17 21:09:30 +08:00
T_ArgsParser = Callable[["Bot", "Event", T_State], Union[Awaitable[None],
Awaitable[NoReturn]]]
2020-08-19 23:00:31 +08:00
"""
2020-12-17 21:09:30 +08:00
:类型: ``Callable[[Bot, Event, T_State], Union[Awaitable[None], Awaitable[NoReturn]]]``
2020-08-19 23:00:31 +08:00
:说明:
ArgsParser 即消息参数解析函数 Matcher.got 获取参数时被运行
"""