Uses of Class
com.io7m.jaffirm.core.ContractIntCondition.Builder

Packages that use ContractIntCondition.Builder

Package	Description
com.io7m.jaffirm.core	Core types and functions.

Uses of ContractIntCondition.Builder in com.io7m.jaffirm.core

Methods in com.io7m.jaffirm.core that return ContractIntCondition.Builder

Modifier and Type	Method	Description
static ContractIntCondition.Builder	ContractIntCondition.builder()	Creates a builder for ContractIntCondition.
ContractIntCondition.Builder	ContractIntCondition.Builder.from(ContractIntConditionType instance)	Fill a builder with attribute values from the provided ContractIntConditionType instance.
ContractIntCondition.Builder	ContractIntCondition.Builder.setDescriber(IntFunction<String> describer)	Initializes the value for the describer attribute.
ContractIntCondition.Builder	ContractIntCondition.Builder.setPredicate(IntPredicate predicate)	Initializes the value for the predicate attribute.