模块 aya.guest.base
程序包 org.aya.guest0x0.syntax

接口 FnLike

所有已知子接口:
Def
所有已知实现类:
Def.Fn, Def.Print, Def.Signature
public interface FnLike

  • 方法概要

    修饰符和类型
    方法
    说明
    @NotNull Term
    result()
     
    default @NotNull kala.collection.SeqView<Term>
    teleRefs()
     
    @NotNull kala.collection.immutable.ImmutableSeq<Param<Term>>
    telescope()
     
    default @NotNull kala.collection.SeqView<LocalVar>
    teleVars()
     

  • 方法详细资料

    • telescope

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

    • result

      @NotNull @NotNull Term result()

    • teleVars

      @NotNull default @NotNull kala.collection.SeqView<LocalVar> teleVars()

    • teleRefs

      @NotNull default @NotNull kala.collection.SeqView<Term> teleRefs()