|
..
|
|
implementCoClause
|
|
instance
|
|
referenceResolve
|
|
removers
|
|
replacers
|
|
AddMissingArgumentsQuickFix.kt
|
|
AddReturnKeywordQuickFix.kt
|
|
AddTruncatedUniverseQuickFix.kt
|
|
ArendQuickFixesBase.kt
|
|
DataUniverseQuickFix.kt
|
|
ElimSubstQuickFix.kt
|
|
ExpectedConstructorQuickFix.kt
|
|
ExplicitnessQuickFix.kt
|
|
FieldDependencyQuickFix.kt
|
|
FunctionArgInferenceQuickFix.kt
|
|
GoalFillingQuickFix.kt
|
|
GoalSolverFillingQuickFix.kt
|
|
HideImportQuickFix.kt
|
|
ImplementMissingClausesQuickFix.kt
|
|
ImplicitLambdaQuickFix.kt
|
|
ImplicitnessQuickFix.kt
|
|
ImpossibleEliminationQuickFix.kt
|
|
InteractiveGoalSolverQuickFix.kt
|
|
LambdaInferenceQuickFix.kt
|
|
MakePatternExplicitQuickFix.kt
|
|
MisplacedImportQuickFix.kt
|
|
RenameDuplicateNameQuickFix.kt
|
|
SquashedDataQuickFix.kt
|
|
TruncatedDataQuickFix.kt
|