scala-ts-core
API
Generated with
scala-ts-core/io.github.scalats.scala

io.github.scalats.scala

package io.github.scalats.scala

Members list

Concise view

Type members

Classlikes

case object BigDecimalRef extends TypeRef

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
Self type
case object BigIntegerRef extends TypeRef

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
Self type
case object BooleanRef extends TypeRef

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
Self type
case class CaseClass(identifier: QualifiedIdentifier, fields: ListSet[TypeMember], values: ListSet[TypeInvariant], typeArgs: List[String]) extends TypeDef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeDef
class Object
trait Matchable
class Any
case class CaseClassRef(identifier: QualifiedIdentifier, typeArgs: List[TypeRef]) extends TypeRef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
case class CaseObject(identifier: QualifiedIdentifier, values: ListSet[TypeInvariant]) extends TypeDef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeDef
class Object
trait Matchable
class Any
case class CaseObjectRef(identifier: QualifiedIdentifier) extends TypeRef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
case object DateRef extends TypeRef

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
Self type
DateRef.type
case object DateTimeRef extends TypeRef

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
Self type
final class DictionaryInvariant(name: String, val keyTypeRef: TypeRef, val valueTypeRef: TypeRef, val entries: Map[Simple, TypeInvariant]) extends TypeInvariant

Attributes

typeRef

the values type

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object DictionaryInvariant

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case object DoubleRef extends TypeRef

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
Self type
case class EnumerationDef(identifier: QualifiedIdentifier, possibilities: ListSet[String], values: ListSet[TypeInvariant]) extends TypeDef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeDef
class Object
trait Matchable
class Any
case class EnumerationRef(identifier: QualifiedIdentifier) extends TypeRef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
case object IntRef extends TypeRef

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
Self type
IntRef.type
final class ListInvariant(name: String, typeRef: TypeRef, val valueTypeRef: TypeRef, val values: List[TypeInvariant]) extends TypeInvariant

Attributes

valueTypeRef

the elements type

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object ListInvariant

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class ListRef(innerType: TypeRef) extends TypeRef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
final class LiteralInvariant(name: String, typeRef: TypeRef, val value: String) extends TypeInvariant with SimpleInvariant

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object LiteralInvariant

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case object LongRef extends TypeRef

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
Self type
LongRef.type
case class MapRef(keyType: TypeRef, valueType: TypeRef) extends TypeRef

Attributes

keyType

the type of the Map keys

valueType

the type of the Map values

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
final class MergedListsInvariant(name: String, val valueTypeRef: TypeRef, val children: List[TypeInvariant]) extends TypeInvariant

Attributes

valueTypeRef

the elements type (inside the list)

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object MergedListsInvariant

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final class MergedSetsInvariant(name: String, val valueTypeRef: TypeRef, val children: List[TypeInvariant]) extends TypeInvariant

Attributes

valueTypeRef

the elements type (inside the list)

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object MergedSetsInvariant

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class OptionRef(innerType: TypeRef) extends TypeRef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
case class QualifiedIdentifier(name: String, enclosingClassNames: List[String])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class SealedUnion(identifier: QualifiedIdentifier, fields: ListSet[TypeMember], possibilities: ListSet[TypeDef]) extends TypeDef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeDef
class Object
trait Matchable
class Any
final class SelectInvariant(name: String, typeRef: TypeRef, val qualifier: TypeRef, val term: String) extends TypeInvariant with SimpleInvariant

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object SelectInvariant

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final class SetInvariant(name: String, typeRef: TypeRef, val valueTypeRef: TypeRef, val values: Set[TypeInvariant]) extends TypeInvariant

Attributes

valueTypeRef

the elements type

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object SetInvariant

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class SetRef(innerType: TypeRef) extends TypeRef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
sealed trait SimpleInvariant

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type
case object StringRef extends TypeRef

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
Self type
case class TaggedRef(identifier: QualifiedIdentifier, tagged: TypeRef) extends TypeRef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
case object TimeRef extends TypeRef

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
Self type
TimeRef.type
case class TupleRef(typeArgs: List[TypeRef]) extends TypeRef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
sealed trait TypeDef

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class CaseClass
sealed class TypeInvariant extends TypeMember

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object TypeInvariant

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed class TypeMember(val name: String, val typeRef: TypeRef)

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object TypeMember

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class TypeParamRef(name: String) extends TypeRef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
sealed trait TypeRef

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object BigDecimalRef.type
object BigIntegerRef.type
object BooleanRef.type
object DateRef.type
object DateTimeRef.type
object DoubleRef.type
object IntRef.type
class ListRef
object LongRef.type
class MapRef
class OptionRef
class SetRef
object StringRef.type
class TaggedRef
object TimeRef.type
class TupleRef
class UnionRef
object UuidRef.type
case class UnionRef(possibilities: ListSet[TypeRef]) extends TypeRef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
case class UnknownTypeRef(identifier: QualifiedIdentifier) extends TypeRef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
case object UuidRef extends TypeRef

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
Self type
UuidRef.type
case class ValueClass(identifier: QualifiedIdentifier, field: TypeMember) extends TypeDef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeDef
class Object
trait Matchable
class Any
Generated with