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.type
object To.type

Members list

Value members

Inherited methods

def ->:(that: Ty): TArr

Attributes

Inherited from:
Ty
Source
ty.scala

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product
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