Interface Proc

All Superinterfaces:

Kernel, Value, ValueOrIdent, ValueOrIdentPtn, ValueOrPtn, ValueOrResolvedPtn, ValueOrVar, ValueOrVarSet

All Known Subinterfaces:

Closure, CompleteProc, FeatureIter, FieldIter, ObjProcBinding<T>, PartialProc, ValueIter

All Known Implementing Classes:

AbstractClosure, AbstractIter, ActorCtor, CompleteActorCtor, CompleteClosure, CompleteObjProcBinding, PartialActorCtor, PartialClosure, PartialObjProcBinding, Rec.RecFieldIter, Rec.RecValueIter

public interface Proc
extends Value

Field Summary

Fields inherited from interface org.torqlang.klvm.Value

PRESENT

Method Summary

Modifier and Type	Method	Description
default <T,R> R	accept(KernelVisitor<T,R> visitor, T state)
void	apply(List<CompleteOrIdent> ys, Env env, Machine machine)
default Proc	bindToValue(Value value, Set<Memo> memos)
default boolean	entailsRec(Rec operand, Set<Memo> memos)

Methods inherited from interface org.torqlang.klvm.Kernel

toKernelString

Methods inherited from interface org.torqlang.klvm.Value

add, appendToString, bindToValueOrVar, bindToVar, caseNonRecOfThis, caseOf, caseRecOfThis, checkComplete, checkNotFailedValue, compareValueTo, deconstruct, disentails, divide, entails, entails, entailsValueOrIdent, entailsValueOrVar, entailsVar, greaterThan, greaterThanOrEqualTo, isValidKey, lessThan, lessThanOrEqualTo, modulo, multiply, negate, not, resolveValue, resolveValue, resolveValueOrIdent, resolveValueOrVar, resolveValueOrVar, subtract, unifyRecs

Method Details

accept

default <T,R> R accept(KernelVisitor<T,R> visitor,
 T state)

Specified by:

accept in interface Kernel

apply

void apply(List<CompleteOrIdent> ys,
 Env env,
 Machine machine)
    throws WaitException

Throws:

WaitException

bindToValue

default Proc bindToValue(Value value,
 Set<Memo> memos)

Specified by:

bindToValue in interface Value

Specified by:

bindToValue in interface ValueOrVar

entailsRec

default boolean entailsRec(Rec operand,
 Set<Memo> memos)

Specified by:

entailsRec in interface Value