Class PromotionTarget

java.lang.Object

org.ek9lang.compiler.support.PromotionTarget

All Implemented Interfaces:

Function<ISymbol, Optional<ISymbol>>

public final class PromotionTarget
extends Object
implements Function<ISymbol, Optional<ISymbol>>

The single type this 'from' type promotes to via its #^ operator (PromotionOperator's return type), or empty if it has none. A type may declare at most one promotion (e.g. Integer -> Float), so this is the ONE promotion target. This is THE shared accessor for a type's promotion target - reuse it (do not re-resolve #^ elsewhere).

Was TypeCoercions.promotionTarget (no-statics lane S3, 2026-10-29).

Constructor Summary

Constructors

Constructor	Description
PromotionTarget()

Method Summary

Modifier and Type	Method	Description
Optional<ISymbol>	apply(ISymbol from)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Function

andThen, compose

Constructor Details

PromotionTarget

public PromotionTarget()

Method Details

apply

public Optional<ISymbol> apply(ISymbol from)

Specified by:

apply in interface Function<ISymbol, Optional<ISymbol>>