TypeLambda

scalus.sir.SIRType.TypeLambda
See theTypeLambda companion object
case class TypeLambda(params: List[TypeVar], body: SIRType) extends SIRType

Type lamnda (always carried).

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait SIRType
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def show: String

Attributes

Definition Classes

Inherited methods

def ->:(that: SIRType): Fun

Attributes

Inherited from:
SIRType
inline def =>>:(that: SIRType): TypeLambda

Attributes

Inherited from:
SIRType
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def ~=~(that: SIRType): Boolean

Attributes

Inherited from:
SIRType