Hierarchy For Package org.aya.tyck.pat

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.aya.tyck.pat.PatTycker
  • org.aya.util.TreeBuilder<T>
    • org.aya.tyck.pat.PatTree.Builder

Interface Hierarchy

• org.aya.util.reporter.Problem
  • org.aya.tyck.pat.ClausesProblem
  • org.aya.tyck.pat.PatternProblem

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.tyck.pat.ClausesProblem.Conditions (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.Confluence (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.Domination (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.FMDomination (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.MissingCase (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.UnsureCase (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.Conquer
    • org.aya.tyck.pat.PatClassifier
    • org.aya.tyck.pat.PatClassifier.PatErr
    • org.aya.tyck.pat.PatternProblem.BadLitPattern (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.BlockedEval (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.IllegalPropPat (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.InsufficientPattern (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.PossiblePat (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.SplittingOnNonData (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.TooManyImplicitPattern (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.TooManyPattern (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.TupleNonSig (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.UnavailableCtor (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.UnknownCtor (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatTree (implements org.aya.util.TreeBuilder.Tree<T>)
    • org.aya.tyck.pat.PatTycker.AllLhsResult
    • org.aya.tyck.pat.PatTycker.LhsResult
    • org.aya.tyck.pat.PatTycker.PatResult
    • org.aya.tyck.pat.TypedSubst