java.lang.Object
org.aya.core.def.SubLevelDef
org.aya.core.def.CtorDef
- 所有已实现的接口:
Def,GenericDef,AyaDocile
-
嵌套类概要
从接口继承的嵌套类/接口 org.aya.core.def.Def
Def.Signature -
字段概要
字段修饰符和类型字段说明final @NotNull kala.collection.immutable.ImmutableSeq<Matching>final @NotNull DefVar<DataDef,TeleDecl.DataDecl> final @NotNull kala.collection.immutable.ImmutableSeq<Pat>final @NotNull DefVar<CtorDef,TeleDecl.DataCtor> 从类继承的字段 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>static DataDef.CtorTelescopestelescopes(@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
-
字段详细资料
-
dataRef
-
ref
-
clauses
-
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
-
telescope
-