Merge pull request #24062 from VadimLevin:dev/vlevin/python-typing-redirect-error

feat: add typing stub for redirectError
This commit is contained in:
Alexander Smorkalov 2023-07-27 09:26:42 +03:00 committed by GitHub
commit 5c090b9eec
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -25,6 +25,29 @@ def apply_manual_api_refinement(root: NamespaceNode) -> None:
version_constant = root.add_constant("__version__", "<unused>")
version_constant._value_type = "str"
"""
def redirectError(
onError: Callable[[int, str, str, str, int], None] | None
) -> None: ...
"""
root.add_function("redirectError", [
FunctionNode.Arg(
"onError",
OptionalTypeNode(
CallableTypeNode(
"ErrorCallback",
[
PrimitiveTypeNode.int_(),
PrimitiveTypeNode.str_(),
PrimitiveTypeNode.str_(),
PrimitiveTypeNode.str_(),
PrimitiveTypeNode.int_()
]
)
)
)
])
def export_matrix_type_constants(root: NamespaceNode) -> None:
MAX_PREDEFINED_CHANNELS = 4