Module aya.base

Package org.aya.core.def

Interface Def

All Superinterfaces:

AyaDocile, GenericDef

All Known Implementing Classes:

CtorDef, DataDef, FieldDef, FnDef, PrimDef, StructDef, SubLevelDef, TopLevelDef, UserDef, UserDef.Type

public sealed interface Def
extends AyaDocile, GenericDef
permits SubLevelDef, TopLevelDef<Ret>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	Def.Signature<T extends Term>	Signature of a definition, used in concrete and tycking.

Method Summary

Modifier and Type	Method	Description
static @NotNull kala.collection.Seq<CtorDef>	dataBody(@NotNull DefVar<? extends DataDef,? extends TeleDecl.DataDecl> defVar)
static <T extends Term> T	defResult(@NotNull DefVar<? extends Def,? extends TeleDecl<? extends T>> defVar)
static @NotNull kala.collection.immutable.ImmutableSeq<Term.Param>	defTele(@NotNull DefVar<? extends Def,? extends TeleDecl<?>> defVar)
static @NotNull Term	defType(@NotNull DefVar<? extends Def,? extends TeleDecl<?>> defVar)
@NotNull DefVar<? extends Def,? extends Decl>	ref()
@NotNull kala.collection.immutable.ImmutableSeq<Term.Param>	telescope()
default @NotNull org.aya.pretty.doc.Doc	toDoc(@NotNull org.aya.util.prettier.PrettierOptions options)

Methods inherited from interface org.aya.generic.AyaDocile

debuggerOnlyToDoc

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

descentConsume, result

Method Details

defType

@NotNull
static @NotNull Term defType(@NotNull
 @NotNull DefVar<? extends Def,? extends TeleDecl<?>> defVar)

defTele

@NotNull
static @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> defTele(@NotNull
 @NotNull DefVar<? extends Def,? extends TeleDecl<?>> defVar)

dataBody

@NotNull
static @NotNull kala.collection.Seq<CtorDef> dataBody(@NotNull
 @NotNull DefVar<? extends DataDef,? extends TeleDecl.DataDecl> defVar)

defResult

@Contract(pure=true)
@NotNull
static <T extends Term> T defResult(@NotNull
 @NotNull DefVar<? extends Def,? extends TeleDecl<? extends T>> defVar)

ref

@NotNull
@NotNull DefVar<? extends Def,? extends Decl> ref()

Specified by:

ref in interface GenericDef

telescope

@NotNull
@NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope()

toDoc

@NotNull
default @NotNull org.aya.pretty.doc.Doc toDoc(@NotNull
 @NotNull org.aya.util.prettier.PrettierOptions options)

Specified by:

toDoc in interface AyaDocile