Ref

zio.blocks.typeid.TypeRepr.Ref
final case class Ref(id: TypeId[_ <: AnyKind]) extends TypeRepr

Reference to a named type (possibly a type constructor if id.arity > 0).

Examples:

  • Int → Ref(intId) where intId.arity == 0
  • List (unapplied) → Ref(listId) where listId.arity == 1

Attributes

Source
TypeRepr.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeRepr
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def containsParam(param: TypeParam): Boolean

Returns true if this type expression references the given type parameter.

Returns true if this type expression references the given type parameter.

Attributes

Inherited from:
TypeRepr
Source
TypeRepr.scala
def productElementNames: Iterator[String]

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
def productIterator: Iterator[Any]

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