模块 aya.base

程序包 org.aya.core.def

类 CtorDef

java.lang.Object

org.aya.core.def.SubLevelDef

org.aya.core.def.CtorDef

所有已实现的接口:

Def, GenericDef, AyaDocile

public final class CtorDef
extends SubLevelDef

嵌套类概要

从接口继承的嵌套类/接口 org.aya.core.def.Def

Def.Signature

字段概要

字段

修饰符和类型	字段	说明
final @NotNull kala.collection.immutable.ImmutableSeq<Matching>	clauses
final @NotNull DefVar<DataDef,TeleDecl.DataDecl>	dataRef
final @NotNull kala.collection.immutable.ImmutableSeq<Pat>	pats
final @NotNull DefVar<CtorDef,TeleDecl.DataCtor>	ref

从类继承的字段 org.aya.core.def.SubLevelDef

coerce, ownerTele, result, selfTele

构造器概要

构造器

构造器

说明

CtorDef(@NotNull DefVar<DataDef,TeleDecl.DataDecl> dataRef, @NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref, @NotNull kala.collection.immutable.ImmutableSeq<Pat> pats, @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> ownerTele, @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> selfTele, @NotNull kala.collection.immutable.ImmutableSeq<Matching> clauses, @NotNull Term result, boolean coerce)

方法概要

修饰符和类型	方法	说明
static @NotNull kala.collection.immutable.ImmutableSeq<Term.Param>	conTele(@NotNull DefVar<CtorDef,TeleDecl.DataCtor> conVar)
@NotNull DefVar<CtorDef,TeleDecl.DataCtor>	ref()
@NotNull kala.collection.immutable.ImmutableSeq<Term.Param>	telescope()
static DataDef.CtorTelescopes	telescopes(@NotNull DefVar<CtorDef,TeleDecl.DataCtor> defVar)

从类继承的方法 org.aya.core.def.SubLevelDef

fullTelescope, result

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

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

从接口继承的方法 org.aya.generic.AyaDocile

debuggerOnlyToDoc

从接口继承的方法 org.aya.core.def.Def

toDoc

字段详细资料

dataRef

@NotNull
public final @NotNull DefVar<DataDef,TeleDecl.DataDecl> dataRef

ref

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

clauses

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<Matching> clauses

pats

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<Pat> pats

构造器详细资料

CtorDef

public CtorDef(@NotNull
 @NotNull DefVar<DataDef,TeleDecl.DataDecl> dataRef,
 @NotNull
 @NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Pat> pats,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> ownerTele,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> selfTele,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Matching> clauses,
 @NotNull
 @NotNull Term result,
 boolean coerce)

方法详细资料

conTele

@NotNull
public static @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> conTele(@NotNull
 @NotNull DefVar<CtorDef,TeleDecl.DataCtor> conVar)

telescopes

@NotNull
public static DataDef.CtorTelescopes telescopes(@NotNull
 @NotNull DefVar<CtorDef,TeleDecl.DataCtor> defVar)

返回:

first component: data's telescope, second component: con telescope

ref

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

telescope

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