orbital.logic.functor
Interface BinaryPredicate.Composite

All Superinterfaces:

BinaryPredicate, Composite, Functor, Functor.Composite

Enclosing interface:

BinaryPredicate

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

A composed BinaryPredicate.

compose: (P,g,h) ↦ P o (g,h) := P(g,h).

A BinaryPredicate could be composed of an outer BinaryPredicate and two inner BinaryFunctions concatenated with the outer binary one. In other words, results P(g(x,y),h(x,y)).

Author:

André Platzer

See Also:

Functionals.compose(BinaryPredicate, BinaryFunction, BinaryFunction)

Structure:

is Functor.Composite∩BinaryPredicate, extends BinaryPredicate, extends Functor.Composite, aggregate outer:BinaryPredicate, aggregate left:BinaryFunction, aggregate right:BinaryFunction

Nested Class Summary

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

Functor.Specification

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

BinaryPredicate.Composite

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

Functor.Specification

Field Summary

Fields inherited from interface orbital.logic.functor.BinaryPredicate

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

apply

Methods inherited from interface orbital.logic.functor.Functor

equals, hashCode, toString