scaladoc/dotty.tools.scaladoc/Inkuire

Inkuire

object Inkuire
class Object
trait Matchable
class Any

Type members

Classlikes

case class Contravariance(typ: Type) extends Variance
case class Covariance(typ: Type) extends Variance
object EngineModelSerializers
case class ExternalSignature(signature: Signature, name: String, packageName: String, uri: String)
case class ITID(uuid: String, isParsed: Boolean)
case class InkuireDb(functions: Seq[ExternalSignature], types: Map[ITID, (Type, Seq[Type])], implicitConversions: Seq[(ITID, Type)])
case class Invariance(typ: Type) extends Variance
case class Signature(receiver: Option[Contravariance], arguments: Seq[Contravariance], result: Covariance, context: SignatureContext)
Companion
object
object Signature
Companion
class
case class SignatureContext(vars: Set[String], constraints: Map[String, Seq[Type]])
Companion
object
object SignatureContext
Companion
class
case class Type(name: TypeName, params: Seq[Variance], nullable: Boolean, itid: Option[ITID], isVariable: Boolean, isStarProjection: Boolean, isUnresolved: Boolean)
Companion
object
object Type
Companion
class
case class TypeName(name: String)
case class UnresolvedVariance(typ: Type) extends Variance
sealed abstract class Variance

Value members

Concrete methods

def generateInkuireConfig(externalMappings: Seq[String]): String

Concrete fields