Logo

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

© Copyright 2023, Gram (@orsinium). Revision e39f52c5.

Built with Sphinx using a theme provided by Read the Docs.