All Downloads are FREE. Search and download functionalities are using the official Maven repository.

izumi.idealingua.model.common.ExtendedField.scala Maven / Gradle / Ivy

The newest version!
package izumi.idealingua.model.common

import izumi.idealingua.model.il.ast.typed
import izumi.idealingua.model.il.ast.typed.Field

final case class FieldDef(
  definedBy: TypeId,
  definedWithIndex: Int,
  usedBy: TypeId,
  distance: Int,
  variance: List[Field] = List.empty,
)

final case class ExtendedField(field: typed.Field, defn: FieldDef) {
  override def toString: TypeName = s"${defn.usedBy}#$field <- ${defn.definedBy}.${defn.definedWithIndex} (distance: ${defn.distance})"
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy