References

This page provides a quick navigation by the documentation in case if you’re looking for something specific.

Decorators

decorator

reference

documentation

@deal.chain

deal.chain

More on writing contracts / deal.chain

@deal.dispatch

deal.dispatch

Dispatch

@deal.ensure

deal.ensure

Values / deal.ensure

@deal.example

deal.example

Documentation / deal.example

@deal.has

deal.has

Side-effects

@deal.inherit

deal.inherit

More on writing contracts / deal.inherit

@deal.inv

deal.inv

Values / deal.inv

@deal.post

deal.post

Values / deal.post

@deal.pre

deal.pre

Values / deal.pre

@deal.pure

deal.pure

@deal.raises

deal.raises

Exceptions / deal.raises

@deal.reason

deal.reason

Exceptions / deal.reason

@deal.safe

deal.safe

Exceptions

decorator

reference

documentation

deal.ContractError

deal.ContractError

Values / Exceptions

deal.ExampleContractError

deal.ExampleContractError

deal.InvContractError

deal.InvContractError

Values / Exceptions

deal.MarkerError

deal.MarkerError

deal.NoMatchError

deal.NoMatchError

Dispatch

deal.OfflineContractError

deal.OfflineContractError

deal.PostContractError

deal.PostContractError

Values / Exceptions

deal.PreContractError

deal.PreContractError

Values / Exceptions

deal.RaisesContractError

deal.RaisesContractError

deal.ReasonContractError

deal.ReasonContractError

deal.SilentContractError

deal.SilentContractError

Projects integrating deal