Module aya.base

Package org.aya.core.def

Class MemberDef

java.lang.Object

org.aya.core.def.TopLevelDef<Ret>

org.aya.core.def.UserDef<Term>

org.aya.core.def.MemberDef

All Implemented Interfaces:

Def, GenericDef, AyaDocile

public final class MemberDef
extends UserDef<Term>

Nested Class Summary

Nested classes/interfaces inherited from interface org.aya.core.def.Def

Def.Signature<T extends Term>

Field Summary

Fields

Modifier and Type	Field	Description
final @NotNull DefVar<ClassDef,ClassDecl>	classRef
final boolean	coerce
final @NotNull DefVar<MemberDef,TeleDecl.ClassMember>	ref

Fields inherited from class org.aya.core.def.UserDef

problems

Fields inherited from class org.aya.core.def.TopLevelDef

result, telescope

Constructor Summary

Constructors

Constructor	Description
MemberDef(@NotNull DefVar<MemberDef,TeleDecl.ClassMember> ref, @NotNull DefVar<ClassDef,ClassDecl> classRef, @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, @NotNull Term result, boolean coerce)

Method Summary

Modifier and Type	Method	Description
@NotNull DefVar<MemberDef,TeleDecl.ClassMember>	ref()

Methods inherited from class org.aya.core.def.TopLevelDef

descentConsume, result, telescope

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.aya.generic.AyaDocile

debuggerOnlyToDoc

Methods inherited from interface org.aya.core.def.GenericDef

toDoc

Field Details

ref

@NotNull
public final @NotNull DefVar<MemberDef,TeleDecl.ClassMember> ref

classRef

@NotNull
public final @NotNull DefVar<ClassDef,ClassDecl> classRef

coerce

public final boolean coerce

Constructor Details

MemberDef

public MemberDef(@NotNull
 @NotNull DefVar<MemberDef,TeleDecl.ClassMember> ref,
 @NotNull
 @NotNull DefVar<ClassDef,ClassDecl> classRef,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope,
 @NotNull
 @NotNull Term result,
 boolean coerce)

Method Details

ref

@NotNull
public @NotNull DefVar<MemberDef,TeleDecl.ClassMember> ref()