orbital.logic.functor
Interface VoidFunction

All Superinterfaces:

Functor

All Known Subinterfaces:

VoidFunction.Composite

public interface VoidFunction
extends Functor

A functor that encapsulates the void function f/0 which is constant if consistent. Like "r = f()" it applies on

• non-argument void.
• returns of type B.

The set of all void functions of type {()}→B is Map(A⁰,B) = Map({()},B) = B^{()} ≅ B. These functions have the form

f: {()}→B; () ↦ f()

Note that if you stick to functional void funtions (who are right-unique or consistent then), there are only |B| different void maps who are all constant.

Author:

André Platzer

See Also:

Function

Nested Class Summary

static interface

VoidFunction.Composite A composed VoidFunction.

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() Called to apply the VoidFunction.

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()

Called to apply the VoidFunction. f().

Parameters:

none - void non-argument

Returns:

returns a generic Object.