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

MatchingOps

trait MatchingOps
class Object
trait Matchable
class Any

Type members

Classlikes

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

Value members

Concrete methods

def dealias(concreteType: Type, node: TypeLike): Option[TypeLike]
protected def genDummyTypes(n: Int): IndexedSeq[Type]
def specializeParents(concreteType: Type, node: (Type, Seq[TypeLike])): Seq[TypeLike]
def substituteBindings(parent: TypeLike, bindings: Map[ITID, TypeLike]): TypeLike

Implicits

Implicits

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