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

RenamingContext

scalus.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