Inkuire

object Inkuire
class Object
trait Matchable
class Any

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, entryType: String)
case class ITID(uuid: String, isParsed: Boolean)
case class InkuireDb(functions: Seq[ExternalSignature], types: Map[ITID, (Type, Seq[Type])], implicitConversions: Seq[(ITID, 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 methods

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

Concrete fields