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

All Known Implementing Classes:

ContractDoubleCondition
```
@Immutable
public interface ContractDoubleConditionType
```
A double specialized version of the ContractConditionType type.

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

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