idea-plugin / arrow.meta.ide / IdeMetaPlugin

IdeMetaPlugin

open class IdeMetaPlugin : MetaPlugin, MetaIde

Constructors

<init> IdeMetaPlugin()

Functions

intercept open fun intercept(ctx: IdeContext): List<IdePlugin>

Extension Properties

codeFolding	`val` `IdeMetaPlugin.codeFolding: ExtensionPhase`
codeFoldingOnKinds	`val` `IdeMetaPlugin.codeFoldingOnKinds: ExtensionPhase`
codeFoldingOnTuples	`val` `IdeMetaPlugin.codeFoldingOnTuples: ExtensionPhase`
codeFoldingOnUnions	`val` `IdeMetaPlugin.codeFoldingOnUnions: ExtensionPhase`
explicitPropertyCoercion	`val` `IdeMetaPlugin.explicitPropertyCoercion: Annotator`
explicitValArgumentCoercion	`val` `IdeMetaPlugin.explicitValArgumentCoercion: Annotator`
foldingCaretListener	`val` `IdeMetaPlugin.foldingCaretListener: ExtensionPhase`
givenCallSite	`val` `IdeMetaPlugin.givenCallSite: Annotator`
givenParameter	`val` `IdeMetaPlugin.givenParameter: Annotator`
implicitCoercion	`val` `IdeMetaPlugin.implicitCoercion: Annotator`
implicitCoercion	`val` `IdeMetaPlugin.implicitCoercion: AbstractApplicabilityBasedInspection<KtDotQualifiedExpression>`
initialIdeSetUp	`val` `IdeMetaPlugin.initialIdeSetUp:` `IdePlugin`
localImplicitCoercion	localImplicitCoercion: for explicit coercion to make it implicit`val` `IdeMetaPlugin.localImplicitCoercion: ExtensionPhase`
proofAnnotators	`val` `IdeMetaPlugin.proofAnnotators: ExtensionPhase`
proofLineMarkers	`val` `IdeMetaPlugin.proofLineMarkers: ExtensionPhase`
proofsKotlinCache	`val` `IdeMetaPlugin.proofsKotlinCache: ExtensionPhase`
purity	`val` `IdeMetaPlugin.purity:` `IdePlugin`
purityInspection	`val` `IdeMetaPlugin.purityInspection: AbstractApplicabilityBasedInspection<KtNamedFunction>`
quoteHighlighting	`val` `IdeMetaPlugin.quoteHighlighting: ExtensionPhase`
quoteLifecycle	quoteLifecycle addresses ide lifecycle specific manipulates utilizing the QuoteSystemService, QuoteCache and QuoteHighlightingCache.`val` `IdeMetaPlugin.quoteLifecycle: ExtensionPhase`
quotes	Please, view the sub directories `cache` , `synthetic`, `system`, `lifecycle` and `highlighting` for quotes related IDE features. Enabling quotes implies enabling the quote-related service registration in the plugin.xml that is: arrow.meta.ide.plugins.quotes.cache.QuoteCacheService arrow.meta.ide.plugins.quotes.highlighting.QuoteHighlightingCache Please, be advised not to remove the aforementioned services from the plugin.xml, as this may lead to deadlocks in the following features down below. However if one chooses to disable quotes or any other IdePlugin, one may do so by removing it in the IdeMetaPlugin.intercept list.`val` `IdeMetaPlugin.quotes:` `IdePlugin`
quoteSyntheticPackageFragmentProvider	`val` `IdeMetaPlugin.quoteSyntheticPackageFragmentProvider: ExtensionPhase`
quoteSyntheticResolver	`val` `IdeMetaPlugin.quoteSyntheticResolver: ExtensionPhase`
typeProofsIde	`val` `IdeMetaPlugin.typeProofsIde:` `IdePlugin`
unionTypeLineMarker	`val` `IdeMetaPlugin.unionTypeLineMarker: ExtensionPhase`

Extension Functions

proofLineMarkers fun <A : KtNamedDeclaration> IdeMetaPlugin.proofLineMarkers(icon: Icon, filter: A.() -> Boolean): ExtensionPhase