Hierarchy For Package hydra.error.checking

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • hydra.error.checking.CheckingError (implements java.lang.Comparable<T>, java.io.Serializable)
    • hydra.error.checking.CheckingError.IncorrectUnification (implements java.io.Serializable)
    • hydra.error.checking.CheckingError.NotAForallType (implements java.io.Serializable)
    • hydra.error.checking.CheckingError.NotAFunctionType (implements java.io.Serializable)
    • hydra.error.checking.CheckingError.Other (implements java.io.Serializable)
    • hydra.error.checking.CheckingError.TypeArityMismatch (implements java.io.Serializable)
    • hydra.error.checking.CheckingError.TypeMismatch (implements java.io.Serializable)
    • hydra.error.checking.CheckingError.UnboundTypeVariables (implements java.io.Serializable)
    • hydra.error.checking.CheckingError.UndefinedTermVariable (implements java.io.Serializable)
    • hydra.error.checking.CheckingError.UnequalTypes (implements java.io.Serializable)
    • hydra.error.checking.CheckingError.UnsupportedTermVariant (implements java.io.Serializable)
    • hydra.error.checking.CheckingError.UntypedLambda (implements java.io.Serializable)
    • hydra.error.checking.CheckingError.UntypedLetBinding (implements java.io.Serializable)
    • hydra.error.checking.CheckingError.UntypedTermVariable (implements java.io.Serializable)
  • hydra.error.checking.IncorrectUnificationError (implements java.lang.Comparable<T>, java.io.Serializable)
  • hydra.error.checking.IncorrectUnificationError.Builder
  • hydra.error.checking.NotAForallTypeError (implements java.lang.Comparable<T>, java.io.Serializable)
  • hydra.error.checking.NotAForallTypeError.Builder
  • hydra.error.checking.NotAFunctionTypeError (implements java.lang.Comparable<T>, java.io.Serializable)
  • hydra.error.checking.NotAFunctionTypeError.Builder
  • hydra.error.checking.OtherCheckingError (implements java.lang.Comparable<T>, java.io.Serializable)
  • hydra.error.checking.OtherCheckingError.Builder
  • hydra.error.checking.TypeArityMismatchError (implements java.lang.Comparable<T>, java.io.Serializable)
  • hydra.error.checking.TypeArityMismatchError.Builder
  • hydra.error.checking.TypeMismatchError (implements java.lang.Comparable<T>, java.io.Serializable)
  • hydra.error.checking.TypeMismatchError.Builder
  • hydra.error.checking.UnboundTypeVariablesError (implements java.lang.Comparable<T>, java.io.Serializable)
  • hydra.error.checking.UnboundTypeVariablesError.Builder
  • hydra.error.checking.UndefinedTermVariableCheckingError (implements java.lang.Comparable<T>, java.io.Serializable)
  • hydra.error.checking.UndefinedTermVariableCheckingError.Builder
  • hydra.error.checking.UnequalTypesError (implements java.lang.Comparable<T>, java.io.Serializable)
  • hydra.error.checking.UnequalTypesError.Builder
  • hydra.error.checking.UnsupportedTermVariantError (implements java.lang.Comparable<T>, java.io.Serializable)
  • hydra.error.checking.UnsupportedTermVariantError.Builder
  • hydra.error.checking.UntypedLambdaError (implements java.lang.Comparable<T>, java.io.Serializable)
  • hydra.error.checking.UntypedLambdaError.Builder
  • hydra.error.checking.UntypedLetBindingError (implements java.lang.Comparable<T>, java.io.Serializable)
  • hydra.error.checking.UntypedLetBindingError.Builder
  • hydra.error.checking.UntypedTermVariableCheckingError (implements java.lang.Comparable<T>, java.io.Serializable)
  • hydra.error.checking.UntypedTermVariableCheckingError.Builder

Interface Hierarchy

• hydra.error.checking.CheckingError.Visitor<R>
  • hydra.error.checking.CheckingError.PartialVisitor<R>