ensure: Literate assertions in Python
=====================================
*ensure* is a set of simple assertion helpers that let you write more expressive, literate, concise, and readable
Pythonic code for validating conditions. It's inspired by `should.js <https://github.com/shouldjs/should.js>`_,
`expect.js <https://github.com/Automattic/expect.js>`_, and builds on top of the
`unittest/JUnit assert helpers <http://docs.python.org/2/library/unittest.html#assert-methods>`_.
If you use Python 3, you can use *ensure* to enforce your **function signature annotations**: see
`PEP 3107 <http://www.python.org/dev/peps/pep-3107/>`_ and the
@ensure_annotations decorator below.
Because *ensure* is fast, is a standalone library (not part of a test framework), doesn't monkey-patch anything or use DSLs,
and doesn't use the assert statement (which is liable to be turned off with the ``-O`` flag), it can be used to validate
conditions in production code, not just for testing (though it certainly works as a BDD test utility library).
Aside from better looking code, a big reason to use *ensure* is that it provides more consistent, readable, and
informative error messages when things go wrong. See
`Motivation and Goals <https://github.com/kislyuk/ensure#motivation-and-goals>`_ for more.
Installation
------------
::
pip install ensure
Synopsis
--------
.. code-block:: python
from ensure import ensure
ensure(1).is_an(int)
ensure({1: {2: 3}}).equals({1: {2: 3}}).also.contains(1)
ensure({1: "a"}).has_key(1).whose_value.has_length(1)
ensure.each_of([{1: 2}, {3: 4}]).is_a(dict).of(int).to(int)
ensure(int).called_with("1100101", base=2).returns(101)
ensure(dict).called_with(1, 2).raises(TypeError)
check(1).is_a(float).or_raise(Exception, "An error happened: {msg}. See http://example.com for more information.")
In Python 3:
.. code-block:: python
from ensure import ensure_annotations
@ensure_annotations
def f(x: int, y: float) -> float:
return x+y
See **More examples** below.
Notes
~~~~~
The ``ensure`` module exports the ``Ensure`` class and its convenience instance ``ensure``. Instances of the class are
callable, and the call will reset the contents that the instance is inspecting, so you can reuse it for many checks (as
seen above).
The class raises ``EnsureError`` (a subclass of ``AssertionError``) by default.
There are several ways to **chain clauses**, depending on the grammatical context: ``.also``, ``.which``, and
``.whose_value`` are available per examples below.
Raising custom exceptions
~~~~~~~~~~~~~~~~~~~~~~~~~
You can pass a callable or exception class as the ``error_factory`` keyword argument to ``Ensure()``, or you can use the
``Check`` class or its convenience instance ``check()``. This class behaves like ``Ensure``, but does not raise errors
immediately. It saves them and chains the methods ``otherwise()``, ``or_raise()`` and ``or_call()`` to the end of the
clauses.
.. code-block:: python
from ensure import check
check("w00t").is_an(int).or_raise(Exception)
check(1).is_a(float).or_raise(Exception, "An error happened: {msg}. See http://example.com for more information.")
check("w00t").is_an(int).or_raise(MyException, 1, 2, x=3, y=4)
.. code-block:: python
def build_fancy_exception(original_exception):
return MyException(original_exception)
check("w00t").is_an(int).otherwise(build_fancy_exception)
check("w00t").is_an(int).or_call(build_fancy_exception, *args, **kwargs)
More examples
-------------
.. code-block:: python
ensure({1: {2: 3}}).is_not_equal_to({1: {2: 4}})
ensure(True).does_not_equal(False)
ensure(1).is_in(range(10))
ensure(True).is_a(bool)
ensure(True).is_(True)
ensure(True).is_not(False)
.. code-block:: python
ensure(["train", "boat"]).contains_one_of(["train"])
ensure(range(8)).contains(5)
ensure(["spam"]).contains_none_of(["eggs", "ham"])
ensure("abcdef").contains_some_of("abcxyz")
ensure("abcdef").contains_one_or_more_of("abcxyz")
ensure("abcdef").contains_all_of("acf")
ensure("abcd").contains_only("dcba")
ensure("abc").does_not_contain("xyz")
ensure([1, 2, 3]).contains_no(float)
ensure(1).is_in(range(10))
ensure("z").is_not_in("abc")
ensure(None).is_not_in([])
ensure(dict).has_attribute('__contains__').which.is_callable()
ensure({1: "a", 2: "b", 3: "c"}).has_keys([1, 2])
ensure({1: "a", 2: "b"}).has_only_keys([1, 2])
.. code-block:: python
ensure(1).is_true()
ensure(0).is_false()
ensure(None).is_none()
ensure(1).is_not_none()
ensure("").is_empty()
ensure([1, 2]).is_nonempty().also.has_length(2)
ensure(1.1).is_a(float).which.equals(1.10)
ensure(KeyError()).is_an(Exception)
ensure({x: str(x) for x in range(5)}).is_a_nonempty(dict).of(int).to(str)
ensure({}).is_an_empty(dict)
ensure(None).is_not_a(list)
.. code-block:: python
import re
ensure("abc").matches("A", flags=re.IGNORECASE)
ensure([1, 2, 3]).is_an_iterable_of(int)
ensure([1, 2, 3]).is_a_list_of(int)
ensure({1, 2, 3}).is_a_set_of(int)
ensure({1: 2, 3: 4}).is_a_mapping_of(int).to(int)
ensure({1: 2, 3: 4}).is_a_dict_of(int).to(int)
ensure({1: 2, 3: 4}).is_a(dict).of(int).to(int)
ensure(10**100).is_numeric()
ensure(lambda: 1).is_callable()
ensure("abc").has_length(3)
ensure("abc").has_length(min=3, max=8)
ensure(1).is_greater_than(0)
ensure(1).exceeds(0)
ensure(0).is_less_than(1)
ensure(1).is_greater_than_or_equal_to(1)
ensure(0).is_less_than_or_equal_to(0)
ensure(1).is_positive()
ensure(1.1).is_a_positive(float)
ensure(-1).is_negative()
ensure(-1).is_a_negative(int)
ensure(0).is_nonnegative()
ensure(0).is_a_nonnegative(int)
ensure([1,2,3]).is_sorted()
.. code-block:: python
ensure("{x} {y}".format).called_with(x=1, y=2).equals("1 2")
ensure(int).called_with("1100101", base=2).returns(101)
ensure("{x} {y}".format).with_args(x=1, y=2).is_a(str)
with ensure().raises(ZeroDivisionError):
1/0
with ensure().raises_regex(NameError, "'w00t' is not defined"):
w00t
See `complete API documentation <https://kislyuk.github.io/ensure/#module-ensure>`_.
Enforcing function annotations
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Use the ``@ensure_annotations`` decorator to enforce
`function signature annotations <http://www.python.org/dev/peps/pep-3107/>`_:
.. code-block:: python
from ensure import ensure_annotations
@ensure_annotations
def f(x: int, y: float) -> float:
return x+y
f(1, 2.3)
::
>>> 3.3
.. code-block:: python
f(1, 2)
::
>>> ensure.EnsureError: Argument y to <function f at 0x109b7c710> does not match annotation type <class 'float'>
Compare this runtime type checking to compile-time checking in `Mypy <http://www.mypy-lang.org/>`_ and `type hinting in PEP 484/Python 3.5+ <https://www.python.org/dev/peps/pep-0484/>`_.
Motivation and goals
~~~~~~~~~~~~~~~~~~~~
Many BDD assertion libraries suffer from an excess of magic, or end up having to construct statements that don't parse
as English easily. *ensure* is deliberately kept simple to avoid succumbing to either issue. The
`source <https://github.com/kislyuk/ensure/blob/master/ensure/__init__.py>`_ is easy to read and extend.
Work remains to make error messages raised by *ensure* even more readable, informative, and consistent. Going forward,
ability to introspect exceptions to extract structured error information will be a major development
focus. You will be in control of how much information is presented in each error, which context it's thrown from, and
what introspection capabilities the exception object will have.
The original use case for *ensure* is as an I/O validation helper for API endpoints, where the client needs to be sent a
very clear message about what went wrong, some structured information (such as an HTTP error code and machine-readable
reference to a failing element) may need to be added, and some information may need to be hidden from the client. To
further improve on that, we will work on better error translation, marshalling, message formatting, and schema
validation helpers.
Authors
-------
* Andrey Kislyuk
* Harrison Metzger
Links
-----
* `Project home page (GitHub) <https://github.com/kislyuk/ensure>`_
* `Documentation <https://kislyuk.github.io/ensure/>`_
* `Package distribution (PyPI) <https://pypi.python.org/pypi/ensure>`_
Bugs
~~~~
Please report bugs, issues, feature requests, etc. on `GitHub <https://github.com/kislyuk/ensure/issues>`_.
License
-------
Licensed under the terms of the `Apache License, Version 2.0 <http://www.apache.org/licenses/LICENSE-2.0>`_.
.. image:: https://github.com/kislyuk/ensure/workflows/CI/badge.svg
:target: https://github.com/kislyuk/ensure/actions
.. image:: https://codecov.io/github/kislyuk/ensure/coverage.svg?branch=master
:target: https://codecov.io/github/kislyuk/ensure?branch=master
.. image:: https://img.shields.io/pypi/v/ensure.svg
:target: https://pypi.python.org/pypi/ensure
.. image:: https://img.shields.io/pypi/l/ensure.svg
:target: https://pypi.python.org/pypi/ensure
Raw data
{
"_id": null,
"home_page": "https://github.com/kislyuk/ensure",
"name": "ensure",
"maintainer": "",
"docs_url": null,
"requires_python": ">=3.6",
"maintainer_email": "",
"keywords": "",
"author": "Andrey Kislyuk",
"author_email": "kislyuk@gmail.com",
"download_url": "https://files.pythonhosted.org/packages/14/b4/3c6b1c6af40fbd60bd1b2f0f8b55a8cbbc0993d4019a428b99e86f7bdee9/ensure-1.0.4.tar.gz",
"platform": "MacOS X",
"description": "ensure: Literate assertions in Python\n=====================================\n*ensure* is a set of simple assertion helpers that let you write more expressive, literate, concise, and readable\nPythonic code for validating conditions. It's inspired by `should.js <https://github.com/shouldjs/should.js>`_,\n`expect.js <https://github.com/Automattic/expect.js>`_, and builds on top of the\n`unittest/JUnit assert helpers <http://docs.python.org/2/library/unittest.html#assert-methods>`_.\n\nIf you use Python 3, you can use *ensure* to enforce your **function signature annotations**: see\n`PEP 3107 <http://www.python.org/dev/peps/pep-3107/>`_ and the\n@ensure_annotations decorator below.\n\nBecause *ensure* is fast, is a standalone library (not part of a test framework), doesn't monkey-patch anything or use DSLs,\nand doesn't use the assert statement (which is liable to be turned off with the ``-O`` flag), it can be used to validate\nconditions in production code, not just for testing (though it certainly works as a BDD test utility library).\n\nAside from better looking code, a big reason to use *ensure* is that it provides more consistent, readable, and\ninformative error messages when things go wrong. See\n`Motivation and Goals <https://github.com/kislyuk/ensure#motivation-and-goals>`_ for more.\n\nInstallation\n------------\n::\n\n pip install ensure\n\nSynopsis\n--------\n\n.. code-block:: python\n\n from ensure import ensure\n\n ensure(1).is_an(int)\n ensure({1: {2: 3}}).equals({1: {2: 3}}).also.contains(1)\n ensure({1: \"a\"}).has_key(1).whose_value.has_length(1)\n ensure.each_of([{1: 2}, {3: 4}]).is_a(dict).of(int).to(int)\n ensure(int).called_with(\"1100101\", base=2).returns(101)\n ensure(dict).called_with(1, 2).raises(TypeError)\n check(1).is_a(float).or_raise(Exception, \"An error happened: {msg}. See http://example.com for more information.\")\n\nIn Python 3:\n\n.. code-block:: python\n\n from ensure import ensure_annotations\n\n @ensure_annotations\n def f(x: int, y: float) -> float:\n return x+y\n\nSee **More examples** below.\n\nNotes\n~~~~~\nThe ``ensure`` module exports the ``Ensure`` class and its convenience instance ``ensure``. Instances of the class are\ncallable, and the call will reset the contents that the instance is inspecting, so you can reuse it for many checks (as\nseen above).\n\nThe class raises ``EnsureError`` (a subclass of ``AssertionError``) by default.\n\nThere are several ways to **chain clauses**, depending on the grammatical context: ``.also``, ``.which``, and\n``.whose_value`` are available per examples below.\n\nRaising custom exceptions\n~~~~~~~~~~~~~~~~~~~~~~~~~\nYou can pass a callable or exception class as the ``error_factory`` keyword argument to ``Ensure()``, or you can use the\n``Check`` class or its convenience instance ``check()``. This class behaves like ``Ensure``, but does not raise errors\nimmediately. It saves them and chains the methods ``otherwise()``, ``or_raise()`` and ``or_call()`` to the end of the\nclauses.\n\n.. code-block:: python\n\n from ensure import check\n\n check(\"w00t\").is_an(int).or_raise(Exception)\n check(1).is_a(float).or_raise(Exception, \"An error happened: {msg}. See http://example.com for more information.\")\n check(\"w00t\").is_an(int).or_raise(MyException, 1, 2, x=3, y=4)\n\n.. code-block:: python\n\n def build_fancy_exception(original_exception):\n return MyException(original_exception)\n\n check(\"w00t\").is_an(int).otherwise(build_fancy_exception)\n check(\"w00t\").is_an(int).or_call(build_fancy_exception, *args, **kwargs)\n\nMore examples\n-------------\n\n.. code-block:: python\n\n ensure({1: {2: 3}}).is_not_equal_to({1: {2: 4}})\n ensure(True).does_not_equal(False)\n ensure(1).is_in(range(10))\n ensure(True).is_a(bool)\n ensure(True).is_(True)\n ensure(True).is_not(False)\n\n.. code-block:: python\n\n ensure([\"train\", \"boat\"]).contains_one_of([\"train\"])\n ensure(range(8)).contains(5)\n ensure([\"spam\"]).contains_none_of([\"eggs\", \"ham\"])\n ensure(\"abcdef\").contains_some_of(\"abcxyz\")\n ensure(\"abcdef\").contains_one_or_more_of(\"abcxyz\")\n ensure(\"abcdef\").contains_all_of(\"acf\")\n ensure(\"abcd\").contains_only(\"dcba\")\n ensure(\"abc\").does_not_contain(\"xyz\")\n ensure([1, 2, 3]).contains_no(float)\n ensure(1).is_in(range(10))\n ensure(\"z\").is_not_in(\"abc\")\n ensure(None).is_not_in([])\n ensure(dict).has_attribute('__contains__').which.is_callable()\n ensure({1: \"a\", 2: \"b\", 3: \"c\"}).has_keys([1, 2])\n ensure({1: \"a\", 2: \"b\"}).has_only_keys([1, 2])\n\n.. code-block:: python\n\n ensure(1).is_true()\n ensure(0).is_false()\n ensure(None).is_none()\n ensure(1).is_not_none()\n ensure(\"\").is_empty()\n ensure([1, 2]).is_nonempty().also.has_length(2)\n ensure(1.1).is_a(float).which.equals(1.10)\n ensure(KeyError()).is_an(Exception)\n ensure({x: str(x) for x in range(5)}).is_a_nonempty(dict).of(int).to(str)\n ensure({}).is_an_empty(dict)\n ensure(None).is_not_a(list)\n\n.. code-block:: python\n\n import re\n ensure(\"abc\").matches(\"A\", flags=re.IGNORECASE)\n ensure([1, 2, 3]).is_an_iterable_of(int)\n ensure([1, 2, 3]).is_a_list_of(int)\n ensure({1, 2, 3}).is_a_set_of(int)\n ensure({1: 2, 3: 4}).is_a_mapping_of(int).to(int)\n ensure({1: 2, 3: 4}).is_a_dict_of(int).to(int)\n ensure({1: 2, 3: 4}).is_a(dict).of(int).to(int)\n ensure(10**100).is_numeric()\n ensure(lambda: 1).is_callable()\n ensure(\"abc\").has_length(3)\n ensure(\"abc\").has_length(min=3, max=8)\n ensure(1).is_greater_than(0)\n ensure(1).exceeds(0)\n ensure(0).is_less_than(1)\n ensure(1).is_greater_than_or_equal_to(1)\n ensure(0).is_less_than_or_equal_to(0)\n ensure(1).is_positive()\n ensure(1.1).is_a_positive(float)\n ensure(-1).is_negative()\n ensure(-1).is_a_negative(int)\n ensure(0).is_nonnegative()\n ensure(0).is_a_nonnegative(int)\n ensure([1,2,3]).is_sorted()\n\n.. code-block:: python\n\n ensure(\"{x} {y}\".format).called_with(x=1, y=2).equals(\"1 2\")\n ensure(int).called_with(\"1100101\", base=2).returns(101)\n ensure(\"{x} {y}\".format).with_args(x=1, y=2).is_a(str)\n with ensure().raises(ZeroDivisionError):\n 1/0\n with ensure().raises_regex(NameError, \"'w00t' is not defined\"):\n w00t\n\nSee `complete API documentation <https://kislyuk.github.io/ensure/#module-ensure>`_.\n\nEnforcing function annotations\n~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\nUse the ``@ensure_annotations`` decorator to enforce\n`function signature annotations <http://www.python.org/dev/peps/pep-3107/>`_:\n\n.. code-block:: python\n\n from ensure import ensure_annotations\n\n @ensure_annotations\n def f(x: int, y: float) -> float:\n return x+y\n\n f(1, 2.3)\n\n::\n\n >>> 3.3\n\n.. code-block:: python\n\n f(1, 2)\n\n::\n\n >>> ensure.EnsureError: Argument y to <function f at 0x109b7c710> does not match annotation type <class 'float'>\n\nCompare this runtime type checking to compile-time checking in `Mypy <http://www.mypy-lang.org/>`_ and `type hinting in PEP 484/Python 3.5+ <https://www.python.org/dev/peps/pep-0484/>`_.\n\nMotivation and goals\n~~~~~~~~~~~~~~~~~~~~\nMany BDD assertion libraries suffer from an excess of magic, or end up having to construct statements that don't parse\nas English easily. *ensure* is deliberately kept simple to avoid succumbing to either issue. The\n`source <https://github.com/kislyuk/ensure/blob/master/ensure/__init__.py>`_ is easy to read and extend.\n\nWork remains to make error messages raised by *ensure* even more readable, informative, and consistent. Going forward,\nability to introspect exceptions to extract structured error information will be a major development\nfocus. You will be in control of how much information is presented in each error, which context it's thrown from, and\nwhat introspection capabilities the exception object will have.\n\nThe original use case for *ensure* is as an I/O validation helper for API endpoints, where the client needs to be sent a\nvery clear message about what went wrong, some structured information (such as an HTTP error code and machine-readable\nreference to a failing element) may need to be added, and some information may need to be hidden from the client. To\nfurther improve on that, we will work on better error translation, marshalling, message formatting, and schema\nvalidation helpers.\n\nAuthors\n-------\n* Andrey Kislyuk\n* Harrison Metzger\n\nLinks\n-----\n* `Project home page (GitHub) <https://github.com/kislyuk/ensure>`_\n* `Documentation <https://kislyuk.github.io/ensure/>`_\n* `Package distribution (PyPI) <https://pypi.python.org/pypi/ensure>`_\n\nBugs\n~~~~\nPlease report bugs, issues, feature requests, etc. on `GitHub <https://github.com/kislyuk/ensure/issues>`_.\n\nLicense\n-------\nLicensed under the terms of the `Apache License, Version 2.0 <http://www.apache.org/licenses/LICENSE-2.0>`_.\n\n.. image:: https://github.com/kislyuk/ensure/workflows/CI/badge.svg\n :target: https://github.com/kislyuk/ensure/actions\n.. image:: https://codecov.io/github/kislyuk/ensure/coverage.svg?branch=master\n :target: https://codecov.io/github/kislyuk/ensure?branch=master\n.. image:: https://img.shields.io/pypi/v/ensure.svg\n :target: https://pypi.python.org/pypi/ensure\n.. image:: https://img.shields.io/pypi/l/ensure.svg\n :target: https://pypi.python.org/pypi/ensure\n",
"bugtrack_url": null,
"license": "Apache Software License",
"summary": "Literate BDD assertions in Python with no magic",
"version": "1.0.4",
"project_urls": {
"Homepage": "https://github.com/kislyuk/ensure"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "5334076953d6007a5eeaa2fdd2f78c23bdf4ba1926f3cd334d59af34f354ecc6",
"md5": "140ba458da898efe3c4d2d0813ba3377",
"sha256": "ad88628482eac9bf91dd147ae677f26aeac6c65e1c91a161a0306dbd83f6efd9"
},
"downloads": -1,
"filename": "ensure-1.0.4-py3-none-any.whl",
"has_sig": false,
"md5_digest": "140ba458da898efe3c4d2d0813ba3377",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.6",
"size": 15564,
"upload_time": "2023-12-10T03:32:40",
"upload_time_iso_8601": "2023-12-10T03:32:40.453545Z",
"url": "https://files.pythonhosted.org/packages/53/34/076953d6007a5eeaa2fdd2f78c23bdf4ba1926f3cd334d59af34f354ecc6/ensure-1.0.4-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "14b43c6b1c6af40fbd60bd1b2f0f8b55a8cbbc0993d4019a428b99e86f7bdee9",
"md5": "2dd79de520f30bd813d25311025a4c9b",
"sha256": "41b9093d591b5c25ee3c65c36da153b89abfcb7acb21ecebf21944704934f9b0"
},
"downloads": -1,
"filename": "ensure-1.0.4.tar.gz",
"has_sig": false,
"md5_digest": "2dd79de520f30bd813d25311025a4c9b",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6",
"size": 21471,
"upload_time": "2023-12-10T03:32:42",
"upload_time_iso_8601": "2023-12-10T03:32:42.788030Z",
"url": "https://files.pythonhosted.org/packages/14/b4/3c6b1c6af40fbd60bd1b2f0f8b55a8cbbc0993d4019a428b99e86f7bdee9/ensure-1.0.4.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-12-10 03:32:42",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "kislyuk",
"github_project": "ensure",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"requirements": [],
"lcname": "ensure"
}
JSON
