- 所有已实现的接口:
Def,GenericDef,AyaDocile
core data definition, corresponding to
TeleDecl.DataDecl-
嵌套类概要
嵌套类从类继承的嵌套类/接口 org.aya.core.def.UserDef
UserDef.Type从接口继承的嵌套类/接口 org.aya.core.def.Def
Def.Signature -
字段概要
字段修饰符和类型字段说明final @NotNull kala.collection.immutable.ImmutableSeq<CtorDef>final @NotNull DefVar<DataDef,TeleDecl.DataDecl> 从类继承的字段 org.aya.core.def.TopLevelDef
result, telescope -
构造器概要
构造器构造器说明DataDef(@NotNull DefVar<DataDef, TeleDecl.DataDecl> ref, @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, FormTerm.Sort result, @NotNull kala.collection.immutable.ImmutableSeq<CtorDef> body) -
方法概要
修饰符和类型方法说明static @NotNull DefVar<DataDef,TeleDecl.DataDecl> fromCtor(@NotNull DefVar<CtorDef, TeleDecl.DataCtor> conHead) @NotNull DefVar<DataDef,TeleDecl.DataDecl> ref()从类继承的方法 org.aya.core.def.TopLevelDef
result, telescope从类继承的方法 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait从接口继承的方法 org.aya.generic.AyaDocile
debuggerOnlyToDoc
-
字段详细资料
-
ref
-
body
-
-
构造器详细资料
-
DataDef
public DataDef(@NotNull @NotNull DefVar<DataDef, TeleDecl.DataDecl> ref, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, FormTerm.Sort result, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<CtorDef> body)
-
-
方法详细资料
-
fromCtor
@NotNull public static @NotNull DefVar<DataDef,TeleDecl.DataDecl> fromCtor(@NotNull @NotNull DefVar<CtorDef, TeleDecl.DataCtor> conHead) -
ref
-