Module aya.base
Package org.aya.generic

Interface Shaped<T>

Type Parameters:
T -
All Known Subinterfaces:
Shaped.Inductive<T>, Shaped.List<T>, Shaped.Nat<T>
All Known Implementing Classes:
IntegerTerm, ListTerm, Pat.ShapedInt, Pattern.FakeShapedList
public interface Shaped<T>

What should I do after I creating a new Shape?

  • impl your Shape, see IntegerTerm, and do everything you should after you creating a Term/Pat.
  • impl TermComparator, see TermComparator.doCompareUntyped(Term, Term, TermComparator.Sub, TermComparator.Sub)
  • impl PatMatcher, see PatMatcher.match(Pat, Term)
  • impl PatUnifier, see PatUnify.unify(Pat, Pat)

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static interface 
    Shaped.Inductive<T>
     
    static interface 
    Shaped.List<T extends AyaDocile>
     
    static interface 
    Shaped.Nat<T extends AyaDocile>
     

  • Method Summary

    Modifier and Type
    Method
    Description
    @NotNull Term
    type()
     

  • Method Details

    • type

      @NotNull @NotNull Term type()