From 2cbc2d1d6c9af6553b1ce8ac6134191d6b6bc612 Mon Sep 17 00:00:00 2001 From: Mark Mendoza Date: Thu, 13 Jun 2019 09:55:01 -0700 Subject: [PATCH] Adding stubs for pyre_extensions --- 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 000000000000..04adc5093f13 --- /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]: ...