ContractConditionType (com.io7m.jaffirm.documentation 3.0.1 API)

Type Parameters:

T - The type of input values

All Known Implementing Classes:

ContractCondition
```
@Immutable
public interface ContractConditionType<T>
```
An individual predicate in a contract.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  Function<T,String> describer()
  
  Predicate<T> predicate()

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