
Orbital library  
PREV PACKAGE NEXT PACKAGE  FRAMES NO FRAMES 
See:
Description
Interface Summary  

BinaryFunction  A functor that encapsulates the binary function f/2 . 
BinaryFunction.Composite  A composed BinaryFunction. 
BinaryPredicate  A functor that encapsulates the binary predicate P/2 . 
BinaryPredicate.Composite  A composed BinaryPredicate. 
Function  A functor that encapsulates the unary function f/1
which is kind of the most general Functor. 
Function.Composite  A composed Function. 
Functor  An abstract base interface for all functors of an arity n applicable in any predicatelogic style. 
Functor.Composite  The base interface for all functors that are composed of other functors. 
MutableFunction  A mutable function that can change its values. 
Predicate  A functor that encapsulates a unary predicate P/1 . 
Predicate.Composite  A composed Predicate. 
VoidFunction  A functor that encapsulates the void function f/0
which is constant if consistent. 
VoidFunction.Composite  A composed VoidFunction. 
VoidPredicate  A functor that encapsulates the void predicate P/0
which is constant if consistent. 
VoidPredicate.Composite  A composed VoidPredicate. 
Class Summary  

Functionals  Provides important compositional functionals for functors. 
Functionals.Anamorphism  Anamorphism recursion functional scheme (lense). 
Functionals.Catamorphism  Catamorphism recursion functional scheme (banana). 
Functionals.Hylomorphism  Hylomorphism recursion functional scheme (envelope). 
Functionals.Paramorphism  Paramorphism recursion functional scheme (barbed wire). 
Functions  Function Implementations. 
Functor.Specification  Represents a signature and type specification belonging to a functor. 
MutableFunction.TableFunction  A mutable function implemented as a tabular HashMap. 
Predicates  Predicate Implementations. 
Contains template interfaces for logic functors like Predicates and Functions that can be used for generalized callback, and functional operations based upon them.
The orbital.logic.functor.Functor interface is the basic interface tagging all sub interfaces that define (logical) functors. Instances of implementing classes can be used as a callback through this common interface. Predicates are special Functors returning a boolean (success or failure), while Functions are Functors returning arbitrary objects (return value).
Note that this package contains templates.
Common logic functor interfaces:

Orbital library 1.3.0: 11 Apr 2009 

PREV PACKAGE NEXT PACKAGE  FRAMES NO FRAMES 