docs
API
Generated with
docs/scalus/scalus.compiler.sir/RenamingTypeVars

RenamingTypeVars

scalus.compiler.sir.RenamingTypeVars
object RenamingTypeVars

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

class RenamingContext(var renames: Map[TypeVar, TypeVar], val tvGen: TypeVarGenerationContext, val proxyMap: IdentityHashMap[TypeProxy, TypeProxy], var changed: Boolean = ..., val deepRenaming: Boolean = ..., val renameDataDecls: Boolean = ..., var renamedDataDecls: Map[String, DataDecl] = ..., var renamedConstrDecls: Map[String, ConstrDecl] = ...)

Attributes

Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def inSir(sir: SIR, ctx: RenamingContext): SIR
def inSirCasePattern(pattern: Pattern, context: RenamingContext): Pattern
Generated with