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 implicitval 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

Do you like Arrow?

Arrow Org
<