Module aya.base

Package org.aya.concrete.stmt

Class TeleDecl.FnDecl

java.lang.Object

org.aya.concrete.stmt.CommonDecl

org.aya.concrete.stmt.TeleDecl<Term>

org.aya.concrete.stmt.TeleDecl.FnDecl

All Implemented Interfaces:

Decl, Decl.Resulted, Decl.Telescopic<Term>, Decl.TopLevel, Stmt, AyaDocile, TyckUnit, org.aya.util.binop.OpDecl, org.aya.util.error.SourceNode

Enclosing class:

TeleDecl<RetTy extends Term>

public static final class TeleDecl.FnDecl
extends TeleDecl<Term>

Concrete function definition

See Also:

• FnDef

Nested Class Summary

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

TeleDecl.DataCtor, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl, TeleDecl.StructField

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

Decl.Personality, Decl.Resulted, Decl.Telescopic<RetTy extends Term>, Decl.TopLevel

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
@NotNull kala.control.Either<Expr,kala.collection.immutable.ImmutableSeq<Pattern.Clause>>	body
final @NotNull EnumSet<Modifier>	modifiers
final @NotNull DefVar<FnDef,TeleDecl.FnDecl>	ref

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

ctx, result, signature, telescope

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

accessibility, bindBlock, entireSourcePos, opInfo, sourcePos

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

APPLICATION

Constructor Summary

Constructors

Constructor

Description

FnDecl(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull org.aya.util.error.SourcePos entireSourcePos, @NotNull Stmt.Accessibility accessibility, @NotNull EnumSet<Modifier> modifiers, org.aya.util.binop.OpDecl.OpInfo opInfo, @NotNull String name, @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope, @NotNull Expr result, @NotNull kala.control.Either<Expr,kala.collection.immutable.ImmutableSeq<Pattern.Clause>> body, @NotNull BindBlock bindBlock, Decl.Personality personality)

Method Summary

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

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

getCtx, personality, result, setCtx, setResult, setSignature, setTelescope, signature, telescope

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

accessibility, bindBlock, entireSourcePos, opInfo, sourcePos, 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

needTyck

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

desugar, toDoc

Field Details

modifiers

@NotNull
public final @NotNull EnumSet<Modifier> modifiers

ref

@NotNull
public final @NotNull DefVar<FnDef,TeleDecl.FnDecl> ref

body

@NotNull
public @NotNull kala.control.Either<Expr,kala.collection.immutable.ImmutableSeq<Pattern.Clause>> body

Constructor Details

FnDecl

public FnDecl(@NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull org.aya.util.error.SourcePos entireSourcePos,
 @NotNull
 @NotNull Stmt.Accessibility accessibility,
 @NotNull
 @NotNull EnumSet<Modifier> modifiers,
 @Nullable
 org.aya.util.binop.OpDecl.OpInfo opInfo,
 @NotNull
 @NotNull String name,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope,
 @NotNull
 @NotNull Expr result,
 @NotNull
 @NotNull kala.control.Either<Expr,kala.collection.immutable.ImmutableSeq<Pattern.Clause>> body,
 @NotNull
 @NotNull BindBlock bindBlock,
 @NotNull
 Decl.Personality personality)

Method Details

ref

@NotNull
public @NotNull DefVar<FnDef,TeleDecl.FnDecl> ref()

Specified by:

ref in interface Decl

Specified by:

ref in class TeleDecl<Term>