It is meant as a drop-in replacementįor the builtin json module but instead of returning an object of undefined shape (i.e. The safe_json module provides a type-safe way to parse JSON. Manner: together, in a function definition, as *args and **kwargs with no other parameters Because the division of parameters into these two argumentĬollections can be different each invocation, these special annotations can only be used in one Which correspond to the positional and keyword arguments for a specific call to the These ParameterSpecification variables also have two special properties, args and kwargs, Return foo(x: int, y: str, z: bool = False) -> List:ĭecorates foo into a callable that returns int, but still has the same parameters, including their TParams = ParameterSpecification('TParams')ĭef unwrap(f: Callable]) -> Callable:ĭef inner(*args: TParams.args, **kwargs: TParams.kwargs) -> TReturn: The typing of decorators which transform the return type of the given callable.įor example: from typing import TypeVar, Callable, Listįrom pyre_extensions import ParameterSpecification

Specifications (known as argspecs in the runtime and inspect library) instead of types, allowing ParameterSpecifications are a special kind of type variable that captures callable parameter The function will raise anĪssertion error if passed None and return the value otherwise. none_throwsįunction to make assumptions about Optionals explicit. This module defines extensions to the standard “typing” module that are supported by the Pyre typechecker.

Pyre on switch download