TypeDefKind

zio.blocks.typeid.TypeDefKind
See theTypeDefKind companion trait
object TypeDefKind

Attributes

Companion
trait
Source
TypeDefKind.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

case object AbstractType extends TypeDefKind

An abstract type member.

An abstract type member.

Attributes

Source
TypeDefKind.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeDefKind
class Object
trait Matchable
class Any
Show all
Self type
final case class Class(isFinal: Boolean = ..., isAbstract: Boolean = ..., isCase: Boolean = ..., isValue: Boolean = ..., bases: List[TypeRepr] = ...) extends TypeDefKind

A class definition.

A class definition.

Value parameters

bases

Parent classes and traits this class extends

isAbstract

Whether the class is abstract

isCase

Whether the class is a case class

isFinal

Whether the class is final

isValue

Whether the class extends AnyVal

Attributes

Source
TypeDefKind.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeDefKind
class Object
trait Matchable
class Any
Show all
final case class Enum(bases: List[TypeRepr] = ...) extends TypeDefKind

A Scala 3 enum definition.

A Scala 3 enum definition.

Value parameters

bases

Parent traits this enum extends

Attributes

Source
TypeDefKind.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeDefKind
class Object
trait Matchable
class Any
Show all
final case class EnumCase(parentEnum: TypeRepr, ordinal: Int, isObjectCase: Boolean) extends TypeDefKind

An individual enum case (when represented as its own type).

An individual enum case (when represented as its own type).

Value parameters

isObjectCase

True for case Red, false for case RGB(...)

ordinal

The ordinal index of this case

parentEnum

Reference to the parent enum type

Attributes

Source
TypeDefKind.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeDefKind
class Object
trait Matchable
class Any
Show all
final case class Object(bases: List[TypeRepr] = ...) extends TypeDefKind

A singleton object.

A singleton object.

Value parameters

bases

Parent classes and traits this object extends

Attributes

Source
TypeDefKind.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeDefKind
class Object
trait Matchable
class Any
Show all
final case class OpaqueType(publicBounds: TypeBounds = ...) extends TypeDefKind

An opaque type: opaque type Foo = Bar.

An opaque type: opaque type Foo = Bar.

Value parameters

publicBounds

Bounds visible outside the defining scope

Attributes

Source
TypeDefKind.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeDefKind
class Object
trait Matchable
class Any
Show all
final case class Trait(isSealed: Boolean = ..., bases: List[TypeRepr] = ...) extends TypeDefKind

A trait definition.

A trait definition.

Value parameters

bases

Parent traits this trait extends

isSealed

Whether the trait is sealed

Attributes

Source
TypeDefKind.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeDefKind
class Object
trait Matchable
class Any
Show all
case object TypeAlias extends TypeDefKind

A type alias: type Foo = Bar.

A type alias: type Foo = Bar.

Attributes

Source
TypeDefKind.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeDefKind
class Object
trait Matchable
class Any
Show all
Self type
TypeAlias.type
case object Unknown extends TypeDefKind

Unknown or unclassified type definition kind.

Unknown or unclassified type definition kind.

Attributes

Source
TypeDefKind.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait TypeDefKind
class Object
trait Matchable
class Any
Show all
Self type
Unknown.type

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements.

The names of the product elements.

Attributes

Inherited from:
Mirror
Source
Mirror.scala
type MirroredLabel <: String

The name of the type.

The name of the type.

Attributes

Inherited from:
Mirror
Source
Mirror.scala

Value members

Concrete fields

val basicCaseClass: Class

Attributes

Source
TypeDefKind.scala
val basicClass: Class

Attributes

Source
TypeDefKind.scala
val basicEnum: Enum

Attributes

Source
TypeDefKind.scala
val basicFinalClass: Class

Attributes

Source
TypeDefKind.scala
val basicObject: Object

Attributes

Source
TypeDefKind.scala
val sealedTrait: Trait

Attributes

Source
TypeDefKind.scala
val unsealedTrait: Trait

Attributes

Source
TypeDefKind.scala