io.github.scalats.scala
package io.github.scalats.scala
Type members
Classlikes
case class CaseClass(identifier: QualifiedIdentifier, fields: ListSet[TypeMember], values: ListSet[TypeInvariant], typeArgs: List[String]) extends TypeDef
case class CaseObject(identifier: QualifiedIdentifier, values: ListSet[TypeInvariant]) extends TypeDef
final class DictionaryInvariant(name: String, val keyTypeRef: TypeRef, val valueTypeRef: TypeRef, val entries: Map[Simple, TypeInvariant]) extends TypeInvariant
- Value parameters:
- typeRef
the values type
- Companion:
- object
case class EnumerationDef(identifier: QualifiedIdentifier, possibilities: ListSet[String], values: ListSet[TypeInvariant]) extends TypeDef
final class ListInvariant(name: String, typeRef: TypeRef, val valueTypeRef: TypeRef, val values: List[TypeInvariant]) extends TypeInvariant
- Value parameters:
- valueTypeRef
the elements type
- Companion:
- object
final class LiteralInvariant(name: String, typeRef: TypeRef, val value: String) extends TypeInvariant with SimpleInvariant
- Companion:
- object
- Value parameters:
- keyType
the type of the
Mapkeys- valueType
the type of the
Mapvalues
final class MergedListsInvariant(name: String, val valueTypeRef: TypeRef, val children: List[TypeInvariant]) extends TypeInvariant
- Value parameters:
- valueTypeRef
the elements type (inside the list)
- Companion:
- object
final class MergedSetsInvariant(name: String, val valueTypeRef: TypeRef, val children: List[TypeInvariant]) extends TypeInvariant
- Value parameters:
- valueTypeRef
the elements type (inside the list)
- Companion:
- object
case class SealedUnion(identifier: QualifiedIdentifier, fields: ListSet[TypeMember], possibilities: ListSet[TypeDef]) extends TypeDef
final class SelectInvariant(name: String, typeRef: TypeRef, val qualifier: TypeRef, val term: String) extends TypeInvariant with SimpleInvariant
- Companion:
- object
final class SetInvariant(name: String, typeRef: TypeRef, val valueTypeRef: TypeRef, val values: Set[TypeInvariant]) extends TypeInvariant
- Value parameters:
- valueTypeRef
the elements type
- Companion:
- object