orbital.logic.functor
Interface Predicate.Composite

All Superinterfaces:

Composite, Functor, Functor.Composite, Predicate

Enclosing interface:

Predicate

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

A composed Predicate.

compose: (P,g) |-> P º g := P(g).

A Predicate could be composed of an outer Predicate and an inner Function.

Author:

André Platzer

See Also:

Functionals.compose(Predicate, Function)

Structure:

is Functor.Composite section Predicate, extends Predicate, extends Functor.Composite, aggregate outer:Predicate, aggregate inner:Function

Nested Class Summary

Nested classes/interfaces inherited from interface orbital.logic.functor.Predicate

Predicate.Composite

Nested classes/interfaces inherited from interface orbital.logic.functor.Functor

Functor.Specification

Field Summary

Fields inherited from interface orbital.logic.functor.Predicate

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.Predicate

apply

Methods inherited from interface orbital.logic.functor.Functor

equals, hashCode, toString