Hierarchy For Package org.aya.core.term

Package Hierarchies:

• All Packages

Interface Hierarchy

• org.aya.generic.AyaDocile
  • org.aya.core.term.Term (also extends org.aya.guest0x0.cubical.Restr.TermLike<E>)
    • org.aya.core.term.Callable
      • org.aya.core.term.Callable.Common
        • org.aya.core.term.Callable.Tele
          • org.aya.core.term.ConCallLike
          • org.aya.core.term.FnCallLike
          • org.aya.core.term.RuleReducer
    • org.aya.core.term.Elimination
    • org.aya.core.term.Formation
    • org.aya.core.term.StableWHNF
• org.aya.core.term.Callable.Factory<D,S>
• org.aya.guest0x0.cubical.Restr.TermLike<E>
  • org.aya.core.term.Term (also extends org.aya.generic.AyaDocile)
    • org.aya.core.term.Callable
      • org.aya.core.term.Callable.Common
        • org.aya.core.term.Callable.Tele
          • org.aya.core.term.ConCallLike
          • org.aya.core.term.FnCallLike
          • org.aya.core.term.RuleReducer
    • org.aya.core.term.Elimination
    • org.aya.core.term.Formation
    • org.aya.core.term.StableWHNF
• org.aya.generic.Shaped<T>
  • org.aya.generic.Shaped.Applicable<T,Core,Concrete>
    • org.aya.core.term.IntegerOps<Core,Concrete>

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.aya.core.term.IntegerOps.FnRule.Kind (implements java.io.Serializable)
    • org.aya.core.term.IntervalTerm (implements org.aya.core.term.Formation, org.aya.core.term.StableWHNF)

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.core.term.AppTerm (implements org.aya.core.term.Elimination)
    • org.aya.core.term.ClassCall (implements org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.CoeTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.ConCall (implements org.aya.core.term.ConCallLike)
    • org.aya.core.term.ConCallLike.Head
    • org.aya.core.term.DataCall (implements org.aya.core.term.Callable.Tele, org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.ErrorTerm (implements org.aya.core.term.StableWHNF)
    • org.aya.core.term.FieldTerm (implements org.aya.core.term.Callable)
    • org.aya.core.term.FnCall (implements org.aya.core.term.Callable.Tele, org.aya.core.term.FnCallLike)
    • org.aya.core.term.FormulaTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.HCompTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.IntegerOps.ConRule (implements org.aya.core.term.IntegerOps<Core,Concrete>)
    • org.aya.core.term.IntegerOps.FnRule (implements org.aya.core.term.IntegerOps<Core,Concrete>)
    • org.aya.core.term.IntegerTerm (implements org.aya.core.term.ConCallLike, org.aya.generic.Shaped.Nat<T>, org.aya.core.term.StableWHNF)
    • org.aya.core.term.InTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.LamTerm (implements org.aya.core.term.StableWHNF)
    • org.aya.core.term.LamTerm.Param (implements org.aya.core.UntypedParam)
    • org.aya.core.term.ListTerm (implements org.aya.generic.Shaped.List<T>, org.aya.core.term.StableWHNF)
    • org.aya.core.term.MatchTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.MetaLitTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.MetaPatTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.MetaTerm (implements org.aya.core.term.Callable)
    • org.aya.core.term.NewTerm (implements org.aya.core.term.StableWHNF)
    • org.aya.core.term.OutTerm (implements org.aya.core.term.Elimination)
    • org.aya.core.term.PAppTerm (implements org.aya.core.term.Elimination)
    • org.aya.core.term.PartialTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.PartialTyTerm (implements org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.PathTerm (implements org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.PiTerm (implements org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.PLamTerm (implements org.aya.core.term.StableWHNF)
    • org.aya.core.term.PrimCall (implements org.aya.core.term.Callable.Tele)
    • org.aya.core.term.ProjTerm (implements org.aya.core.term.Elimination)
    • org.aya.core.term.RefTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.RefTerm.Field (implements org.aya.core.term.Term)
    • org.aya.core.term.RuleReducer.Con (implements org.aya.core.term.ConCallLike, org.aya.core.term.RuleReducer)
    • org.aya.core.term.RuleReducer.Fn (implements org.aya.core.term.FnCallLike, org.aya.core.term.RuleReducer)
    • org.aya.core.term.SigmaTerm (implements org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.SortTerm (implements org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.StringTerm (implements org.aya.core.term.StableWHNF)
    • org.aya.core.term.Term.Matching (implements org.aya.generic.AyaDocile)
    • org.aya.core.term.Term.Param (implements org.aya.generic.ParamLike<Expr>, org.aya.core.UntypedParam)
    • org.aya.core.term.TupTerm (implements org.aya.core.term.StableWHNF)