docs
API
Generated with
docs/scalus/scalus.compiler/scalus.compiler.sir/scalus.compiler.sir.lowering/scalus.compiler.sir.lowering.typegens/ProdBuiltinPairOps

ProdBuiltinPairOps

scalus.compiler.sir.lowering.typegens.ProdBuiltinPairOps
object ProdBuiltinPairOps

Emitter for ProductCaseClassRepresentation.ProdBuiltinPair(_, _) scrutinees.

Owns the Match shape for a value already in BuiltinPair form: extracts the two components via Case on Pair (V4+) or fstPair/sndPair (V1-V3), binds them in scope, and lowers the case body.

Constr emission for ProdBuiltinPair flows through ProductCaseEmitter.genConstrLowered → ProdDataListOps.genConstr → conversions in ProdDispatch; only the Match path is per-emitter logic.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

class MatchPairDataLoweredValue(frs: IdentifiableLoweredValue, snd: IdentifiableLoweredValue, scrutinee: IdentifiableLoweredValue, addScrutineeToScope: Boolean, body: LoweredValue, inPos: SIRPosition) extends ComplexLoweredValue

Attributes

Supertypes
trait LoweredValue
class Object
trait Matchable
class Any

Value members

Concrete methods

def genMatch(matchData: Match, loweredScrutinee: LoweredValue, optTargetType: Option[SIRType])(using lctx: LoweringContext): LoweredValue

Match emission for a ProdBuiltinPair scrutinee.

Match emission for a ProdBuiltinPair scrutinee.

Attributes

Generated with