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

Packages that use ContractDoubleCondition

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

Uses of ContractDoubleCondition in com.io7m.jaffirm.core

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

Modifier and Type	Method	Description
ContractDoubleCondition	ContractDoubleCondition.Builder.build()	Builds a new ContractDoubleCondition.
static ContractDoubleCondition	Contracts.conditionD(DoublePredicate condition, DoubleFunction<String> describer)	Construct a double specialized predicate from the given predicate function and describer.
static ContractDoubleCondition	ContractDoubleCondition.copyOf(ContractDoubleConditionType instance)	Creates an immutable copy of a ContractDoubleConditionType value.
static ContractDoubleCondition	ContractDoubleCondition.of(DoublePredicate predicate, DoubleFunction<String> describer)	Construct a new immutable ContractDoubleCondition instance.
ContractDoubleCondition	ContractDoubleCondition.withDescriber(DoubleFunction<String> value)	Copy the current immutable object by setting a value for the describer attribute.
ContractDoubleCondition	ContractDoubleCondition.withPredicate(DoublePredicate value)	Copy the current immutable object by setting a value for the predicate attribute.