docs
API
Generated with
docs/scalus/scalus.uplc/TypeScheme/Type

Type

scalus.uplc.TypeScheme.Type
final case class Type(argType: DefaultUni)

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
Generated with