Type system extensions for use with the pyre type checker

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for dkgi from gravatar.com dkgi Avatar for facebook from gravatar.com facebook Avatar for grievejia from gravatar.com grievejia Avatar for markmendoza from gravatar.com markmendoza Avatar for maxime.arthaud from gravatar.com maxime.arthaud Avatar for pyre from gravatar.com pyre Avatar for rchen152 from gravatar.com rchen152 Avatar for shannonzhu from gravatar.com shannonzhu Avatar for sinancepel from gravatar.com sinancepel Avatar for stroxler from gravatar.com stroxler

Unverified details

These details have not been verified by PyPI
Project links
Meta
Classifiers
Report project as malware

Project description

Pyre Extensions

This module defines extensions to the standard “typing” module that are supported by the Pyre typechecker.

none_throws

Function to make assumptions about Optionals explicit. The function will raise an assertion error if passed None and return the value otherwise.

ParameterSpecification

ParameterSpecifications are a special kind of type variable that captures callable parameter specifications (known as argspecs in the runtime and inspect library) instead of types, allowing the typing of decorators which transform the return type of the given callable.
For example:

from typing import TypeVar, Callable, List
from pyre_extensions import ParameterSpecification
Tparams = ParameterSpecification("Tparams")
Treturn = TypeVar("Treturn")
def unwrap(f: Callable[Tparams, List[Treturn]) -> Callable[Tparams, Treturn]: ...
@unwrap
def foo(x: int, y: str, z: bool = False) -> List[int]:
    return [1, 2, 3]

decorates foo into a callable that returns int, but still has the same parameters, including their names and whether they are required.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page