public abstract static class Function.Native extends Function
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 |
---|
Native() |
Modifier and Type | Method and Description |
---|---|
abstract Value |
apply(Value v)
apply(v) does whatever you specify to implement 'this' Native
Function BUT it must return a Value in WHNF;
see
Value.force() . |
public abstract Value apply(Value v)
Value.force()
.