Inkuire

object Inkuire
class Object
trait Matchable
class Any
Inkuire.type

Type members

Classlikes

case class AndType(left: TypeLike, right: TypeLike) extends TypeLike
case class Contravariance(typ: TypeLike) extends Variance
case class Covariance(typ: TypeLike) extends Variance
case class ExternalSignature(signature: Signature, name: String, packageName: String, uri: String, isLocationExternal: Boolean, entryType: String)
case class ITID(uuid: String, isParsed: Boolean)
case class InkuireDb(functions: Seq[ExternalSignature], types: Map[ITID, (Type, Seq[Type])], implicitConversions: Seq[(TypeLike, Type)], typeAliases: Map[ITID, TypeLike])
case class Invariance(typ: TypeLike) extends Variance
case class OrType(left: TypeLike, right: TypeLike) extends TypeLike
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
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
Companion:
object
object TypeLambda
Companion:
class
sealed trait TypeLike
case class TypeName(name: String)
case class UnresolvedVariance(typ: TypeLike) extends Variance
sealed abstract class Variance

Value members

Concrete fields