java.lang.Object
org.aya.core.def.TopLevelDef
org.aya.core.def.UserDef
org.aya.core.def.UserDef.Type
org.aya.core.def.DataDef
- 所有已实现的接口:
Def,org.aya.util.distill.AyaDocile
core data definition, corresponding to
Decl.DataDecl-
嵌套类概要
嵌套类从类继承的嵌套类/接口 org.aya.core.def.UserDef
UserDef.Type从接口继承的嵌套类/接口 org.aya.core.def.Def
Def.Signature, Def.Visitor<P,R> -
字段概要
字段修饰符和类型字段说明final @NotNull kala.collection.immutable.ImmutableSeq<CtorDef>final @NotNull DefVar<DataDef,Decl.DataDecl> 从类继承的字段 org.aya.core.def.UserDef.Type
resultLevel从类继承的字段 org.aya.core.def.TopLevelDef
result, telescope -
构造器概要
构造器构造器说明DataDef(@NotNull DefVar<DataDef, Decl.DataDecl> ref, @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, int ulift, @NotNull kala.collection.immutable.ImmutableSeq<CtorDef> body) -
方法概要
修饰符和类型方法说明<P,R> R accept(@NotNull Def.Visitor<P, R> visitor, P p) static @NotNull DefVar<DataDef,Decl.DataDecl> fromCtor(@NotNull DefVar<CtorDef, Decl.DataCtor> conHead) @NotNull DefVar<DataDef,Decl.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.util.distill.AyaDocile
debuggerOnlyToDoc
-
字段详细资料
-
ref
-
body
-
-
构造器详细资料
-
DataDef
public DataDef(@NotNull @NotNull DefVar<DataDef, Decl.DataDecl> ref, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, int ulift, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<CtorDef> body)
-
-
方法详细资料
-
fromCtor
@NotNull public static @NotNull DefVar<DataDef,Decl.DataDecl> fromCtor(@NotNull @NotNull DefVar<CtorDef, Decl.DataCtor> conHead) -
accept
-
ref
-