Type
zio.blocks.typeid.Kind.Type
A proper type: Int, String, List[Int]. Kind: *
Attributes
- Source
- Kind.scala
- Graph
-
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait Kindclass Objecttrait Matchableclass AnyShow all
- Self type
-
Type.type
Members list
Type members
Inherited types
The names of the product elements.
Attributes
- Inherited from:
- Singleton
- Source
- Mirror.scala
The mirrored *-type.
Attributes
- Inherited from:
- Singleton
- Source
- Mirror.scala
Inherited and Abstract types
The name of the type.
Value members
Inherited methods
Returns the arity of this kind (0 for proper types, n for type constructors).
Returns the arity of this kind (0 for proper types, n for type constructors).
Attributes
- Inherited from:
- Kind
- Source
- Kind.scala
Creates a new instance of type T with elements taken from product p.
Creates a new instance of type T with elements taken from product p.
Attributes
- Inherited from:
- Singleton
- Source
- Mirror.scala
Returns true if this is a proper type (kind *).
An iterator over the names of all the elements of this product.
An iterator over the names of all the elements of this product.
Attributes
- Inherited from:
- Product
- Source
- Product.scala
An iterator over all the elements of this product.
An iterator over all the elements of this product.
Attributes
- Returns
-
in the default implementation, an
Iterator[Any] - Inherited from:
- Product
- Source
- Product.scala
In this article