Contracts

java.lang.Object

com.io7m.jaffirm.core.Contracts

public final class Contracts extends Object

Functions to create contracts and conditions.

Method Summary

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 Details
- 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