Inkuire

dotty.tools.scaladoc.Inkuire$
object Inkuire

Attributes

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

Members list

Concise view

Type members

Classlikes

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

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Product
trait Equals
class Variance
class Object
trait Matchable
class Any

Attributes

Graph
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

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object Signature

Attributes

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

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any

Attributes

Companion:
class
Graph
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
Graph
Supertypes
trait Product
trait Equals
trait TypeLike
class Object
trait Matchable
class Any
object Type

Attributes

Companion:
class
Graph
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
Graph
Supertypes
trait Product
trait Equals
trait TypeLike
class Object
trait Matchable
class Any
object TypeLambda

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait TypeLike

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Product
trait Equals
class Variance
class Object
trait Matchable
class Any
sealed abstract class Variance

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Value members

Concrete fields