Inkuire

dotty.tools.scaladoc.Inkuire$
object Inkuire

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Inkuire.type

Members list

Type members

Classlikes

case class AndType(left: TypeLike, right: TypeLike) extends TypeLike

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait TypeLike
class Object
trait Matchable
class Any
Show all
case class Contravariance(typ: TypeLike) extends Variance

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Variance
class Object
trait Matchable
class Any
Show all
case class Covariance(typ: TypeLike) extends Variance

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Variance
class Object
trait Matchable
class Any
Show all

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
case class ExternalSignature(signature: Signature, name: String, packageName: String, uri: String, isLocationExternal: Boolean, entryType: String)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class ITID(uuid: String, isParsed: Boolean)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class InkuireDb(functions: Seq[ExternalSignature], types: Map[ITID, (Type, Seq[Type])], implicitConversions: Seq[(TypeLike, Type)], typeAliases: Map[ITID, TypeLike])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Invariance(typ: TypeLike) extends Variance

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Variance
class Object
trait Matchable
class Any
Show all
case class OrType(left: TypeLike, right: TypeLike) extends TypeLike

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait TypeLike
class Object
trait Matchable
class Any
Show all
case class Signature(receiver: Option[Contravariance], arguments: Seq[Contravariance], result: Covariance, context: SignatureContext)

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Signature

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Signature.type
case class SignatureContext(vars: Set[String], constraints: Map[String, Seq[TypeLike]])

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Type(name: TypeName, params: Seq[Variance], nullable: Boolean, itid: Option[ITID], isVariable: Boolean, isStarProjection: Boolean, isUnresolved: Boolean) extends TypeLike

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeLike
class Object
trait Matchable
class Any
Show all
object Type

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Type.type
case class TypeLambda(args: Seq[Type], result: TypeLike) extends TypeLike

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeLike
class Object
trait Matchable
class Any
Show all
object TypeLambda

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
TypeLambda.type
sealed trait TypeLike

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class AndType
class OrType
class Type
class TypeLambda
case class TypeName(name: String)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class UnresolvedVariance(typ: TypeLike) extends Variance

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Variance
class Object
trait Matchable
class Any
Show all
sealed abstract class Variance

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes

Value members

Concrete methods

def beforeSave(): Unit
def generateInkuireConfig(externalMappings: Seq[String]): String
def newReceiver(old: TypeLike, to: TypeLike, from: TypeLike): TypeLike

Concrete fields

var db: InkuireDb