java.lang.Object
- com.io7m.jaffirm.core.Contracts

public final class Contracts
extends Object

Functions to create contracts and conditions.

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static <T> ContractCondition<T>`	`condition(Predicate<T> condition, Function<T,String> describer)`	Construct a predicate from the given predicate function and describer.
`static ContractDoubleCondition`	`conditionD(DoublePredicate condition, DoubleFunction<String> describer)`	Construct a `double` specialized predicate from the given predicate function and describer.
`static ContractIntCondition`	`conditionI(IntPredicate condition, IntFunction<String> describer)`	Construct an `int` specialized predicate from the given predicate function and describer.
`static ContractLongCondition`	`conditionL(LongPredicate condition, LongFunction<String> describer)`	Construct a `long` specialized predicate from the given predicate function and describer.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

condition

public static <T> ContractCondition<T> condition(Predicate<T> condition,
                                                 Function<T,String> describer)

Construct a predicate from the given predicate function and describer.

Type Parameters:: T - The type of values
Parameters:: condition - The predicate function; describer - The describer
Returns:: A predicate

conditionI

public static ContractIntCondition conditionI(IntPredicate condition,
                                              IntFunction<String> describer)

Construct an int specialized predicate from the given predicate function and describer.

Parameters:: condition - The predicate function; describer - The describer
Returns:: A predicate

conditionL

public static ContractLongCondition conditionL(LongPredicate condition,
                                               LongFunction<String> describer)

Construct a long specialized predicate from the given predicate function and describer.

Parameters:: condition - The predicate function; describer - The describer
Returns:: A predicate

conditionD

public static ContractDoubleCondition conditionD(DoublePredicate condition,
                                                 DoubleFunction<String> describer)

Construct a double specialized predicate from the given predicate function and describer.

Parameters:: condition - The predicate function; describer - The describer
Returns:: A predicate