Module aya.base

Package org.aya.concrete.stmt.decl

Class TeleDecl.TopLevel<RetTy extends Term>

java.lang.Object

org.aya.concrete.stmt.decl.CommonDecl

org.aya.concrete.stmt.decl.TeleDecl<RetTy>

org.aya.concrete.stmt.decl.TeleDecl.TopLevel<RetTy>

All Implemented Interfaces:

Decl, Decl.TopLevel, Stmt, AyaDocile, TyckUnit, org.aya.util.binop.OpDecl, org.aya.util.error.SourceNode

Direct Known Subclasses:

TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl

Enclosing class:

TeleDecl<RetTy extends Term>

public abstract static sealed class TeleDecl.TopLevel<RetTy extends Term>
extends TeleDecl<RetTy>
implements Decl.TopLevel
permits TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl

Nested Class Summary

Nested classes/interfaces inherited from class org.aya.concrete.stmt.decl.TeleDecl

TeleDecl.BlockBody, TeleDecl.ClassMember, TeleDecl.DataCtor, TeleDecl.DataDecl, TeleDecl.ExprBody, TeleDecl.FnBody, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.TopLevel<RetTy extends Term>

Nested classes/interfaces inherited from interface org.aya.util.binop.OpDecl

org.aya.util.binop.OpDecl.BindPred, org.aya.util.binop.OpDecl.OpInfo

Nested classes/interfaces inherited from interface org.aya.concrete.stmt.Stmt

Stmt.Accessibility

Field Summary

Fields

Modifier and Type	Field	Description
@Nullable Context	ctx

Fields inherited from class org.aya.concrete.stmt.decl.TeleDecl

result, signature, telescope

Fields inherited from class org.aya.concrete.stmt.decl.CommonDecl

info

Fields inherited from interface org.aya.util.binop.OpDecl

APPLICATION

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	TopLevel(@NotNull DeclInfo info, @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope, @Nullable Expr result, DeclInfo.Personality personality)

Method Summary

Modifier and Type	Method	Description
@Nullable Context	getCtx()
DeclInfo.Personality	personality()
void	setCtx(@NotNull Context ctx)

Methods inherited from class org.aya.concrete.stmt.decl.TeleDecl

modifyResult, modifyTelescope, ref

Methods inherited from class org.aya.concrete.stmt.decl.CommonDecl

info, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.aya.generic.AyaDocile

debuggerOnlyToDoc

Methods inherited from interface org.aya.concrete.stmt.decl.Decl

accessibility, bindBlock, entireSourcePos, needTyck, opInfo, sourcePos

Methods inherited from interface org.aya.concrete.stmt.Stmt

desugar, toDoc

Field Details

ctx

@Nullable
public @Nullable Context ctx

Constructor Details

TopLevel

protected TopLevel(@NotNull
 @NotNull DeclInfo info,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope,
 @Nullable
 @Nullable Expr result,
 @NotNull
 DeclInfo.Personality personality)

Method Details

personality

@NotNull
public DeclInfo.Personality personality()

Specified by:

personality in interface Decl.TopLevel

getCtx

@Nullable
public @Nullable Context getCtx()

Specified by:

getCtx in interface Decl.TopLevel

setCtx

public void setCtx(@NotNull
 @NotNull Context ctx)

Specified by:

setCtx in interface Decl.TopLevel