Uses of Interface com.io7m.jaffirm.core.ContractDoubleConditionType (com.io7m.jaffirm.documentation 3.0.0 API)

Packages that use ContractDoubleConditionType
Package Description

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

Uses of ContractDoubleConditionType in com.io7m.jaffirm.core

Classes in com.io7m.jaffirm.core that implement ContractDoubleConditionType
Modifier and Type	Class	Description
`class`	`ContractDoubleCondition`	A `double` specialized version of the `ContractConditionType` type.

Methods in com.io7m.jaffirm.core with parameters of type ContractDoubleConditionType
Modifier and Type	Method	Description
`static double`	Invariants.`checkInvariantD(double value, ContractDoubleConditionType condition)`	A `double` specialized version of `Invariants.checkInvariant(Object, ContractConditionType)`.
`static double`	Invariants.`checkInvariantsD(double value, ContractDoubleConditionType... conditions)`	A `double` specialized version of `Invariants.checkInvariants(Object, ContractConditionType[])`
`static double`	Postconditions.`checkPostconditionD(double value, ContractDoubleConditionType condition)`	A `double` specialized version of `Postconditions.checkPostcondition(Object, ContractConditionType)`.
`static double`	Postconditions.`checkPostconditionsD(double value, ContractDoubleConditionType... conditions)`	A `double` specialized version of `Postconditions.checkPostconditions(Object, ContractConditionType[])`
`static double`	Preconditions.`checkPreconditionD(double value, ContractDoubleConditionType condition)`	A `double` specialized version of `Preconditions.checkPrecondition(Object, ContractConditionType)`.
`static double`	Preconditions.`checkPreconditionsD(double value, ContractDoubleConditionType... conditions)`	A `double` specialized version of `Preconditions.checkPreconditions(Object, ContractConditionType[])`
`static ContractDoubleCondition`	ContractDoubleCondition.`copyOf(ContractDoubleConditionType instance)`	Creates an immutable copy of a `ContractDoubleConditionType` value.
`ContractDoubleCondition.Builder`	ContractDoubleCondition.Builder.`from(ContractDoubleConditionType instance)`	Fill a builder with attribute values from the provided `ContractDoubleConditionType` instance.