idea-plugin / arrow.meta.ide.plugins.proofs.folding

Package arrow.meta.ide.plugins.proofs.folding

Extensions for External Classes

org.jetbrains.kotlin.psi.KtTypeReference  

Properties

codeFolding val IdeMetaPlugin.codeFolding: ExtensionPhase
codeFoldingOnKinds val IdeMetaPlugin.codeFoldingOnKinds: ExtensionPhase
codeFoldingOnTuples val IdeMetaPlugin.codeFoldingOnTuples: ExtensionPhase
codeFoldingOnUnions val IdeMetaPlugin.codeFoldingOnUnions: ExtensionPhase
foldingCaretListener val IdeMetaPlugin.foldingCaretListener: ExtensionPhase

Do you like Arrow?

Arrow Org
<