no.motif.f

Class PartialApplication<FN extends no.motif.f.FnType,V,PARTIALFN extends no.motif.f.FnType>

java.lang.Object

no.motif.f.PartialApplication<FN,V,PARTIALFN>

Type Parameters:

V - Type of the value passed as the first argument

FN - The function to partially apply.

PARTIALFN - The resulting partially applied function.

All Implemented Interfaces:

Serializable, Fn<V,PARTIALFN>

public abstract class PartialApplication<FN extends no.motif.f.FnType,V,PARTIALFN extends no.motif.f.FnType>
extends Object
implements Fn<V,PARTIALFN>

A PartialApplication is used to build more specialized functions from another function. It is itself a higher order function (Fn<V, FN>) which takes a value, and yields the specialized function, where the value is passed as the first argument to the more generic function.

When doing a partial application of a function with n arguments, a function taking n-1 arguments is yielded, where n > 0. Applying the yielded function will complete the partial application.

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
PARTIALFN	$(V value) Applies the function.
PARTIALFN	of(Fn0<V> value)
PARTIALFN	of(V value)
protected abstract PARTIALFN	partiallyApply(FN fn, Fn0<V> arg) Do the partial application, i.e.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

$

public final PARTIALFN $(V value)

Description copied from interface: Fn

Applies the function.

Specified by:

$ in interface Fn<V,PARTIALFN extends no.motif.f.FnType>

Parameters:

value - The value to apply the function on.

Returns:

the result from the function application.

of

public final PARTIALFN of(V value)

of

public final PARTIALFN of(Fn0<V> value)

partiallyApply

protected abstract PARTIALFN partiallyApply(FN fn,
                                            Fn0<V> arg)

Do the partial application, i.e. build the arity n-1 function.

Parameters:

fn - the function to partially apply

arg - the argument to partially apply fn with.

Returns:

the new function resulting from the partial application.