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
»
Index
Edit on GitHub
Index
_
|
A
|
C
|
D
|
E
|
F
|
H
|
I
|
K
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
_
__call__() (deal.cases method)
__init__() (deal.cases method)
__iter__() (deal.cases method)
__repr__() (deal.cases method)
__weakref__ (deal.cases attribute)
A
activate() (in module deal)
args() (deal.TestCase property)
autodoc() (in module deal)
C
cases (class in deal)
catch() (in module deal)
chain() (in module deal)
check_types (deal.cases attribute)
check_types() (deal.TestCase property)
ContractError
count (deal.cases attribute)
D
deal.introspection
module
DecorateCommand() (in module deal._cli._decorate)
disable() (in module deal)
dispatch() (in module deal)
E
enable() (in module deal)
ensure() (in module deal)
example() (in module deal)
(in module examples.sphinx)
ExampleContractError
exceptions() (deal.TestCase property)
F
func (deal.cases attribute)
func() (deal.TestCase property)
H
has() (in module deal)
I
implies() (in module deal)
inherit() (in module deal)
inv() (in module deal)
InvContractError
K
kwargs (deal.cases attribute)
kwargs() (deal.TestCase property)
L
LintCommand() (in module deal._cli._lint)
M
MarkerError
MemtestCommand() (in module deal._cli._memtest)
module
deal.introspection
module_load() (in module deal)
N
NoMatchError
O
OfflineContractError
P
post() (in module deal)
PostContractError
pre() (in module deal)
PreContractError
ProveCommand() (in module deal._cli._prove)
pure() (in module deal)
R
raises() (in module deal)
RaisesContractError
reason() (in module deal)
ReasonContractError
reset() (in module deal)
S
safe() (in module deal)
seed (deal.cases attribute)
settings (deal.cases attribute)
SilentContractError
StubCommand() (in module deal._cli._stub)
T
TestCase (class in deal)
TestCommand() (in module deal._cli._test)
Read the Docs
v: latest
Versions
latest
stable
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds