Module org.kink_lang.kink

Package org.kink_lang.kink.internal.intrinsicsupport

Class PreloadedFuns

java.lang.Object

org.kink_lang.kink.internal.intrinsicsupport.PreloadedFuns

public final class PreloadedFuns
extends Object

Accessor to preloaded funs.

Method Summary

Modifier and Type	Method	Description
static Set<String>	controlSyms()	Returns the syms of control funs.
static Val	preloadedFun(Vm vm, String sym)	Returns a preloaded fun.

Methods inherited from class java.lang.Object

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

Method Details

controlSyms

public static Set<String> controlSyms()

Returns the syms of control funs.

It must not contain "repr". Because it is modified for the top level binding of mods.

Returns:

the syms of control funs.

preloadedFun

public static Val preloadedFun(Vm vm,
 String sym)

Returns a preloaded fun. Precondition: the specified var must be a preloaded fun.

Parameters:

vm - the vm.

sym - the sym of the var.

Returns:

the var.