Type Members

1.  case class CaseClass extends TypeDef with Product with Serializable
2.  case class CaseClassRef(identifier: QualifiedIdentifier, typeArgs: List[TypeRef]) extends TypeRef with Product with Serializable
3.  case class CaseObject extends TypeDef with Product with Serializable
4.  case class CollectionRef(innerType: TypeRef) extends TypeRef with Product with Serializable
5.  final class DictionaryInvariant extends TypeInvariant

6.  case class EnumerationDef(identifier: QualifiedIdentifier, values: ListSet[String]) extends TypeDef with Product with Serializable
7.  case class EnumerationRef(identifier: QualifiedIdentifier) extends TypeRef with Product with Serializable
8.  final class ListInvariant extends TypeInvariant

9.  final class LiteralInvariant extends TypeInvariant
10.  case class MapRef(keyType: TypeRef, valueType: TypeRef) extends TypeRef with Product with Serializable
    keyType

    the type of the Map keys

    valueType

    the type of the Map values

11.  final class MergedListsInvariant extends TypeInvariant

12.  final class MergedSetsInvariant extends TypeInvariant

13.  case class OptionRef(innerType: TypeRef) extends TypeRef with Product with Serializable
14.  case class QualifiedIdentifier(name: String, enclosingClassNames: List[String]) extends Product with Serializable
15.  case class SealedUnion(identifier: QualifiedIdentifier, fields: ListSet[TypeMember], possibilities: ListSet[TypeDef]) extends TypeDef with Product with Serializable
16.  final class SelectInvariant extends TypeInvariant
17.  final class SetInvariant extends TypeInvariant

18.  case class TaggedRef(identifier: QualifiedIdentifier, tagged: TypeRef) extends TypeRef with Product with Serializable
19.  case class TupleRef(typeArgs: List[TypeRef]) extends TypeRef with Product with Serializable
20.  sealed trait TypeDef extends AnyRef
21.  sealed class TypeInvariant extends TypeMember
22.  sealed class TypeMember extends AnyRef
23.  case class TypeParamRef(name: String) extends TypeRef with Product with Serializable
24.  sealed trait TypeRef extends AnyRef
25.  case class UnionRef(possibilities: ListSet[TypeRef]) extends TypeRef with Product with Serializable
26.  case class UnknownTypeRef(identifier: QualifiedIdentifier) extends TypeRef with Product with Serializable
27.  case class ValueClass(identifier: QualifiedIdentifier, field: TypeMember) extends TypeDef with Product with Serializable