From 1f740a7926049cbddc8d1b795c66381104a96aa6 Mon Sep 17 00:00:00 2001 From: Mark Mendoza Date: Thu, 13 Jun 2019 14:14:54 -0700 Subject: [PATCH] Adding stubs for pyre_extensions (#3056) --- third_party/2and3/pyre_extensions.pyi | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 third_party/2and3/pyre_extensions.pyi diff --git a/third_party/2and3/pyre_extensions.pyi b/third_party/2and3/pyre_extensions.pyi new file mode 100644 index 000000000..04adc5093 --- /dev/null +++ b/third_party/2and3/pyre_extensions.pyi @@ -0,0 +1,6 @@ +from typing import List, Optional, Type, TypeVar + +_T = TypeVar("_T") + +def none_throws(optional: Optional[_T]) -> _T: ... +def ParameterSpecification(__name: str) -> List[Type]: ...