Module aya.base

Package org.aya.concrete.stmt.decl

Class TeleDecl<RetTy extends Term>

java.lang.Object

org.aya.concrete.stmt.decl.CommonDecl

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

All Implemented Interfaces:

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

Direct Known Subclasses:

TeleDecl.ClassMember, TeleDecl.DataCtor, TeleDecl.TopLevel

public abstract sealed class TeleDecl<RetTy extends Term>
extends CommonDecl
permits TeleDecl.TopLevel<RetTy>, TeleDecl.DataCtor, TeleDecl.ClassMember

Concrete telescopic definition, corresponding to Def.

See Also:

• Decl

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	TeleDecl.BlockBody
static final class	TeleDecl.ClassMember
static final class	TeleDecl.DataCtor
static final class	TeleDecl.DataDecl	Concrete data definition
static final record	TeleDecl.ExprBody
static interface	TeleDecl.FnBody
static final class	TeleDecl.FnDecl	Concrete function definition
static final class	TeleDecl.PrimDecl
static class	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 Expr	result
Def.Signature<RetTy>	signature
@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param>	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	TeleDecl(@NotNull DeclInfo info, @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope, @Nullable Expr result)

Method Summary

Modifier and Type	Method	Description
void	modifyResult(@NotNull UnaryOperator<Expr> f)
void	modifyTelescope(@NotNull UnaryOperator<kala.collection.immutable.ImmutableSeq<Expr.Param>> f)
abstract @NotNull DefVar<? extends Def,? extends TeleDecl<RetTy>>	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

result

@Nullable
public @Nullable Expr result

telescope

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

signature

@Nullable
public Def.Signature<RetTy extends Term> signature

Constructor Details

TeleDecl

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

Method Details

modifyResult

public void modifyResult(@NotNull
 @NotNull UnaryOperator<Expr> f)

modifyTelescope

public void modifyTelescope(@NotNull
 @NotNull UnaryOperator<kala.collection.immutable.ImmutableSeq<Expr.Param>> f)

ref

@Contract(pure=true)
@NotNull
public abstract @NotNull DefVar<? extends Def,? extends TeleDecl<RetTy>> ref()