public abstract static class Function.Native3 extends Function.Native2
Function
s specified by
arbitrary Java code in apply3(v0,v1,v2)
.
Note, Native3 extends (i.e., is a) Function.Native2
and
hence Function.Native
.Function.Cts2Cts, Function.Derivative, Function.Integral, Function.Native, Function.Native2, Function.Native3
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
Constructor and Description |
---|
Native3() |
Modifier and Type | Method and Description |
---|---|
Function.Native2 |
apply(Value v0)
Take the given parameter 'v0' and return a
Function.Native2 which
takes parameters 'v1' and 'v2' and produces a result. |
Function.Native |
apply2(Value v0,
Value v1)
Take the given parameters 'v0' and 'v1' and return a
Function.Native which takes 'v2' and produces a result. |
abstract Value |
apply3(Value v0,
Value v1,
Value v2)
apply3(v0,v1,v2) does whatever you specify, BUT it
must return a Value in WHNF; see
Value.force() . |
public abstract Value apply3(Value v0, Value v1, Value v2)
Value.force()
.public Function.Native apply2(Value v0, Value v1)
Function.Native
which takes 'v2' and produces a result.apply2
in class Function.Native2
public Function.Native2 apply(Value v0)
Function.Native2
which
takes parameters 'v1' and 'v2' and produces a result.apply
in class Function.Native2