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

Packages that use ContractIntCondition

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

Uses of ContractIntCondition in com.io7m.jaffirm.core

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

Modifier and Type	Method	Description
ContractIntCondition	ContractIntCondition.Builder.build()	Builds a new ContractIntCondition.
static ContractIntCondition	Contracts.conditionI(IntPredicate condition, IntFunction<String> describer)	Construct an int specialized predicate from the given predicate function and describer.
static ContractIntCondition	ContractIntCondition.copyOf(ContractIntConditionType instance)	Creates an immutable copy of a ContractIntConditionType value.
static ContractIntCondition	ContractIntCondition.of(IntPredicate predicate, IntFunction<String> describer)	Construct a new immutable ContractIntCondition instance.
ContractIntCondition	ContractIntCondition.withDescriber(IntFunction<String> value)	Copy the current immutable object by setting a value for the describer attribute.
ContractIntCondition	ContractIntCondition.withPredicate(IntPredicate value)	Copy the current immutable object by setting a value for the predicate attribute.