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

TypeOps

implicit implicit class TypeOps(typ: TypeLike)
class Object
trait Matchable
class Any

Value members

Concrete methods

def isSubTypeOf(supr: TypeLike)(implicit context: SignatureContext): State[TypingState, Boolean]
def isSubTypeOfActual(supr: TypeLike)(implicit context: SignatureContext): State[TypingState, Boolean]

Checks if typ is the subtype of supr (more or less) This check is a bit weaker than subtyping (aspecially in case of typevariables)

Checks if typ is the subtype of supr (more or less) This check is a bit weaker than subtyping (aspecially in case of typevariables)