TypeVar

scalus.sir.SIRType.TypeVar
case class TypeVar(name: String, optId: Option[Long]) extends SIRType

Type variable have two forms: when id is not set, that means that for each instantiation of type-lambda, a new set of type-variables with fresh id-s are created. when id is set, that means that computations are situated in the process of instantiation of some type-lambda,

Attributes

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

Members list

Value members

Concrete methods

def :=>>(body: SIRType): TypeLambda
override def show: String

Attributes

Definition Classes

Inherited methods

def ->:(that: SIRType): Fun

Attributes

Inherited from:
SIRType
inline def =>>:(that: SIRType): TypeLambda

Attributes

Inherited from:
SIRType
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def ~=~(that: SIRType): Boolean

Attributes

Inherited from:
SIRType