Module aya.ide
Package org.aya.ide.action

Interface ComputeSignature

public interface ComputeSignature

  • Method Summary

    Static Methods
    Modifier and Type
    Method
    Description
    static @NotNull org.aya.pretty.doc.Doc
    computeSignature(@NotNull org.aya.util.prettier.PrettierOptions options, @NotNull kala.collection.immutable.ImmutableSeq<org.aya.core.term.Term.Param> defTele, @NotNull org.aya.core.term.Term defResult, boolean withResult)
     
    static @NotNull org.aya.pretty.doc.Doc
    computeSignature(@NotNull org.aya.util.prettier.PrettierOptions options, @NotNull org.aya.ref.AnyVar target, boolean withResult)
     
    static @NotNull org.aya.pretty.doc.Doc
    invokeHover(@NotNull org.aya.util.prettier.PrettierOptions options, @NotNull org.aya.cli.library.source.LibrarySource source, XY xy)
     

  • Method Details

    • invokeHover

      @NotNull static @NotNull org.aya.pretty.doc.Doc invokeHover(@NotNull @NotNull org.aya.util.prettier.PrettierOptions options, @NotNull @NotNull org.aya.cli.library.source.LibrarySource source, XY xy)

    • computeSignature

      @NotNull static @NotNull org.aya.pretty.doc.Doc computeSignature(@NotNull @NotNull org.aya.util.prettier.PrettierOptions options, @NotNull @NotNull org.aya.ref.AnyVar target, boolean withResult)

    • computeSignature

      @NotNull static @NotNull org.aya.pretty.doc.Doc computeSignature(@NotNull @NotNull org.aya.util.prettier.PrettierOptions options, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<org.aya.core.term.Term.Param> defTele, @NotNull @NotNull org.aya.core.term.Term defResult, boolean withResult)