Structural

zio.blocks.typeid.TypeRepr.Structural
final case class Structural(parents: List[TypeRepr], members: List[Member]) extends TypeRepr

Structural (refinement) type.

Examples:

  • { def foo: Int } → Structural(Nil, List(Def("foo", Nil, Nil, Ref(intId))))
  • AnyRef { type T; val x: T } → Structural(List(Ref(anyRefId)), List(...))

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