Type Members

1.  case class CaseClass(identifier: QualifiedIdentifier, fields: ListSet[TypeMember], values: ListSet[TypeInvariant], typeArgs: List[String]) 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(identifier: QualifiedIdentifier, values: ListSet[TypeInvariant]) extends TypeDef with Product with Serializable
4.  case class CaseObjectRef(identifier: QualifiedIdentifier) extends TypeRef with Product with Serializable
5.  final class DictionaryInvariant extends TypeInvariant

6.  case class EnumerationDef(identifier: QualifiedIdentifier, possibilities: ListSet[String], values: ListSet[TypeInvariant]) 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.  case class ListRef(innerType: TypeRef) extends TypeRef with Product with Serializable
10.  final class LiteralInvariant extends TypeInvariant with SimpleInvariant
11.  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

12.  final class MergedListsInvariant extends TypeInvariant

13.  final class MergedSetsInvariant extends TypeInvariant

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

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