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

io.github.scalats.scala

package io.github.scalats.scala

Members list

Type members

Classlikes

case object BigDecimalRef extends TypeRef

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Value parameters

typeRef

the values type

Attributes

Companion
object
Supertypes
class TypeMember
class Object
trait Matchable
class Any
object DictionaryInvariant

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Value parameters

valueTypeRef

the elements type

Attributes

Companion
object
Supertypes
class TypeMember
class Object
trait Matchable
class Any
object ListInvariant

Attributes

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

Attributes

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

Attributes

Companion
object
Supertypes
class TypeMember
class Object
trait Matchable
class Any
Show all
object LiteralInvariant

Attributes

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

Attributes

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

Value parameters

keyType

the type of the Map keys

valueType

the type of the Map values

Attributes

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

Value parameters

valueTypeRef

the elements type (inside the list)

Attributes

Companion
object
Supertypes
class TypeMember
class Object
trait Matchable
class Any
object MergedListsInvariant

Attributes

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

Value parameters

valueTypeRef

the elements type (inside the list)

Attributes

Companion
object
Supertypes
class TypeMember
class Object
trait Matchable
class Any
object MergedSetsInvariant

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
final class ObjectInvariant(name: String, typeRef: TypeRef) extends TypeInvariant, SimpleInvariant

Attributes

Companion
object
Supertypes
class TypeMember
class Object
trait Matchable
class Any
Show all
object ObjectInvariant

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion
object
Supertypes
class TypeMember
class Object
trait Matchable
class Any
Show all
object SelectInvariant

Attributes

Companion
class
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

Value parameters

valueTypeRef

the elements type

Attributes

Companion
object
Supertypes
class TypeMember
class Object
trait Matchable
class Any
object SetInvariant

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class CaseClass
class CaseObject
class SealedUnion
class ValueClass
sealed class TypeInvariant extends TypeMember

Attributes

Companion
object
Supertypes
class TypeMember
class Object
trait Matchable
class Any
Known subtypes
class SetInvariant
Show all
object TypeInvariant

Attributes

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

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class SetInvariant
Show all
object TypeMember

Attributes

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

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRef
class Object
trait Matchable
class Any
Show all
sealed trait TypeRef

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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