Orbital library

orbital.logic.functor
Interface Function

All Superinterfaces:
Functor
All Known Subinterfaces:
Formula, Formula.Composite, Function, Function.Composite, Function.Composite, MutableFunction, Polynomial, Substitution, UnivariatePolynomial
All Known Implementing Classes:
Functionals.Anamorphism, Functionals.Catamorphism, Functionals.Hylomorphism, Functionals.Paramorphism, HeuristicAlgorithm.PatternDatabaseHeuristic, LogicBasis, MutableFunction.TableFunction

public interface Function
extends Functor

A functor that encapsulates the unary function f/1 which is kind of the most general Functor. Like "r = f(a)" it applies on

The set of all functions (or maps) of type A→B is called Map(A,B) = BA. For any cardinalities of A,B, it is in fact true that |BA| = |B||A|. These functions of Map(A,B) have the form

f: A→B; a ↦ f(a)

Author:
André Platzer
See Also:
BinaryFunction, VoidFunction, Properties of Functions
Structure:
inherit Functor

Nested Class Summary
static interface Function.Composite
          A composed Function.
 
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 arg)
          Called to apply the Function.
 
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 arg)
Called to apply the Function. Evaluates to f(a).

Parameters:
arg - generic Object as argument
Returns:
returns a generic Object.

Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.