TVar

scalus.uplc.TypeScheme.TVar
final case class TVar(name: String)

Members list

Value members

Inherited methods

infix def $(t: String): TypeScheme

Attributes

Inherited from:
TypeScheme
infix def $(t: TypeScheme): TypeScheme

Attributes

Inherited from:
TypeScheme
infix def ->:(t: DefaultUni): TypeScheme

Attributes

Inherited from:
TypeScheme
infix def ->:(t: TypeScheme): TypeScheme

Attributes

Inherited from:
TypeScheme
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Inherited fields

lazy val arity: Int

Attributes

Inherited from:
TypeScheme
lazy val numTypeVars: Int

Attributes

Inherited from:
TypeScheme