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

SubstitutionMatchService

class SubstitutionMatchService(val inkuireDb: InkuireDb) extends BaseMatchService with MatchingOps
class Object
trait Matchable
class Any

Type members

Classlikes

implicit implicit class TypeOps(sgn: Signature)

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 findMatches(resolveResult: ResolveResult): Seq[(AnnotatedSignature, Signature)]
Definition Classes
override def isMatch(resolveResult: ResolveResult)(against: AnnotatedSignature): Option[Signature]
Definition Classes

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

Implicits

Implicits

final implicit def TypeOps(sgn: Signature): TypeOps

Inherited implicits

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