Module aya.base

Package org.aya.concrete.stmt

Class TeleDecl.DataCtor

java.lang.Object

org.aya.concrete.stmt.CommonDecl

org.aya.concrete.stmt.TeleDecl.DataCtor

All Implemented Interfaces:

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

Enclosing class:

TeleDecl<RetTy extends Term>

public static final class TeleDecl.DataCtor
extends CommonDecl
implements Decl.Telescopic<DataCall>

Nested Class Summary

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
Expr.PartEl	clauses
final boolean	coerce
DefVar<DataDef,TeleDecl.DataDecl>	dataRef
@NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<Pattern>>	patterns
kala.collection.immutable.ImmutableSeq<Term.Param>	patternTele	Similar to Decl.Telescopic.signature(), but stores the bindings in patterns
final @NotNull DefVar<CtorDef,TeleDecl.DataCtor>	ref
Def.Signature<DataCall>	signature
@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param>	telescope
@Nullable kala.collection.immutable.ImmutableSeq<Pat>	yetTyckedPat	used when tycking constructor's header

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

DataCtor(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull org.aya.util.error.SourcePos entireSourcePos, @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo, @NotNull String name, @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope, Expr.PartEl clauses, @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<Pattern>> patterns, boolean coerce, @NotNull BindBlock bindBlock)

Method Summary

Modifier and Type	Method	Description
@NotNull DefVar<CtorDef,TeleDecl.DataCtor>	ref()
void	setSignature(@Nullable Def.Signature<DataCall> signature)
void	setTelescope(@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope)
Def.Signature<DataCall>	signature()
@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param>	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

ref

@NotNull
public final @NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref

dataRef

public DefVar<DataDef,TeleDecl.DataDecl> dataRef

patternTele

public kala.collection.immutable.ImmutableSeq<Term.Param> patternTele

Similar to Decl.Telescopic.signature(), but stores the bindings in patterns

clauses

@NotNull
public Expr.PartEl clauses

patterns

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<Pattern>> patterns

coerce

public final boolean coerce

yetTyckedPat

@Nullable
public @Nullable kala.collection.immutable.ImmutableSeq<Pat> yetTyckedPat

used when tycking constructor's header

telescope

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

signature

@Nullable
public Def.Signature<DataCall> signature

Constructor Details

DataCtor

public DataCtor(@NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull org.aya.util.error.SourcePos entireSourcePos,
 @Nullable
 @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo,
 @NotNull
 @NotNull String name,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope,
 @NotNull
 Expr.PartEl clauses,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<Pattern>> patterns,
 boolean coerce,
 @NotNull
 @NotNull BindBlock bindBlock)

Method Details

ref

@NotNull
public @NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref()

Specified by:

ref in interface Decl

telescope

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

Specified by:

telescope in interface Decl.Telescopic<DataCall>

setTelescope

public void setTelescope(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope)

Specified by:

setTelescope in interface Decl.Telescopic<DataCall>

signature

@Nullable
public Def.Signature<DataCall> signature()

Specified by:

signature in interface Decl.Telescopic<DataCall>

setSignature

public void setSignature(@Nullable Def.Signature<DataCall> signature)

Specified by:

setSignature in interface Decl.Telescopic<DataCall>