public abstract static class Function.Native extends Function
Modifier and Type | Class and Description |
---|---|
static class |
Function.Native.WithInverse
This class exists so that one can create an anonymous
Function.
Native which (implements)
HasInverse . |
Function.Cts2Cts, Function.Cts2Cts2Cts, Function.CtsD2CtsD, Function.HasInverse, 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 at least
WHNF; see
Value.force() . |
public abstract Value apply(Value v)
Value.force()
.