Package eu.bandm.tools.ops

Class SpecialFunctions

java.lang.Object

eu.bandm.tools.ops.SpecialFunctions

public abstract class SpecialFunctions
extends Object

Library of constants and combinators for special functions.

Method Summary

Modifier and Type	Method	Description
static <A> Semigroup<A>	asSemigroup(BiFunction<? super A,? super A,? extends A> f)
static <A, B, C> InvertibleFunction<A,C>	compose(InvertibleFunction<A,B> inner, InvertibleFunction<B,C> outer)
static <A, B, C> RetractableFunction<A,C>	compose(RetractableFunction<A,B> inner, RetractableFunction<B,C> outer)
static <A, B, C> SectionableFunction<A,C>	compose(SectionableFunction<A,B> inner, SectionableFunction<B,C> outer)
static <A> InvertibleFunction<A,A>	identity()
static <A> InvertibleFunction<A,A>	identity(Class<A> cls)
static <A, B> InvertibleFunction<B,A>	inverse(InvertibleFunction<A,B> fun)
static <A, B> SectionableFunction<B,A>	inverse(RetractableFunction<A,B> fun)
static <A, B> RetractableFunction<B,A>	inverse(SectionableFunction<A,B> fun)
static <A, B, C> Function<Tuple2<A,B>,C>	tupleConvert(BiFunction<? super A,? super B,? extends C> f)
static <A, B, C> BiFunction<A,B,C>	tupleConvert(Function<? super Tuple2<? super A,? super B>,? extends C> f)
static <A, B, C> Function<A,Tuple2<B,C>>	tupling(Function<? super A,? extends B> f, Function<? super A,? extends C> g)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

identity

public static <A> InvertibleFunction<A,A> identity()

identity

public static <A> InvertibleFunction<A,A> identity(Class<A> cls)

compose

public static <A,
B,
C> RetractableFunction<A,C> compose(RetractableFunction<A,B> inner,
 RetractableFunction<B,C> outer)

compose

public static <A,
B,
C> SectionableFunction<A,C> compose(SectionableFunction<A,B> inner,
 SectionableFunction<B,C> outer)

compose

public static <A,
B,
C> InvertibleFunction<A,C> compose(InvertibleFunction<A,B> inner,
 InvertibleFunction<B,C> outer)

asSemigroup

public static <A> Semigroup<A> asSemigroup(BiFunction<? super A,? super A,? extends A> f)

inverse

public static <A,
B> SectionableFunction<B,A> inverse(RetractableFunction<A,B> fun)

inverse

public static <A,
B> RetractableFunction<B,A> inverse(SectionableFunction<A,B> fun)

inverse

public static <A,
B> InvertibleFunction<B,A> inverse(InvertibleFunction<A,B> fun)

tupleConvert

public static <A,
B,
C> Function<Tuple2<A,B>,C> tupleConvert(BiFunction<? super A,? super B,? extends C> f)

tupleConvert

public static <A,
B,
C> BiFunction<A,B,C> tupleConvert(Function<? super Tuple2<? super A,? super B>,? extends C> f)

tupling

public static <A,
B,
C> Function<A,Tuple2<B,C>> tupling(Function<? super A,? extends B> f,
 Function<? super A,? extends C> g)