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

DefaultSignatureResolver

class DefaultSignatureResolver(inkuireDb: InkuireDb) extends BaseSignatureResolver with MatchingOps
class Object
trait Matchable
class Any

Type members

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

override def resolve(parsed: ParsedSignature): Either[String, ResolveResult]
Definition Classes
def resolveError(msg: String): String

Inherited methods

def dealias(concreteType: Type, node: TypeLike): Option[TypeLike]
Inherited from:
MatchingOps
protected def genDummyTypes(n: Int): IndexedSeq[Type]
Inherited from:
MatchingOps
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

val ancestryGraph: Map[ITID, (Type, Seq[Type])]

Implicits

Inherited implicits

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