Module aya.base
Package org.aya.tyck

Interface Jdg

All Known Implementing Classes:
Jdg.Default, Jdg.Lazy, Jdg.Sort
public sealed interface Jdg permits Jdg.Sort, Jdg.Lazy, Jdg.Default

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final record 
    Jdg.Default
    Jdg.Default.type is the type of Jdg.Default.wellTyped.
    static final record 
    Jdg.Lazy
     
    static final record 
    Jdg.Sort
     

  • Method Summary

    Modifier and Type
    Method
    Description
    default @NotNull Jdg
    bindTele(@NotNull kala.collection.SeqView<org.aya.syntax.ref.LocalVar> vars)
     
    @NotNull Jdg
    map(@NotNull UnaryOperator<org.aya.syntax.core.term.Term> f)
     
    @NotNull org.aya.syntax.core.term.Term
    type()
     
    @NotNull org.aya.syntax.core.term.Term
    wellTyped()
     

  • Method Details

    • wellTyped

      @NotNull @NotNull org.aya.syntax.core.term.Term wellTyped()

    • type

      @NotNull @NotNull org.aya.syntax.core.term.Term type()

    • bindTele

      @NotNull default @NotNull Jdg bindTele(@NotNull @NotNull kala.collection.SeqView<org.aya.syntax.ref.LocalVar> vars)

    • map

      @NotNull @NotNull Jdg map(@NotNull @NotNull UnaryOperator<org.aya.syntax.core.term.Term> f)