All

scalus.uplc.TypeScheme.All
final case class All(name: String, t: TypeScheme)

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