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

RenamingTypeVars

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