**Deal** is a Python library for [design by contract][wiki] (DbC) programming.
Project description
A Python library for design by contract (DbC) and checking values, exceptions, and side-effects. In a nutshell, deal empowers you to write bug-free code. Read intro to get started.
Features
- Classic DbC: precondition, postcondition, invariant.
- Tracking exceptions and side-effects.
- Property-based testing.
- Static checker.
- Integration with pytest, flake8, sphinx, and hypothesis.
- Type annotations support.
- External validators support.
- Contracts for importing modules.
- Can be enabled or disabled on production.
- Colorless: annotate only what you want. Hence, easy integration into an existing project.
- Colorful: syntax highlighting for every piece of code in every command.
- Memory leaks detection: deal makes sure that pure functions don't leave unexpected objects in the memory.
- DRY: test discovery, error messages generation.
- Partial execution: linter executes contracts to statically check possible values.
- Formal verification: prove that your code works for all input (or find out when it doesn't).
Deal in 30 seconds
# the result is always non-negative
@deal.post(lambda result: result >= 0)
# the function has no side-effects
@deal.pure
def count(items: List[str], item: str) -> int:
return items.count(item)
# generate test function
test_count = deal.cases(count)
Now we can:
- Run
python3 -m deal lintorflake8to statically check errors. - Run
python3 -m deal testorpytestto generate and run tests. - Just use the function in the project and check errors in runtime.
Read more in the documentation.
Installation
python3 -m pip install --user deal
Contributing
Contributions are welcome! A few ideas what you can contribute:
- Add new checks for the linter.
- Improve documentation.
- Add more tests.
- Improve performance.
- Found a bug? Fix it!
- Made an article about deal? Great! Let's add it into the
README.md. - Don't have time to code? No worries! Just tell your friends and subscribers about the project. More users -> more contributors -> more cool features.
Thank you :heart:
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
deal-4.14.0.tar.gz
(698.6 kB
view details)
Built Distribution
deal-4.14.0-py3-none-any.whl
(166.0 kB
view details)
File details
Details for the file deal-4.14.0.tar.gz.
File metadata
- Download URL: deal-4.14.0.tar.gz
- Upload date:
- Size: 698.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: python-requests/2.25.1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | f7a2b7881b502e9f7479b0a80620964e129c3f9f7dc5fdda85d7fa63c3c74c27 |
|
| MD5 | 628fe94ec2d905fc16dc01d2014b5a75 |
|
| BLAKE2b-256 | 29e1cfddeba7c3ce1ed487a116d5bdb7363fe5dfe7a3f71bf6b82e7881ef598d |
File details
Details for the file deal-4.14.0-py3-none-any.whl.
File metadata
- Download URL: deal-4.14.0-py3-none-any.whl
- Upload date:
- Size: 166.0 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: python-requests/2.25.1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 67f4df28e4e52cfd2b0f0c9bf1ecab91fe81124b1a0ef33b51c9c3390693a40e |
|
| MD5 | 52d446755afd4237f86d58b3bbaab184 |
|
| BLAKE2b-256 | dbd063f92300d4563f24d5c655b1b147c016b313ddb3828967146bb67caff6c8 |
