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.impl.service
/
TypingState
TypingState
object
TypingState
Companion:
class
Graph
Supertypes
Self type
trait
Product
trait
Mirror
class
Object
trait
Matchable
class
Any
TypingState
.type
Type members
Value members
Type members
Inherited types
type
MirroredElemLabels
<:
Tuple
The names of the product elements
The names of the product elements
Inherited from:
Mirror
type
MirroredLabel
<:
String
The name of the type
The name of the type
Inherited from:
Mirror
Value members
Concrete methods
def
empty
:
TypingState