orbital.logic.functor
Interface BinaryFunction

All Superinterfaces:

Functor

All Known Subinterfaces:

BinaryFunction, BinaryFunction.Composite, BinaryFunction.Composite

public interface BinaryFunction
extends Functor

A functor that encapsulates the binary function f/2. Like "r = f(a,b)" it applies on

• argument first of type A1.
• argument second of type A2.
• returns of type B.

The set of all binary functions of type A₁×A₂→B is Map(A₁×A₂,B) = B^A. These functions have the form

f: A₁×A₂→B; (a₁,a₂) ↦ f(a₁,a₂)

Additionally, the types A₁×A₂→B and A₁→(A₂→B) are isomorph and Map(A₁×A₂,B) ≅ Map(A₁,Map(A₂,B))

Author:

André Platzer

See Also:

Function

Structure:

inherit Functor

Nested Class Summary

static interface

BinaryFunction.Composite A composed BinaryFunction.

Nested classes/interfaces inherited from interface orbital.logic.functor.Functor

Functor.Specification

Field Summary

static Functor.Specification

callTypeDeclaration specification of these functors.

Method Summary

java.lang.Object

apply(java.lang.Object first, java.lang.Object second) Called to apply the BinaryFunction.

Methods inherited from interface orbital.logic.functor.Functor

equals, hashCode, toString

Field Detail

callTypeDeclaration

static final Functor.Specification callTypeDeclaration

specification of these functors.

Method Detail

apply

java.lang.Object apply(java.lang.Object first,
                       java.lang.Object second)

Called to apply the BinaryFunction. f(a,b).

Parameters:

first - generic Object as first argument

second - generic Object as second argument

Returns:

returns a generic Object.