Welcome to icontract’s documentation!
- Introduction
- Usage
- Checking Types at Runtime
- Async
- Recipes
- Serialize / Deserialize Pair
- Encapsulation of Immutable Types
- Unique Elements in a Sequence
- Contracts on Elements of a Collection
- Elements of a Sequence Sorted
- Non-overlapping Sorted Ranges
- Material Conditional (“If … then …”)
- Compare against a Redundant Implementation
- Exclusive Or (“Either … or …”)
- Intermediate Variables
- Implementation Details
- Known Issues
- Benchmarks
- API
- Development