docs
API
Generated with
docs/scalus/scalus.sir/SIRHashCodeInRec/given_SIRHashCodeInRec_TypeLambda

given_SIRHashCodeInRec_TypeLambda

scalus.sir.SIRHashCodeInRec.given_SIRHashCodeInRec_TypeLambda
object given_SIRHashCodeInRec_TypeLambda extends SIRHashCodeInRec[TypeLambda]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def apply(t: TypeLambda, trace: IdentityHashMap[SIRType, Int]): Int

Attributes

Definition Classes
override def applyEq(a: TypeLambda, b: TypeLambda, trace: IdentityHashMap[SIRType, List[SIRType]]): Boolean

Attributes

Definition Classes

Inherited methods

def newRec(t: TypeLambda): Int

Attributes

Inherited from:
SIRHashCodeInRec
def newRecEq(a: TypeLambda, b: TypeLambda): Boolean

Attributes

Inherited from:
SIRHashCodeInRec
Generated with