Orbital library

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

The set of all void functions of type {()}→B is Map(A0,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.

Orbital library
1.3.0: 11 Apr 2009

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