模块 org.aya

程序包 org.aya.concrete.stmt

类 Decl.DataCtor

java.lang.Object

org.aya.concrete.stmt.Signatured

org.aya.concrete.stmt.Decl.DataCtor

所有已实现的接口:

TyckUnit, org.aya.util.binop.OpDecl, org.aya.util.error.SourceNode

封闭类:

Decl

public static final class Decl.DataCtor
extends Signatured

嵌套类概要

从接口继承的嵌套类/接口 org.aya.util.binop.OpDecl

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

字段概要

字段

修饰符和类型	字段	说明
@NotNull kala.collection.immutable.ImmutableSeq<Pattern.Clause>	clauses
final boolean	coerce
DefVar<DataDef,Decl.DataDecl>	dataRef
@NotNull kala.collection.immutable.ImmutableSeq<Pattern>	patterns
kala.collection.immutable.ImmutableSeq<Term.Param>	patternTele	Similar to Signatured.signature, but stores the bindings in patterns
final @NotNull DefVar<CtorDef,Decl.DataCtor>	ref
@Nullable kala.collection.immutable.ImmutableSeq<Pat>	yetTyckedPat	used when tycking constructor's header
@Nullable PatTycker	yetTycker	used when tycking constructor's header

从类继承的字段 org.aya.concrete.stmt.Signatured

bindBlock, entireSourcePos, opInfo, signature, sourcePos, telescope

从接口继承的字段 org.aya.util.binop.OpDecl

APPLICATION

构造器概要

构造器

构造器

说明

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, @NotNull kala.collection.immutable.ImmutableSeq<Pattern.Clause> clauses, @NotNull kala.collection.immutable.ImmutableSeq<Pattern> patterns, boolean coerce, @NotNull BindBlock bindBlock)

方法概要

修饰符和类型	方法	说明
@NotNull DefVar<CtorDef,Decl.DataCtor>	ref()

从类继承的方法 org.aya.concrete.stmt.Signatured

needTyck, opInfo, sourcePos, toString

从类继承的方法 java.lang.Object

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

字段详细资料

ref

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

dataRef

public DefVar<DataDef,Decl.DataDecl> dataRef

patternTele

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

Similar to Signatured.signature, but stores the bindings in patterns

clauses

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<Pattern.Clause> clauses

patterns

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<Pattern> patterns

coerce

public final boolean coerce

yetTyckedPat

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

used when tycking constructor's header

yetTycker

@Nullable
public @Nullable PatTycker yetTycker

used when tycking constructor's header

构造器详细资料

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
 @NotNull kala.collection.immutable.ImmutableSeq<Pattern.Clause> clauses,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Pattern> patterns,
 boolean coerce,
 @NotNull
 @NotNull BindBlock bindBlock)

方法详细资料

ref

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

指定者:

ref 在类中 Signatured