inkuire-engine/org.virtuslab.inkuire.engine.impl.service/AncestryGraph

AncestryGraph

case class AncestryGraph(nodes: Map[ITID, (Type, Seq[Type])], implicitConversions: Seq[(TypeLike, Type)], typeAliases: Map[ITID, TypeLike]) extends MatchingOps
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Classlikes

implicit implicit class TypeOps(typ: TypeLike)

Inherited classlikes

implicit implicit class TypeMatchingOps(typ: TypeLike)
Inherited from:
MatchingOps
implicit implicit class TypeVariancesOps(types: Seq[TypeLike])
Inherited from:
MatchingOps

Value members

Concrete methods

def checkByVariance(typ: Variance, supr: Variance, context: SignatureContext): State[TypingState, Boolean]
def checkTypesWithVariances(types: Seq[Variance], suprs: Seq[Variance], context: SignatureContext): State[TypingState, Boolean]
def getAllParentsITIDs(tpe: Type): Seq[ITID]

Inherited methods

def dealias(concreteType: Type, node: TypeLike): Option[TypeLike]
Inherited from:
MatchingOps
protected def genDummyTypes(n: Int): IndexedSeq[Type]
Inherited from:
MatchingOps
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
def specializeParents(concreteType: Type, node: (Type, Seq[TypeLike])): Seq[TypeLike]
Inherited from:
MatchingOps
def substituteBindings(parent: TypeLike, bindings: Map[ITID, TypeLike]): TypeLike
Inherited from:
MatchingOps

Concrete fields

Implicits

Implicits

final implicit def TypeOps(typ: TypeLike): TypeOps

Inherited implicits

final implicit def TypeMatchingOps(typ: TypeLike): TypeMatchingOps
Inherited from:
MatchingOps
final implicit def TypeVariancesOps(types: Seq[TypeLike]): TypeVariancesOps
Inherited from:
MatchingOps