| Name | pyre-extensions JSON |
| Version |
0.0.30
JSON |
| download |
| home_page | https://pyre-check.org |
| Summary | Type system extensions for use with the pyre type checker |
| upload_time | 2022-10-19 22:34:25 |
| maintainer | |
| docs_url | None |
| author | Facebook |
| requires_python | |
| license | |
| keywords |
|
| VCS |
|
| bugtrack_url |
|
| requirements |
No requirements were recorded.
|
| Travis-CI |
No Travis.
|
| coveralls test coverage |
No coveralls.
|
# Pyre Extensions
This module defines extensions to the standard “typing” module that are supported by the [Pyre typechecker](https://pypi.org/project/pyre-check/).
## `none_throws`
Function to make assumptions about `Optional`s explicit. The function will raise an
assertion error if passed `None` and return the value otherwise.
## ParameterSpecification
`ParameterSpecification`s 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]:
def inner(*args: TParams.args, **kwargs: TParams.kwargs) -> TReturn:
return f(*args, **kwargs)[0]
return inner
@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.
These `ParameterSpecification` variables also have two special properties, `args` and `kwargs`,
which correspond to the positional and keyword arguments for a specific call to the
`ParameterSpecification` function. Because the division of parameters into these two argument
collections can be different each invocation, these special annotations can only be used in one
manner: together, in a function definition, as `*args` and `**kwargs` with no other parameters
listed.
## Safe JSON
The `safe_json` module provides a type-safe way to parse JSON. It is meant as a drop-in replacement
for the builtin `json` module but instead of returning an object of undefined shape (i.e. `Any`)
allows you to specify the shape of the JSON you're expecting. The parser will validate whether the
input matches the expected type and raise an exception if it does not.
### Examples
For trivial JSON structures you can use builtin types:
```python
>>> from pyre_extensions import safe_json
>>> from typing import List, Dict
>>> safe_json.loads("[1, 2, 3]", List[int])
[1, 2, 3]
>>> safe_json.loads("[1, 2, 3]", List[str])
# Raises `pyre_extensions.safe_json.InvalidJson`
>>> safe_json.loads('{"key": "value"}', Dict[str, str])
{'key': 'value'}
>>> safe_json.loads('{"key": "value"}', Dict[str, int])
# Raises `pyre_extensions.safe_json.InvalidJson`
```
For more complicated, nested structures, typed dictionaries are the way to go:
```python
>>> from typing import TypedDict
>>> class Movie(TypedDict):
... name: str
... year: int
...
>>> safe_json.loads('{"name": "Blade Runner", "year": 1982 }', Movie)
{'name': 'Blade Runner', 'year': 1982}
>>> safe_json.loads('{"name": "Blade Runner", "year": "1982" }', Movie)
# Raises `pyre_extensions.safe_json.InvalidJson`
```
Validate if data is expected type:
```python
>>> from pyre_extensions import safe_json
>>> from typing import List, Dict
>>> data = {"foo": 23}
>>> safe_json.validate(data, Dict[str, str])
# Raises `pyre_extensions.safe_json.InvalidJson`
>>> safe_json.validate(data, Dict[str, int])
{"foo": 23}
```
Raw data
{
"_id": null,
"home_page": "https://pyre-check.org",
"name": "pyre-extensions",
"maintainer": "",
"docs_url": null,
"requires_python": "",
"maintainer_email": "",
"keywords": "",
"author": "Facebook",
"author_email": "pyre@fb.com",
"download_url": "https://files.pythonhosted.org/packages/5e/9f/ef13dd193dbf2e36bfe7fa96b72a2fc23fc0b24b18fb1998c79056e77bdc/pyre-extensions-0.0.30.tar.gz",
"platform": null,
"description": "# Pyre Extensions\nThis module defines extensions to the standard \u201ctyping\u201d module that are supported by the [Pyre typechecker](https://pypi.org/project/pyre-check/).\n\n## `none_throws`\nFunction to make assumptions about `Optional`s explicit. The function will raise an\nassertion error if passed `None` and return the value otherwise.\n\n## ParameterSpecification\n`ParameterSpecification`s are a special kind of type variable that captures callable parameter\nspecifications (known as argspecs in the runtime and inspect library) instead of types, allowing\nthe typing of decorators which transform the return type of the given callable.\nFor example:\n```\nfrom typing import TypeVar, Callable, List\nfrom pyre_extensions import ParameterSpecification\nTParams = ParameterSpecification(\"TParams\")\nTReturn = TypeVar(\"TReturn\")\ndef unwrap(f: Callable[TParams, List[TReturn]]) -> Callable[TParams, TReturn]:\n def inner(*args: TParams.args, **kwargs: TParams.kwargs) -> TReturn:\n return f(*args, **kwargs)[0]\n\n return inner\n@unwrap\ndef foo(x: int, y: str, z: bool = False) -> List[int]:\n return [1, 2, 3]\n```\ndecorates foo into a callable that returns int, but still has the same parameters, including their\nnames and whether they are required.\n\nThese `ParameterSpecification` variables also have two special properties, `args` and `kwargs`,\nwhich correspond to the positional and keyword arguments for a specific call to the\n`ParameterSpecification` function. Because the division of parameters into these two argument\ncollections can be different each invocation, these special annotations can only be used in one\nmanner: together, in a function definition, as `*args` and `**kwargs` with no other parameters\nlisted.\n\n## Safe JSON\nThe `safe_json` module provides a type-safe way to parse JSON. It is meant as a drop-in replacement\nfor the builtin `json` module but instead of returning an object of undefined shape (i.e. `Any`)\nallows you to specify the shape of the JSON you're expecting. The parser will validate whether the\ninput matches the expected type and raise an exception if it does not.\n\n### Examples\nFor trivial JSON structures you can use builtin types:\n\n```python\n>>> from pyre_extensions import safe_json\n>>> from typing import List, Dict\n>>> safe_json.loads(\"[1, 2, 3]\", List[int])\n[1, 2, 3]\n>>> safe_json.loads(\"[1, 2, 3]\", List[str])\n# Raises `pyre_extensions.safe_json.InvalidJson`\n>>> safe_json.loads('{\"key\": \"value\"}', Dict[str, str])\n{'key': 'value'}\n>>> safe_json.loads('{\"key\": \"value\"}', Dict[str, int])\n# Raises `pyre_extensions.safe_json.InvalidJson`\n```\n\nFor more complicated, nested structures, typed dictionaries are the way to go:\n```python\n>>> from typing import TypedDict\n>>> class Movie(TypedDict):\n... name: str\n... year: int\n...\n>>> safe_json.loads('{\"name\": \"Blade Runner\", \"year\": 1982 }', Movie)\n{'name': 'Blade Runner', 'year': 1982}\n>>> safe_json.loads('{\"name\": \"Blade Runner\", \"year\": \"1982\" }', Movie)\n# Raises `pyre_extensions.safe_json.InvalidJson`\n```\n\nValidate if data is expected type:\n```python\n>>> from pyre_extensions import safe_json\n>>> from typing import List, Dict\n>>> data = {\"foo\": 23}\n>>> safe_json.validate(data, Dict[str, str])\n# Raises `pyre_extensions.safe_json.InvalidJson`\n>>> safe_json.validate(data, Dict[str, int])\n{\"foo\": 23}\n```\n",
"bugtrack_url": null,
"license": "",
"summary": "Type system extensions for use with the pyre type checker",
"version": "0.0.30",
"project_urls": {
"Homepage": "https://pyre-check.org"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "4a8617429a12504bdf8e6f2e3f39bd53a7b25fb6e8c759f9107b1f7936ac8d4e",
"md5": "5c8508120326bbd2e83121f6ca45c979",
"sha256": "32b37ede4eed0ea879fdd6d84e0c7811e129f19b76614f1be3a6b47f9a4b1fa0"
},
"downloads": -1,
"filename": "pyre_extensions-0.0.30-py3-none-any.whl",
"has_sig": false,
"md5_digest": "5c8508120326bbd2e83121f6ca45c979",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 12142,
"upload_time": "2022-10-19T22:34:23",
"upload_time_iso_8601": "2022-10-19T22:34:23.588924Z",
"url": "https://files.pythonhosted.org/packages/4a/86/17429a12504bdf8e6f2e3f39bd53a7b25fb6e8c759f9107b1f7936ac8d4e/pyre_extensions-0.0.30-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "5e9fef13dd193dbf2e36bfe7fa96b72a2fc23fc0b24b18fb1998c79056e77bdc",
"md5": "b1cabeb363a26808387df7c94a117801",
"sha256": "ba7923c486e089afb37a10623a8f4ae82d73cff42426d711c48af070e5bc31b2"
},
"downloads": -1,
"filename": "pyre-extensions-0.0.30.tar.gz",
"has_sig": false,
"md5_digest": "b1cabeb363a26808387df7c94a117801",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 10292,
"upload_time": "2022-10-19T22:34:25",
"upload_time_iso_8601": "2022-10-19T22:34:25.718659Z",
"url": "https://files.pythonhosted.org/packages/5e/9f/ef13dd193dbf2e36bfe7fa96b72a2fc23fc0b24b18fb1998c79056e77bdc/pyre-extensions-0.0.30.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2022-10-19 22:34:25",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "pyre-extensions"
}
