Module aya.base

Package org.aya.core.def

Class SubLevelDef

java.lang.Object

org.aya.core.def.SubLevelDef

All Implemented Interfaces:

Def, GenericDef, AyaDocile

Direct Known Subclasses:

CtorDef, FieldDef

public abstract sealed class SubLevelDef
extends Object
implements Def
permits CtorDef, FieldDef

Fields or constructors, in contrast to TopLevelDef.

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 boolean	coerce
final @NotNull kala.collection.immutable.ImmutableSeq<Term.Param>	ownerTele
final @NotNull Term	result
final @NotNull kala.collection.immutable.ImmutableSeq<Term.Param>	selfTele

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	SubLevelDef(@NotNull kala.collection.immutable.ImmutableSeq<Term.Param> ownerTele, @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> selfTele, @NotNull Term result, boolean coerce)

Method Summary

Modifier and Type	Method	Description
@NotNull kala.collection.SeqView<Term.Param>	fullTelescope()
@NotNull Term	result()

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.Def

ref, telescope, toDoc

Field Details

ownerTele

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> ownerTele

selfTele

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> selfTele

result

@NotNull
public final @NotNull Term result

coerce

public final boolean coerce

Constructor Details

SubLevelDef

protected SubLevelDef(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> ownerTele,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> selfTele,
 @NotNull
 @NotNull Term result,
 boolean coerce)

Method Details

fullTelescope

@NotNull
public @NotNull kala.collection.SeqView<Term.Param> fullTelescope()

result

@NotNull
public @NotNull Term result()

Specified by:

result in interface GenericDef