模块 aya.base

程序包 org.aya.core.def

类 UserDef.Type

java.lang.Object

org.aya.core.def.TopLevelDef<Ret>

org.aya.core.def.UserDef<FormTerm.Sort>

org.aya.core.def.UserDef.Type

所有已实现的接口:

Def, GenericDef, AyaDocile

直接已知子类:

DataDef, StructDef

封闭类:

UserDef<Ret extends Term>

public abstract static sealed class UserDef.Type
extends UserDef<FormTerm.Sort>
permits DataDef, StructDef

嵌套类概要

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

UserDef.Type

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

Def.Signature

字段概要

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

problems

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

result, telescope

构造器概要

构造器

限定符	构造器	说明
protected	Type(@NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, FormTerm.Sort result)

方法概要

从类继承的方法 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

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

ref, toDoc

构造器详细资料

Type

protected Type(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope,
 FormTerm.Sort result)