Module aya.base

Package org.aya.core.def

Class TopLevelDef<Ret extends Term>

java.lang.Object

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

All Implemented Interfaces:

Def, GenericDef, AyaDocile

Direct Known Subclasses:

PrimDef, UserDef

public abstract sealed class TopLevelDef<Ret extends Term>
extends Object
implements Def
permits UserDef<Ret>, PrimDef

Top-level definitions.

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 Ret	result
final @NotNull kala.collection.immutable.ImmutableSeq<Term.Param>	telescope

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	TopLevelDef(@NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, Ret result)

Method Summary

Modifier and Type	Method	Description
Ret	result()
@NotNull kala.collection.immutable.ImmutableSeq<Term.Param>	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.Def

ref, toDoc

Field Details

telescope

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

result

@NotNull
public final Ret extends Term result

Constructor Details

TopLevelDef

protected TopLevelDef(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope,
 @NotNull
 Ret result)

Method Details

telescope

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope()

Specified by:

telescope in interface Def

result

@NotNull
public Ret result()

Specified by:

result in interface GenericDef