org.virtuslab.inkuire.engine.impl.service

Type members

Classlikes

case class AncestryGraph(nodes: Map[ITID, (Type, Seq[Type])], implicitConversions: Seq[(TypeLike, Type)], typeAliases: Map[ITID, TypeLike]) extends MatchingOps
abstract class BaseSignatureParser extends RegexParsers
class ExactMatchService(val inkuireDb: InkuireDb) extends BaseMatchService
case class TypeVariablesGraph(variableBindings: VariableBindings)
case class TypingState(variableBindings: VariableBindings)
Companion:
object
Companion:
class
case class VariableBindings(bindings: Map[ITID, Seq[Type]])
Companion:
object
Companion:
class