given_SIRHashCodeInRec_TypeLambda

scalus.sir.SIRHashCodeInRec.given_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