Class Hierarchy
- java.lang.Object
- org.aya.core.term.IntervalTerm (implements org.aya.core.term.StableWHNF, org.aya.core.term.Term)
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.DefCall
- org.aya.core.term.Elimination
- org.aya.core.term.StableWHNF
- org.aya.core.term.Callable
- org.aya.core.term.Term (also extends org.aya.guest0x0.cubical.Restr.TermLike<E>)
- 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.DefCall
- org.aya.core.term.Elimination
- org.aya.core.term.StableWHNF
- org.aya.core.term.Callable
- org.aya.core.term.Term (also extends org.aya.generic.AyaDocile)
Record Class Hierarchy
- java.lang.Object
- java.lang.Record
- org.aya.core.term.AppTerm (implements org.aya.core.term.Elimination)
- org.aya.core.term.CoeTerm (implements org.aya.core.term.Term)
- org.aya.core.term.ConCall (implements org.aya.core.term.Callable.DefCall)
- org.aya.core.term.ConCall.Head
- org.aya.core.term.DataCall (implements org.aya.core.term.Callable.DefCall, 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.DefCall)
- 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.IntegerTerm (implements org.aya.generic.Shaped.Nat<T>, org.aya.core.term.StableWHNF)
- org.aya.core.term.LamTerm (implements org.aya.core.term.StableWHNF)
- 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.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.StableWHNF)
- org.aya.core.term.PathTerm (implements org.aya.core.term.StableWHNF)
- org.aya.core.term.PathTerm.Cube
- org.aya.core.term.PiTerm (implements org.aya.core.term.StableWHNF, org.aya.core.term.Term)
- org.aya.core.term.PLamTerm (implements org.aya.core.term.StableWHNF)
- org.aya.core.term.PrimCall (implements org.aya.core.term.Callable.DefCall)
- 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.SigmaTerm (implements org.aya.core.term.StableWHNF, org.aya.core.term.Term)
- org.aya.core.term.SortTerm (implements org.aya.core.term.StableWHNF)
- org.aya.core.term.StringTerm (implements org.aya.core.term.StableWHNF)
- org.aya.core.term.StructCall (implements org.aya.core.term.Callable.DefCall, 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.term.TupTerm (implements org.aya.core.term.StableWHNF)
- java.lang.Record