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

Packages that use ContractCondition

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

Uses of ContractCondition in com.io7m.jaffirm.core

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

Modifier and Type	Method and Description
ContractCondition<T>	ContractCondition.Builder.build() Builds a new ContractCondition.
static <T> ContractCondition<T>	Contracts.condition(Predicate<T> condition, Function<T,String> describer) Construct a predicate from the given predicate function and describer.
static <T> ContractCondition<T>	ContractCondition.copyOf(ContractConditionType<T> instance) Creates an immutable copy of a ContractConditionType value.
static <T> ContractCondition<T>	ContractCondition.of(Predicate<T> predicate, Function<T,String> describer) Construct a new immutable ContractCondition instance.
ContractCondition<T>	ContractCondition.withDescriber(Function<T,String> describer) Copy the current immutable object by setting a value for the describer attribute.
ContractCondition<T>	ContractCondition.withPredicate(Predicate<T> predicate) Copy the current immutable object by setting a value for the predicate attribute.