inkuire-engine
inkuire-engine
org.virtuslab.inkuire.engine.api
BaseMatchQualityService
BaseMatchService
BaseSignatureParserService
BaseSignaturePrettifier
BaseSignatureResolver
FutureExcept
FutureExcept
InkuireDb
InkuireDb
InkuireEnv
InkuireEnv
InkuireRunner
InkuireRunner
InputHandler
OutputHandler
org.virtuslab.inkuire.engine.impl.model
AndType
AnnotatedSignature
Contravariance
Covariance
EndFormat
ExcludeSignatureFilters
ITID
ITID
IncludeSignatureFilters
Invariance
Match
OrType
OutputFormat
ParsedSignature
ResolveResult
ResultFormat
Signature
Signature
SignatureContext
SignatureContext
SignatureFilters
SignatureFilters
Type
Type
StringTypeOps
TypeLambda
TypeLike
TypeName
TypeName
UnresolvedVariance
Variance
org.virtuslab.inkuire.engine.impl.service
AncestryGraph
TypeOps
BaseSignatureParser
DefaultSignatureResolver
EngineModelSerializers
ExactMatchService
IsomorphismMatchQualityService
KotlinAnnotatedSignaturePrettifier
MatchingOps
TypeMatchingOps
TypeVariancesOps
OutputFormatter
ScalaAnnotatedSignaturePrettifier
ScalaSignatureParser
ScalaSignatureParserService
SubstitutionMatchService
TypeOps
TopLevelMatchQualityService
TypeVariablesGraph
TypingState
TypingState
VariableBindings
VariableBindings
org.virtuslab.inkuire.engine.impl.utils
IOHelpers
Monoid
Monoid
MonoidOps
State
State
inkuire-engine
/
org.virtuslab.inkuire.engine.api
/
BaseMatchService
BaseMatchService
trait
BaseMatchService
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
class
ExactMatchService
class
SubstitutionMatchService
Value members
Value members
Abstract methods
def
findMatches
(
resolveResult:
ResolveResult
):
Seq
[(
AnnotatedSignature
,
Signature
)]
def
inkuireDb
:
InkuireDb
def
isMatch
(
resolveResult:
ResolveResult
)(
against:
AnnotatedSignature
):
Option
[
Signature
]