orbital.logic.functor
Class Functions

java.lang.Object
  orbital.logic.functor.Functions

public final class Functions
extends java.lang.Object

Function Implementations.

Author:

André Platzer

See Also:

Functionals

Stereotype:

Module

Field Summary

static Functions	functions Class alias object.
static Function	id id: A->A; x |-> x .
static BinaryFunction	projectFirst Projects to the first argument, ignoring the second.
static BinaryFunction	projectSecond Projects to the second argument, ignoring the first.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

functions

public static final Functions functions

Class alias object.

id

public static final Function id

id: A->A; x |-> x .

projectFirst

public static final BinaryFunction projectFirst

Projects to the first argument, ignoring the second.

projectFirst: (x,y) |-> x.

Equals Functionals.onFirst(Functions.id)

Evolves: might be renamed.

projectSecond

public static BinaryFunction projectSecond

Projects to the second argument, ignoring the first.

projectSecond: (x,y) |-> y.

Equals Functionals.onSecond(Functions.id)

Evolves: might be renamed.