Uses of Interface
orbital.logic.functor.VoidFunction

Packages that use VoidFunction

orbital.logic.functor

Contains template interfaces for logic functors like Predicates and Functions that can be used for generalized call-back, and functional operations based upon them.

Uses of VoidFunction in orbital.logic.functor

Subinterfaces of VoidFunction in orbital.logic.functor

static interface

VoidFunction.Composite A composed VoidFunction.

Methods in orbital.logic.functor that return VoidFunction

static VoidFunction	Functionals.asFunction(VoidPredicate p) converts a predicate to a function.
static VoidFunction	Functionals.bind(Function f, java.lang.Object a) Binds the argument of a Function to a fixed value.

Methods in orbital.logic.functor with parameters of type VoidFunction

static VoidFunction.Composite	Functionals.compose(BinaryFunction f, VoidFunction g, VoidFunction h) compose: Map(B1×B2,C)×(Map({()},B1)×Map({()},B2))→Map({()},C); (f,g,h) ↦ f ∘ (g × h) := f(g,h) .
static VoidPredicate.Composite	Functionals.compose(BinaryPredicate P, VoidFunction g, VoidFunction h) compose: ℘(B1×B2)×(Map({()},B1)×Map({()},B2))→℘({()}); (P,g,h) ↦ P ∘ (g × h) := P(g,h) .
static VoidFunction.Composite	Functionals.compose(Function f, VoidFunction g) compose: Map(B,C)×Map({()},B)→Map({()},C); (f,g) ↦ f ∘ g := f(g).
static VoidPredicate.Composite	Functionals.compose(Predicate P, VoidFunction g) compose: ℘(B)×Map({()},B)→℘({()}); (P,g) ↦ P ∘ g := P(g).
static Function	Functionals.onVoid(VoidFunction f) Applies a function on the void argument, ignoring all arguments.