la.la

Class Function

java.lang.Object

la.la.Value

la.la.Function

All Implemented Interfaces:

java.lang.Comparable<Value>

Direct Known Subclasses:

Function.Native, Function.WithInverse, Value.Lambda

public abstract class Function
extends Value

The class of Functions; note that a Function is a Value. Also see Value.Lambda, and the standard Library.
(Classes Integral and Derivative were modified and CtsD2CtsD added in 2020.)

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Function.Cts2Cts The class of Cts → Cts Functions.
static class	Function.Cts2Cts2Cts Curried continuous functions, R→R→R or more correctly Cts→Cts→Cts.
static class	Function.CtsD2CtsD Functions of Vectors of D Continuous Values, RD→RD.
static interface	Function.HasInverse A Function, f, might have an inverse() Function.
static class	Function.Native Native, Functions specified by arbitrary Java code in apply(v).
static class	Function.Native2 Curried native Functions specified by arbitrary Java code in apply2(v0,v1).
static class	Function.Native3 3-Curried native Functions specified by arbitrary Java code in apply3(v0,v1,v2).
static class	Function.WithInverse This class exists so that one can create an anonymous Function which (implements) HasInverse.

Nested classes/interfaces inherited from class la.la.Value

Value.Atomic, Value.Bool, Value.Char, Value.Chars, Value.Cts, Value.Defer, Value.Discrete, Value.Enum, Value.Inc_Or, Value.Int, Value.Lambda, Value.List, Value.Maybe, Value.Option, Value.Real, Value.Scannable, Value.Structured, Value.Triv, Value.Tuple

Field Summary

Fields inherited from class la.la.Value

C, comparator, CR, E, eight, ffalse, five, fiveR, four, fourR, half, negCR, negOne, negOneR, negTenR, nilVal, nine, None, one, oneR, PI, PIby2, point01, point1, point5, point9, quarter, seven, six, ten, tenR, three, threeR, triv, ttrue, two, twoR, zero, zeroR

Constructor Summary

Constructors

Constructor and Description
Function()

Method Summary

Modifier and Type	Method and Description
abstract Value	apply(Value p) Apply 'this' Function to parameter 'p'.
Function	bOp(int op, Function g) A binary operator on Functions 'this' (f) and 'g', such that (f <op> g)(x) = f(x) <op> g(x).
static Function.Native2	fromBop(int op) Return a Curried Function based on the binary operator, 'op' (+, *, etc.).
static Function.Native	fromUop(int op) Return a Function, of one parameter, based on the unary operator 'op' (not, -, hd, etc.).
static void	main(java.lang.String[] argv) main() allows class Function to be very slightly tested, in isolation.
java.lang.String	toString() Return the String "Function".
Type	type() Return Type.FUNCTION.
Function	uOp(int op) A unary operator on 'this' Function f, such that (<op> f)(x) = <op> (f(x)). That is, f.uOp(op).apply(x) = f.apply(x).uOp(op).

Methods inherited from class la.la.Value

AoM, bOp, compareTo, cons, cts, elt, errMsg, error, force, isTuple, just, n, nElts, nlAoM, pair, print, quad, real, RTE, triple, tuple, UOE, x

Methods inherited from class java.lang.Object

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

Constructor Detail

Function

public Function()

Method Detail

type

public Type type()

Return Type.FUNCTION.

Specified by:

type in class Value

apply

public abstract Value apply(Value p)

Apply 'this' Function to parameter 'p'.

Overrides:

apply in class Value

toString

public java.lang.String toString()

Return the String "Function".

Overrides:

toString in class Value

uOp

public Function uOp(int op)

A unary operator on 'this' Function f, such that (<op> f)(x) = <op> (f(x)).
That is, f.uOp(op).apply(x) = f.apply(x).uOp(op). Also see Function.Cts2Cts.uOp(int) and Value.uOp(int).

Overrides:

uOp in class Value

bOp

public Function bOp(int op,
                    Function g)

A binary operator on Functions 'this' (f) and 'g', such that (f <op> g)(x) = f(x) <op> g(x). Also see Value.bOp(int, la.la.Value).

fromUop

public static Function.Native fromUop(int op)

Return a Function, of one parameter, based on the unary operator 'op' (not, -, hd, etc.). For example, (fromUop(-))x = -x. (Note that fromUop is a static method.) Also see uOp(int), Value.uOp(int), and fromBop(int).

fromBop

public static Function.Native2 fromBop(int op)

Return a Curried Function based on the binary operator, 'op' (+, *, etc.). For example, ((fromBop(+))x)y = x+y. (Note that fromBop is a static method.) Also see bOp(int, la.la.Function), Value.bOp(int, la.la.Value), and fromUop(int).

main

public static void main(java.lang.String[] argv)

main() allows class Function to be very slightly tested, in isolation.