scala

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 CollectionRef(innerType: TypeRef) 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. final class LiteralInvariant extends TypeInvariant with SimpleInvariant

   

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 with SimpleInvariant

    

17. final class SetInvariant extends TypeInvariant

    

18. sealed trait SimpleInvariant extends AnyRef

    

19. case class TaggedRef(identifier: QualifiedIdentifier, tagged: TypeRef) extends TypeRef with Product with Serializable

    

20. case class TupleRef(typeArgs: List[TypeRef]) extends TypeRef with Product with Serializable

    

21. sealed trait TypeDef extends AnyRef

    

22. sealed class TypeInvariant extends TypeMember

    

23. sealed class TypeMember extends AnyRef

    

24. case class TypeParamRef(name: String) extends TypeRef with Product with Serializable

    

25. sealed trait TypeRef extends AnyRef

    

26. case class UnionRef(possibilities: ListSet[TypeRef]) extends TypeRef with Product with Serializable

    

27. case class UnknownTypeRef(identifier: QualifiedIdentifier) extends TypeRef with Product with Serializable

    

28. case class ValueClass(identifier: QualifiedIdentifier, field: TypeMember) extends TypeDef with Product with Serializable