Orbital library

orbital.logic.functor
Interface VoidPredicate.Composite

All Superinterfaces:
Composite, Functor, Functor.Composite, VoidPredicate
Enclosing interface:
VoidPredicate

public static interface VoidPredicate.Composite
extends Functor.Composite, VoidPredicate

A composed VoidPredicate.

compose: (P,g) ↦ P ∘ g := P(g).

A VoidPredicate could be composed of an outer Predicate and an inner VoidFunction.

Author:
André Platzer
See Also:
Functionals.compose(Predicate, VoidFunction)
Structure:
is Functor.CompositeVoidPredicate, extends VoidPredicate, extends Functor.Composite, aggregate outer:Predicate, aggregate inner:VoidFunction

Nested Class Summary
 
Nested classes/interfaces inherited from interface orbital.logic.functor.Functor
Functor.Specification
 
Nested classes/interfaces inherited from interface orbital.logic.functor.VoidPredicate
VoidPredicate.Composite
 
Nested classes/interfaces inherited from interface orbital.logic.functor.Functor
Functor.Specification
 
Field Summary
 
Fields inherited from interface orbital.logic.functor.VoidPredicate
callTypeDeclaration
 
Method Summary
 
Methods inherited from interface orbital.logic.functor.Functor.Composite
getNotation, setNotation
 
Methods inherited from interface orbital.logic.Composite
construct, getComponent, getCompositor, setComponent, setCompositor
 
Methods inherited from interface orbital.logic.functor.Functor
equals, hashCode, toString
 
Methods inherited from interface orbital.logic.functor.VoidPredicate
apply
 
Methods inherited from interface orbital.logic.functor.Functor
equals, hashCode, toString
 


Orbital library
1.3.0: 11 Apr 2009

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