TypeVarRepresentation

scalus.sir.lowering.TypeVarRepresentation
case class TypeVarRepresentation(isBuiltin: Boolean) extends LoweredValueRepresentation

TypeVarRepresentation is used for type variables. Usually this is a synonym for some other specific-type representation. When this is builtin type variable, it can be freely used in any type representation, but when it is not builtin (scala type-var) it can be used only with packed data representation.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def doc: Doc

Attributes

Definition Classes
override def isDataCentric: Boolean

Attributes

Definition Classes
override def isPackedData: Boolean

Attributes

Definition Classes

Inherited methods

Attributes

Inherited from:
LoweredValueRepresentation
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def show: String

Attributes

Inherited from:
LoweredValueRepresentation