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.Composite∩VoidPredicate, 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