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

RenamingContext

scalus.compiler.sir.RenamingTypeVars.RenamingContext
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

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def copy(renames: Map[TypeVar, TypeVar] = ..., tvGen: TypeVarGenerationContext = ..., proxyMap: IdentityHashMap[TypeProxy, TypeProxy] = ..., changed: Boolean = ..., deepRenaming: Boolean = ..., renameDateDecls: Boolean = ..., renamedDataDecls: Map[String, DataDecl] = ..., renamedConstrDecls: Map[String, ConstrDecl] = ...): RenamingContext

Concrete fields

var changed: Boolean
val deepRenaming: Boolean
val proxyMap: IdentityHashMap[TypeProxy, TypeProxy]
val renameDataDecls: Boolean
var renamedConstrDecls: Map[String, ConstrDecl]
var renamedDataDecls: Map[String, DataDecl]
var renames: Map[TypeVar, TypeVar]
Generated with