Applied

zio.blocks.typeid.TypeRepr.Applied
final case class Applied(tycon: TypeRepr, args: List[TypeRepr]) extends TypeRepr

Application of a type constructor to type arguments.

Examples:

  • List[Int] → Applied(Ref(listId), List(Ref(intId)))
  • Map[String, Int] → Applied(Ref(mapId), List(Ref(stringId), Ref(intId)))
  • F[A] → Applied(ParamRef(F), List(ParamRef(A)))

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