Interface RecPtn

All Superinterfaces:

Decl, DeclOrInstr, Kernel, Ptn, ValueOrPtn

All Known Implementing Classes:

BasicRecPtn

public interface RecPtn
extends Ptn

Method Summary

Modifier and Type	Method	Description
default <T,R> R	accept(KernelVisitor<T,R> visitor, T state)
default void	captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
default ValueOrResolvedPtn	caseNonRecOfThis(Value nonRecValue, Env env)	This method is a polymorphic callback requesting "case Value of RecPtn then..."
default int	fieldCount()
List<FieldPtn>	fields()
LiteralOrIdentPtn	label()
boolean	partialArity()
SourceSpan	sourceSpan()

Methods inherited from interface org.torqlang.klvm.Kernel

toKernelString

Methods inherited from interface org.torqlang.klvm.ValueOrPtn

caseRecOfThis

Method Details

accept

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

Specified by:

accept in interface Kernel

captureLexicallyFree

default void captureLexicallyFree(Set<Ident> knownBound,
 Set<Ident> lexicallyFree)

Specified by:

captureLexicallyFree in interface DeclOrInstr

Specified by:

captureLexicallyFree in interface Ptn

caseNonRecOfThis

default ValueOrResolvedPtn caseNonRecOfThis(Value nonRecValue,
 Env env)

This method is a polymorphic callback requesting "case Value of RecPtn then..."

Specified by:

caseNonRecOfThis in interface ValueOrPtn

fieldCount

default int fieldCount()

fields

List<FieldPtn> fields()

label

LiteralOrIdentPtn label()

partialArity

boolean partialArity()

sourceSpan

SourceSpan sourceSpan()