ContractIntConditionType (com.io7m.jaffirm.documentation 3.0.0 API)

All Known Implementing Classes:

ContractIntCondition
```
@Immutable
public interface ContractIntConditionType
```
An int specialized version of the ContractConditionType type.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  IntFunction<String> describer()
  
  IntPredicate predicate()

- Method Detail
  - predicate
```
@Parameter(order=0)
IntPredicate predicate()
```
    Returns:
    
    A predicate that must evaluate to true for the contract to hold
  - describer
```
@Parameter(order=1)
IntFunction<String> describer()
```
    Returns:
    
    A function that returns a textual description of the predicate