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

org.virtuslab.inkuire.engine.impl.service

package 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 DefaultSignatureResolver(inkuireDb: InkuireDb) extends BaseSignatureResolver with MatchingOps
object EngineModelSerializers
class ExactMatchService(val inkuireDb: InkuireDb) extends BaseMatchService
class IsomorphismMatchQualityService(val db: InkuireDb) extends BaseMatchQualityService with MatchingOps
class KotlinAnnotatedSignaturePrettifier extends BaseSignaturePrettifier
trait MatchingOps
class OutputFormatter(prettifier: BaseSignaturePrettifier)
class ScalaAnnotatedSignaturePrettifier extends BaseSignaturePrettifier
class ScalaSignatureParser extends BaseSignatureParser
class ScalaSignatureParserService extends BaseSignatureParserService
class SubstitutionMatchService(val inkuireDb: InkuireDb) extends BaseMatchService with MatchingOps
class TopLevelMatchQualityService(val db: InkuireDb) extends BaseMatchQualityService with MatchingOps
case class TypeVariablesGraph(variableBindings: VariableBindings)
case class TypingState(variableBindings: VariableBindings)
Companion:
object
object TypingState
Companion:
class
case class VariableBindings(bindings: Map[ITID, Seq[Type]])
Companion:
object
object VariableBindings
Companion:
class