Getting started
Intro
Contract-Driven Development
References
Writing contracts
Values
Exceptions
Side-effects
Checking contracts
Runtime
Tests
Linter
Formal verification
CrossHair
Dive deeper
More on writing contracts
Contracts for modules
Dispatch
Documentation
Stubs
More on testing
Recipes
Examples
CLI
API
Deal
»
Overview: module code
All modules for which code is available
deal._cli._decorate
deal._cli._lint
deal._cli._memtest
deal._cli._prove
deal._cli._stub
deal._cli._test
deal._exceptions
deal._imports
deal._runtime._decorators
deal._sphinx
deal._testing
examples.sphinx
Read the Docs
v: latest
Versions
latest
stable
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds