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[(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
sealed abstract
class Variance

Value members

Concrete fields