Hierarchy For Package tools.refinery.language.typesystem

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • tools.refinery.language.typesystem.InvalidType (implements tools.refinery.language.typesystem.FixedType)
  • tools.refinery.language.typesystem.LiteralType (implements tools.refinery.language.typesystem.FixedType)
  • tools.refinery.language.typesystem.ModalLiteralType (implements tools.refinery.language.typesystem.FixedType)
  • tools.refinery.language.typesystem.MutableType (implements tools.refinery.language.typesystem.ExprType)
  • tools.refinery.language.typesystem.NodeType (implements tools.refinery.language.typesystem.FixedType)
  • tools.refinery.language.typesystem.ProblemTypeAnalyzer
  • tools.refinery.language.typesystem.SignatureProvider
  • tools.refinery.language.typesystem.TypedModule

Interface Hierarchy

• tools.refinery.language.typesystem.ExprType
  • tools.refinery.language.typesystem.FixedType

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • tools.refinery.language.typesystem.AggregatorName
    • tools.refinery.language.typesystem.DataExprType (implements tools.refinery.language.typesystem.FixedType)
    • tools.refinery.language.typesystem.Signature