mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-09 05:24:52 +08:00
Update pyre_extensions stub (#3214)
This commit is contained in:
committed by
Jelle Zijlstra
parent
99e8ed42a4
commit
f9300ed1ed
5
third_party/2and3/pyre_extensions.pyi
vendored
5
third_party/2and3/pyre_extensions.pyi
vendored
@@ -1,6 +1,7 @@
|
||||
from typing import List, Optional, Type, TypeVar
|
||||
from typing import Any, List, Optional, Type, TypeVar
|
||||
|
||||
_T = TypeVar("_T")
|
||||
|
||||
def none_throws(optional: Optional[_T]) -> _T: ...
|
||||
def none_throws(optional: Optional[_T], message: str = ...) -> _T: ...
|
||||
def safe_cast(new_type: Type[_T], value: Any) -> _T: ...
|
||||
def ParameterSpecification(__name: str) -> List[Type]: ...
|
||||
|
||||
Reference in New Issue
Block a user