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 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. final class ObjectInvariant extends TypeInvariant with SimpleInvariant

    

15. case class OptionRef(innerType: TypeRef) extends TypeRef with Product with Serializable

    

16. case class QualifiedIdentifier(name: String, enclosingClassNames: List[String]) extends Product with Serializable

    

17. case class SealedUnion(identifier: QualifiedIdentifier, fields: ListSet[TypeMember], possibilities: ListSet[TypeDef]) extends TypeDef with Product with Serializable

    

18. final class SelectInvariant extends TypeInvariant with SimpleInvariant

    

19. final class SetInvariant extends TypeInvariant

    

20. case class SetRef(innerType: TypeRef) extends TypeRef with Product with Serializable

    

21. sealed trait SimpleInvariant extends AnyRef

    

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

    

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

    

24. sealed trait TypeDef extends AnyRef

    

25. sealed class TypeInvariant extends TypeMember

    

26. sealed class TypeMember extends AnyRef

    

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

    

28. sealed trait TypeRef extends AnyRef

    

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

    

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

    

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