TBase

gapt.expr.ty.TBase
See theTBase companion object
case class TBase(name: String, params: List[Ty]) extends Ty

Attributes

Companion
object
Source
ty.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Ty
class Object
trait Matchable
class Any
Show all
Known subtypes
object Ti
object To

Members list

Value members

Inherited methods

def ->:(that: Ty): TArr

Attributes

Inherited from:
Ty
Source
ty.scala
def productElementNames: Iterator[String]

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product
Source
Product.scala
def productIterator: Iterator[Any]

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

Inherited from:
Product
Source
Product.scala
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Ty -> Any
Inherited from:
Ty
Source
ty.scala