模块 aya.base
程序包 org.aya.core.def

接口 Def

所有超级接口:
AyaDocile, GenericDef
所有已知实现类:
CtorDef, DataDef, FieldDef, FnDef, PrimDef, StructDef, SubLevelDef, TopLevelDef, UserDef, UserDef.Type
public sealed interface Def extends AyaDocile, GenericDef permits SubLevelDef, TopLevelDef<Ret>

  • 方法详细资料

    • defType

      @NotNull static @NotNull Term defType(@NotNull @NotNull DefVar<? extends Def,? extends Decl.Telescopic> defVar)

    • defTele

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

    • dataBody

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

    • defResult

      @NotNull static @NotNull Term defResult(@NotNull @NotNull DefVar<? extends Def,? extends Decl.Telescopic> defVar)

    • substParams

      @NotNull static @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> substParams(@NotNull @NotNull kala.collection.SeqLike<@NotNull Term.Param> param, @NotNull @NotNull Subst subst)

    • ref

      @NotNull @NotNull DefVar<? extends Def,? extends Decl> ref()
      指定者:
      ref 在接口中 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.distill.DistillerOptions options)
      指定者:
      toDoc 在接口中 AyaDocile