ExContract
- Top
- Summary
- Types
  - t_ast/0
- Functions
  - check/1
  - check/2
  - def/2
  - defp/2
  - ensures/1
  - ensures/2
  - fail/1
  - requires/1
  - requires/2
ExContract.Assert
- Top
- Summary
- Functions
  - check/4
  - ensures/4
  - fail/2
  - requires/4
ExContract.BaseContractException
- Top
ExContract.CompileState
- Top
- Summary
- Types
  - t/0
- Functions
ExContract.ConditionMsg
- Top
- Summary
- Types
  - t/0
- Functions
  - new/1
  - new/2

Ex Contract v0.1.2 ExContract.BaseContractException View Source

Base module for contract exceptions that provides common implementation and data representation.