Module aya.base

Package org.aya.core.def

Class UserDef.Type

java.lang.Object

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

org.aya.core.def.UserDef<SortTerm>

org.aya.core.def.UserDef.Type

All Implemented Interfaces:

Def, GenericDef, AyaDocile

Direct Known Subclasses:

DataDef, StructDef

Enclosing class:

UserDef<Ret extends Term>

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

Nested Class Summary

Nested classes/interfaces inherited from class org.aya.core.def.UserDef

UserDef.Type

Nested classes/interfaces inherited from interface org.aya.core.def.Def

Def.Signature<T extends Term>

Field Summary

Fields inherited from class org.aya.core.def.UserDef

problems

Fields inherited from class org.aya.core.def.TopLevelDef

result, telescope

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Type(@NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, SortTerm result)

Method Summary

Methods inherited from class org.aya.core.def.TopLevelDef

result, telescope

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.aya.generic.AyaDocile

debuggerOnlyToDoc

Methods inherited from interface org.aya.core.def.Def

ref, toDoc

Constructor Details

Type

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