docs
API
Generated with
docs/scalus/scalus.compiler/scalus.compiler.sir/scalus.compiler.sir.lowering/OuterTypeLambdaWrappedLoweredValue

OuterTypeLambdaWrappedLoweredValue

scalus.compiler.sir.lowering.OuterTypeLambdaWrappedLoweredValue
See theOuterTypeLambdaWrappedLoweredValue companion class
object OuterTypeLambdaWrappedLoweredValue

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def collectFreeTypeVars(tp: SIRType): List[TypeVar]

Collect TypeVars referenced in tp that are NOT bound by any inner TypeLambda.

Collect TypeVars referenced in tp that are NOT bound by any inner TypeLambda.

Attributes

def collectFreeTypeVars(tps: Seq[SIRType]): List[TypeVar]

Collect free TypeVars across multiple types, with order-preserving identity dedup. The accumulator is shared across tps, so a TypeVar referenced by several inputs appears once — matching the bound-aware semantics callers like LoweringContext.captureFingerprint need.

Collect free TypeVars across multiple types, with order-preserving identity dedup. The accumulator is shared across tps, so a TypeVar referenced by several inputs appears once — matching the bound-aware semantics callers like LoweringContext.captureFingerprint need.

Attributes

def wrapIfNeeded(input: LoweredValue, inPos: SIRPosition): LoweredValue

Wrap when input.sirType has free TypeVars; otherwise return input verbatim.

Wrap when input.sirType has free TypeVars; otherwise return input verbatim.

Attributes

Generated with