diff options
Diffstat (limited to 'sphinx/util/typing.py')
| -rw-r--r-- | sphinx/util/typing.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sphinx/util/typing.py b/sphinx/util/typing.py index 78e8fe61f..77724d38b 100644 --- a/sphinx/util/typing.py +++ b/sphinx/util/typing.py @@ -23,6 +23,9 @@ TextlikeNode = Union[nodes.Text, nodes.TextElement] # type of None NoneType = type(None) +# path matcher +PathMatcher = Callable[[str], bool] + # common role functions RoleFunction = Callable[[str, str, str, int, Inliner, Dict, List[str]], Tuple[List[nodes.Node], List[nodes.system_message]]] |