inkuire-engine/org.virtuslab.inkuire.engine.impl.model

org.virtuslab.inkuire.engine.impl.model

package org.virtuslab.inkuire.engine.impl.model

Type members

Classlikes

case class AndType(left: TypeLike, right: TypeLike) extends TypeLike
case class AnnotatedSignature(signature: Signature, name: String, packageName: String, uri: String, entryType: String)
case class Contravariance(typ: TypeLike) extends Variance

Java Klass<? super Param> Kotlin Klass Scala Klass[-Param]

Java Klass<? super Param> Kotlin Klass Scala Klass[-Param]

case class Covariance(typ: TypeLike) extends Variance

Java Klass<? extends Param> Kotlin Klass Scala Klass[+Param]

Java Klass<? extends Param> Kotlin Klass Scala Klass[+Param]

case object EndFormat extends OutputFormat
case class ExcludeSignatureFilters(excludePackages: Seq[String]) extends SignatureFilters
case class ITID(uuid: String, isParsed: Boolean)
Companion:
object
object ITID
Companion:
class
case class IncludeSignatureFilters(includePackages: Seq[String]) extends SignatureFilters
case class Invariance(typ: TypeLike) extends Variance

Java Klass Kotlin Klass Scala Klass[Param]

Java Klass Kotlin Klass Scala Klass[Param]

case class Match(prettifiedSignature: String, functionName: String, packageLocation: String, pageLocation: String, entryType: String, mq: Int)
case class OrType(left: TypeLike, right: TypeLike) extends TypeLike
sealed trait OutputFormat
case class ParsedSignature(signature: Signature, filters: SignatureFilters)
case class ResolveResult(signatures: Seq[Signature], filters: SignatureFilters)
case class ResultFormat(query: String, matches: List[Match]) extends OutputFormat
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[TypeLike]])
Companion:
object
object SignatureContext
Companion:
class
trait SignatureFilters
Companion:
object
object SignatureFilters
Companion:
class
case class Type(name: TypeName, params: Seq[Variance], nullable: Boolean, itid: Option[ITID], isVariable: Boolean, isStarProjection: Boolean, isUnresolved: Boolean) extends TypeLike
Companion:
object
object Type
Companion:
class
case class TypeLambda(args: Seq[Type], result: TypeLike) extends TypeLike
sealed trait TypeLike
case class TypeName(name: String)
Companion:
object
object TypeName
Companion:
class
case class UnresolvedVariance(typ: TypeLike) extends Variance

Variance of types from queries

Variance of types from queries

sealed trait Variance