given_SIRHashCodeInRec_SumCaseClass

scalus.sir.SIRHashCodeInRec.given_SIRHashCodeInRec_SumCaseClass

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply(sc: SumCaseClass, trace: IdentityHashMap[SIRType, Int]): Int
def applyEq(a: SumCaseClass, b: SumCaseClass, trace: IdentityHashMap[SIRType, List[SIRType]]): Boolean

Inherited methods

def newRec(t: SumCaseClass): Int

Attributes

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

Attributes

Inherited from:
SIRHashCodeInRec